可以通过用它们的等价物替换事物来转换程序:用它们的值替换变量,用函数代码替换函数调用,用选定代码替换常量的条件。例如,
main()
{
int x=5;
count(x);
}
-->
main()
{
count(5);
}
-->
main()
{
if(5>0)
{
count(4);
printf("%d ",4);
}
}
-->
main()
{
count(4);
printf("%d ",4);
}
-->
main()
{
if(4>0)
{
count(3);
printf("%d ",3);
}
printf("%d ",4);
}
-->
main()
{
count(3);
printf("%d ",3);
printf("%d ",4);
}
--> ... -->
main()
{
count(0);
printf("%d ",0);
printf("%d ",1);
printf("%d ",2);
printf("%d ",3);
printf("%d ",4);
}
-->
main()
{
if(0>0)
{
count(-1);
printf("%d ",-1);
}
printf("%d ",0);
printf("%d ",1);
printf("%d ",2);
printf("%d ",3);
printf("%d ",4);
}
-->
main()
{
printf("%d ",0);
printf("%d ",1);
printf("%d ",2);
printf("%d ",3);
printf("%d ",4);
}