经验首页 前端设计 程序设计 Java相关 移动开发 数据库/运维 软件/图像 大数据/云计算 其他经验
当前位置:技术经验 » 程序设计 » C++ » 查看文章
拷贝构造函数第一个参数最好使用const
来源:cnblogs  作者:放不下的小女孩  时间:2021/5/6 18:03:40  对本文有异议

  

  拷贝构造函数的第一个参数要求是自身类型的引用,但是没有一定要求具有底层const属性即对常量的引用,但是使用时最好加上const,原因是我们可能在某些“不知道”的情况下对常量对象调用拷贝构造函数。

  来看一个例子

  1. class HasPtr{
  2. public:
  3. HasPtr(const std::string &s=std::string()):ps(new std::string(s)),i(0){
  4. std::cout<<"construction call"<<std::endl;
  5. }
  6. HasPtr(HasPtr &hasptr):i(hasptr.i),ps(new std::string(*hasptr.ps))
  7. {
  8. std::cout<<"copy construction call"<<std::endl;;
  9. }
  10. ~HasPtr()
  11. { delete ps;
  12. std::cout<<"deconstruction call"<<std::endl; }
  13. private:
  14. std::string *ps;
  15. int i;
  16. };
  17. int main()
  18. {
  19. HasPtr ptr1("a"),ptr2("c"),ptr3("b");
  20. std::vector<HasPtr> vec{ptr1,ptr2,ptr3};
  21. return 0;
  22. }

  上面的例子中定义了一个类HasPtr,此类包含一个参数为自身类型引用的拷贝构造函数,主程序中构造了三个类的实例化对象,使用初始化列表的方式将其放入容器vector中。看上去好像没有什么问题,但是这个例子会在编译期出错。

  1. error: cannot bind non-const lvalue reference of type HasPtr&’ to an rvalue of type HasPtr

  程序中所有地方均使用HasPtr的对象均为左值为什么会报无法从非常量的左值无法绑定到右值上去?

  答案是,在初始化初始化列表的时候,vector的构造函数匹配vector<T>(initializer_list<T>)这个构造函数,而initializer_list<T>的元素均为const。这里程序作了三个操作:

  1、首先将初始化列表中的值拷贝构造到initializer_list中,此处HasPtr具有了const属性,成为了一个右值。(产生三个对象)

  2、然后程序将initializer_list中的元素拷贝构造到vector中 (产生三个对象)

  3、销毁initializer_list中的元素 (销毁三个对象)

  上述第二步操作需要调用参数为const HasPtr &的拷贝构造函数,而我们提供的是非const版本的,所以需要隐式转换,但显然这样的转换是失败的,所以产生上述错误。

  

  总结:1、拷贝构造函数的第一个参数最好带上const

     2、包含初始化列表的容器操作可能会调用两次拷贝构造函数。

 

原文链接:http://www.cnblogs.com/wildricky/p/14705997.html

 友情链接:直通硅谷  点职佳  北美留学生论坛

本站QQ群:前端 618073944 | Java 606181507 | Python 626812652 | C/C++ 612253063 | 微信 634508462 | 苹果 692586424 | C#/.net 182808419 | PHP 305140648 | 运维 608723728

W3xue 的所有内容仅供测试,对任何法律问题及风险不承担任何责任。通过使用本站内容随之而来的风险与本站无关。
关于我们  |  意见建议  |  捐助我们  |  报错有奖  |  广告合作、友情链接(目前9元/月)请联系QQ:27243702 沸活量
皖ICP备17017327号-2 皖公网安备34020702000426号