3
#include <iostream>


template<typename = int>
struct A;

template<template<typename = double> class T>
void bar(T<int>) {
    T<>{}.foo();
}

template<>
struct A<int> {
    void foo() { std::cout << "int"; }
};

template<>
struct A<double> {
    void foo() { std::cout << "double"; }
};


int main() {
    bar<A>(A{});
}

Почему в данном случае выбирается специализация шаблонного класса для типа double, а не для типа int?

1 ответ 1

3

Потому что для параметров в шаблонном параметре шаблона можно задавать значения по-умолчанию и они будут использоваться в целевом шаблоне вместо тех, которые были у шаблона-параметра изначально:

17.1 Template parameters [temp.param]

18 A template-parameter of a template template-parameter is permitted to have a default template-argument. When such default arguments are specified, they apply to the template template-parameter in the scope of the template template-parameter.

Соответственно T<>{}.foo(); всегда инстанцируется как T<double>{}.foo();

2
  • 2
    Добавлю, что если в шаблонном параметре значения по умолчанию не указать вообще, то оригинальные значения по умолчанию работать все равно не будут. 26 ноя 2018 в 19:02
  • 2
    @HolyBlackCat Добавлю, что для того чтобы оригинальное значение по-умолчанию все-таки использовалось можно поменять параметр шаблонного параметра шаблона на пачку template<template<typename...> class T> 26 ноя 2018 в 19:43

Ваш ответ

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

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