删除 const 时模板中的编译错误-解网

问：

template<typename T>
void func(const T &x) {
    cout << "base template "<<x<<"\n";
}

template<>
void func(const int &x) {
    cout << "int specialization "<<x<<"\n";
}

template<>
void func(const double &x) {
    cout << "double specialization "<<x<<"\n";
}

int main() {
    int five = 5;
    func(five); // prints int specialization 5
    double d = 3.14;
    func<int>(d); // prints int specialization 3
}

现在删除了const

template<typename T>
void func( T &x) {
    cout << "base template "<<x<<"\n";
}

template<>
void func( int &x) {
    cout << "int specialization "<<x<<"\n";
}

template<>
void func( double &x) {
    cout << "double specialization "<<x<<"\n";
}

int main() {
    int five = 5;
    func(five); // prints int specialization 5
    double d = 3.14;
    func<int>(d); // throws compile error
}

为什么我在版本中一切都编译良好？func<int>(d)const

错误 C2664“void func（int &）”：无法将参数 1 从“double”转换为“int &”

当我自己尝试一些模板专用化示例时，我遇到了这个问题。

我正在寻找可能有帮助的阅读链接和帖子。

C++ 参数传递隐式转换

您可以提供一个显式的临时解决方案来解决语言约束问题。然后通过调用函数。不要在实际代码中这样做;此处显示用于教育目的。template <typename T> struct temp { T var; temp(T value) : var{value} {} operator T&() { return var; } };func<int>(temp<int>(d));

答：

10赞 wohlstad 8/4/2023 #1

该问题实际上与模板无关：

您需要转换为 an 才能成为需要引用的函数的参数。double dintint

但是，由于转换后是临时的（即 R 值），因此它不能绑定到，而只能绑定到 .intint &const int &

您可以在没有任何模板的情况下观察到这一点：

void func1(const int& x) 
{
}

void func2(int& x) 
{
}

int main() 
{
    double d = 3.14;
    func1(d);   // This compiles.
    func2(d);   // This does not. Error on MSVC: cannot convert argument 1 from 'double' to 'int &'
}

上一个：以 const-reference 为参数的函数可以更改基础对象吗？

下一个：C++20：将参数包编码和解码为变量，供 varargs 使用

删除 const 时模板中的编译错误

Compilation error in template when const is removed

评论