我有以下代码(为了清楚起见,非常简化):
class Base
{
virtual int DoStuff(int arg) = 0;
};
template <typename T>
class Derived : public Base
{
int DoStuff(int arg) override
{
// do some stuff
return 0;
}
};
这很好用。现在我想实现DoStuff的特殊(矢量化)实现。我需要根据 Derived 具有的类型 T 来具体实现,如下所示:
class Base
{
virtual int DoStuff(int arg) = 0;
virtual int DoStuffVectorized(int arg) = 0;
};
template <typename T>
class Derived : public Base
{
int DoStuff(int arg) override
{
// do some stuff
return 0;
}
int DoStuffVectorized<char>(int arg) override
{
// do some stuff for T == char
return 0;
}
int DoStuffVectorized<int>(int arg) override
{
// do some stuff for T == int
return 0;
}
};
但是我无法完成这项工作。
编辑:我收到以下错误消息:错误 C2143:语法错误:第 int DoStuffVectorized<char>(int arg) override
行的"<"之前缺少";"。
当我将其更改为: template<char> int DoStuffVectorized(int arg) override
我得到:错误 C2898:...':成员函数模板不能是虚拟
关于如何实现这样的事情有什么建议吗?我需要它的原因是我有一个 std::vector 来存储各种类型的数据(通过使用 Derived<>)。这样,无论存储的类型如何,我都可以使用相同的简单代码,即使使用可悲的是特定于类型的 DoStuff 的特殊矢量化实现,我也希望这是真的。
您必须在类之外专门化模板成员函数:
#include <iostream>
class Base
{
public:
virtual int DoStuffVectorized(int arg) = 0;
};
template <typename T>
class Derived : public Base
{
public:
int DoStuffVectorized(int arg) override;
};
template <>
int Derived<char>::DoStuffVectorized(int arg)
{
std::cout << "T == charn";
return 0;
}
template <>
int Derived<int>::DoStuffVectorized(int arg)
{
std::cout << "T == intn";
return 0;
}
int main(){
Derived<char> c;
Derived<int> i;
Base* b[] = { &c, &i };
for(auto* x : b)
x->DoStuffVectorized(0);
// undefined reference to `Derived<double>::DoStuffVectorized(int)'
// Derived<double> d;
}
如果要在编译时捕获意外的实例化:
#include <type_traits>
// A std::false_type (useful in a static_assert)
template <typename T>
struct static_false : std::false_type
{};
template <typename T>
int Derived<T>::DoStuffVectorized(int arg)
{
static_assert(static_false<T>::value, "Neither 'char' or 'int'");
return 0;
}
DoStuffVectorized<char>
语法不正确,DoStuffVectorized
不是模板本身。
请参阅模板专用化:
template <typename T>
class Derived : public Base
{
int DoStuff(int arg) override
{
// do some stuff
return 0;
}
int DoStuffVectorized(int arg) override
{
// do some stuff (primary template)
return 0;
}
};
template <>
int Derived<int>::DoStuffVectorized(int) {
// do some stuff for T == char
return 0;
}
template <>
int Derived<char>::DoStuffVectorized(int) {
// do some stuff for T == char
return 0;
}