Шаблоны. В чем разница между созданием экземпляра и специализацией?

в чем разница между созданием экземпляра и специализацией

Mr.X, Вы знаете Вандервуд безусловно круто, но пока однозначно не мой уровень. На сколько я понял, не явная специализация происходит все время при вызове функций с различными типами аргументов. А явная(тут я уверен что понял не правильно, просто кастит типы аргументов и возвр.значения(в случае если те обозначены шаблоном ) под необходимый возможный для них тип?????

В примере этой специализации template<> используется просто для перегрузки ф-ции?

то есть где то выше должен быть объявлен сам шаблон?

По стандарту и Страуструпу процесс генерации компилятором функций и классов из шаблонов называется инстанцированием шаблона,

а сгенерированные функции и классы называются специализациями.

template<> void MySwap(double a, double b);
В примере этой специализации template<> используется просто для перегрузки ф-ции?

то есть где то выше должен быть объявлен сам шаблон?

не верно. они называются "инстансами"

Нашел что надо!!!!! Липман !!! Жизнь налаживается!

Где они так называются?

в которых не различается специализация и экземпляр

Специализированный шаблон — это новый шаблон

Если внимательно читать ISO стандарт С++, то можно обнаружить интересное утверждение: создав специализированный шаблонный класс мы создаем новый шаблонный класс (14.5.4.3). Что это нам дает? Специализированный шаблонный класс может содержать методы, поля или объявления типов которых нет в шаблонном классе который мы специализируем.
(с) отрывочек из статьи.

3.7.4.2 Deallocation functions

Each deallocation function shall return void and its first parameter shall be void*. A deallocation function
can have more than one parameter. The global operator delete with exactly one parameter is a usual (nonplacement)
deallocation function. The global operator delete with exactly two parameters, the second
of which has type std::size_t, is a usual deallocation function. Similarly, the global operator delete[]
with exactly one parameter is a usual deallocation function. The global operator delete[] with exactly
two parameters, the second of which has type std::size_t, is a usual deallocation function.37 If a class T
has a member deallocation function named operator delete with exactly one parameter, then that function
is a usual deallocation function. If class T does not declare such an operator delete but does declare a
member deallocation function named operator delete with exactly two parameters, the second of which has
type std::size_t, then this function is a usual deallocation function. Similarly, if a class T has a member
deallocation function named operator delete[] with exactly one parameter, then that function is a usual
(non-placement) deallocation function. If class T does not declare such an operator delete[] but does
declare a member deallocation function named operator delete[] with exactly two parameters, the second
of which has type std::size_t, then this function is a usual deallocation function. A deallocation function
can be an instance of a function template. Neither the first parameter nor the return type shall depend on
a template parameter. [ Note: That is, a deallocation function template shall have a first parameter of type
void* and a return type of void (as specified above). — end note ] A deallocation function template shall
have two or more function parameters. A template instance is never a usual deallocation function, regardless
of its signature.

странно. почему то я не припоминаю ни одной книжки,
где бы их не различали

Честно говоря, сам только сегодня о такой путанице узнал, да еще у старика Страуструпа.

По стандарту и Страуструпу процесс генерации компилятором функций и классов из шаблонов называется инстанцированием шаблона, а сгенерированные функции и классы называются специализациями. Когда нужно различать сгенерированные специализации и написанные программистом явно, то их называют сгенерированными и явными специализациями.
Некоторые программисты и авторы книг различают специализацию шаблона как особый вид шаблона и специализацию в смысле результата инстанцирования, который они называют инсталляцией или экземпляром шаблона.

Где же путаница? Инстанционирование и специализация это одно и то же. Кроме случая явной специализации.

это вы уже по кругу пошли