模板别名能见度嵌套类

Question

考虑以下几点：

template<typename X> 
struct Z {}; 

struct A 
{ 
    using Z = ::Z<int>; 

    struct B : Z 
    { 
     using C = Z; 
    }; 
}; 

编译没有问题。尼斯。但是，现在在Z添加另一个参数：

template<typename X, typename Y> 
struct Z {}; 

struct A 
{ 
    template<typename X> 
    using Z = ::Z<X, int>; 

    struct B : Z<B> 
    { 
     using C = Z<B>; // error: too few template arguments for class template 'Z' 
    }; 
}; 

好吧，也许这是有道理的，派生的嵌套类B当A类模板别名Z的定义是可见的，而不是它的体内，引发由于错误全局定义Z有两个参数。

但是为什么在第一种情况下的行为不同，当Z只是A中的一种类型别名？

最后，请A模板：

template<typename X, typename Y> 
struct Z {}; 

template<typename T> 
struct A 
{ 
    template<typename X> 
    using Z = ::Z<X, int>; 

    struct B : Z<B> 
    { 
     using C = Z<B>; 
    }; 
}; 

现在错误消失。 为什么？

（测试锵3.6和GCC 4.9.2）

Answer 1

简而言之：从Z专业化推导介绍注入类名的::Z，其别名模板之前找到。如果A是一个模板，但是，注入的类名不再被发现，因为基类的B依赖。

---

考虑[temp.local]/1：

像正常（非模板）类，类模板有一个 注入类名（第9节）。 的注射类名可以使用 作为模板名称或类型名称。

又【basic.lookup]/3：

的注射类名的类的（第9节）也是认为是类的目的的一个成员名称查询。

Z被查找为不合格的名称; [basic.lookup.unqual]/7：

因此，注入类名Z被发现作为基类Z<B, int>的成员，并用作模板名 ，这会导致你的第二个程序不合格。事实上，你的第一个片段使用注入的类名以及 - 下面的代码段将不能编译：

struct A 
{ 
    using Z = ::Z<float>; 
    struct B : ::Z<int> 
    { 
     static_assert(std::is_same<Z, ::Z<float>>{}, ""); 
    }; 
}; 

最后，如果A由模板，请注意，B是一个依赖型的每个[temp.dep.type] /（9.3），因此Z<B>是依据[temp.dep.type] /（9.7）的依赖类型，因此在查找期间未检查基类Z<B>不合格IDZ根据[temp.dep]/3：

在一个类的定义[..]，一个 依赖性基类（14.6.2.1）的范围并不在任一类模板或 构件的定义点不合格 名查找期间检查或者在类模板或成员的实例化期间。

因此注入类名称将不会被找到。

---

B是 “嵌套类[..]这是一个依赖构件当前实例的”（重点煤矿），由于

名称是依赖于当前实例化的成员，如果它是当前实例的 成员，当查找时，指 至少一个当前实例化的类的成员。