这是 GCC 中的错误吗？

Question

编辑：这不是错误，只是我不知道dependent name lookups in templated base classes（MSVC“有用地”解决了没有错误）。

---

不久前我写了一个仿函数实现，以及一个使用它的简单“事件”包装器。它在 MSVC 下编译得很好，但是 GCC 给出了一个关于基类中的成员变量 subscribers 的错误，它没有被声明；将subscribers 更改为this->subscribers 可以解决问题（！）。它似乎只发生在奇怪地重复出现的模板模式和部分模板专业化中。

简化的源代码（对不起，令人费解的模板用法...）：

#include <vector>

template<typename TEvent>
struct EventBase
{
protected:
        std::vector<int> subscribers;
};

template<typename TArg1 = void, typename TArg2 = void>
struct Event : public EventBase<Event<TArg1, TArg2> >
{
        void trigger(TArg1 arg1, TArg2 arg2) const
        {
                // Error on next line
                auto it = subscribers.cbegin();
        }
};

template<typename TArg1>
struct Event<TArg1, void> : public EventBase<Event<TArg1> >
{
        void trigger(TArg1 arg1) const
        {
                // Using `this` fixes error(?!)
                auto it = this->subscribers.cbegin();
        }
};

template<>
struct Event<void, void> : public EventBase<Event<> >
{
        void trigger() const
        {
                // No error here even without `this`, for some reason!
                auto it = subscribers.cbegin();
        }
};

int main()
{
        return 0;
}

我是否在某处调用了未定义的行为？我的语法有什么错误吗？这真的是 GCC 中的错误吗？它可能是一个已知的错误吗？任何见解将不胜感激！

更多细节：使用g++ -std=c++11 main.cpp 编译。我正在使用 GCC 版本 4.7.2。确切的错误信息：

main.cpp: In member function ‘void Event<TArg1, TArg2>::trigger(TArg1, TArg2) const’:
main.cpp:17:15: error: ‘subscribers’ was not declared in this scope

Answer 1

这是 MSVC 中的错误。依赖基类的名称必须是“thisambiguated”。

原因是从属名称proceeds in two phases 的非限定查找。在第一阶段，基类还不知道，编译器无法解析名称。 MSVC 不实现两阶段名称查找，并将查找延迟到第二阶段。

完整的专业化

template<>
struct Event<void, void> : public EventBase<Event<> >
{
        void trigger() const
        {
                // No error here even without `this`, for some reason!
                auto it = subscribers.cbegin();
        }
};

不会遇到这个问题，因为类和它的基类都是普通类，不是类模板，一开始就没有模板依赖。

当将 C++ 代码从 MSVC 移植到 gcc/Clang 时，依赖名称查找消歧和 template keyword disambiguation（即使用 ::template、->template 或 .template 语法调用成员函数模板）是您需要注意的两个细微之处必须处理（empty base optimization 是另一个）。对于所有标准合规性言论，出于向后兼容性的原因，这可能永远不会得到解决。