C++11:为什么私有成员模板可以在类外访问？

Question

我只是碰巧发现，可以使用using指令在封闭类之外直接访问嵌套私有模板类：

class wrapper
{
private:
    template <typename T>
    class __tklass {};

    class __klass {};
};

template <typename T>
using tklass = wrapper::__tklass<T>;    // Expected error but compiles OK

// using klass = wrapper::__klass;      // "Error: __klass is private"

int main()
{
    tklass<int> v1;                     // Expected error but compiles OK

    // wrapper::__tklass<int> v3;       // "Error: __tklass is private"
    // wrapper::__klass v4;             // "Error: __klass is private"
}

标记为“error:__xxx is private”的行在未注释时正确报告错误。但是使用tklass的行编译时不会受到编译器的任何抱怨。

我在GCC-4.9.2、Clang-3.5.0和visual studio 2013 Express上尝试了这一点。GCC命令行：

g++ -std=c++11 -pedantic -Wall -Wextra -Wshadow myfile.cpp

Answer 1

这绝对是一个编译器bug，实际上是一个众所周知的bug:GCC#47346（首次报告于2011年1月）和Clang#15914（首次报告于2013年5月）。您的__tklass显然是private，并且模板别名没有标记为friend，因此这应该是一个简单的访问错误。

最简单的复制来自Clang示例附件，该版本在gcc 4.9.2和Clang 3.5.0上都编译，但肯定不应该在两者上编译：

class A
{
  class B {};
};

template<typename>
using T = A::B;

T<void> t;

然而，在这方面，Clang严格来说比GCC好，因为这个特殊的bug似乎只出现在模板别名中。一个“变通方法”（如果您需要这样的东西来处理编译器不正确地允许的情况...）将恢复到C++11之前的模板别名：

template <typename>
struct T {
    using type = A::B;
};

T<void>::type t;

该代码不能正确地用clang编译（错误:'B'是'a'的私有成员），但仍然可以用GCC编译。