C 箴言：理解Terminology术语

　　这是个任何程式员都应该了解的小型的 C 词汇表。下面的条目都足够重要，值得我们对他们的含义务必取得完全一致。

　　声明（declaration）告诉编译器关于某物的名字和类型，但他省略了某些细节。以下这些都是声明：

extern int x; // object declaration

std::size_t numDigits(int number); // function declaration

class Widget; // class declaration

template<typename T> // template declaration
class GraphNode; // (see Item 42 for info on
// the use of "typename")

　　注意：即使是内建类型，我还是更喜欢将整数看作一个 "object"，某些人将 "object" 这个名字保留给用户定义类型，但我不是他们中的一员。再有就是注意函数 numDigits 的返回类型是 std::size_t，也就是说，namespace std 中的 size_t 类型。这个 namespace 是 C 标准库中每相同东西实际所在的地方。但是，因为 C 标准库（严谨地说，来自于 C89）在 C 中也能使用，从 C 继承来的符号（诸如 size_t）可能存在于全局范围，std 内部，或两者都有，这依赖于哪一个头文档被 #included。在本书中，我假设 C 头文档被 #included，这也就是为什么我用 std::size_t 代替 size_t 的原因。当行文中涉及到标准库组件时，我一般不再提及 std，这依赖于您认可类似 size_t，vector，连同 cout 之类的东西都在 std 中，在示例代码中，我总是包含 std，因为真正的代码没有他将无法编译。

　　顺便说一下，size_t 仅仅是某些供 C 对某物计数时使用的 unsigned 类型的 typedef（例如，一个基于 char* 的 string 中字符的个数，一个 STL 容器中元素的个数，等等）。他也是 vector，deque，连同 string 的 operator[] 函数所持有的类型，这是个在 Item 3 中定义我们自己的 operator[] 函数时将要遵守的惯例。

　　每一个函数的声明都表明了他的识别标志（signature），也就是他的参数和返回类型。一个函数的识别标志（signature）和他的类型相同。对于 numDigits 的情况，识别标志（signature）是 std::size_t (int)，也就是说，“函数持有一个 int，并返回一个 std::size_t”。官方的“识别标志（signature）”的 C 定义排除了函数的返回类型，但是在本书中，将返回类型考虑为识别标志的一部分更加有用。

　　定义（definition）为编译器提供在声明时被省略的细节。对于一个对象，定义是编译器为对象留出内存的地方。对于一个函数或一个函数模板，定义提供代码本体。对于一个类或一个类模板，定义列出了类或模板的成员：

int x; // object definition

std::size_t numDigits(int number) // function definition.
{
　// (This function returns
　std::size_t digitsSoFar = 1; // the number of digits
　// in its parameter.)
　while ((number /= 10) != 0) digitsSoFar;
　return digitsSoFar;
}

class Widget {
　// class definition
　public:
　　Widget();
　　~Widget();
　...
};

template<typename T> // template definition
class GraphNode {
public:
　GraphNode();
　~GraphNode();
　...
};

　　初始化（Initialization）是设定一个对象的第一个值的过程。对于用户定义类型的对象，初始化通过构造函数完成任务。缺省构造函数（default constructor）就是无需任何引数（arguments）就能够调用的构造函数。这样的一个构造函数既能够是没有参数（parameters），也能够是每一个参数都有缺省值：

class A {
public:
　A(); // default constructor
};

class B {
public:
　explicit B(int x = 0, bool b = true); // default constructor; see below
}; // for info on "explicit"

class C {
public:
　explicit C(int x); // not a default constructor
};

　　这里 B 和 C 的构造函数都被声明为 explicit（显式的）。这是为了防止他们被用来执行隐式类型转换（implicit type conversions），虽然他们还能够被用于显示类型转换（explicit type conversions）：

void doSomething(B bObject); // a function taking an object of
// type B

B bObj1; // an object of type B

doSomething(bObj1); // fine, passes a B to doSomething

B bObj2(28); // fine, creates a B from the int 28
// (the bool defaults to true)

doSomething(28); // error! doSomething takes a B,
// not an int, and there is no
// implicit conversion from int to B

doSomething(B(28)); // fine, uses the B constructor to
// explicitly convert (i.e., cast) the
// int to a B for this call. (See
// Item 27 for info on casting.)

　　构造函数被声明为 explicit（显式的）通常比 non-explicit（非显式）的更可取，因为他们能够防止编译器执行意外的（常常是无意识的）类型转换。除非我有一个好的理由允许一个构造函数被用于隐式类型转换（implicit type conversions），否则就将他声明为 explicit（显式的）。我希望您能遵循同样的方针。

　　构造函数被声明为 explicit（显式的）通常比 non-explicit（非显式）的更可取，因为他们能够防止编译器执行意外的（常常是无意识的）类型转换。除非我有一个好的理由允许一个构造函数被用于隐式类型转换（implicit type conversions），否则就将他声明为 explicit（显式的）。我希望您能遵循同样的方针。

　　请注意我是如何突出上面的示例代码中的强制转换（cast）的。贯穿本书，我用这样的突出引导您注意那些应该注意的材料。（我也突出章节号码，但那仅仅是因为我想让他好看一些。）

标签：

版权申明：本站文章部分自网络，如有侵权，请联系：west999com@outlook.com
特别注意：本站所有转载文章言论不代表本站观点，本站所提供的摄影照片，插画，设计作品，如需使用，请与原作者联系，版权归原作者所有