常量引用 const T&

 

1.引用本身不是对象，只是引用对象的别名，没有内存空间产生

2.引用必须严格类型匹配

3.而常量引用 const T& 可以引用字面值常量及表达式 其实也就是右值，且常量引用的不同与T类型对象时，如果可以类型转换则会类型转换为T类型常量引用，不过会产生临时变量(C++ Primer):  

code:

double d=25.0;

const int& a=d;

implicit code:

double d=25.0;

const int temp=d;

const int& a=temp;

 

所以常量引用时如果出现自动类型转换就要得注意临时变量作用域了，以下是衍生到模板显示调用时可能出现的问题

#include <iostream>
#include <string>


template <typename T>
inline const T&  max(const T& a,const T& b)
{
    return a>b? a:b;
}



int
main()
{
    //类型转换都会产生临时变量
    //const T& 类型不同需要转换时 引用的是临时变量
    //模板指定显示参数类型时注意如果类型不同引用的可能是临时变量
    double a=20.2,b=30.2;
    const double& c=max(a,b);
    std::cout<<c<<std::endl;
    b=200;
    std::cout<<c<<std::endl;

    a=20.2;
    b=30.2;
    const int& d=max<int>(a,b);
    std::cout<<d<<std::endl;
    b=200;
    std::cout<<d<<std::endl;
    
//    编译器:clang
//    out:
    
//    30.2
//    200
//    30
//    30


    return 0;
}