实现机制.达夫设备基于汇编语言编程中常用的“在复制时最小化判断数和分支数”所用算法，并以C语言实现。代码看起来虽与环境格格不入，但仍可与C相容，其因有二：一方面，C语言对switch语句的规范较松。达夫设备发明时，正值《C程序设计语言》第一版引领C语言规范，而按其中规定，在switch控制语句内，条件标号（case）可以出现在任意子语句之前，充作其前缀。另外，若未加入break语句，则在switch语句在根据条件判定，跳转到对应标号，并开始执行后，控制流会无视其余条件标号限定，一直执行到switch嵌