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;
}

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

2 个答案: