C/C++指针操作符*与&的设计逻辑及语义解读问询

*用于声明指针，我在编写int *a时常理解为‘int类型指针a’。

但随后就会产生困惑：

int b = *a;表示‘*int类型变量b是a的取值’，而非‘a的指针’。而int *a = &b则彻底加剧了困惑，因为新符号&此时又表示‘*b的指针’。

是否有人知晓该约定背后的核心逻辑？为何*不统一表示‘指针’、&表示‘取值’？或者能否用其他表述来理解这两个符号，使其更具合理性？

编辑说明： #

本问题与以下四个被标记为重复的问题存在差异，现明确区别：

• Why is the dereference operator (*) also used to declare a pointer?（6个回答）
• Why use * notation to both define a pointer and dereference one?（1个回答）
• Why is the dereference operator used to declare pointers?（4个回答）
• Is the asterisk in the pointer declaration an operator?（3个回答）

本问题聚焦于：

1. *与&两个符号的设计初衷逻辑
2. 如何用文字表述/理解*与&的语义

上述链接问题未涉及这些内容。此外，这些问题的所有回答均未提及1978年版K&R第90页中关于指针声明作为助记符的说明，而这正是我所寻求的关键信息。

核心设计逻辑 #

1978年版K&R《C程序设计语言》第90页明确提到，指针声明的语法是作为助记符设计的：声明中*的作用是模拟使用指针时的写法，让声明和使用的语法保持直观关联。

具体来说：

• 对于int *a，本质逻辑是“*a的类型是int”——后续写*a时，它确实会返回一个int类型的值，这样声明和使用的语义直接对应，而非把int *当成一个整体的“指针类型”。
• &的设计则对应“取地址”的动作，它和*是互逆操作：&x得到指向x的指针，*(&x)会重新得到x本身，这种互逆关系是符号设计的核心逻辑之一。

至于为什么不统一让*只表示“指针”、&只表示“取值”，本质是C语言追求语法和语义的对应性——声明时的写法要尽可能贴近使用时的表达式语义，而非单纯追求符号的单一含义。

更合理的理解表述 #

• 声明场景的*：别把int *a读成“int类型指针a”，而是读成“*a是int类型”，这样能和后续使用*a取值的动作直接对应。
• 使用场景的*：读成“取指针指向的值”，比如int b = *a就是“把指针a指向的int值赋值给变量b”。
• &：无论场景，统一读成“取变量的地址（指针）”，比如int *a = &b就是“把变量b的地址赋值给指针a”，这样&的语义始终统一。

这种理解方式完全贴合K&R的设计初衷，能消除符号多义性带来的困惑。

内容的提问来源于stack exchange，提问作者doej1367