Shell's Home

Apr 19, 2012 - 1 minute read - Comments

语义的精密表达

辨析语言的微妙差异,使得语言精密的符合目的语义,此为程序员基本功的最高要求。对精密语义的追求,应当凌驾于排版美观,代码美感,代码简化之上,也凌驾于运行时效率之上。除非为特定目的小幅的修正,否则不应破坏此原则。

以此为指导,我们看几个if。

if a in python

以下代码的目标语义是,如果a不为None,就运行代码。

if a:
    do something

有什么问题?

有没有考虑a=0的情况?a=[]呢?

if a is not None:
    do something

这样才是严密表达。

if a in C

以下代码的目标语义是,a是一个int数,对a!=0的情况下,执行代码。

if (a) do something

有什么问题?

没问题,因为C是静态语言,这限定了a的使用。除了代码并没有体现a!=0的条件,没有太大问题。但是鉴于语言表达语义,最好改为以下代码。

if (a != 0)

相对的,如果a是bool型,就可以直接用了。

if (a)

如果a是char*形,那么合适的语义表达应当是。

if (a != NULL)

他们生成的汇编代码都没有差异。

if a in C++

概念上同C,不过a是一个复杂对象。

if (a) do something

有什么问题?

问题大了去了,和python一样,C++可以重载行为。谁知道type(a)::opreator bool(const type(a) &a)函数被定义为什么鬼逻辑。这就是为什么我憎恨默认行为重载的原因——因为他们对精密语义表达有破坏作用。