分析 C++ 中的“时间旅行”：影响旧代码的未定义行为的真实示例

分析 C++ 中的未定义行为：实际情况

使用 Clang 编译器和 C++

#include <iostream>
void bar() {
    std::cout << "Bar called" << std::endl;
    std::exit(0);  // This can cause undefined behaviour if not handled properly
}
int a;
void foo3(unsigned y, unsigned z) {
    bar();
    a = y % z;  // Potential division by zero causing undefined behaviour
    std::cout << "Foo3 called" << std::endl;
}
int main() {
    foo3(10, 0);  // Triggering the undefined behaviour
    return 0;
}

C++ 中未定义行为的实际说明

在 C++ 中使用 Godbolt 编译器资源管理器

#include <iostream>
int a;
void bar() {
    std::cout << "In bar()" << std::endl;
    // Simulate undefined behaviour
    *(volatile int*)0 = 0;
}
void foo3(unsigned y, unsigned z) {
    bar();
    a = y % z;  // Potentially causes undefined behaviour
    std::cout << "In foo3()" << std::endl;
}
int main() {
    foo3(10, 0);  // Triggering undefined behaviour
    return 0;
}

有关 C++ 未定义行为的常见问题

1. 在C++中，什么是未定义行为？
2. C++ 标准未定义的代码构造被称为“未定义行为”，这使得编译器可以自由地以他们认为合适的方式处理它们。
3. 不可定义的行为可能会对程序的运行方式产生什么影响？
4. 未定义的行为通常是编译器优化的结果，可能会导致崩溃、结果不准确或意外的程序行为。
5. 为什么在显示不可定义的行为时打印到控制台很重要？
6. 一个可见的、有形的结果可以用来说明未定义的行为如何影响程序输出，即打印到标准输出。
7. 在未定义操作之前执行的代码是否会受到未定义行为的影响？
8. 事实上，由于编译器优化，未定义的行为可能会导致在问题行之前运行的代码出现异常。
9. 编译器所做的优化在未定义行为中起什么作用？
10. 代码可以通过编译器优化来重新排列或删除，如果存在不可定义的行为，这可能会产生不可预见的影响。
11. 各种编译器版本对未定义行为的处理是什么？
12. 对于相同的未定义代码，不同的编译器版本可能会使用不同的优化技术，从而导致不同的行为。
13. 编程错误总是会导致未定义的行为吗？
14. 未定义的行为也可能是由编译器优化和代码之间复杂的交互造成的，尽管错误通常是其原因。
15. 开发人员可以采取哪些步骤来减少出现不可定义行为的可能性？
16. 为了减少不可定义的行为，开发人员应该遵循最佳实践，使用静态分析器等工具，并严格测试他们的代码。
17. 为什么理解不明确的行为至关重要？
18. 编写可靠、可预测的代码并对编译器的使用和优化做出明智的判断需要了解未定义的行为。