作者:Panic
很多人写代码是照猫画虎,这些“猫”最终就变成了教条(注1)。一旦教条被人熟知,不同的变量,数值,功能就被按照教条使用,然后用一些“胶水”代码组合起来,实现需要的方案。通过对语法的深入了解,我们可以消除很多的“胶水”。这篇文章举了几个怪异的C语法的例子,以及如何在不导致歧义(注2)的情况下,利用(滥用?)他们实现更高效的代码。
记得返回值
我的第一个关于“教条编程”的例子将讨论格式化输出函数sprintf。下面这段代码的写法并不鲜见:
sprintf(str1, "Old v=%d\t",v);
/* Some code that plays with v */
sprintf(str2, "New v=%d",v);
strcat(str1, str2);
printf(str1);
大部分的sprintf实例使用一个临时的字符串变量作为它的第一个参数。这就是那个根深蒂固的教条:“sprintf需要一个临时字符串”。然而更好的教条是符合语法的,“sprintf需要一个指向字符数组的指针”。这提醒我们,可以用一个返回char *的函数替代它作为第一个参数,从而节省一个临时缓冲区的空间。例如:
sprintf(str, "Old v=%d\t",v);
/* Some code that plays with v */
sprintf(strchr(str, '\0'), "New=%d",v);
printf(str);
当直接使用指针的时候,你必须谨慎的避免NULL指针。在这个例子里,str(str,'\0')的有效得益于第一个sprintf。sprintf还隐藏了一个好处-它返回已经写入缓冲区的字符数量-这个数量可以节省一次对strlen的调用!检查你的代码吧。祝你好运!
另一个例子,如果得到一个字符串的长度,是为了在某些操作时判定它是否有效,你也许会这样写:
len = strlen(GetFileName());
if (len > 0)
; /* File name is not null */
然而,如果你只是打算用它和0比较的话,为什么不这样写:
if (GetFileName()[0] != '\0')
; /* File name is not null */
这次,我们不仅节省了一个缓冲区(这很普通,我们直接使用返回值(注3)-这也避免了一次额外的拷贝),而且还在正确的检查了返回值的同时,消除了前面strlen的调用开销。别忘了,相同的结果可以用等价的方法得到。
if (*GetFileName () != '\0')
; /* File name is not null */
因为字符串只是一个(可以用char * 指向的)结构,上面的方法同样可以用于返回结构体,C++类或其指针的函数,直接提取你需要的元素。例如:
struct POINT GetCurrentPos(void);
int y;
y = GetCurrentPos().y;
或者,
printf(GetDevice()->pName);
编译器可能会把结构创建为临时对象,然后把他们的指针作为隐含参数,所以你不必顾虑把结构体拷贝进栈或者出栈的开销。
从另一个角度,你还记得“函数无法返回一个字符串”的课程吗?其实你可以。方法很多。例如,创建一个名为STRING的结构体,里面包含一个字符串数组,你可以在函数中返回这样一个STRING,然后像上面那样引用其中的字符串。
struct STRING { char str[256]; };
struct STRING GetName(void)
{
.
}
printf(GetName().str);
实际开发中,这和传递字符串指针相比,用处很少甚至完全无益,但是它的确减少了程序员创建临时变量的需求。
表达式
函数调用只是表达式。如果他们返回一个类型(不包括void,那并不是一种真正的类型),那么你就可以把它作为一个普通的表达式用在任何需要的地方,例如一个while循环。这使得循环或者类似的流程被快速短路成为可能,从C的懒惰表达式计算中获益。(看补充)
while (1 && GetNextLine(&str))
;
把表达式中的1改成0,导致整个表达式的结果变成0,GetNextLine函数不会被调用,循环永远都不会运行。我经常使用这种方法在测试代码中取消复杂的if语句块。
if (1
&& ComplicatedExpression1
&& ComplicatedExpression2
&& ComplicatedExpression3
)
;
通过把1改成全局,静态,变量,我可以在调试时,取消这些代码的运行,或者通过菜单选项改变它,从而在一次编译中测试多个项目。
结束
我希望还有一些新的想法告诉你。我忘了讲,代码也可以使用这种方式移除:
/*
. code here .
//*/
然后用在首行添加一个单独的/字符来重新插入这段代码。
补充
C使用一个懒惰表达式计算器。这就是说,它只计算需要的表达式来推导最终的结果是TRUE还是FALSE,所以一行类似
if (fn1() && fn2() && fn3())
.
的代码,会先计算fn1(),只有在必要时才继续计算fn2(),也就是说,当fn1()返回TRUE的时候。如果它返回FALSE,无论其他表达式如何,都无法使得最终结果是TRUE。大部分人从如下的代码段中凭直觉了解了这一点:
if (ptr && ptr->Name)
printf(ptr->Name);
这和Pascal是不同的。
译者:
本文是Steve Goodwin的大作,译者水平有限,无法很严谨的翻译文中要表达的内容,只能就个人的理解,尽量在含义上贴近原文。尽管对这篇文章的某些观点并不十分理解和赞同,但是对于开发者来说,仍然是很有价值的参考。
原文链接:http://www.gamedev.net/reference/articles/article1239.asp
注1:原文:This example becomes a template,template本意是模板,但是这里理解为教条更能表达感情的好恶。
注2:原文:without qualifying for the IOCCC (International Obfuscated C Code Contest),意译,不是很准确。
注3:原文:seeing as we use the result directly ,这里的result指的应该是函数返回值。