Question

这是代码段：

#include <boost/utility.hpp>
#include <boost/type_traits.hpp>
#include <boost/type_traits/is_base_of.hpp>
#include <boost/typeof/typeof.hpp>

enum ScriptVarType_t { SVT_BOOL, SVT_STRING, SVT_CUSTOM, SVT_CustomWeakRefToStatic };

struct ScriptVar_t {};
struct CustomVar {
    struct Ref {};
    struct WeakRef {};
};

template<typename T> struct GetType;

template<typename T> struct _GetTypeSimple {
    typedef T type;
    static type defaultValue() { return T(); }
    static const type& constRef(const type& v) { return v; }
};

template<> struct GetType<bool> : _GetTypeSimple<bool> { static const ScriptVarType_t value = SVT_BOOL; };
template<> struct GetType<std::string> : _GetTypeSimple<std::string> { static const ScriptVarType_t value = SVT_STRING; };
template<> struct GetType<CustomVar::Ref> {
    typedef CustomVar::Ref type;
    static const ScriptVarType_t value = SVT_CUSTOM;
    static type defaultValue() { return type(); }
    static const type& constRef(const type& v) { return v; }
};


template<typename T>
struct CustomVarWeakRefType {
    typedef CustomVar::WeakRef type;
    static const ScriptVarType_t value = SVT_CustomWeakRefToStatic;
    static CustomVar::Ref defaultValue() { return T().getRefCopy(); }
    static CustomVar::WeakRef constRef(const T& v) { return v.thisRef.obj; }
};

struct StringType : GetType<std::string> {};

template<typename T>
struct _SelectType {
    static CustomVarWeakRefType<T>* selectType(const CustomVar&) { return NULL; }

    static StringType* selectType(const char*) { return NULL; }
    static StringType* selectType(char[]) { return NULL; }

    typedef typename BOOST_TYPEOF(*selectType(*(T*)NULL)) type;
};

template<typename T> struct GetType : _SelectType<T>::type {};

template<typename T>
T _CastScriptVarConst(const ScriptVar_t& s, T*, typename boost::enable_if_c<(GetType<T>::value < SVT_CUSTOM), T>::type*) {
    return (T) s;
}

template<typename T>
T _CastScriptVarConst(const ScriptVar_t& s, T*, typename boost::enable_if_c<boost::is_base_of<CustomVar,T>::value, T>::type*) {
    return *s.as<T>();
}

一些错误：

3>c:\users\albert zeyer\programmierung\openlierox\include\CScriptableVars.h(416): error C2059: Syntaxfehler: ')'
3>c:\users\albert zeyer\programmierung\openlierox\include\CScriptableVars.h(416): error C2143: Syntaxfehler: Es fehlt ',' vor ')'
3>c:\users\albert zeyer\programmierung\openlierox\include\CScriptableVars.h(416): error C2947: ">" wird erwartet, um template-argument-list abzubrechen. ">" wurde gefunden.
3>c:\users\albert zeyer\programmierung\openlierox\include\CScriptableVars.h(416): warning C4346: 'GetType<T>::value<T>::type': Abhängiger Name ist kein Typ
3>          Präfix mit 'typename' zum Angeben eines Typs
3>c:\users\albert zeyer\programmierung\openlierox\include\CScriptableVars.h(416): error C2059: Syntaxfehler: ')'
3>c:\users\albert zeyer\programmierung\openlierox\include\CScriptableVars.h(421): error C2059: Syntaxfehler: ','
3>c:\users\albert zeyer\programmierung\openlierox\include\CScriptableVars.h(421): warning C4346: 'boost::is_base_of<CustomVar,T>::value': Abhängiger Name ist kein Typ
3>          Präfix mit 'typename' zum Angeben eines Typs
3>c:\users\albert zeyer\programmierung\openlierox\include\CScriptableVars.h(421): error C2143: Syntaxfehler: Es fehlt ',' vor ')'
3>c:\users\albert zeyer\programmierung\openlierox\include\CScriptableVars.h(421): error C2143: Syntaxfehler: Es fehlt ';' vor '{'
3>c:\users\albert zeyer\programmierung\openlierox\include\CScriptableVars.h(423): error C2143: Syntaxfehler: Es fehlt ';' vor '}'

（顺便说一下，用英语获取这些消息的任何方式？我是MSVC的新手。例如，它说：“＆gt;”预计会取消template-argument-list，但会找到“＆gt;”。）

错误消息大多是完全愚蠢或错误的。

为什么？我甚至不知道MSVC在哪个方面正在努力。

我该如何解决它？

Answer 1

好的，发现了问题。 enable_if_c<(GetType<T>::value < SVT_CUSTOM), T>中的较少比较会混淆编译器，因为它无法确实知道value是一个整数。

我将其更改为GetType<T>::value <= SVT_CUSTOM-1，一切正常。

许多使用MSVC2010增加模板错误

1 个答案: