测试一:
传递给 形参类型为 int &
的函数一个 char 类型的变量。
void func1(int & t){}
char c = 'a';
func(a); //error!
结果:失败!a 作为 char 传入给 int& 时需要进行类型转换,产生 int 型的临时量,这种临时量无法被一般的左值引用所绑定。但可以被 const 左值引用和 右值引用绑定,测试如下:
void func2(int&& a)
{
std::cout << "in func2" << std::endl;
std::cout << a << std::endl;
}
void func3(const int& a)
{
std::cout << "in func3" << std::endl;
std::cout << a << std::endl;
}
...
char c = 'a';
//int &t = c; //error!
int && t1 = c;
std::cout << t << std::endl;
const int & t2 = c;
std::cout << t << std::endl;
输出:
测试二
如果,是模板 + 显示实例化调用 呢呢?
template <typename T>
void func(T& a, T& b)
{
}
int a = 10;
char c = 'a';
func(a,c); //error!
VS 报错如下:
编译也无法成功,推测还是因为 char 无法传递给 int & 的原因。
那么把形参改为 const T & 和 T && 如何呢?测试如下:
template <typename T>
void func4(T& a,T&& b)
{
std::cout << "in func4" << std::endl;
std::cout << a << std::endl << b << std::endl;
}
template <typename T>
void func5(const T & a, const T& b)
{
std::cout << "in func5" << std::endl;
std::cout << a << std::endl << b << std::endl;
}
...
int a = 10;
char c = 'a';
func4<int>(a,c);
func5<int>(a, c);
输入代码后, Visual Studio 2019 对 func4 的调用报错,但是编译却可以顺利通过:
注意是 error!而不是 warning !但是,编译却可以通过:
震惊! - _ - !
cpp-reference 中文网站 : https://zh.cppreference.com/w/cpp/language/reference 中,有相关线索,其实 《c++ primer》中也有介绍。但是 MSVC 编译器的这种报错却能编译的行为看不懂,希望有高人解惑。🙏🙏🙏