C++ 对象模型学习记录（1）--- 第2章 构造函数语义学
1.
#include <iostream>
using namespace std;
class Foo
{
public:
Foo(),Foo(int);
};
//这里被合成的Bar default 构造函数内含有member
//object，foo拥有default constructor，所以会初始化Bar::foo()
//但是初始化str 的责任是程序员的，即编译器不会初始化str
class Bar
{
public:
Foo foo;//内含
char *str;
};
void foo_bar()
{
Bar bar;
}
int main()
{
cout << "Hello world!" << endl;
return 0;
}
上述代码中的bar 可能会被转化为
Bar::Bar()
{
//伪码
foo.Foo()::Foo()
}
而被合成的default constructor 只满足编译器的需要，不满足程序的需要，要是程序正确，还必须将str初始化
Bar :: Bar(){str = 0;} ，有了这个自定义的构造函数，编译器没法合成第2个了，这时，编译器采取：
“如果class A 内含有一个或者一个以上的member object” ，那么class A 的每一个constructor都必须调用每一个member classes 的default constructor
如果有多个 member object，编译器以声明他们的顺序完成初始化
2 有4种情况，编译器会为 未声明的constructor 的class合成一个default 构造函数
（1） 如果一个class没有任何的constructor，但是它内含有一个member object，而这个成员object有默认的构造函数，那么这个类的implicit的default constructor就是nontrivial的，编译器会合成一个default 构造函数，不过这个默认构造函数仅仅在需要的时候合成
如何避免合成多个default 构造函数？ 编译器使用inline函数。
实际上，default constructor，default destructor，assignment copy operator都是以内联的方式完成的，内联函数是静态链接的
（2）带有 default 构造函数的 base class 基类
如果没有任何constructor的class继承自一个“带有构造函数的类”，那个这个drived class子类的默认构造函数会被视为一个nontrivial，被合成出来，如果在子类中定义了多个构造函数，但是没有一个使用base类 的 default构造函数，编译器会扩展子类的每一个构造函数
（3） 带有virtual 函数的 class
class 声明为（或者继承自）一个virtual 函数
class派生自一个继承串链，其中有一个或者多个virtual 函数
（4） 带有一个虚基类的class
两种误解
1. 任何class ，如果没有定义默认构造函数，编译器会自动创建一个
2. 编译器合成出来的default构造函数会明确的设定class内的每一个data member的默认值
编译器只会设置对编译必须的值，而其他的默认值必须由程序员自己初始化
#include <iostream>
using namespace std;
class String
{
//类中没有显示的提供copy构造函数
public:
String(string name)
{
str = name;
}
string getStr()
{
return str;
}
private :
string str;
};
int main()
{
String noun("book");
String verb = noun;
cout << verb.getStr() << endl;
return 0;
}
3. copy 构造函数建构的3种情况
1. 对一个类做明确的初始化操作
2. 当作函数的形参时
3. 当一个函数的返回值（回传一个对象）
另外，如果么有显示的实现copy构造函数，编译器使用所谓的default memberwise initializator 手法，将一个内建的data member从一个object拷贝到另一个object中，不过不会拷贝member class object，对他们则是递归的使用default memberwise initializator 手法
一个错误的认识：
对于未定义拷贝构造函数的类，编译器会自动实现一个copy拷贝构造函数
c ++ Standard 将copy 构造函数分为 nontrivial 和 trivial，只有nontrivial的才会被合成到程序之中
而是不是trivial的，取决于 class 是不是展现出 bitwise copy semantics(位逐次拷贝)
4 .什么时候class不展现位逐次拷贝
1. 当class内含有一个member class object，而这个member class 内有一个默认的copy 构造函数
2. 当class 继承自 一个base class，而bese class 有copy构造函数
3. 当一个类声明了多个virtual 函数
4. 当class派生自一个继承串链，其中一个或者多个virtual base class
