Экземпляр класса

Почему при создании экземпляра шаблона класса компилятором синтаксис такой странный?
Зачем template<>? Зачем <int>? Почему нельзя просто заменить все T(typename T) в теле класса на int так же как это делается в шаблонах функций?

0

Но есть одно незначительное "но", в шаблонах функций необязательно указывать <int>:
template <> compare (int,int);

Добавлено через 55 секунд
Специализация - определение реализации конкретного экземпляра шаблона.
Инстанцирование - создание экземпляров шаблона (подстановка конкретных типов данных вместо параметров шаблона).

0

Сообщение от ReYalp template<> classname<int>{} ;

вот это специализация , верно? что тогда инстанцирование

Добавлено через 1 минуту
Mightsoul, тоесть после каждого инстанцирования идет специализация? Я запутался чуток

0

Полная специализация шаблона функции:
template <> void function (int); эквивалентно template <> void function <int> (int);

Частичная специализация шаблона функции:
template <class T> void function (T*); эквивалентно template <class T> void function <T*> (T*);

Явное инстанцирование шаблона функции:
template void function (int);

Неявное инстанцирование шаблона функции:
function(10); эквивалентно function<int>(10);



Полная специализация шаблона класса:
template <> class a <int>;

Частичная специализация шаблона класса:
template <class T> class a <T*>;

Явное инстанцирование шаблона класса:
template class a <int>;

Неявное инстанцирование шаблона класса:
a <int> object;

Добавлено через 2 минуты

Сообщение от ReYalp тоесть после каждого инстанцирования идет специализация? Я запутался чуток

После каждой специализации - инстанцирование.

0

Mightsoul, не могу понять для чего нужно инстанцирование?

0

Шаблон функции:
С неявным инстанцированием:
Развернётся в:

и
Инстанцирование - это и есть "развёртка" шаблона.

Добавлено через 1 минуту
Подстановка конкретных типов данных вместо параметров шаблона, в данном случае, вместо T подставляются int и double.

0

Mightsoul, можно лучше по порядку ?
Есть шаблон класса
я создаю объект класса
что в данном случае происходит?

0

Создание экземпляра name<int>:
Добавлено через 2 минуты
Я не хочу загружать вас более сложным пониманием шаблонов на уровне компоновки и таблиц символов.

Добавлено через 23 секунды
Но кое-что не очень сложное расскажу.

0

Mightsoul,

Сообщение от Mightsoul Создание экземпляра name<int>

ну вот. А где инстанцирование? Где специализация ?

0

Ты меня убиваешь. Специализация указывается явно, это определение дивергентного кода. А в данном случае, экземпляры определяются обобщённым кодом по-умолчанию.

Добавлено через 2 минуты
Вот у тебя есть шаблон, инстанцирование определяет два разных экземпляра с одним и тем же кодом. Специализация же позволяет изменить код для какого-то конкретного экземпляра.

0

Mightsoul, я запутался прям очень сильно , сначала было

Сообщение от Mightsoul Почему при создании экземпляра шаблона класса компилятором синтаксис такой странный? C++Выделить код 1 template<> classname<int>{} ; Это вовсе не создание экземпляра шаблона, то, что у вас - это полная специализация.

потом

Сообщение от Mightsoul Создание экземпляра name<int>: class name{ public: int var; };

Добавлено через 1 минуту
Mightsoul, для чего вообще нужна специализация? в каком месте она используется? где хранится этот

Сообщение от ReYalp template<> name<int>{} ;

если есть

Сообщение от ReYalp class name{ public: int var; };

?

0

Попытаюсь объяснить на языке ассемблера (за что меня здесь не любят). Вы знакомы с оператором безусловного перехода - goto? В языке ассемблера существует аналогичная инструкция - jmp, осуществляющая переход по адресу в сегменте кода. В самом упрощённом понимании, доступ к функциям осуществляется через переход по метке, эквивалентной полному имени функции в C++. Для возможности применять полиморфизм - обобщение интерфейса для разных типов данных, низкоуровневое имя - метка, искажается, с дополнением идентификации, чтобы их можно было отличать. Этот механизм называется декорированием имён.
К примеру, полное имя функции с таким прототипом: void function (int); выглядит вот так (это не стандартизировано, поэтому у разных компиляторов это реализовано по-разному): _Z8functioni. Это полное имя функции - сигнатура. Метка перехода эквивалентна сигнатуре. Шаблон:
таким образом, осуществит создание двух символических имён:
_Z8functionIdEvT_ для double,
_Z8functionIiEvT_ для int.

Добавлено через 5 минут
Добавлено через 1 минуту
Если меня никто не остановит, я опять начну говорить про дезинтеграцию всего сущего.

Добавлено через 7 минут
Если я начну говорить, что классов не существует, с вероятностью 100% кто-то придёт и напишет, что нельзя говорить о c++, используя логику языка ассемблера. Но вот к чему приводят ваши многочисленные слои абстракции, люди думают, что классы - отдельные боевые единицы, которые могут храниться в памяти, вы рады?

1

Mightsoul, Вы слишком запутанно все объясняете(я не про ассемблер, а в общем) Но все же я понял что такое специализация и инстанцирование , спасибо, пойду учить дальше эту тему

0

Классы существуют только в исходном коде объектно-ориентированных языков, это всего лишь тонна машинных команд, определяющих эту самую конструкцию.

0

Mightsoul, , а структуры?

0

Всё высокоуровневое программирование в целом.

0

Mightsoul, а какой "самый высокоуровневый" низкоуровневый язык программирования?

0

Для сравнения, одна и та же программа на языке ассемблера занимает 20 байт, а на c++, с использованием stl, - 14,7 МБ (без оптимизации и удаления отладочных символов).

1

Сообщение от ReYalp после каждого инстанцирования идет специализация?

Да, инстанциирование порождает специализацию.

Сообщение от Mightsoul Частичная специализация шаблона функции

0

Специализация не бывает неявной, не путай понятия.

Добавлено через 23 секунды
После каждой полной специализации осуществляется инстанцирование.

Добавлено через 10 минут
Если инстанцирование порождает специализацию, то ты, конечно же, сможешь объяснить почему function<double> приводит к ошибке компоновки, а function<int> - нет.
1.cpp:
2.cpp:
Добавлено через 1 минуту
Никакого неявного инстанцирования в 2.cpp нет, кроме самой полной специализации, приводящей к инстанцированию.

0

Mightsoul, для инстанцирования нужно видеть определение. 1.cpp его не видит.
Добавь в 2.cpp
и 1.cpp скомпилируется

0