Barr C编码标准要求指针声明星号两侧加空格的深层原因是什么？

Barr C的这条规则，本质上是从语法角色区分和视觉可读性优化两个核心角度出发的，结合它的整套标准逻辑来看，理由其实很明确：

1. 区分*的两种语法角色
   在C语言里，*有两个完全不同的身份：声明时它是类型修饰符（用来标记变量是指针类型），表达式里它是解引用运算符。这条规则用空格把两种场景的格式分开：声明里*两侧加空格，突出它是类型的一部分；表达式里*紧贴操作数（比如*pBuffer），强调它是运算动作。这种视觉差异能让你扫代码时瞬间判断*的作用，不用停下来琢磨，减少认知疲劳。

2. 视觉分组强化类型识别
   Barr的排版逻辑是让代码的视觉块对应语法块。把int *作为一个视觉单元，你一眼就能看出这是“int指针类型”，而不是把注意力放在*和变量名的绑定上。对于习惯这种风格的团队来说，快速归类变量类型的效率会更高，这也是他们提到“提升bug排查能力”的原因——类型识别快了，定位类型相关的bug也更顺畅。

3. 配套规则消除歧义隐患
   你担心的int * pBuffer, pReceive;这种歧义场景，其实在Barr的整套标准里是被禁止的。这类编码标准通常都会强制要求一行只声明一个变量，不允许在同一行混合声明指针和非指针变量。只要严格遵循这个配套规则，所谓的歧义根本不会出现，自然不用纠结*跟谁绑定的问题。

4. 延续传统风格的合理性
   早期C社区里不少开发者习惯把指针类型当作整体看待（比如int* p;），Barr的规则是这种风格的优化——加空格让类型修饰符和基础类型的关联更清晰，既保留了“指针是类型一部分”的认知，又避免了int* p, q;这种写法的潜在歧义（当然，这种写法同样会被配套规则禁止）。

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