Как псевдонимы шаблонов влияют на вычет параметров шаблона?

В С++ 03 вычитание параметра шаблона не встречается в некоторых контекстах. Например:

template <typename T> struct B {};

template <typename T>
struct A
{
    typedef B<T> type;
};

template <typename T>
void f(typename A<T>::type);

int main()
{
    B<int> b;
    f(b);  // ERROR: no match
}

Здесь int не выводится для T, потому что вложенный тип, такой как A<T>::type, является невыводимым контекстом.

Если бы я написал такую ​​функцию:

template <typename T> struct B {};

template <typename T>
void f(B<T>);

int main()
{
    B<int> b;
    f(b);
}

все отлично, потому что B<T> - выведенный контекст.

В С++ 11, однако, шаблонные псевдонимы могут использоваться для маскировки вложенного типа в синтаксисе, аналогичном второму примеру. Например:

template <typename T> struct B {};

template <typename T>
struct A
{
    typedef B<T> type;
};

template <typename T>
using C = typename A<T>::type;

template <typename T>
void f(C<T>);

int main()
{
    B<int> b;
    f(b);
}

Будет ли в этом случае работать с аргументом шаблона? Другими словами, являются ли псевдонимы шаблонов выведенным контекстом или не выводимым контекстом? Или они наследуют выведенный/не выводимый статус того, что они называют?

ОТВЕТЫ

Ответ 1

Другими словами, являются ли псевдонимы шаблонов выведенным контекстом или не выводимым контекстом?

Они выводятся как эквивалентный код без использования псевдонимов шаблонов. Например

template<typename T>
using ref = T&;

template<typename T>
void f(ref<T> r);

Теперь вы можете вызывать f(x), а T будет выводиться отлично. При времени определения f уже ref<T> заменяется типом T&. И T& - это выведенный контекст.

В вашем случае C<T> заменяется на typename A<T>::type, и это не выводимый контекст для T, поэтому T не может быть выведен.

Ответ 2

Представьте себе следующее:

template <typename T> struct Foo { typedef   T type; }
template <> struct Foo<char>     { typedef int type; }

template <typename T> using mytype = typename Foo<T>::type;

template <typename T> void f(mytype<T>);

Теперь, если я хочу int n; f(n);, как я могу решить, хочу ли я T = int или T = char? Вся проблема, которая не затрагивается псевдонимами шаблонов, заключается в том, что вы не можете выводить назад все, что могло бы что-то определить.

Ответ 3

Я думаю, что соответствующая цитата в стандарте С++ - это 14.5.7 [temp.alias] параграф 2:

Когда идентификатор шаблона ссылается на специализацию шаблона псевдонимов, он эквивалентен ассоциированному типу, полученному путем подстановки его шаблонных аргументов для параметров шаблона в идентификаторе типа шаблона псевдонимов. [Примечание. Имя шаблона псевдонима никогда не выводится. - конечная нота]

Ниже приведен пример, в котором фактически указано, что бессмысленно использовать шаблон-псевдоним в шаблоне функции и надеяться вывести аргумент шаблона. Это, по-видимому, применимо даже для ситуации, которая не связана с вложенными типами.