拷贝构造函数第一个参数最好使用const

大佬教程收集整理的这篇文章主要介绍了拷贝构造函数第一个参数最好使用const，大佬教程大佬觉得挺不错的，现在分享给大家，也给大家做个参考。

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

　　来看一个例子

class HasPtr{
public:
    HasPtr(const std::string &s=std::string()):ps(new std::string(s)),i(0){
        std::cout<<"construction call"<<std::endl;
        }
    HasPtr(HasPtr &hasptr):i(hasptr.i),ps(new std::string(*hasptr.ps))
    {
        std::cout<<"copy construction call"<<std::endl;;
    }
   ~HasPtr()
    {   delete ps;
        std::cout<<"deconstruction call"<<std::endl;    }
private:
    std::string *ps;
    int i;
};
int main()
{
    HasPtr ptr1("a"),ptr2("c"),ptr3("b");
    std::vector<HasPtr> vec{ptr1,ptr2,ptr3};
    return 0;
}

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

 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、包含初始化列表的容器操作可能会调用两次拷贝构造函数。

大佬总结

以上是大佬教程为你收集整理的拷贝构造函数第一个参数最好使用const全部内容，希望文章能够帮你解决拷贝构造函数第一个参数最好使用const所遇到的程序开发问题。

如果觉得大佬教程网站内容还不错，欢迎将大佬教程推荐给程序员好友。

本图文内容来源于网友网络收集整理提供，作为学习参考使用，版权属于原作者。
如您有任何意见或建议可联系处理。小编QQ：384754419，请注明来意。