C++Primer笔记-----day05

=======================================================================
day05
=======================================================================
1.当我们的类没有显式地定义一个构造函数时，编译器就会为我们隐式地定义一个默认构造函数，又称为【合成的默认构造函数】。默认构造函数又叫零参数构造函数，当我们显式定义了其他构造函数，编译器就不会生成默认的构造函数了。
因为定义在块内的内置类型或复合类型被默认初始化会得到未定义的值，所以，如果类包含内置类型或者复合类型的成员，【只有这些成员全部被赋予了类内初始值，才适合使用编译器合成的默认构造函数】，否则用户在创建类的对象时就可能得到未定义的值。
有时候，我们既需要其他形式的构造函数，也需要合成的默认构造函数，那么可以通过在参数列表后面写上 【 = default】来要求编译器生成构造函数。
eg: Sales_data() = default； // 注意，其等价于 Sales_data(){}
2.public成员定义类的接口，private部分封装（隐藏）了类的实现细节。
3.友元函数，必须声明在类的内部，public、private等访问说明符对它不起作用。声明为友元就可以访问类的非公有成员了。【由于友元声明仅仅指定了访问权限，并非一个通常意义上的函数声明】所以，我们必须在友元声明之外再专门对函数进行一次声明。
eg: class A{
friend A func(parameter);
}
A func(parameter);
类还可以把其他类定义为友元，如果一个类指定了友元类，则友元类的成员函数可以访问此类包括非公有成员在内的所有成员。注意，友元关系不存在传递性。
除了把整个类作为友元外，还可以只令类的某个函数成为友元。
eg: class A{
friend void B::clear();
}
class B{
void clear();
}

4.定义在类内的函数自动内联。我们也可以在用inline关键字显式地内联。在声明和定义处都可以用incline设置内联，但最好只在类外部定义的地方说明inline。
5.我们知道，类的数据成员的类内初始值用=初始化，
但当我们要初始化的成员是另一个类的对象时，应该用{} // p.246
6.类的常量对象只能调用类的const成员函数，而类的非常量对象即可调用const函数，也可以调用非常量函数，
但显然此时调用非常量版本是一个更好的匹配。我们可以这样做：
class Screen{
public:
// 根据对象是否为const重载了display函数
Screen &display(std::ostream &os) {do_display(os);return *this;}
const Screen &display(std::ostream &os) const {do_display(os);return *this;}
private:
//该函数负责显示Screen的内容
void do_dispaly(std::ostream &os) const {os<<contents;}
//数据成员
string contents;
}
当display调用do_display时，它的this指针隐式地传递给do_display。
当display的非常量版本调用do_display时，它的this指针将隐式地从指向非常量的指针转换成指向常量的指针。
当do_display完成后，display函数各自返回解引用this所得的对象。在非常量版本中，this指向一个非常量对象，因此display返回一个普通（既非常量）引用，相反，const对象则返回一个常量引用。
对象是否为const决定了应该调用display的哪个版本：
Screen myScreen(5,3);
const Screen blank(5,3);
myScreen.display(cout); // 调用非常量版本
blank.display(cout); // 调用常量版本
===================================================================
7.不完全类型。指已经声明，但未定义的类型。
不完全类型只能在非常有限的场景下使用：可以定义指向这种类型的指针或引用。也可以声明（但不能定义）以不完全类型作为参数或者返回类型的函数。
class Link{
Link *next;
Link *prev;
}
8.交换两个数可以这样做：
a ^= b;
b ^= a;
a ^= b;
9.名字查找与类的作用域。建议查看p254-p257
类的定义分为两步处理：
(1)首先，编译成员的声明。
(2)直到类全部可见后才编译函数体。
举个例子：
typedef double Money;
string bal;
class Account{
public:
Money balance() {return bal;}
private:
Money bal;
}
当编译器看到balance函数的声明语句时，它将在Account类的范围中寻找对Money的声明，而且编译器只考虑类Account中使用Money前出现的声明，如果没有找到，就会到类Account的外层作用域寻找Money的声明，这时，编译器会找到Money的typedef语句。该类型被用于函数的返回类型和数据成员bal的类型。另一方面，由于函数体直到类全部可见之后才会被编译处理，所以balance函数体的return语句返回名为bal的成员，而非外层作用域的string对象。