C++const类型的引用参数

• string类定义了一种char*到string的转换功能，这使得可以使用C-风格字符串来初始化string对象。
• 类型为const引用的形参其中一个属性表明：假设实参的参数类型与引用参数不匹配，但可以转换为引用类型，程序将创建一个正确类型的临时变量，使用转换后的实参值来初始化它，然后传递一个指向该临时变量的引用。
• 上面提到const引用为形参的属性，也就是说，如果引用的参数是const，则编译器在某些情况下会生成临时变量，比如下面这两种情况：
  1， 实参类型不正确，但可以转换为正确类型。
  2， 实参类型正确，但不是左值

先看到下面例子

void g(string &a,const string &b)
{
    cout<<"a address :"<<&a<<endl;
    cout<<"b address :"<<&b<<endl;
    
//    return a; 
}

string f()
{
}
int main()
{
    string input="I love you";
    int a=1;
 //   int b=2;
    cout<< "input address: "<<&input<<endl;
    const char *b="***";
    cout<<"b address: "<<&b<<endl;
    
    g(input,b);
    
//    g(input,input);
    
    getchar();
return 0;
}

可以看到g函数的参数一个为string& 一个为 const string&

我们将input="I love you"和const char *b="***";作为参数传入g函数，分别打印传入前和传入后变量的地址我们来看一下结果。

可以看到将字符串常量传给g函数的const string&参数打印出的地址与传入的地址不同，这说明函数自动生成了一个临时变量将字符串常量自动转化为string类型。

那我们再看另一个例子

string f();
string g(string & str);

 g(f());
 g("abc");

程序编译在4，5行出错，这是为什么呢。

第5行的错误可以由上面的例子解释，当引用参数与实参不匹配，但可以通过转化为引用类型时，要将引用声明为const。

第4行的错误可以知道，将一个临时变量作为实参传递给参数时，也同样需要将参数类型设为const。

以上是针对string类型的参数做的实验，那么其他类型的参数是不是也同样是这样的规则呢？

void g(int &a,const char &b)
{
    cout<<"a address :"<<&a<<endl;
    cout<<"b address :"<<&b<<endl;
    
//    return a; 
}

string f()
{
}
int main()
{

    int a=1;
    int b=2;
    cout<< "a address: "<<&a<<endl;
    cout<<"b address: "<<&b<<endl;
    
    g(a,b);
    
//    g(input,input);
    
    getchar();
return 0;
}

我们将参数参数改为int& 和 const char&引用，将两个整形变量传递给函数。发现结果和上面一样，同样产生了临时变量。

总结

在c++中当函数参数为引用时。

• 如果传递的实参与函数参数类型不匹配，那么只有将参数类型定义为const，那函数将会产生一个临时变量，临时变量自动转化为函数参数类型。否者将报错。
• 如果传递的实参是一个临时变量，那么就要将函数参数定义为const类型，否则也会出错