达夫设备.docVIP

前言：这是我在网上看到的一篇关于”达夫设备“的文章，看了之后觉得有所收获，先向作者致敬！ 前几天在网上看见了一段代码，叫做“Duffs Device”，后经验证它曾出现在Bjarne的TC++PL里面： void send( int * to, int * from, int count) // Duff设施，有帮助的注释被有意删去了  { int n = (count + 7 ) / 8 ; switch (count % 8 ) { case : do { * to ++ = * from ++ ; case 7 : * to ++ = * from ++ ; case 6 : * to ++ = * from ++ ; case 5 : * to ++ = * from ++ ; case 4 : * to ++ = * from ++ ; case 3 : * to ++ = * from ++ ; case 2 : * to ++ = * from ++ ; case 1 : * to ++ = * from ++ ; } while ( -- n ); }  } 代码的结构显得非常巧妙，把一个switch语句和一个do-while语句糅合在了一起。而在我看过的所有关于C和C++的书中，这样的 代码都 是毫无道理的。然而，无论是在VS2005还是在GCC4.1.2下，这段代码都能正确地通过编译。加上适当的main函数，它都可以正常运行。我百思不 得其解。上网去查，也没查到好答案。怎么办？先看看它的汇编代码吧，也许可以通过它的汇编代码看出它的意思。gcc -S send.cpp粗略地一看，汇编代码都已经上百行了，而且里面还有一个跳转表，十几个标号。一般情况下，几十行的汇编代码都已经不太好看懂了，要把这几百行汇编完全看懂，估计需要花很多时间。既然直接来太麻烦，那就用简便一点的方法吧： #include iostream  using namespace std;  int main() { int n = ; switch (n) {  case : do {cout endl; case 1 : cout 1 endl; case 2 : cout 2 endl; case 3 : cout 3 endl;  } while ( -- n );  }  }  实验结果n的值 程序输出 123 1 123 2 230123 3 301230123 其他 (无输出) 这 下终于弄清楚了。原来，那段代码的主体还是do-while循环，但这个循环的入口点并不一定是在do那里，而是由这个switch语句根据n，把循环的 入口定在了几个case标号那里。也就是说，程序的执行流程是：程序一开始顺序执行，当它执行到了switch的时候，就会根据n的值，直接跳转到 case n那里（从此，这个swicth语句就再也没有用了）。程序继续顺序执行，再当它执行到while那里时，就会判断循环条件。若为真，则while循环开 始，程序跳转到do那里开始执行循环（这时候由于已经没有了switch，所以后面的标号就变成普通标号了，即在没有goto语句的情况下就可以忽略掉这 些标号了）；为假，则退出循环，即程序中止。忙活了几个小时，终于明白这段代码是怎么回事了。回想一下，自己以前也曾写过类似C的语法但比C语法简单很多的解释器，用的是递归子程序法。而如果用递归下降法来分析这段代码，是肯定会有问题的。至于它是怎么正确编译并运行的，这需要去研究一下C编译器，这个以后再说。现在，还是再来看看达夫设备吧。其实，这个send函数的签名就已经很具有提示性了：把from数组中的元素拷贝count个到to里面