定义抽象数据类型

• 成员函数必须在类的内部声明，可以在类的内部或外部定义。定义在类内部的函数是隐式的inline函数。

• 调用成员函数时，this被初始化为调用成员函数的对象的地址。普通成员函数的this为指向非const对象的const指针，const成员函数的this为指向const对象的const指针。

• const对象以及指向const对象的引用或指针只能调用对象的const成员函数。

• 构造函数在创建类类型的对象时执行。构造函数不能被声明为const。当我们在创建一个类的const对象时，构造函数可以向对象写入值。
• 若一个类定义了构造函数，该类就不会再有默认构造函数，除非我们自己定义默认构造函数。

访问控制与封装

• struct关键字的默认访问权限为public，class关键字的默认访问权限为private。

友元

• 如果类想把一个函数作为它的友元，只需要增加一条以friend关键字开始的函数声明语句即可。
• 友元声明只能出现在类定义的内部，但在类内出现的具体位置不限。友元不是类的成员，也不受访问控制的约束。
• 友元的声明仅仅指定了访问的权限，而非一个真正意义上的函数声明。如果我们希望类的用户能够调用某个友元函数，那么我们必须在友元声明之外再对函数进行一次声明。

类的其他特性

类成员

• 由类定义的类型名与其他类成员一样存在访问权限控制，可以是public或private中的一种。
• 不同于普通成员，定义类型的成员必须先定义后使用。
• mutable数据成员永远不是const，即使它是const对象的成员。

返回*this的成员函数

• 一个const成员函数如果以引用的形式返回*this，那么它的返回类型是对const的引用。

类类型

• 可以只声明但不定义一个类，这样的声明称为前向声明（forward declaration），声明的类在定义之前称为不完全类型（incomplete type）。
• 不完全类型只能用于以下情形：定义不完全类型的指针或引用；声明（而不是定义）函数时，使用不完全类型作为参数或返回类型。

类的作用域

名字查找与类的作用域

• 编译器处理完类内所有声明之后再处理成员函数的定义。
• 由于成员函数的函数体在整个类可见之后才被处理，因此它能使用类中定义的任何名字。但在类中的声明使用的名字必须在使用前确保可见。
• 在类中，如果一个成员使用了在外层作用域中定义的类型名，则类之后将不能重新定义该名字。

  typedef double Money;
  class Account {
  public:
      Money balance() { return bal; }  // uses Money from the outer scope
      private:
      typedef double Money; // error: cannot redefine Money
      Money bal;
      // ...
  };

构造函数再探

构造函数初始值列表

• 如果成员是const或引用的话，构造函数必须将其初始化。
• 类成员初始化的顺序由它们在类定义中出现的顺序决定，与构造函数初始化列表中的顺序无关。

委托构造函数

• 委托构造函数使用它所属类的其他构造函数执行它自己的初始化过程。

  class Sales_data {
  public:
      // nondelegating constructor initializes members from corresponding arguments
      Sales_data(std::string s, unsigned cnt, double price):
              bookNo(s), units_sold(cnt), revenue(cnt*price) {
  }
      // remaining constructors all delegate to another constructor
      Sales_data(): Sales_data("", 0, 0) {}
      Sales_data(std::string s): Sales_data(s, 0,0) {}
      Sales_data(std::istream &is): Sales_data()
                                          { read(is, *this); }
      // other members as before
  };

• 受委托的构造函数会先执行。

隐式类类型转换

• 可以将构造函数声明为explicit以避免隐式类型转换。

聚合类

• 聚合类（aggregate class）使得用户可以直接访问其成员，并且具有特殊的初始化语法形式。当一个类满足以下条件时，我们说它是聚合的：
  • 所有数据成员都是public的。
  • 没有定义任何构造函数。
  • 没有类内初始值。
  • 没有基类，也没有virtual函数。
• 可以提供一个花括号括起来的成员初始值列表，并用它初始化聚合类的数据成员：

  struct Data {
      int ival;
      string s;
  };
  // val1.ival = 0; val1.s = string("Anna")
  Data val1 = { 0, "Anna" };

字面值常量类

类的静态成员

• 一般来说，不能在类的内部初始化静态成员，必须在类的外部定义和初始化每个静态成员。然而，我们可以为静态成员提供const整数类型的类内初始值。