OI中的代码调试

作为一位OIer，代码调试的能力必不可少。

今天梳理一下自己进行代码调试的方法，下面只是一些个人的总结。

代码的评价有三部分：

• 正确性
• 强健性
• 高效性

检查也应该从这三部分出发。

【正确性】

打完代码，直接运行一遍样例和一些自己准备的数据，若答案不对，则进行以下检查：

①直接检查一遍自己的代码

②如果还是找不到问题，就开始动态调试

样例和准备的数据都正确了，然后再总体地观览一遍整个代码，这样答案的正确性就不容置疑了。

【强健性】

强健性检查的就是一些常出现的问题，这需要平时的积累。暂时的积累有：

数组大小

明确涉及数组大小的含义，回头看题目自己的范围正不正确，然后逐个逐个数组检查。

初始化

跟着变量定义，一部分一部分地来看。

long long

①变量函数定义

②变量函数输入输出

③运算会不会越界

取模

①会不会出现负数

②有没有及时取模，防止运算越界

参数设置

会不会在调试的时候把参数改变了，或者你的参数设置本来就有问题

访问非法

特别对于类似于 桶 的数据结构。

头文件

本地编译通过，在官方的评测机上过不了。

①<cmath> x1

②<algorithm> rand

③<climits> INT_MAX

特判

①极小数据，特殊数据

②图：联通，自环，重边，有向边

【高效性】

时间

估算时间复杂度

空间

算空间大小

假如有空，或者感觉很虚的话，对程序进行数据攻击，你觉得哪里虚就攻击哪里，通常要设计这样的数据：

普通数据

大量的普通数据+对拍，保证正确性。

对拍的方法有很多种，具体情况具体分析。

极大极小数据

保证强健性。

保证高效性。

特殊数据

突然有些脑洞：程序会不会在这里出错？

保证正确性和强健性。

【其他问题】

习惯加上文件定向。

int main(void)
{
    #ifndef ONLINE_JUDGE
    freopen("test.in","r",stdin);
    freopen("test.out","w",stdout);
    #endif
    return 0;
}

注意文件路径。

有没有放错位置。