c++ - 在基类(模板)中定义但具有派生类类型的静态数据成员

Question

我有这样的代码:

//工厂.h

template <typename TFactoryTable, typename TBaseProduct>
class FactoryTable {
public:
    static TFactoryTable instance;
};

template <typename TFactoryTable, typename TBaseProduct>
TFactoryTable FactoryTable<TFactoryTable, TBaseProduct>::instance;

//Foo.h

class BaseFoo {};
class FooFactoryTable : public FactoryTable<FooFactoryTable, BaseFoo> {};

//条形图.h

class BaseBar {};
class BarFactoryTable : public FactoryTable<BarFactoryTable, BaseBar> {};

// main.cpp

void test() {
    auto& t = FooFactoryTable::instance;
}

我将静态成员“实例”的定义放在 FactoryTable<> 中，这样我就可以强制工厂表(FooFactoryTable、BarFactoryTable...)使用相同的方式来定义它的单例。这些代码由 visual studio 2012(v110) 编译得很好，但是编辑器(IntelliSense 不是编译器)在 test() 中的 FooFactoryTable::instance 上报告错误:

Error: class "FooFactoryTable" has no member "instance"

如果我将实例的声明和定义更改为“FactoryTable”类型(不是 TFactoryTable)，那么编辑器将不会报告错误。所以我担心，这是(编译良好)仅 msvc 的功能，还是标准的 C++ 功能？因为代码的目标平台是android和iphone，需要用gcc编译。

Answer 1

Intellisense 很容易被更复杂的构造(尤其是预处理器或模板)混淆，并且喜欢报告虚假错误。像这个。您使用 TFactoryTable 作为静态成员类型的代码是 100% 合法的 C++。