-
使用了未定义行为的程序都是错误的,即使程序能够运行,也只是巧合。 未定义行为源于编译器不能检测到的程序错误或太麻烦以至无法检测的错误。
-
不幸的是,含有未定义行为的程序在有些环境或编译器中可以正确执行,但并不能保证同一程序在不同编译器中甚至在当前编译器的后继版本中会继续正确运行,也不能保证程序在一组输入上可以正确运行且在另一组输入上也能够正确运行。
-
程序不应该依赖未定义行为。
-
同样地, 通常程序不应该依赖机器相关的行为,比如假定 int 的位数是个固定且已知的值。我们称这样的程序是不可移植的 ( nonportable )。
-
当程序移植到另一台机器上时,要寻找并更改任何依赖机器相关操作的代码。在本来可以运行的程序中寻找这类问题是一项非常不愉快的任务。
代码心得分享
最新推荐文章于 2024-08-10 14:20:55 发布