[C++知识库]传递引用参数时类型转换的相关探索

测试一：

传递给 形参类型为 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 编译器的这种报错却能编译的行为看不懂，希望有高人解惑。🙏🙏🙏