用于const和非const类型的相同模板特化

Question

我有以下代码：

#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*)

Answer 1

代替专门化，您可以重载。使用

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受到更多限制。它被认为是[[更加专业，因此它将以超载解析中的通用模板在决胜局中胜出。

Answer 2

如果愿意编写一个小存根，则可以使用此模式：

template<>
void Do(const A* data)
{
    std::cout << "Do(A*)\n";
}

template<>
void Do(A* data)
{
    Do((const A*)data);
}

您不想复制的主要代码使用const A*，因为很好，您也希望它也可以处理const数据。非const只是简单地转发给它。