孙秀楠的网站

博客

  • KISS理论乱掰

    KISS理论不是一个感情方面的娱乐节目，而是编程领域里面很重要的设计思想。

    电脑编程与其它方面的科学相比，总差了一些严谨性或者理论不是那么完善，很多理论都是基于猜想说话，而没有数据支持。不过KISS这个理论我是认同的，从某种程度上讲，KISS很像是奥卡姆剃刀原理，越简单越正确。

    KISS是什么意思？这个就众说纷纭，也可见电脑编程之不科学。有人说是Keep it simple, Stupid!翻译过来就是，“简单点，傻瓜！”很有一些Nerd傲视群雄的气派，但是我喜欢翻译成“要简单，要尽量傻!”（也就是stupid翻译为形容词），理由后面会解释。在维基百科上http://en.wikipedia.org/wiki/KISS_principle介绍了KISS理论的一些相关概念，还有一些人名、链接什么的让你可以跑题。

    为何KISS理论很有趣很重要？我个人感觉，KISS理论让人时刻牢记，人是傻的、或者说大部分都是傻的，而编程代码是给人看的，所以复杂代码复杂算法复杂函数都会导致后续维护的困难，从软件工程角度上说，编码阶段与后期维护阶段时间基本上是1：N的关系，越复杂的软件N值越大。

    以前一个编程书籍阅读小组，想用UML来描述一个网页游戏的架构，结果对于一个类应该属于这个还是那个争吵不休，看了让人觉得很好笑。一个类属于A还是属于B是不是很重要的事情？depends on，但是对于五五开的问题来说，真的没必要争论几天时间，还不如选一个简单的方案先实现出来。

    还有常见的简单问题复杂化的例子是代码重用以及接口扩展。有些人觉得自己编程水平高，言必称重用。比如C语言没有类如何重用代码？都是似是而非的一些问题，连重用是什么这样基本概念都不知道，就敢张嘴乱讲，真真是2B了耶哥哥。接口扩展复杂化的例子在windows api里比比皆是，很多函数就在文档里指明，这个参数应该用NULL，这不扯么，都没有用的参数，当初怎么加进去的？！

    程序员为什么喜欢把代码复杂化？当然是有原因的，首先一个就是让人看不懂，而未知的东西都让人有一种神秘感恐惧感，这样程序员就感觉自己对代码有掌控力，你们都不行就我知道怎么改，你敢让我走路么？！另外一个原因是，复杂化的概念让人觉得有价值，比如你看最近《程序员》上关于云计算的文章，国内这些砖家穴者都纷纷出来推崇云计算，但是文章内容毫无价值臭的跟狗屎一般，都是一些大词（big word）的堆砌繁衍。我在twitter上与程序员主编问过，他无奈回答是”商业需要“。另外一说数据库，一定是Oracle最好，开源的不可靠，为何？因为Oracle那多复杂，连调优都能整成一个赚钱的职业。

    一个程序员要时刻牢记“简单化、傻瓜化”编程，代码要一目了然；长的函数要变短，要不怎么称得上简单；复杂的条件判断要分解，要不怎么称得上傻瓜化，太复杂还得用笔算是不是；至于变量名字，就越直白越好，比如bool IsThisGirlBeautiful()，这种函数一看就懂，连文档都不用写。

  • 一些老照片

    真的是非常老的照片，基本都是八、九年前的。

  • C语言表达式计算顺序的一个小问题

    浏览Q.yuhen的博客这篇文章 http://www.rainsts.com/article.asp?id=959 发现一个小问题，估计有类似想法的同学也有，所以记录一下。

    问题在于这句话：

    “很显然，依据 cdecl 规则，"printf(…, test(2), test(1))" 中的 printf 函数参数依次从右向左 "入栈"(暂且用这个说法)。因此 test(1) 被先调用，然后才是 test(2)，上面的汇编代码也说明了这点。”

    尽管事实是这样的，但这是一个有问题的说法。

    cdecl的入栈顺序是没错的，这个入栈顺序是针对每个逗号分隔的表达式结果而言。也就是说对于每个结果一定是这样的顺序。但是表达式计算顺序（或者说每个逗号分割的函数调用）其实是没有规定的。这在K&R影印版第二版52页最末一段说的非常清楚，下面的f和g不一定谁先调用：

    C, like most languages, does not specify the order in which the operands of an operator are evaluated. (exceptions are && || ?: and ",") for example x = f() + g();

    另外在63页开始：

    The commas that separate function arguments, variables in declarations, etc., are NOT comma operators, and do NOT guarantee left to right evaluation.

    这也就是说逗号分隔的函数参数与逗号操作符是不一样的，不保证从左至右的计算顺序（当然也没有保证从右至左）。

    注意这个evaluation，其实就是对test(2), test(1)的调用。如果这些调用有边界效应，在不同编译器、操作系统上可能会得到不同的结果。另外类似的问题有对在参数列表中，同一个变量调用++两次以上。

    如果要保证求值顺序（注意不是求值结果的入栈顺序），只能用临时变量保存调用结果，或使用逗号操作，&& || :?这样可以保证求值顺序的操作才行。

    其实我在前面这篇博客已经提到了这个问题，只是看到这个提法再重申一次。“C语言中的表达式求值问题”http://sunxiunan.com/?p=1684

    参考资料：

    http://www.andromeda.com/people/ddyer/topten.html 参考第七条

    C陷阱与缺陷 3.7求值顺序

  • 能打印出自己的代码

    任务：写一段C语言程序，打印出自己整个代码，不能差一分一毫。

    这个任务在计算机编程中有个术语叫做：Quine，维基百科上有专门的条目介绍。

    http://en.wikipedia.org/wiki/Quine_%28computing%29

    quine代码好像没有太大作用，但是我们可以将其想象成一种可以自我繁殖的生物，每次运行就产生一个同样的实体，然后一个个这样繁殖下去，哇塞，这就是恐怖片了！

    搜索了一下，基于C语言（使用VC2010编译必须设置language为C才可以）主要有以下几种比较简洁的实现：

    main(a){a="main(a){a=%c%s%c;printf(a,34,a,34);}";printf(a,34,a,34);}

    这算是第一种模式，关键在于%c%s%c这个打印格式，然后输入参数中多半有34或者0x22（也就是双引号）或者引用到字符串数组中双引号的位置。

    另外一种是通过宏定义实现的：

    #define T(a) main(){printf(a,#a);}
    T("#define T(a) main(){printf(a,#a);}\nT(%s)")

    宏定义的实现消除了对双引号的使用，格式更为灵活一些，不需要是abab这种模式了。

    关于quine一个非常详细的论文，介绍了深层理论、如何写quine代码等等，可以看看。

    http://www.madore.org/~david/computers/quine.html

    另外可以参考：

    http://www.c4swimmers.esmartguy.com/selfcodeprint.htm

    http://www.c2.com/cgi/wiki?QuineProgram

  • “大连自由软件日”活动简记

    在元毅同学(@yuanyi_wang)的大力推动与强悍的执行力（数值至少有3万！）运行之下，大连第一次“自由软件日”活动于9月18日6点在大工研究生教育楼大教室胜利召开。

    又是下点小雨，我从市内往大工方向坐车非常麻烦，要倒一遍车才能到。结果到的时候已经是快六点四十了，错过了Saka的关于Debian的讲演（Saka是大工老湿、BBS管理员、Debian team成员）。整个大教室里大概有六七十人，几位twitter上的朋友都在，大部分还是大工的学生。

    关于ROR的讲演，非常浅显，基本上没有涉及到任何深一点的内容，比如Rails3.0也没有介绍，但是看底下同学反映好像也不怎么强烈，应该是了解的不多吧。

    关于liferay的讲演，我也不是很感兴趣，因为java做框架开发已经不是web开发的主流了，现在php更为火爆一些，而且做portal方面的软件选择其实非常多，比如drupal、joomla、wordpress都可以，或者是python的zope，ruby的rails，开发效率应该都超过java。当然对于大连这嘎达，搞java的很多，用liferay也是很不错的选择。

    Mark关于Linux的内核讲演非常有意思，我算是听懂了百分之八十吧，因为自己对BSD、Solaris、Linux也有一些兴趣。他语速不是很快，并不是很难懂。Mark比较了各个版本Unix的内核实现框架，以及虚拟化这个很潮的概念，是非常棒的一个ppt，只是我不做Linux开发，很难体验精华所在，有些可惜。最后我问了一个关于“BSD和Linux成功学”的问题，为何Linux现在更帅更成功？Mark的答案是Linux更适合现在Internet的开发，即使代码质量不如BSD，但是庞大的社区让Linux更快实现一些开发者需要的功能。

    活动结束后我们几个twitter上的朋友和讲演者合了影（等我要到了跟大家share）。总体来说活动还是非常成功的，打开了大连这地方只有外包没有技术氛围的尴尬局面。下一周还有一个活动关于Ruby，希望类似的活动越来越多，让大连的开发者能组织起来，有更多的交流沟通，更好促进开发者的发展。