类模板方法特化

Question

我正在尝试专门化这样的模板方法：

template <typename X, typename Y>
class A {
public:
    void run(){};
};


template<typename Y>
void A<int, Y>::run() {}

但我明白了

main.cpp:70:17: error: nested name specifier 'A<int, Y>::' for declaration does not refer into a class, class template or class template partial specialization

我知道专业化尚未完成，因为我尚未使用特定的 Y 对其进行实例化，但我该怎么做？

Answer 1

您首先需要对类本身进行部分特化，包括函数声明。之后，您可以编写其定义。你不能部分特化一个函数。

例如

#include <iostream>

template <typename X, typename Y>
class A {
public:
    void run()
    {
        std::cout << "How do you do?\n";
    };
};


template<typename Y>
class A<int, Y>
{
public:
    void run();
};

template<typename Y>
void A<int, Y>::run()
{
    std::cout << "Hello World!\n";
}

int main() 
{
    A<int, int>().run();
    A<double, int>().run();
    
    return 0;
}

程序输出。

Hello World!
How do you do?