本文探讨了将C++的契约式编程概念引入C语言的可能性。作者提出了一种基于`contract_assert`和`contract_assume`宏的方案，分别用于预条件和后条件的检查。通过`defer`宏和C23的`unreachable`宏，可以更简洁地表达后条件。作者还展示了如何利用内联函数和辅助函数，在不改变函数核心实现的情况下，添加契约检查，并利用编译器优化。虽然目前仍需进一步完善接口规范，但这篇文章为C语言的契约式编程提供了一个可行的概念验证。
阅读更多
本文深入探讨了C语言中指针别名对程序优化的影响。指针别名是指两个指针指向同一内存对象。编译器在优化代码时，需要进行别名分析，以判断指针是否别名。如果误判，则可能导致程序错误或性能下降。文章以一个计算倒数的例子说明，当两个指针可能别名时，编译器无法进行某些优化，因为这可能会改变程序的算法。作者还讨论了C语言中用于辅助别名分析的机制，例如restrict指针限定符和volatile限定符，以及一些高级别名分析技术，例如基于类型的别名分析和基于流的别名分析。最后，作者提出了一种新的指针别名分析模型，该模型考虑了指针的生命周期和信息流，旨在提高编译器的优化效率和程序的安全性。
阅读更多
Martin Uecker发起一项倡议，建议将C语言字符串字面量的类型更改为const限定的基类型，类似于C++中的做法。此举旨在提高代码安全性，但可能对现有代码造成影响。为了评估此更改的影响，Uecker呼吁开发者分享其项目中使用编译器const限定选项（如gcc的-Wwrite-strings）的经验，包括修改的难易程度、是否暴露代码中的限定符错误等，以便收集事实数据，而非主观意见，从而更好地决策。
阅读更多
本文介绍了在C语言中实现`defer`关键字的几种方法，`defer`关键字允许开发者在代码块结束后自动执行一些清理操作，例如释放内存或解锁互斥锁。文章首先解释了`defer`的用途，然后分别使用GCC扩展和C++特性实现了`defer`，最后还提出了一种新的语法提案，旨在简化`defer`的实现和使用。这对于提高C语言代码的可读性和安全性具有重要意义。
阅读更多
Modern C 最新版已发布，涵盖了最新的 C23 标准。新版本对内容进行了全面修订，重点介绍了 C23 的新特性，包括用于整数的精确位类型、新的 C 库头文件、128 位类型支持以及枚举类型的改进。其他新特性包括nullptr常量、属性语法注释、类型推断、默认初始化以及constexpr 等。此外，新版本还增加了对复合表达式、lambda 表达式、国际化和程序故障处理的讨论。
阅读更多