为什么 #define 和 typedef 操作数颠倒？

Question

以下定义 A 将替换为 B：

#define A B

而这将 A 定义为 B 的别名>类型 B：

typedef B A;

为什么？这不是语无伦次吗？

Answer 1

简单地说：考虑以下变量声明：

// declare a variable called "myInt" with type int
int myInt;
// declare a variable called "myDouble" with type double
double myDouble;
// declare a variable called "myLong" with type long
long myLong;
// declare a variable called "myFunc" with type pointer to function
void (*myFunc)(char*);

那么 typedef 就非常有意义：

// declare a type alias called "myInt" with type int
typedef int myInt;
// declare a type alias called "myDouble" with type double
typedef double myDouble;
// declare a type alias called "myLong" with type long
typedef long myLong;
// declare a type alias called "myFunc" with type pointer to function
typedef void (*myFunc)(char*);

另一方面，宏可以采用函数式语法：

#define A(B, C) B, C

A(1, 2) // expands out to 1, 2

因此对于宏来说，后面的“定义” “名字”更有意义。

（顺便说一句，这也适用于 C++。）

Answer 2

是的，宏几乎是一团糟。

typedef 在该语言的大部分其余部分完成后很长一段时间才被添加到该语言中。它使用与存储类相同的语法：

static int x;
extern int y;
typedef int z;

它们将 x、y 和 z 定义为 int - - 区别在于x和y是int类型的对象，而z基本上是的别名code>int 本身。

因此，typedef 相当适合该语言，并且（像往常一样）预处理器才是真正的“奇怪的人”。同时，您可能会认为语言的其余部分也应该改变。仅举一个明显的例子，帕斯卡大致颠倒了事情的顺序：

type
    z = integer;

var
    x : integer;

虽然它对于琐碎的示例没有太大区别，但我认为这更容易阅读，特别是当您处理更复杂的声明时。然而，无论好坏，Pascal（大部分）已经失宠，而像 Java 这样的较新语言保留了 C 语法的这一特定部分（即，它们保留的 C 部分是最需要更改的一件事） 。

Answer 3

因为typedef中的A可以是多个符号，例如typedef int Integer, *PInteger;。
这与变量的定义方式一致（int var, *pvar;）。

Answer 4

从语言语法的角度来看，typedef 与 extern 和 static(*) 一起位于存储类说明符组中，因此 typedef 具有与那些相同的位置。它显然不属于这个组，但我猜它可能是最不被放错的地方。

(*)
存储类还包括 auto 和 register，但没有人再使用它们了。

Answer 5

我不知道为什么就语言决定而言，但 typedef 的方式对我来说是有意义的。

typedef 说明符是语言的一部分。它是一种将类型别名为某个名称的方法。您始终可以在变量声明中内联类型。

struct arr { int len; char *chars; } name;
struct arr another_name;

使用 typedef 反映了这种用法，只不过您不是声明类型的变量，而是声明类型的名称。

typedef struct { int len; char *chars; } arr;
arr name;
arr another_name;

#define 指令是预处理器的一部分，而不是语言的一部分，因此它不受语言表示某些构造的方式的限制，并且可以使用更自然的方式来声明它。

Answer 6

因为预处理器和编译器实际上是两个不同的程序，每个程序都有自己的语法。人们可以毫不费力地将预处理器与其他语言结合起来（实际上，我以前是通过在 dBase III 程序和 AutoLISP 上使用 cpp 来做到这一点的，因为这些语言缺乏良好的常量包含机制）。
正如其他人已经指出的，typedef 遵循 C 声明系统的语法，而 #define 是一个简单直接的替换声明。

Answer 7

是的，typedef 语法也让我有点困惑。我认为你的问题更多的是抱怨 - C 已经快 40 岁了，你不希望 typedef 语法改变，是吗？