不理解的模板和可访问性行为

Question

无论如何， A::Stuff是protected的，那么为什么继承自A并强制其成员的可访问性protected导致错误？

class A {
   protected:
    template <typename T>
    static void Stuff() {
        T::template Stuff<T>();
    }
};

class B : protected A {
   public:
    void something() { A::Stuff<B>(); }

    // I have these two, inelegant workarounds:
    // using A::Stuff;    // KO: This is wrong, it changes the accessibility of Stuff.
    // class B : public A // KO: Accessibility changed.
    // friend A;          // OK: This seems fine.
};

int main() {
    B b;
    b.something();
}

代码位于： https://godbolt.org/z/r1Ya3rzsK

假设上面定义的类A和B clang 和 gcc 会给你这样的东西：

'Stuff' is a protected member of 'A'
        T::template Stuff<T>();

我在评论中给出了一个解决方法，只要成员的可访问性没有改变，欢迎更多。

Answer 1

问题是A::Stuff<B>()将调用T::Stuff<T>()和T=B aka B::Stuff<B>() 。 B 没有Stuff function，因此它会尝试回退到无效的A::Stuff ，因为您保护了 inheritance。 （顺便说一句，如果它是有效的，因为 inheritance 是公开的，这将导致无限递归）。

我认为你不想在这里无限递归。 如果您希望Stuff<B>有效，请将Stuff function 添加到 B。

#include <iostream>
class A {
   protected:
    template <typename T>
    static void Stuff() {
        std::cout<<"called A\n";
        T::template Stuff<T>();
    }
};

class B : protected A {
   public:
    void something() { A::Stuff<B>(); }

    template <typename T>
    static void Stuff() {
        std::cout<<"called B\n";
        //...
    }
    // I have these two, inelegant workarounds:
    // using A::Stuff;    // KO: This is wrong, it changes the visibility of Stuff.
    // class B : public A // KO: Visibility changed.
    // friend A;          // OK: This seems fine.
};

int main() {
    B b;
    b.something();
}