Пожалуйста, объясните мне, почему следующий фрагмент кода работает идеально. Я очень смущен.
#include<iostream>
template<class A = int, class B=double>
class Base
{};
template<class B>
class Base <int, B>
{
public:
Base()
{
std::cout<<"it works!!!!!\n";
}
};
int main()
{
Base<> base; // it prints "it works!!!!!"
return 0;
}
Разве он не должен упасть в обобщенную форму шаблонного класса Base?
Аргумент по умолчанию применяется к специализации, и фактически специализация должна принимать (так сказать) аргумент(ы) по умолчанию базового шаблона. Попытка указать значение по умолчанию в специализации:
template<class A = int, class B=double>
class Base
{};
template<class B=char>
// ...
... это ошибка.
Аналогичным образом, если мы изменим специализацию так, чтобы она относилась к типу отличному от стандартного, предоставленного базовым шаблоном:
template<class A = int, class B=double>
class Base
{};
template<class B>
class Base <char, B>
...тогда будет выбран базовый шаблон.
Итак, что происходит: сначала выбираются типы для аргументов шаблона. В этом случае (при создании экземпляра тип не указан) оба типа основаны на аргументах шаблона по умолчанию, указанных в базовом шаблоне.
Затем (как отдельный шаг) он выполняет аналог разрешения перегрузки для всех шаблонов, которые соответствуют этим типам аргументов. Как обычно для разрешения перегрузки, тип, указанный явно, предпочтительнее, чем тип, указанный неявно, поэтому ваша специализация (которая явно указывает int) предпочтительнее базового шаблона (который неявно указывает int).
"if we change the specialization so that its specialization is for a type other than the default provided by the base template then the base template will be chosen": stackoverflow.com/questions/52583833/
- person Fabio; 01.10.2018
template<class A = int, class B=double>
class Base
{};
Здесь значения/инициализация по умолчанию для A и B были объявлены соответственно как int и double.
template<class B>
class Base <int, B>
Здесь, в определениях классов, первый аргумент является чем-то вроде постоянного значения (здесь int; зачем объявлять таким образом, просто усложняя ситуацию? Лучше удалить первый аргумент шаблона), а второй аргумент шаблона — это B, значение по умолчанию которого — «двойное».
Base<> base;
Когда вы создаете объект класса. Хотя вы не указываете аргументы шаблона, компилятор принимает значения по умолчанию для аргументов (A и B), которые являются «int» и «double», и код выполняется без каких-либо ошибок или предупреждений.
Посмотрите, что происходит, когда вы создаете объект как:Base<float,char> b; или Base<char,char> b;
Когда вы пишете Base<> base;, компилятор попытается выяснить, возможно ли создание экземпляра класса Base<>, если это возможно, код будет работать нормально. В этом случае это возможно из-за аргумента шаблона по умолчанию Base, потому что компилятор знает, если вы пишете Base<>, ему нужно создать объект Base<int,double>. то есть: из-за:
template<class A = int, class B=double>
class Base
{};
Так что код работает нормально.
