为什么在扩展模板参数时对访问说明符的处理不同？

Question

扩展问题“如果父类是模板，为什么禁止取消父类的成员？”。

Clang和GCC都抱怨B无法访问A::成员，因为它受到保护。

但是，B可以访问A::成员，如果B的特定实例被请求，它只是在B的扩展期间

在这种情况下，为什么忽略了B对A的公共继承？（如果是这样的话。）

template<typename T>
class A{
protected:
   int member;
public:
   using type_name = T;
};

template<typename T>
class B: public A<T>{
   decltype(A<T>::member) another_member;
};

template<typename T,
         typename P=typename T::type_name>
void foo(){}

// Force the instantiation of foo
void bar(){
    foo<B<int>>();
}




Answer 1

他们不是。使用<代码>B

问题来自于，在decltype（member）中，编译器立即注意到成员不在范围内；然而，在decltype（A）中

因为<代码>B