设为首页 加入收藏

TOP

c/c++ 拷贝控制 右值与const引用
2018-12-04 00:08:52 】 浏览:16
Tags:c/c 拷贝 控制 const 引用

拷贝控制 右值与const引用

背景:当一个函数的返回值是自定义类型时,调用侧用什么类型接收??

1,如果自定义类型的拷贝构造函数的参数用const修饰了:可以用下面的方式接收。

Test t2 = fun(t1);

2,如果自定义类型的拷贝构造函数的参数没有用const修饰了:必须用下面的方式接收

const Test& t2 = fun(t1);
Test t2 = fun(t1);//编译不通过

编译错误:

cannot bind non-const lvalue reference of type ‘Test&’ to an rvalue of type ‘Test’

解释:

第一种条件下,用const了,由于在编译阶段,要调用Test的拷贝构造函数(其实,在运行的时候是没有调用这个拷贝构造函数的,编译器进行了优化,避免了一次没有意义的拷贝。),参数是fun(t1)的返回值,类似Test(func(t1)),但是这个参数,也就是函数的返回值是右值(临时对象),由于右值必须是const属性的,所以加上了const,就满足了右值的需要,所以可以编译通过,这时t2是可以被改变的;如果没有加const,用第一种方式(Test t2 = fun(t1);)接收,就会编译错误。

第二种条件下,没有使用const,由于在编译阶段,要调用Test的拷贝构造函数,因为fun(t1)的返回值是右值,右值有const属性,所以编译器没有找到匹配的拷贝构造函数,就自己合成了一个拷贝构造函数。由编译器合成的这个拷贝构造函数就只能用上面写的方式接收,至于为什么,还没搞不懂!!!

代码:

#include <iostream>
using namespace std;

class Test{
public:
  Test(int d = 0):data(d){
    cout << "C:" << d << " " << this << endl;
  }
  //如果参数没有const修饰,下面②处代码编译不过;
  Test( Test &t){
    cout << "Copy:" << t.data << " " << this << endl;
    data = t.data;
  }
  ~Test(){
    cout << "F:" << this->data << "->" << this << endl;
  }
  int getData()const{
    return data;
  }
  void setData(int d){
    data = d;
  }
private:
  int data;
};


Test fun(Test &x){
  int value = x.getData();
  Test tmp(value);
  return tmp;

}

int main(){
  Test t1(100); 
  //编译器优化了,当把fun(t1)的返回值拷贝给t2时,应该调用拷贝构造函数,但是编译器优化了,就没有调用这次多余的拷贝构造函数,直接把让t2所占用的内存就是右值(fun(t1))所开辟的内存.
  const Test& t2 = fun(t1);----->①
  //Test t3 = fun(t1); ----->②
  //t2.setData(11);
  //std::cout << t2.getData() << std::endl;

  //Test t2(fun(t1));

  return 0;
}

github源代码

c/c++ 学习互助QQ群:877684253

本人微信:xiaoshitou5854


编程开发网
】【打印繁体】【投稿】【收藏】 【推荐】【举报】【评论】 【关闭】 【返回顶部
上一篇cf1056B. Divide Candies(数论 剩.. 下一篇POJ1862 Stripies 贪心 B

评论

帐  号: 密码: (新用户注册)
验 证 码:
表  情:
内  容:

array(4) { ["type"]=> int(8) ["message"]=> string(24) "Undefined variable: jobs" ["file"]=> string(32) "/mnt/wp/cppentry/do/bencandy.php" ["line"]=> int(214) }