c++ - 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更受约束。它被认为更专业，因此它将在重载解决方案中使用通用模板赢得决胜局。