程序死循环

关注

原创最新推荐文章于 2025-11-10 22:03:49 发布 6.8k 阅读 AI 写同款· GEO 优化 ›

Qt 5.15.2静态编译避坑实录：MinGW 32位版从源码到Creator配置的全流程踩坑总结本文详细介绍了Qt 5.15.2 MinGW 32位版本的静态编译全流程，包括环境准备、配置参数优化、编译过程监控及安装后配置。重点解决了静态编译中的常见问题，如参数顺序敏感、路径引号问题等，并提供了性能对比实测数据，帮助开发者高效完成静态编译。阅读详情

问题

编程结束了，我们的程序跑起来了。但是我们不知道其是否能终止，结果是否正确等等。我们面临着一系列的问题。
死循环是一个非常让人反感的问题，它有时候是站在程序正常运行的外表下，进行着错误的行为，有时候很久才能发现这个问题。（而在这个过程中也会造成很大的损失）
容易造成损失的地方，人们就会尝试去解决这些问题。
为了避免这样的问题，人们开发了一些检测的方法，用来检测程序中可能存在死循环的地方。
（这里主要指单线程）

死循环的本质

一段程序，能够陷入死循环，是因为具备了一定的死循环的条件的。

【环的存在】对于一段代码，构造出其语句流程图，那么环如果存在是形成死循环的一个必要的条件。（图1）
【关键结点】在一个环中并不是所有的结点对于死循环的形成都是同等重要的。那些处在跳出循环以及进入循环处的结点十分重要。（比如说，while,for循环中的条件判断成分，决定了循环的走向，条件控制的错误将会导致死循环的产生）

PS:
【借鉴意义】当我们去查找一个死循环的问题的时候，要从循环体中的关键结点（控制条件处）入手进行分析。
【数据流简化】死循环是循环的一种非正常方式，控制逻辑的错误是导致这种问题的主要原因。（通过分析与条件相关的数据流链，我们能够从数据流角度，进一步缩小分析的范围，筛选出不在这条数据流上的一些东西，简化）

图1：
这里写图片描述

简单举例

关于下面代码的相关说明：

【循环结构的存在】for结构的存在，决定了环路的存在。
【关键控制点】关键控制点为 i <data。这句话直接决定了循环能否跳出，是否会进入死循环。
【数据流跟踪】在进行数据流跟踪的时候，我们只关注与i，data直接相关或者间接相关的语句，所以我们可以在分析时不考虑输出语句：System.out.println(“the data is : ” + data);。所以我们定位到了data++这条语句。

    public static void testCycle(){
        int data = 5;
        for(int i=0;i<data;i++){//关键点1
            System.out.println("the data is : " + data);
            data++;//关键点2
        }
    }