使用 C 语言一段时间之后的感受（C 语言的历史包袱，标准等）

[wheeler]

最近在看SEI CERT C Coding Standard，每次都有新发现。

简单的感受就是：C 语言的历史包袱重，坑多。要想写出可靠的代码得小心，同时也要求项目管理者严格的管理，比如 kernel 这种。

C 标准相当晦涩，比如Undefined Behavior、Unspecified Behavior、Implementation-defined Behavior。各种语言律师才清楚的语言细节(language-lawyer)。

常说“功夫在诗外”，这种语言的细节让我觉得不该把精力投注于此，不知 V2EX 的各位怎么看待这个问题的？

注意：

• 本帖不是争论语言的优劣性
• C 和 C++是不同的语言

[wheeler]

@wzxlovesy 上面提到的那些问题都是语言层面的。

[zhangjn]

@wheeler 出于兼容性要保持的不好的做法有哪些呢，能举个例子否， 是否可以不用呢。
文件级别的 namespace 是什么意思， 是要在一个文件里面放一些相同名称的函数或变量， 然后用 namespace 隔离开 从而当成两个文件用么？ 现在的 gcc 支持函数里面嵌套函数了，可以近似得到 namespace 的效果了

[linthieda]

宏是 meta-peogrammung 神器啊

[wzxlovesy]

@wheeler 都一个意思，编译器各家有各家的做法，如果各家做法一致，也就没有所谓的未定义了，就是约定俗成了

[wheeler]

@zhangjn 个人觉得头文件（这个没办法强求太多）、字符串以 0 结尾，数组传参时退化成指针这几个不太好。

[janxin]

LZ 要不要了解一下 c++

[techmale]

有趣的是 多数评论和楼主说的并不是同一件事

[icylogic]

@zwyc = = 然后 9.0 能跑通的代码 9.1 就不行了，还得等 9.2 修复。

c 写一些需要性能 && 结构比较简单（不需要考虑太多工程性）的东西挺好的。
所以可以把最底层的那一层用 c 写，上层再换别的组织。

历史包袱见 《 C Traps and Pitfalls 》

我觉得纯 c 搞有一定规模的、偏应用向的项目很容易出现 nginx 那种四级指针一样的东西 …… 所以确实需要有刻意设计好的结构（ lua.c ）

[coderluan]

编程语言是反木桶效应，最长的板决定地位，C 语言的性能就最长的木板，只要你关心的是性能，那样别的问题都不是问题，如果你关心的不是性能，直接选别的语言就完了，毕竟语言只是工具，所以你工作不涉及编译跨平台啥的，这些都根本不用关心，有了问题再 google 一点问题也没有。

[neoblackcap]

@kawaiidora C 的 ABI 是依赖于操作系统的，主要是因为主流操作系统都是用 C 写的，而且 Intel 也参与进去 ABI 的标准制定，导致 C 语言的 ABI 天生注定要稳定。不说 Unix-like 的操作系统，你用 c89 写的程序，windows xp 能跑 windows 10 也能跑

[gnaggnoyil]

@zn 问题是 C 语言并不算是真正底层.C 语言中提供的抽象比如控制流,函数,结构体等等比起底层实现而言那可是封装了不知道多少层.很多人之所以会认为 C 语言能较好地反映底层纯粹是因为选择性忽略了底层实现中拥有但是 C 中不能或者难以抽象的设施.比如 C 语言中能轻易地控制寄存器分配吗?别忘了 register 关键字现在都被 deprecated 了.还有 x86 的 FAR 和 NEAR 指针,不借助 implementation 的扩展你怎么表示出来?
一个事实是在不考虑已有 legacy 代码库的情况下——在一个语言刚被发明出来的时候显然如此—— C 语言就是在几乎各种特性上全面地不如比它更早诞生的 Pascal,包括平台无关性,编译效率和运行效率.
@yangxin0 举个例子,C 中指针被同时拿去用在"间接访问的引用","一段连续的内存空间","迭代的下标"和"类型擦除"这几个不相干也不正交的场合里,就这设计也能算简洁?首先连 UNIX 所推崇的 KISS 原则都不遵守好吧……

[zn]

@gnaggnoyil 我可没说 C 是最底层的语言，毕竟，能有什么语言比汇编还底层的？不过话说回来，又有哪门高级语言比 C 更接近底层的？如果你觉得有，那我愿闻其详。

[gnaggnoyil]

@zn 有啊,high level assembly,C--和 LLVM 都是比 C 能更好地描述当前大部分机器的共同特征的语言.即使你想排除出"长的和 C 比较像"这个要求,ALGOL,Pascal/Ada 甚至是 Rust 其"接近底层"的程度也和 C 不相上下.