c++ - 模板别名如何影响模板参数推导？

Question

在 C++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> 是推断的上下文。

然而，在 C++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);
}

在这种情况下模板参数推导是否有效？换句话说，模板别名是推导上下文还是非推导上下文？或者他们是否继承了他们别名的推断/非推断状态？

Answer 1

In other words, are template aliases a deduced context or a non-deduced context?

它们与不使用模板别名的等效代码一样可演绎。例如

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无法推断。