1 声明式:所谓声明式是告诉编译器某个东西的名称和类型,但忽略细节。下面都是声明式:
extern int x; //对象(object)声明式 记住:变量的声明加extern关键字 std::size_t numDigits(int numbers); //函数(function)声明式 class Widget; //类(class)声明式 template<typename T> //模板(template)声明式 class GraphNode;
每个函数的声明揭示其签名式,也就是参数和返回类型。一个函数的签名等同于该函数的类型。numDigits函数的签名是std::size_t (int),也就是说“这函数获得一个int并返回一个std::size_t".
2 定义式:定义式的任务是提供编译器一些声明式所遗漏的细节。对对象而言,定义式是编译器为此对象拨发内存的地点。对function或function template而言,定义式提供了代码本体。对class或class template而言,定义式列出它们的成员。
3 初始化是“给予对象初值”的过程。对用户自定义类型的对象而言,初始化由构造函数执行。所谓default构造函数是一个可被调用而不带任何实参者。这样的构造函数要不没有参数,要不就是每个参数都有缺省值。
如果构造函数被声明为explicit,这可阻止它们被用来执行隐式类型转换,但它们仍可被用来进行显示类型转换。
void doSomething(B bObject); //函数,接受一个类型为B的对象 B bObj1; //一个类型为B的对象 doSomething(bObj1); //没问题,传递一个B给doSomething 函数 B bObj2(28); doSomething(28); //错误,DoSomething应该接受一个B而不是一个int,而int和B之间并没有隐式转换 doSomething(B(28)); //没问题,使用B的构造函数将int显式转换
被声明为explicit的构造函数通常比其non-explicit兄弟更受欢迎,因为它们禁止编译器执行非预期(往往也不被期望)的类型转换。
4 copy构造函数被用来“以同类型对象初始化自我对象”,copy assignment操作符被用来“从另一个同型对象中拷贝其值到自我对象”;
class Widget{ public: Widget(); //default构造函数 Widget(const Widget &rhs); //copy构造函数 Widget& operator=(const Widget& rhs); //copy assignment 操作符 }; Widget w1; //调用default构造函数 Widget w2(w1); //调用copy构造函数 w1=w2; //调用copy assignment操作符
当你看到赋值符号时请小心,因为“=”语法也可以用来调用copy构造函数:
Widget w3=w2; //调用copy构造函数
幸运的是“copy构造”和容易和“copy赋值”有所区别。如果一个新对象被定义(例如以上语句中的w3),一定会有个构造函数被调用,不可能调用赋值操作。如果没有新对象被定义(例如前述的“w1=w2”语句),就不会有构造函数被调用,那么当然就是赋值操作被调用。
copy构造函数是一个尤其重要的函数,因为它定义了一个对象如何passed by value(以值传递)。如果进行pass-by-reference-to-const(传引用),往往不需要调用copy构造函数。