Effective C++ 之 0 导读(Introduction)

Effective C++

导读 (Introduction)

 

术语(terminology)

声明式 (declaration) 是告诉编译器某个东西的名称和类型(type),但略去细节。以下都是声明式:

extern int x;                             //对象(object)声明式

std::size_t numDigits(int number);        //函数(function)声明式

class Weight;                             //类(class)声明式

template<typename T>                      //模板(template)声明式

每个函数的声明式揭示其签名式(signature),也就是参数和返回类型.一个函数的签名等同于该函数的类型.

定义式 (definition) 的任务是提供编译器一些声明式所遗漏的细节。对对象而言,定义式是编译器为此对象拨发内存的地点。对 function 或 function template 而言,定义式提供了代码本体。对 class 或 class template 而言,定义式列出它们的成员:

int x;                                        //对象的定义式

std::size_t numDigits(int number)             //函数的定义式

{                                             //此函数返回其参数的数字个数

    std::size_t digitsSoFar = 1;

    while ((number /= 10) != 0) ++digitsSoFar;

    return digitsSoFar;

}

calss Widget {                                //class的定义式

public:

    Widget();

    ~Widget();

    ...

};

template<typename T>                         //template的定义式

初始化(Initialization)是“给予对象初值”的过程。对用户自定义类型的对象而言,初始化由构造函数执行。

 

default 构造函数是一个可被调用而不带任何实参者。这样的构造函数要不没有参数,要不就是每个参数都有缺省值:

class A {

public:

    A();                                      //default构造函数

};

class B {

public:

    explicit B(int x = 0, bool b = true);    //default构造函数

};

class C {

public:

    explicit C(int x);                       //不是default构造函数

};

上述的 class B 和 C 的构造函数都被声明为 explicit,这可阻止它们被用来执行隐式类型转换(implicit type conversions), 但它们仍可被用来进行显示类型转换(explicit type conversions):

void doSomething(B bObject);         //函数,接受一个类型为B的对象



B bObj1;                             //一个类型为B的对象

doSomething(oObj1);                  //传递一个B给doSomething函数

B bObj2(28);                         //根据 int 28 建立一个B,函数的 bool 参数缺省为 true 



doSomething(28);                     //错误!doSomething应该接受一个B而非一个int,而int至B之间并没有隐式转换



doSomething(B(28));                  //使用B构造函数将int显示转换(也就是转型,cast)为一个B以促成此一调用

被声明为 explicit 的构造函数通常比其 non-explicit 兄弟更受欢迎,因为它们禁止编译器执行非预期(往往也不被期望)的类型转换。

copy 构造函数被用来“以同型对象初始化自我对象”,copy assignment 操作符被用来“从另一个同型对象中拷贝其值到自我对象”:

calss Widget {

public:

    Widget();                                //default 构造函数

    Widget(const Widget& rhs);               //copy 构造函数

    Widget& operator=(const Widget& rhs);    //copy assignment 操作符

    ...

};

Widget w1;         //调用 default 构造函数

Widget w2(w1);     //调用 copy 构造函数

Widget w3 = w2;    //调用 copy 构造函数 ! 
w1 = w2;           //调用 copy assignment 操作符

区分“copy构造”和“copy赋值”:

如果一个新对象被定义,一定会有个构造函数被调用,不可能调用赋值操作。如果没有新对象被定义,就不会有构造函数被调用,那便是赋值操作被调用。

 

命名习惯(Naming Conventions)

参数名 lhs (left-hand side) 和 rhs (right-hand side)用于二元操作符函数如 operator== 和 operator* 的参数名称.对于成员函数,左侧实参由 this 指针表现出来, 所以单独使用参数名称 rhs.

将”指向一个 T 型对象”的指针命名为pt, 意思是”pointer to T”. 如 pw = “ptr to Widget”. 而 rw 可以表示 reference to Widget.

 

关于线程(Threading Consideration)

 

TR1 和 Boost

你可能感兴趣的:(effective)