关于这个内部类成员访问，clang 或 gcc 是否正确？

Question

以下代码在 clang 上编译并运行，但在 gcc 上失败并显示“错误：非静态数据成员‘Outer::a’的无效使用”：

#include <functional>
#include <vector>
#include <assert.h>
#include <iostream>
#include <memory>

class Outer
{
public:
    bool a = false;

    virtual void f() = 0;

    template <typename T>
    class Inner : public T
    {
    public:
        virtual void f() override
        {
            a = true; // Note: accessed through inheritance, not through outer scope
        }
    };
};

struct Foo : Outer { };

int main()
{
    Outer::Inner<Foo> f;
    f.f();
}

将“this->a”添加到内部类使其适用于两个编译器，但我想知道正确的行为是什么以及标准对此有何规定。

有趣的是，上面的代码可以作为 VS2017 中更大代码库的一部分在工作中使用，但是当我在家里单独尝试使用 VS2017 时，它会失败，并出现与 GCC 相同的错误。

你可以尝试在这里编译：

• 叮当声：https://rextester.com/SKAUEY50097
• gcc：https://rextester.com/FLGL37556

Answer 1

此代码格式错误无需诊断。所以 Gcc 是正确和友好的。 Clang 和 MSVC 缺乏诊断只是编译器质量问题。

涉及的标准规则是[temp.res]/8:

可以在任何实例化之前检查模板的有效性。 [ 注意：知道哪些名称是类型名称允许以这种方式检查每个模板的语法。 —— 尾注 ] 该程序格式错误，不需要诊断，如果：

• [..]

• 由于不依赖于模板参数的构造或 [...]

在f body 中，不合格的id-expression a 不依赖于任何模板参数，所以这个id-expression 应该在模板的定义点被解析，而不需要知道任何模板参数。在这一点上，这个表达式是错误的。

---

注意：非限定的 id 表达式，（非类成员访问）表达式只有在命名该类或非依赖基 [temp.dep.type]/5 的成员时才应该是成员：

一个名字是当前实例化的成员，如果它是：

• 一个非限定名称，在查找时，它指的是作为当前实例化的类的至少一个成员或其非依赖基类。