1
#include <iostream>
using namespace std;

template<class T = int>
class MyClass {
public:
    void f() { cout << "D"; }
};

template<>
class MyClass<int> {
public:
    void f() { cout << "S1"; }
};

template<>
class MyClass<double> {
public:
    void f() { cout << "S2"; }
};


int main() {
    MyClass<double> a; // 1
    a.f();

    MyClass<> b; // 2
    b.f();

    MyClass<int> c; // 3
    c.f();

    return 0;
}

Почему template<class T = int> более приоритетно чем

template<>
class MyClass<int>

для 3 ?

4
  • Объясните пожалуйста приоритет перезагрузки типа по умолчанию шаблона и специализации этого типа. Что более приоритетно для строки 3
    – Pupkin
    25 июн 2017 в 14:00
  • Ничего не понял. Для 3 будет использоваться вариант template<> class MyClass<int>. С чего вы взяли, что будет использоваться template<class T = int> class MyClass? 25 июн 2017 в 15:51
  • 1
    А пусть автор вопроса скажет какой компилятор он использует, может там что-то экзотичное и поэтому там другой результат?
    – Flowneee
    25 июн 2017 в 16:15
  • Т.е. вы утверждаете что данная ситуация - Unspecified behaviour или implemented-defined ? (прошу не путать с Undefined behabiour)
    – Pupkin
    27 июн 2017 в 8:20

1 ответ 1

2

Приоритет имеет, естественно, явная специализация. Так что в обоих случаях

MyClass<> b; // 2
b.f();                 //S1

MyClass<int> c; // 3
c.f();                 //S1

используется специализация

template<>
class MyClass<int> {
public:
    void f() { cout << "S1\n"; }
};

См. тут - http://ideone.com/jj6xtH

8
  • А template<> class MyClass<double> { public: void f() { cout << "S2"; } } не явная ? Есле следовать вашей логики то 2 явные специализации и потому ошибка компиляции изза многозначности, но её нет.
    – Pupkin
    27 июн 2017 в 6:36
  • 1
    Для c указано явно int, для b тип int указан как тип по умолчанию. Значит, обе используют MyClass<int>. Такая специализация есть - используем ее, а не сам обобщенный шаблон. Наличие специализации для double играет роль только для a, где указан этот тип.
    – Harry
    27 июн 2017 в 10:15
  • Можно proof предоставить. На каких правилах основан переход от версии шаблона с типом по умолчанию к версии шаблона со специализацией этого типа. Мне важно понять что это всё таки implemented-defined ситуация или в соответствии со стандартам.
    – Pupkin
    27 июн 2017 в 12:33
  • Давайте так - вы согласны, что при наличии template<class T> MyClass и template<> MyClass<int> для MyClass<int> будет выбрана специализация? Да или нет? Если нет - разговор окончен. Если да - то запись MyClass<> при наличии template<class T = int> MyClass просто эквивалентна записи MyClass<int> и не более того. И разговор опять окончен...
    – Harry
    27 июн 2017 в 14:37
  • Ненаучный стиль дискуссии какойто. Мы ж не в церкви. я просил ссылку на главу стандарта.
    – Pupkin
    27 июн 2017 в 17:49

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.