类型特征 - 显式模板专业化。在 xcode 上失败

Question

我正在尝试使用“现代 C++ 设计”中的类型特征，使用模板来确定类型是否具有可变大小。例如，字符串需要可变大小的存储，int 具有固定大小的存储。此代码适用于 Microsoft C++，现在我正在移植到 mac，但出现错误：

当前范围内不允许显式特化

专门化这个的正确方法是什么？

template <typename T>
class MyTypeTraits
{
    template<class U> struct VariableLengthStorageTraits
    {
        enum { result = false };
    };
    template<> struct VariableLengthStorageTraits<std::wstring>
    {
        enum { result = true };
    };

public:
    enum{ IsVariableLengthType = VariableLengthStorageTraits<T>::result };
};

Answer 1

2003 C++ 标准只允许在封闭类定义之外的成员模板特化。此外，定义外特化必须是封闭模板的显式完全特化。Microsoft C++ 在这方面是非标准的。修复很简单，只需将内部模板移出封闭模板，因为内部模板不需要其封闭类模板参数：

template<class U> struct VariableLengthStorageTraits
{
    enum { result = false };
};

template<>
struct VariableLengthStorageTraits<std::wstring>
{
    enum { result = true };
};

template <typename T>
struct MyTypeTraits
{
    enum{ IsVariableLengthType = VariableLengthStorageTraits<T>::result };
};