c++ - 模板内的模板 VS 2005 问题？

Question

下面的代码(用 clang 和 gcc 编译得很好)。问题是这段代码违反了 C++03 标准，或者这是 VS 2005 错误？如果这是错误，是否有解决方法？

更新:我通过使用前向声明找到了解决方法:

//forward declaration
template<typename T, bool IsAcceptedType = Filter::template Acceptor<T>::IsAccepted>
struct FilteredConstructor;

//implementation
template<typename T>
class FilteredConstructor<T, true> {/*code here*/};

但是根据标准仍然存在关于此类代码有效或无效的问题

namespace {
    struct CoreTypesFilter {
        template<typename T> struct Acceptor {
           static const bool IsAccepted = false;
        };
    };
}


template<class Filter>
class QVariantConstructor {
    template<typename T, bool IsAcceptedType = Filter::template Acceptor<T>::IsAccepted>
    struct FilteredConstructor {
       FilteredConstructor(const QVariantConstructor &tc) {}
    };

    template<typename T>
    struct FilteredConstructor<T, /* IsAcceptedType = */ false> {
        FilteredConstructor(const QVariantConstructor &tc) {}
    };
public:
    template<typename T>
    void delegate(const T*)
    {
        FilteredConstructor<T> tmp(*this);
    }
};
//comment or uncomment them to build on VS or linux
#define _TCHAR char
#define _tmain main

int _tmain(int argc, _TCHAR* argv[])
{
    QVariantConstructor<CoreTypesFilter> vc;
    vc.delegate("test");//this line trigger compile error
    return 0;
}

VS 2005 编译器的编译错误:

error C2976: 'QVariantConstructor::FilteredConstructor' : too few template arguments1>        with1>        [1>            Filter=`anonymous-namespace'::CoreTypesFilter1>        ]1>        see declaration of 'QVariantConstructor::FilteredConstructor'1>        with1>        [1>            Filter=`anonymous-namespace'::CoreTypesFilter1>        ]1>        see reference to function template instantiation 'void QVariantConstructor::delegate(const T *)' being compiled1>        with1>        [1>            Filter=`anonymous-namespace'::CoreTypesFilter,1>            T=char1>        ]1>        error C2514: 'QVariantConstructor::FilteredConstructor' : class has no constructors1>        with1>        [1>            Filter=`anonymous-namespace'::CoreTypesFilter1>        ]1>       see declaration of 'QVariantConstructor::FilteredConstructor'1>        with1>        [1>            Filter=`anonymous-namespace'::CoreTypesFilter1>        ]

Answer 1

我快速阅读了标准的相关部分，问题似乎归结为您如何阅读 ISO/IEC 14882:2003 第 14.1 节第 9 段

默认模板参数是 模板参数 中 = 之后指定的 模板参数 (14.3)。可以为任何类型的template-parameter(类型、非类型、模板)指定默认的template-argument。默认的 template-argument 可以在类模板声明或类模板定义中指定。默认的template-argument 不应在函数模板声明或函数模板定义中指定，也不在类模板成员定义的template-parameter-list。不应在友元模板声明中指定默认的 template-argument。

严格来说，这似乎暗示您的代码是非法的。然而，大多数实现似乎将其解释为 已声明模板成员的定义。

健康警告，这是基于一读。我的回答很可能是错误的或不完整的，请指正。