关于模板化函数上传递的右值引用和传递的左值参数的歧义[重复]

Question

考虑一下：

void test(int&& param){/*...*/}
int main(){
    int a{444};
    test(a);
}

当然它不会编译，因为没有为int 定义转换为int&&。但是下面的代码：

template<typename T>
void test(T&& param){/*..*/}


int main(){
    int a=826;
    test(a);
    return 0;
}

将编译。但为什么？什么原因？后者没有什么特别之处，只是函数 test 将为所有类型 T 实例化。但是我们仍然需要传递右值作为参数。那么为什么它，后来，编译？ - 没有任何抱怨。然后我尝试了以下方法：

template<typename T>
void test(T&& param){/*..*/}

template<typename T>
void test(T param){/*...*/}

int main(){
    int a=826;
    test(a);
    return 0;
}

编译器会抱怨，因为函数调用在调用 test(T&& param) 与 T=int& 或 test(T param) 与 T=int 时不明确。 现在我完全不知道要推断什么。模板在这里有什么特别之处？为什么它不符合右值和左值的规则？ 提前致谢

Answer 1

T&& 在这种情况下有时称为通用引用或转发引用。但情况是您陷入了特定的模板类型扣除规则。在这种情况下，param 的类型将是 int&，那么您没有将左值绑定到右值。