私有模板类/结构可见性

Comeau print_private_class

ComeauTest.c(31):错误:类模板“A::B”(在第7行声明)不可访问 ^ 在基于的“print\u private\u template”实例化过程中检测到 第45行的模板参数<42U>

-std=c++ -Wall -pedantic

你的班级 A::C 和类模板 A::B<T> 两者的可见性与任何其他普通成员相同。因此,两者 打印私有类 和 print_private_template 需要诊断。

11.8嵌套类

1 嵌套类是成员,因此具有与任何其他成员相同的访问权限。成员 必须服从。

解决此问题的一种方法是将它们封装在非模板结构中:

template<int I> class MyTemplate
{
    struct PT
    {
        template<int, typename = void> struct InnerTemplate;
        // ... specialisations here ...
    };
public:
    typedef typename PT::template InnerTemplate<I>::SomeType SomeType;
};
typedef MyTemplate<1>::PT::InnerTemplate<1> ThisWontWork;

error: 'struct MyTemplate<1>::PT' is private within this context

我承认这很难看,尤其是不得不用 PT::template

它已经为GCC 11修好了

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=41437#c13 (dupe池中的另一个点之前已被 dirkgently

最小的复制:

主.cpp

class Out {
  protected:
    class In {};
};

template <class C>
void f() { Out::In in; }

int main() {
    f<Out>();
}

g++-10 -ggdb3 -O0 -std=c++11 -Wall -Wextra -pedantic -o main.out main.cpp

但在 clang++ 10:

void f() { Out::In in; }
                ^
main.cpp:3:11: note: declared protected here
    class In {};
          ^
1 error generated

以上在GCC中失败是因为 f 是一个模板函数。