C and C++ prioritize performance over correctness (2023)
a year ago
- #Undefined Behavior
- #C++
- #Performance
- C和C++将性能置于正确性之上，这会导致未定义行为，可能意外破坏程序。
- 典型例子包括未初始化变量、算术溢出、无限循环和空指针使用——编译器会基于未定义行为假设进行优化。
- 尽管存在正确性隐患，C++标准委员会仍拒绝明确定义有符号整数溢出等行为，以保留优化空间。
- C/C++的未定义行为已从可移植性问题转变为优化手段，这显著影响了可调试性和程序正确性。
- C/C++在性能与正确性之间的取舍非常明确：即使牺牲程序稳定性和安全性，性能也往往被优先考虑。