Понимание шаблона C ++

Question

Я пытаюсь понять, что будет означать следующий код, поскольку он является допустимым кодом C ++:

template<class A>
class AT
{
    AT();
};

template<class B>
AT<B>::AT()
{}

Может кто-нибудь помочь мне понять, каков эффект создания шаблона в конструкторе?А также, если кто-то может прийти с полезным практическим примером использования, я был бы очень признателен.

Танки

Answer 1

Здесь нет шаблона создания экземпляра.Последняя половина этого кода просто определяет конструктор для класса AT.Обратите внимание, что при выполнении этого обычно используется одинаковые имена для параметров шаблона:

template<class A>
class AT
{
    AT();
};

template<class A>
AT<A>::AT()
{}

Использование этого синтаксиса будет означать разрыв циклов зависимости:

template<class A>
class AT
{
    AT();
};

class Dependent
{
    AT<Dependant> member; // Complete definition of AT is needed here
};

template<class A>
AT<A>::AT()
{
    Dependent object; // Complete definition of Dependent is needed here
}

Answer 2

Имя параметра шаблона не имеет значения. Если вы напишите вторую часть как

template<class A>
AT<A>::AT()
{ }

магия исчезает, и это просто определение конструктора.