引申问题一：拷贝构造函数中参数是否加const对拷贝构造函数的影响。
网上大多数人对于这个问题的解释只能达到"当你不想对参数进行修改时，就需要加上const关键字"的程度，但是并没有仔细区分这两种情况到底有什么区别。以下面的程序为例：
Dog.h
#ifndef __test_header__Dog__
#define __test_header__Dog__
#include <stdio.h>
class Dog{
public:
Dog();
Dog(Dog &dog);
};
#endif
Dog.cpp
#include "Dog.h"
#include <iostream>
using namespace std;
Dog::Dog(){
cout<<"Dog()"<<endl;
};
Dog::Dog(Dog &dog){
cout<<"Dog(Dog &dog)"<<endl;
};
Main.cpp
#include <iostream>
#include <string>
#include "Dog.h"
using namespace std;
int main(int argc, const char * argv[]) {
// insert code here...
Dog dog1;
Dog dog2 = dog1;
return 0;
}
运行后输出结果为：
而如果将Dog dog1修改为const Dog dog1的话，再次编译就会出现错误
提示没有匹配的构造函数，这是因为我们并没有定义一个参数是const Dog &dog的拷贝构造函数。
那么如果我们把程序稍做修改，修改成以下的代码会发生什么情况呢？
Dog.h
#ifndef __test_header__Dog__
#define __test_header__Dog__
#include <stdio.h>
class Dog{
public:
Dog();
//Dog(Dog &dog);
Dog(const Dog &dog);
//Dog& operator=(Dog &dog);
};
#endif
Dog.cpp
#include "Dog.h"
#include <iostream>
using namespace std;
Dog::Dog(){
cout<<"Dog()"<<endl;
};
Dog::Dog(const Dog &dog){
cout<<"Dog(const Dog &dog)"<<endl;
};
Main.cpp
#include <iostream>
#include <string>
#include "Dog.h"
using namespace std;
int main(int argc, const char * argv[]) {
// insert code here...
Dog dog1;
Dog dog2 = dog1;
return 0;
}
会不会发生因为不存在不带const的拷贝构造函数而发生编译错误呢？答案是不会，因为我们提供了一个带const关键字的拷贝构造函数，所以无论是const Dog dog1还是Dog dog1它们都能够使用带const关键字的拷贝构造函数，因为带const的拷贝构造函数比不带const的拷贝构造函数要求更加严格，所以他可以接受的参数可以是const常量也可以是不带const的变量，这就有点向下兼容的意思。所以在这种情况下如果没有发现不带const的拷贝构造函数时就会调用带const的拷贝构造函数。
到这你可能要问了，如果同时提供了带const和不带const的2种拷贝构造函数情况会如何呢？把Main.cpp修改如下
#include <iostream>
#include <string>
#include "Dog.h"
using namespace std;
int main(int argc, const char * argv[]) {
// insert code here...
Dog dog1;
const Dog dog2;
Dog dog3 = dog1;
Dog dog4 = dog2;
return 0;
}
答案是：
Dog dog1作为等号右边的操作数时会调用不带const的拷贝构造函数。
const Dog dog1作为等号右边的操作数时会调用带const的拷贝构造函数。
下面再来谈谈系统提供的默认拷贝构造函数，系统默认的拷贝构造函数我猜想有两种可能：
第一种：只提供带const的拷贝构造函数，因为它可以兼容不带const的参数
第二种：视情况而定，如果参数带const就构造一个带const的拷贝构造函数，如果参数不带const就构造一个不带const函数
不过纠结于这个没有多大意义。