拷贝构造函数:
如果构造函数的第一个参数是自身类型的引用, 且任何额外参数都有默认值, 则此构造函数就是拷贝构造函数。拷贝构造函数的参数如果不是自身类型的引用, 则调用永远也不会成功--为了拷贝构造函数, 我们必须拷贝它的实参, 但为了拷贝实参, 我们又需要调用拷贝构造函数, 如此无限循环。
合成拷贝构造函数:
如果我们没有为一个类定义拷贝构造函数(synthesized copy constructor), 编译器会为我们定义一个。 合成拷贝构造函数会将其参数逐个拷贝到我们正在创建的对象中, 编译器从给定的对象中依次将每个非static成员拷贝到正在创建的对象中。
合成拷贝构造函数:
#include <iostream>
class numbered {
public:
numbered() {
mysn = unique++;
}
int mysn;
static int unique;
};
int numbered::unique = 10;
void f(numbered s) {
std::cout << s.mysn << std::endl;
}
int main()
{
numbered a, b = a, c = b;
f(a);
f(b);
f(c);
}
结果:
拷贝构造函数:
#include <iostream>
class numbered {
public:
numbered() {
mysn = unique++;
}
numbered(const numbered& n) {
mysn = unique++;
}
int mysn;
static int unique;
};
int numbered::unique = 10;
void f(numbered s) {
std::cout << s.mysn << std::endl;
}
int main()
{
numbered a, b = a, c = b;
f(a);
f(b);
f(c);
}
结果如下:
因此可知,合成拷贝构造函数,复制的是副本,不能改变实参的值, 拷贝构造函数采用的引用, 可以改变构造函数的值。
#include <iostream>
class numbered {
public:
numbered() {
mysn = unique++;
}
numbered(const numbered& n) {
mysn = unique++;
}
int mysn;
static int unique;
};
int numbered::unique = 10;
void f(const numbered& s) {
std::cout << s.mysn << std::endl;
}
int main()
{
numbered a, b = a, c = b;
f(a);
f(b);
f(c);
}
结果如下:
拷贝初始化在以下情况下发生:
用=定义变量时发生;
将一个对象作为实参传递给一个非引用类型的实参
从一个返回类型为引引用类型的函数返回一个对象
用花括号列表初始化一个数组中的元素或一个聚合类中的成员
这就是第二个程序和第三个程序返回值不同的原因, 第三个程序调用函数时, 没有调用拷贝构造函数。