Может Бьярне ошибиться? (пока объясняю шаблоны) или я до сих пор не понимаю?

Question

Ребята, я делаю упражнения из "Языка программирования C ++, 3-е изд." и на странице 340 есть пример функции:

template <class T, class C = Cmp<T> > // Here is a default argument
// But as far as I'm concerned it's illegal to have a default argument in
// a function template
        int compare (const String<T>& str1, const String<T>& str2)
        {
        /*Some code*/
        }

Итак, мой вопрос:
В книге есть ошибка или я ошибаюсь?

Answer 1

Да, в этом случае книга не права.Использовать аргументы шаблона по умолчанию в объявлениях шаблона функции действительно недопустимо.

Ссылку на эту проблему можно найти здесь http://www2.research.att.com/~bs/3rd_issues.html