C++ 语言类类型 (class type)

古城微笑少年丶 2022-09-05 11:27 119阅读 0赞

#  C++ 语言类类型 (class type) #

每个类定义了唯一的类型。对于两个类来说，即使它们的成员完全一样，这两个类也是两个不同的类型。即使两个类的成员列表完全一致，它们也是不同的类型对于一个类来说，它的成员和其他任何类 (或者任何其他作用域) 的成员都不是一回事儿。

struct First {
    		int yong;
    		int qiang;
    	};
    
    	struct Second {
    		int yong;
    		int qiang;
    	};

我们可以把类名作为类型的名字使用，从而直接指向类类型。我们也可以把类名跟在关键字 `class` 或 `struct` 后面：

Sales item1;  // 默认初始化 Sales 类型的对象
    class Sales item1;  // 一条等价的声明

上面这两种使用类类型的方式是等价的，其中第二种方式从 C 语言继承而来，并且在 C++ 语言中也是合法的。

## 1. 类的声明 ##

**类的声明 (class declaration) 首先是关键字 class (或 struct)，随后是类名以及分号。如果类已经声明而尚未定义，则 它是一个不完全类型。**

不完全类型 (incomplete type) 是已经声明但是尚未定义的类型。不完全类型不能用于定义变量或者类的成员，但是用不完全类型定义指针或者引用是合法的。

就像可以把函数的声明和定义分离开来一样，我们也能仅仅声明类而暂时不定义它：

class Screen;  // Screen 类的声明

这种声明有时被称作前向声明 (forward declaration)，它向程序中引入了名字 Screen 并且指明 Screen 是一种类类型。对于类型 Screen 来说，在它声明之后定义之前是一个不完全类型 (incomplete type)，此时我们已知 Screen 是一个类类型，但是不清楚它到底包含哪些成员。

不完全类型只能在非常有限的情景下使用：可以定义指向这种类型的指针或引用，也可以声明 (但是不能定义) 以不完全类型作为参数或者返回类型的函数。

对于一个类来说，在我们创建它的对象之前该类必须被定义过，而不能仅仅被声明。否则，编译器就无法了解这样的对象需要多少存储空间。类也必须首先被定义，然后才能用引用或者指针访问其成员。如果类尚未定义，编译器也就不清楚该类到底有哪些成员。

例外的情况：直到类被定义之后数据成员才能被声明成这种类类型。我们必须首先完成类的定义，然后编译器才能知道存储该数据成员需要多少空间。**因为只有当类全部完成后类才算被定义，所以一个类的成员类型不能是该类自己。然而，一旦一个类的名字出现后，它就被认为是声明过了 (但尚未定义)，因此类允许包含指向它自身类型的引用或指针。**

class LinkScreen {
    		int yongqiang;
    		LinkScreen *prev;
    		LinkScreen *next;
    	};

前向声明 (forward declaration) 对尚未定义的名字的声明，通常用于表示位于类定义之前的类声明。

## References ##

(美) Stanley B. Lippman, (美) Josée Lajoie, (美) Barbara E. Moo 著, 王刚, 杨巨峰 译. C++ Primer 中文版\[M\]. 第 5 版. 电子工业出版社, 2013.  
[https://www.informit.com/store/c-plus-plus-primer-9780321714114][https_www.informit.com_store_c-plus-plus-primer-9780321714114]

[https_www.informit.com_store_c-plus-plus-primer-9780321714114]: https://www.informit.com/store/c-plus-plus-primer-9780321714114