0.导读

本书的最佳用途就是彻底了解 C++ 如何行为、为什么那样行为,以及如何运用其行为形成优势。

术语(Terminology)

声明式(declaration)是告诉编译器某个东西的名称和类型,但略去细节。每个函数的声明揭示其签名式(signature),也就是参数和返回类型,一个函数的签名等同于该函数的类型。

C++ 对签名式的官方定义并不包括函数的返回类型,不过本书把返回类型视为签名的一部分。

定义式(definition)的任务是提供编译器一些声明式所遗漏的细节:

  • 对对象而言,定义式就是编译器为此对象拨发内存的地点;

  • 对函数或者模板函数而言,定义式提供了代码本体;

  • 对类或者模板类而言,定义式列出它们的成员;

初始化(initialization)是”给予对象初值“的过程。对用户自定义类型的对象而言,初始化由构造函数执行。所谓 default 构造函数是一个可被调用而不带任何实参者。

构造函数被声明为 explicit 可以阻止隐式类型转换(implicit type conversions),但不会阻止显式类型转换(explicit type conversions)。被声明为 explicit 的构造函数通常比 non-explicit 的要更好一些,因为它禁止编译器执行非预期的类型转换。

class Object {
public:
    explicit Object(int val);
};

void func(Object obj);

func(28);            // 错误,int 到 Object 不能执行隐式转换;
func(Object(28));    // 正确,Object 用构造函数进行了显示转换;

copy 构造函数是”以同类对象初始化自我对象“,而 copy assignment 操作符是”从另一个同型对象中拷贝其值到自我对象“,需要注意的是”=“也可以用来调用 copy 构造函数。

class Object {
public:
    Object();                                // default 构造函数;
    Object(const Object& obj);               // copy 构造函数;          
    Object& operator=(const Object& rhs);    // copy assignment 操作符;
};

Object o1;        // 调用 default 构造函数;
Object o2(o1);    // 调用 copy 构造函数;
o1 = o2;          // copy assignment 操作符;
Object o3 = o1;   // 调用 copy 构造函数;

copy 构造函数是一个非常重要的函数,因为它定义了一个对象如何以值传递(passed-by-value)。

不明确行为(undefined behavior)即无法稳定预估运行期会发生什么事的行为,例如对一个 null 指针取值(dereferencing)和指涉一个无效的数组索引。

在 C++ 中,接口(interface)一般值函数的签名(signature)或类的可访问元素。

命名习惯(Naming Conventions)

lhs 和 rhs 分别表示 “left-hand side” 和 “right-hand side”;pt 为 “指向一个 T 类型的对象” 的指针;rt 为一个 T 类型的引用。

关于线程(Threading Consideration)

C++ 是无法直接感知线程(thread)的。

TR1 和 Boost

TR1(Technical Report 1)是一份规范,描述加入 C++ 标准程序库的诸多新机能。

Boost 是个组织(http://boost.org),提供可移植、同僚复审、源码开放的 C++ 程序库。

Last updated

Was this helpful?