我今天面临的问题涉及到一个15兆字节的源文件,具有真正令人头脑的病态嵌套程度.代码如下：
- if(var == 0) {
- // do stuff
- }
- else {
- if(var == 1) {
- // do stuff
- }
- else {
- if(var == 2) {
- // do stuff,identical word for word to the `var == 1` case
- }
- else {
- // etc.
- }
- }
- }
这是最好的时代的一个有问题的风格选择.然而,这与代码的另一个病理学结合在一起：这些块中的一些几乎几千级. (最深的是我打算测量超过700.)我真诚地希望在我之前的人作为他们的最后一个行为之一,然后被强制与这个守则分开,运行了一个造型工具,导致了我可憎的事情.我不能设想他们现在可能已经编写了这个代码,特别是因为代码的第三或第四个编辑会崩溃IDE. (有时会删除我的源文件副本,作为奖金.)
我写了一个简单的基于正则表达式的工具来尝试缩小更简单的情况,但似乎是半程序化,然后损坏了这个特定的代码. (我不知道它是否失败,因为这段代码也不时使用预处理条件,或者因为最长的匹配将会是10MB长,而Lua的正则表达式匹配器根本无法应对).我希望有广泛使用的工具或技术,可以扭转这个问题.我已经不得不使用astyle来清理代码中的其他一些风格的“问题”. astire的–remove-bracket选项几乎完成了我想要的,但是要求括号内的语句是单行上的单个语句,这在这里非常不一样(只是为了跨越“t”我检查过; astyle没有产生这个特殊的问题.)
编辑：对问题代码进行更深入的检查可以看出这样的事情：
- #if OneThing
- int num2296 = otherThing();
- #endif
- #if AnotherThing
- int num44 = otherThing()
- int num45 = 0;
- #endif
- int num72 = 0;
- #if OneThing
- int num45 = 0; // note: multiple equivalent declarations of num45
- #endif
- #if OneThing
- for(int num2297 = 0; num2297 < num2296; ++num2297) {
- num45 = doSomething(num2297);
- #endif
- #if AnotherThing
- for(int num43 = 0; num43 < num44; ++num43) {
- num45 = doSomething(num43);
- #endif
- if(somethingElse(num45)) {
- ++num72;
- }
- } // note: only one closing brace for the two protected by #ifs
该代码的两个版本被编译为不同的目的,一个定义了OneThing,另一个定义了AnotherThing.然而,两者之间的大部分差异只是变量名,逻辑相同. (大多数,不是全部)
上面的代码段末尾的大括号就像为什么我的简单工具打破了.这也越来越像设计的工作安全,而不像无辜的无能. (如果代码曾经是由一个反编译器生成变量名称,如num2276的那一点,那么目前还不是这样).
不幸的是,这意味着一个自动化工具可能不会单独削减.我只需要通过,缓缓地解除最后程序员的伤害.我在这里离开这个问题,有一个奇迹工具,我不知道,可以将这两个版本转换为SSA,识别和折叠他们的逻辑等价,然后转换回来…
