如何专门化非模板类的模板化成员函数？

Question

假设我有一个文件 alpha.h：

class Alpha {
public:
    template<typename T> void foo();
};

template<> void Alpha::foo<int>() {}
template<> void Alpha::foo<float>() {}

如果我在多个 cpp 文件中包含 alpha.h 并使用 GCC 4.4 进行编译，它会抱怨 foo 和 foo< 有多个定义;float> 跨多个对象文件。对我来说很有意义，所以我将最后两行更改为：

template<> extern void Alpha::foo<int>() {}
template<> extern void Alpha::foo<float>() {}

但是 GCC 说：

显式模板专业化 不能有存储类别

好吧...那么我应该如何正确地做到这一点？我担心 C++ 不允许我首先尝试做的事情，在这种情况下是否有一个好的习惯用法可以完成同样的事情？

Answer 1

不需要单独的声明或内联键工作。 PF低于工作代码。

#include<iostream>

class temp
{
public:
    template <class T>
    T add1(T a, T b)
    {
            return (a + b);
    }
};

template<>
std::string temp::add1<std::string>(std::string aa, std::string bb)
{
    return aa+bb;
}

int main()
{
    temp *tc = new temp();
    std::cout << tc->add1<float>(5.7, 4.5) << std::endl;
    std::cout << tc->add1<std::string>("my ","program") << std::endl;
}

输出是：

10.2

我的程序

Answer 2

您可以转发声明以及内联选项：

// .h
template<> void Alpha::foo<int>();

//.cpp
template<> void Alpha::foo<int>() {}

Answer 3

从 ODR 的角度来看，完全（显式）专用的模板不再是模板，因此它与同类非模板实体遵循相同的 ODR 原则。 （我相信该规则有一些例外，但对于我们的目的来说已经足够了）。

在您的情况下，出于 ODR 目的，完全专用的函数模板是一个普通函数。因此，作为一个普通函数，它应该在头文件中声明并在一个且唯一的一个实现文件中定义。

Answer 4

或者使用 inline 关键字

template<> inline void Alpha::foo<int>() {}

，在单独的 cpp 文件中提供实现