c++ - 模板参数的访问限制

Question

N4296::14.3/3 [temp.arg] 部分说:

The name of a template-argument shall be accessible at the point where it is used as a template-argument. [ Note: If the name of the template-argument is accessible at the point where it is used as a templateargument, there is no further access restriction in the resulting instantiation where the corresponding template-parameter name is used. —end note ]

好吧，让我们考虑下面的例子:

template <class T> class X{
    static typename T::S ts;
};

class Y {
private:
    class VS{ class S{ }; };
    X<VS> x; //1
};

DEMO

在 //1 处实例化的模板 X 的模板参数是 class VS。现在，标准是这样说的:

The name of a template-argument shall be accessible at the point where it is used as a template-argument.

class VS 可在点//1 访问，因此满足要求。但尽管标准表示没有进一步的访问限制，但代码并未编译。

为什么代码没有编译通过？根据我提供的部分我可以说，它应该编译。

Answer 1

S 是私有(private)的，试试这个:

template <class T> class X{
   static typename T::S ts;
 };

 class Y {
 private:
   class VS{ public: class S{ }; };
   X<VS> x; //1
 };