我有以下代码:
#include <iostream>
class A
{};
class B
{};
template<typename T>
void Do(T data)
{
std::cout << "Do() default\n";
}
template<>
void Do(A* data)
{
std::cout << "Do(A*)\n";
}
template<>
void Do(B* data)
{
std::cout << "Do(B*)\n";
}
int main(int argc, char* argv[])
{
A* a = nullptr;
B* b = nullptr;
const A* aConst = nullptr;
const B* bConst = nullptr;
Do(a);
Do(aConst);
Do(b);
Do(bConst);
return 0;
}
哪些输出:
Do(A*)
Do() default
Do(B*)
Do() default
我应该如何重写代码以共享 const 和非 const 类型的模板特化而不用复制粘贴带有 const 关键字说明符的特化以便它产生输出:
Do(A*)
Do(A*)
Do(B*)
Do(B*)
最佳答案
您可以重载,而不是专门化。使用
template<typename T, std::enable_if_t<std::is_same_v<std::decay_t<T>, A>, bool> = true>
void Do(T* data)
{
std::cout << "Do(A*)\n";
}
template<typename T, std::enable_if_t<std::is_same_v<std::decay_t<T>, B>, bool> = true>
void Do(T* data)
{
std::cout << "Do(B*)\n";
}
这些函数将在您通过 const A*
时调用/A*
/const B*
/B*
因为它们比通用模板更匹配。他们更匹配的原因是因为 T
更受约束。它被认为更专业,因此它将在重载解决方案中使用通用模板赢得决胜局。
关于c++ - const 和非 const 类型的相同模板特化,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/58633834/