首页 > 代码库 > C++中的术语

C++中的术语

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构造函数。

C++中的术语