无法在没有明确范围的情况下访问模板基类的静态成员

Question

Demo

具有静态成员 foo 的模板类。

template <typename... T>
struct A {
    static constexpr bool foo = true;
};

A 的模板派生类试图访问 foo。

template <typename... T>
struct B  : A<T...> {
    void yo() {
        std::cout << foo << '\n';
    }
};

这失败了。谁能解释一下为什么？？我可以通过直接访问它来解决它，比如A<T...>::foo，但是如果 B 有它自己的静态变量隐藏 foo 怎么办？

如果第三方/主要人员仅通过模板（例如TClass）知道 A 或 B，他们如何在不了解内部情况的情况下访问 TClass::foo？

Answer 1

请注意foo 是一个非依赖名称，但A 是一个依赖于模板参数T... 的依赖基类。标准 C++ 表示不会在依赖基类中查找非依赖名称。

正如您所说，使用 A<T...>::foo 可以正常工作，因为它是一个从属名称。同样，B::foo 也可以正常工作。

你可以

void yo() {
    std::cout << A<T...>::foo << '\n';
    std::cout << B::foo << '\n';
    std::cout << this->foo << '\n';
}

或

using A<T...>::foo;
void yo() {
    std::cout << foo << '\n';
}