c++ - 如何为模板类的所有实例专门化或重载全局模板函数？

Question

如何专门化或重载函数func，以便专门化处理 MyClass 的所有实例？假设func是一个图书管理员功能（std::swap例如），所以我不能更改func，也不能替换或包装它，我必须专门处理它。

#include <iostream>

template<typename T>
class MyClass
{
};

template<typename T>
void func(const T&)
{
    std::cout << "Default" << std::endl;
}

// I don't want to copy this stuff for every instance of MyClass
template<>
void func<MyClass<int>>(const MyClass<int>&)
{
    std::cout << "Specialization" << std::endl;
}

int main(int, char**)
{
    func(int(0)); // "Default"

    func(MyClass<int>()); // "Specialization"

    func(MyClass<double>()); // "Default" but I want "Specialization" here

    return 0;
}

Answer 1

以下是您可以执行的一些示例。

template<typename T>
void func(const T&)
{
    std::cout << "Default" << std::endl;
}

template<template<typename> class A , typename B>
void func(const A<B>&)
{
    std::cout << "Overload All templated classes with one templated argument B" << std::endl;
}

template<typename T>
void func(const MyClass<T>&)
{
    std::cout << "Overload Myclass with some templated argument T" << std::endl;
}

Answer 2

如果您无论如何都无法更改全局func并且仍然想避免复制，那么一种方法是使用宏为您自动执行重复的内容。

#define Specialize(TYPE) \
template<> \
void func<MyClass<TYPE>>(const MyClass<TYPE>&) \
{ \
    std::cout << "Specialization" << std::endl; \
}

Specialize(int);
Specialize(double);

如果您可以自由更改MyClass<T>，则将 的所有常见功能MyClass<T>放入一个常见的非模板基类中：

template<typename T>
class MyClass<T> : public MyClassBase // <---- a common base class
...

并且仅重载或专门func()用于MyClassBase：

void func(const MyClassBase&)
{
    std::cout << "Specialization" << std::endl;
}