考虑以下代码:
class Bar;
enum Values
{
ValA,
ValB, // ...
};
template< typename T >
struct Foo : virtual public Bar
{
};
template<>
struct Foo< ValA >
{
void doSomething();
};
如果我在头文件中定义了doSomething()
的实现,当我使用Foo::doSomething()
时,程序不会报错。但是,如果我将实现移动到cpp文件中,如下所示,我会得到一个错误:
template<>
void Foo< ValA >::doSomething()
{
// ...
}
错误:
error: template-id 'doSomething<>' for 'void Foo<(Values)0u>::doSomething()' does not match any template declaration.
我不知道为什么会失败。我相信,将专门的实现移到cpp文件中应该不成问题。我以前做过这个
有几个问题。
@dyp在你的问题的评论部分指出了一个。您需要使用:
void Foo< ValA >::doSomething()
{
}
代替
template<>
void Foo< ValA >::doSomething()
{
}
另一个是你必须将类模板更改为:
template< int T >
struct Foo : virtual public Bar
{
};
如果使用typename作为模板参数,则不能使用ValA
创建Foo
的专门化。