C++类构造函数模板特化编译错误求助（VS2017）

你遇到的编译错误全部源于构造函数模板特化的语法误用。普通成员函数（比如你的f方法）的特化语法不适用于构造函数——因为构造函数没有返回值，且名称与类名完全一致，不能像普通函数那样在函数名后附加模板参数列表。

错误原因拆解 #

你写的构造函数特化代码：

template<> inline c::c<c>(const c& input) {
    data = input.data;
}

这是完全错误的写法：构造函数特化时，不需要在c::c后面加<c>，因为构造函数的模板特化是通过参数类型来指定的，而非在函数名后显式声明模板参数。

而你的成员函数f的特化是正确的，因为f是普通成员函数，它的特化语法void c::f<c>(const c&)符合C++标准。

修正后的代码 #

把Header.h中的构造函数特化部分替换为以下代码即可解决所有编译错误：

// 正确的构造函数模板特化
template<> inline c::c(const c& input) {
    data = input.data;
}

修正后的完整Header.h代码 #

#pragma once
#include <iostream>
using namespace std;

class c {
public:
    template<typename T>
    c(const T&);
    ~c();
    template<typename T>
    void f(const T&);
private:
    uint64_t data;
};

//Constructors
template<typename T>
inline c::c(const T& input) {
    data = input;
}

// 修正后的构造函数特化
template<> inline c::c(const c& input) {
    data = input.data;
}

//Destructor
inline c::~c() {}

//Functions
template<typename T>
inline void c::f(const T& input){
    //Magic function
    cout << (data += input) << endl;
}

template<> inline void c::f<c>(const c& input){
    //Magic function
    cout << (data += input.data) << endl;
}

额外说明 #

1. 构造函数的模板特化本质是针对特定参数类型的模板实例化，因此只需要通过template<>声明这是一个特化版本，然后直接写出参数类型为const c&的构造函数即可，不需要额外在构造函数名后标注模板参数。
2. 你的Visual Studio 2017报错中的C2988、C2059等错误都是因为编译器无法识别错误的构造函数特化语法导致的，修正语法后这些错误会全部消失。

内容的提问来源于stack exchange，提问作者Khoo Hao Yit