typedef 说明符
-
typedef- 创建一个别名，可以在任何地方代替（可能很复杂）的类型名称。
-
内容 |
[编辑] 说明
在 声明 中使用时，typedef 说明符指定该声明是 typedef 声明，而不是变量或函数声明。
通常，typedef 说明符出现在声明的开头，尽管允许它出现在 类型说明符 之后，或者出现在两个类型说明符之间。 typedef 说明符不能与除类型说明符以外的任何其他说明符组合。
typedef 声明可以在同一行上声明一个或多个标识符（例如 int 和指向 int 的指针），它可以声明数组和函数类型、指针和引用、类类型等。 在此声明中引入的每个标识符都成为一个 typedef 名称，它是其类型（如果删除关键字 typedef，它将成为该类型）的对象或函数的同义词。
typedef 名称是现有类型的别名，而不是新类型的声明。 typedef 不能用来改变现有类型名称（包括 typedef 名称）的含义。 声明后，typedef 名称只能重新声明为再次引用相同的类型。 Typedef 名称仅在其可见的范围内有效：不同的函数或类声明可以定义同名但含义不同的类型。
在函数参数的声明中，以及在 函数定义 的 decl-specifier-seq 中，typedef 说明符可能不会出现
void f1(typedef int param); // ill-formed typedef int f2() {} // ill-formed
在不包含声明符的声明中，typedef 说明符可能不会出现
typedef struct X {}; // ill-formed
[编辑] 用于链接目的的 typedef 名称
如果 typedef 声明定义了未命名的 类 或 枚举，则该声明声明的类类型或枚举类型的第一个 typedef 名称是该类型的 用于链接目的的 typedef 名称。
例如，在typedef struct { /* ... */ } S;中，S 是用于链接目的的 typedef 名称。以这种方式定义的类或枚举类型具有外部链接（除非它在无名命名空间中）。
|
以这种方式定义的无名类应该只包含与 C 兼容的结构。特别是，它不能
并且所有成员类也必须满足这些要求（递归地）。 |
(从 C++20 开始) |
[edit] Notes
|
类型别名提供与 typedef 声明相同的功能，使用不同的语法，也适用于模板名称。 |
(从 C++11 开始) |
[edit] Keywords
[edit] Example
// simple typedef typedef unsigned long ulong; // the following two objects have the same type unsigned long l1; ulong l2; // more complicated typedef typedef int int_t, *intp_t, (&fp)(int, ulong), arr_t[10]; // the following two objects have the same type int a1[10]; arr_t a2; // beware: the following two objects do not have the same type const intp_t p1 = 0; // int *const p1 = 0 const int *p2; // common C idiom to avoid having to write "struct S" typedef struct { int a; int b; } S, *pS; // the following two objects have the same type pS ps1; S* ps2; // error: storage-class-specifier cannot appear in a typedef declaration // typedef static unsigned int uint; // typedef can be used anywhere in the decl-specifier-seq long unsigned typedef int long ullong; // more conventionally spelled "typedef unsigned long long int ullong;" // std::add_const, like many other metafunctions, use member typedefs template<class T> struct add_const { typedef const T type; }; typedef struct Node { struct listNode* next; // declares a new (incomplete) struct type named listNode } listNode; // error: conflicts with the previously declared struct name // C++20 error: "struct with typedef name for linkage" has member functions typedef struct { void f() {} } C_Incompatible;
[edit] 缺陷报告
以下行为变更缺陷报告被追溯应用于之前发布的 C++ 标准。
| DR | 应用于 | 已发布的行为 | 正确行为 |
|---|---|---|---|
| CWG 576 | C++98 | typedef 在整个函数定义中都不允许 | 允许在函数体中 |
| CWG 2071 | C++98 | typedef 可以在不包含声明符的声明中出现 | 现在不允许 |
[edit] 另请参见
| C 文档 用于 Typedef 声明
|
