怎么理解C++中临时对象都是const类型的

以如下代码为例说明

• struct A
  {
  };
  
  struct B
  {
      public:
          B(){}
          B(A& a){}
  };
  
  struct B1 : public B
  {
      public:
          B1(const B& b) : B(b)
          {
          }
  };
  
  int main()
  {
      A a;
      /* 这里包含了一个隐式的类型转换，const B tempB( a ); 调用 B( A &a),const B &b = tempB */
      B1 b1(a);
      const B &b = tempB;
      return 0;
  }
• 分析
  • 非const的引用参数只能是相同类型，const的引用参数可以传相关类型的参数进来，加上const才能接受"右值(right value)"引用。B(A& a){}不但是一个构造函数，而且是一个自定义的类型转换操作(A->B)，问题有出在这里，如果要去掉这种非有意的自定义类型转换，使用 explicit B(A& a){}。
  • B(A& a){}是一个隐式的类型转换函数，当执行B1 b1(a)时会自动调用这个函数将a转换成B类型的临时对象b。这种系统自动生成的临时对象都是const的，而const对象是无法转换成非const对象的，所以B1(const B& b):B(b)这里一定要加const.
  • 一个非const引用，只能引用与其类型完全相同的对象，或者是其派生类的对象，如：B & refB = objectB ; B & refB = objectB1 都是合法的，但是 B & refB = objectA就不是合法的.因为 A与 B的类型不相同，且不是B的派生类，所以编译时会报错，于是 "A a; B1 b1(a)"就不能通过，简化一下就相当于" B & b = a".
  • 一个 const引用满足非const引用的特性的同时，还有很重要的一点，const引用可以引用一个与其类型完全不相同的类型(因为编译器会生成一个转换后可引用的临时对象)，前提是被引用的类型可以转换为引用的类型(编译器自定义的类型提升，或者是用户自定义的类型转换，如上面的 B(A& a) )
  • 为什么在const引用情况下，编译器会生成一个可被引用的临时对象，原因很简单，你是用一个const引用来操作这个临时对象，所以，这个临时对象的状态是不会变的，也就是安全的(当然，如果你把const引用 const_cast 成一个非 const引用来操作这个编译器生成的临时对象，那么结果是未定义的).
  • 引用型参数应该在能被定义为const的情况下，尽量定义为const