C++模板化函数和前向声明

Question

我正在编写一些使用 MSVC 在 Windows 上编译和链接（甚至已经发布了商业产品）的代码。但它不能用 GCC 编译，我收到以下错误：

.../CBaseValue.h: In member function 'bool CBaseValue::InstanceOf()':
.../CBaseValue.h:90:18: error: invalid use of incomplete type 'struct CValueType'
.../CBaseValue.h:11:7: error: forward declaration of 'struct CValueType'

CBaseValue.h

class CValueType;

class CBaseValue {
public:

...

    template <typename _Type>
    bool InstanceOf() {
        CValueType* pType = GetType();
        if(pType == NULL) {
            return false;
        }
        else {
            return pType->IsDerivedFrom<_Type>();
        }
    }

...

}

CValueType.h

class CValueType : public CBaseValue  {
public:

...

    template <typename _Type>
    bool IsDerivedFrom() {
        return IsDerivedFrom(_Type::TYPEDATA);
    }

...

}

我明白为什么这是一个问题。基类 (CBaseValue) 有一个使用派生类（在本例中为 CValueType）的模板化函数。

看起来 MSVC 并没有完全遵守 C++ 规范，而我刚刚被它咬住了。但是，在调用模板化函数的代码实际编译之前使用前向声明的 MSVC 行为现在也更可取。有谁知道一种解决方法，可以让此代码与 GCC 一起使用，而无需重写大量基本代码？

根据我自己的研究，看起来将“-fno-implicit-templates”传递给 g++ 会有所帮助，但随后我需要显式定义调用的模板类型。它们有很多，所以如果我能避免的话，我会更喜欢它。如果普遍共识是这是我最好的选择……那就这样吧！

如果有人想知道，我正在将代码移植到 Mac，这就是我们现在使用 GCC 的原因。

Answer 1

该标准的格式不正确，但不需要诊断。 MSVC 可以不诊断这个特殊情况（即使发生实例化！）。

更具体地说，(C++03) 标准规则为 14.6/7

如果非依赖名称中使用的类型在定义模板时不完整，但在完成实例化时完整，并且该类型的完整性是否影响程序格式良好或影响程序的语义，则程序格式错误；无需诊断。

因此，解决方案是仅使类型相关，但安排在实例化期间指定该类型。例如，您可以通过像这样重写模板来做到这一点

template<typename T, typename> // just ignore second param!
struct make_dependent { typedef T type; };

template <typename Type> // eww, don't use "_Type" in user code
bool InstanceOf() {
    typename make_dependent<CValueType, Type>::type* pType = GetType();
    // ...
        return pType->template IsDerivedFrom<Type>();
    // ...
}

Answer 2

似乎 CBaseValue::InstanceOf() 函数对于不包括 CValueType.h 的任何人来说都是无用的。

因此，请等到所有需要的类型都可用后再提供定义。 （编辑：这正是 Charles Bailey 在我打字时发表的评论所建议的——我想我们的想法是一样的。）

CBaseValue.h

class CValueType;

class CBaseValue {
public:

...

    template <typename _Type>
    bool InstanceOf();

...

}

CValueType.h

class CValueType : public CBaseValue  {
public:

...

    template <typename T>
    bool IsDerivedFrom() {
        return IsDerivedFrom(T::TYPEDATA);
    }

...

}


template <typename T>
inline bool CBaseValue::InstanceOf() {
        CValueType* pType = GetType();
        if(pType == NULL) {
            return false;
        }
        else {
            return pType->IsDerivedFrom<T>();
        }
    }

不过，它们看起来非常紧密地耦合，所以可能只有一个头文件两个类或一个以正确顺序包含各个标头的公共标头文件会更好。