编程本质论

编程本质论

by leezy_2000

这几年各种新的技术井喷一样的涌现出来。身处这样一个时代的我们,难免就有一种拔剑四顾,心下茫然的感觉。在某一方面的做到精专已属不易,全才似不可能,那么究竟又该何去何从?这篇文章目的是探讨编程过程中一些本质的东西,已期对大家的学习有所帮助。

个人以为,从编程这一职业诞生开始一直至今,其本质就没有改变过。对概念的抽象对逻辑的描述始终都是编程过程中最核心的东西。

程序为解决某一问题而存在。而问题可拆分成某些概念和逻辑关系。而结构化程序设计和面向对象程序设计不过是对概念和逻辑进行表达的不同方式。而程序中逻辑关系的复杂程度随程序的规模而增加。

程序的本质不是各种技巧。就算你把Effective C++,More Effective C++中的每一条款都应用到了你的C++程序中,如果没有对逻辑关系的良好组织,你的程序也可能糟不可言。可能高耦合低内聚,可能不可扩充―――。

上面这段文字提到了四个概念,他们分别是:问题、概念、逻辑和技巧。

我来举个例子来说明这四个概念都代表些什么。

现在假设我们需要根据已知的一个文件名产生一个临时文件名。如果输入为prog.dat,mydir,hello.,oops.tmp,end.dat那么相应的输出为

prog.dat=>prog.tmp

mydir=> mydir.tmp

hello.=>hello.tmp

oops.tmp=>oops.xxx

end.dat=>end.tmp

(这里使用了The C++ Standard Library中第11章的例子)

什么都不做的程序是不存在的,程序总要解决客观世界中的某些问题。这里的问题就是要为一个已知的文件名产生相应的临时文件名。

解决这个问题时涉及的概念主要有两个:字符串和扩展名。扩展名可以用字符串进行表示。

解决这个问题的逻辑之一可用下面的伪代码来表述:

if(输入文件名没有扩展名)

{

用输入文件名、‘.‘号和"tmp"生成临时文件名;

}

else

{

得到输入文件名的扩展名;

if(扩展名为空)

{

用输入文件名和"tmp"生成临时文件名;

}

else if(扩展名为"tmp")

{

把"tmp"替换为"xxx";

}

else

{

把文件名‘.‘以后的部分替换为"tmp";

}

}

当然你还可以有其他的实现逻辑,而这种逻辑总是可以独立于语言、操作系统的。

至于你是用C++标准库、还是MFC的Cstring类或者.net中的相应类或者不依靠类库自己用某种语言来表述这种逻辑那就是技巧。

上面虽然是个小例子,但我认为完成任何程序:从上层应用直到底层驱动,都会涉及到这四个概念,。

上面所说编程时必须的四个要素中,我个人认为逻辑和概念是编程中更本质的东西,直接的原因是他们在更大的程度上决定着程序的质量。不要忘了评价软件质量的几个指标:

健壮性、可重用性、易扩充性、容错性等。

而这些指标并不是你选择了某个语言或者某个框架他们就达到了。而要通过对解决的问题的逻辑进行提炼和精化才可能达到。不要说这是系统分析的责任,程序每一部分都有自己要解决的问题,怎么可能每一部分程序质量的保证都是系统分析的责任。

此外当你要把原来用软件实现的功能换做用硬件来实现的时候,这点就分外的明显--软件其实就是一组逻辑关系。

但眼下主流意识形态似乎并不认同这点,各种招聘广告可为明证。

下面是一个招聘软件工程师的广告:

1. BS degree or above in computer science.

2. At least 2 years of driver development experience.

3. Experience in C, C++, windows SDK/DDK or Linux system development.

4. Familiar with computer networking or telecommunication 802.3, 802.11, TCP/IP protocol is a plus.

5. Familiar with embedded system design.

6. Familiar with Bluetooth is a plus.

如果把编程与磨刀砍柴做类比的化,那么

当某个人熟悉某种语言、某个框架、某个IDE、某个协议某个开发包的时候我们可以认为这个人拥有一把较锋利的柴刀。但这和这个人最终擅不擅长砍柴并没有必然的关系。夫欲善其事,必先利其器。但利其器了未必就会善其事。所以说上面的广告一定程度上相当于想找一个会砍柴的人,但看人的时候却更注重他有没有一把锋利的刀子。(更可悲的是挣扎在生存边缘的我们,纵然不愿却也不得不迎合这种要求)

未避免矫枉过正,这里要强调一点,不是说基本技能不重要,没有对语言、框架、IDE的一定认识,根本就产生不了有用的程序。但当我们执迷于对不同语言、框架、IDE的优缺点进行比较的时候,不要忘了他们并不对程序的健壮性、可重用性、易扩充性、容错性等最终衡量程序优劣的诸多方面起决定作用。起决定作用的是你对概念的定义方式和对各种复杂逻辑关系的描述方式。

语言是什么?语言是逻辑的载体和描述的工具。当你试图表述逻辑关系的时候大多语言应该是满足这一要求的,要不然他早被淘汰了。框架是什么?框架是对逻辑和概念的一种封装。框架把某一领域通用的概念和逻辑封装起来,进而使程序员不必做一些重复性的工作。而实际上对这个领域的这些通用概念并不只有这么一种表述方式,也就是说并不只有一种逻辑表述。你选择某个框架的同时也就意味这你从n种方式中选择了一种,舍弃了其他。没有那个框架是完美的,选择的同时自然也就继承了这种不完美。所以善用他们,他们很重要,但不会再重要了。

当我意识到这点时,我发现虽然编程许久,但在对逻辑表述方面的能力却没有寸进,因为把90%以上的时间都投在了技巧的提升上了。Jeffrey Richter和Matt Pietrek两位堪称Windows编程界中的技巧大师。可我现在敢说即使你把《Windows核心编程》、《Programming Server-Side Application for Micorsoft Windows 2000》还有MSDN杂志的Under the Hood专栏倒背如流,你可能还是写不出高质量的程序。这些东西是必须的,但远不是全部。

林锐写过一本《高质量C++/C编程指南》,此书在网上流传甚广,我想原因有二:一是此书对C/C++语言中的容易造成模糊的地方进行了详细说明(真的很有用);二是林锐笔法不错。但也正因其流传甚广,我觉得在这里必须指出,此书严重的文不对题。按照书中所说那些就能设计出高质量的C/C++程序么?那些都是编程所需要的技巧,不过是告诉你怎么能磨出一把锋利的刀而已。如果读过此书的人都把这些技巧和高质量的程序相等价,那么学习时恐怕就难免会误入歧途了。

这个题目太大,我是姑妄言之。这里不过是刚刚开始一种探讨而远非结论。欢迎大家一起讨论,还望诸君有以教我!

编程本质论

by leezy_2000

这几年各种新的技术井喷一样的涌现出来。身处这样一个时代的我们,难免就有一种拔剑四顾,心下茫然的感觉。在某一方面的做到精专已属不易,全才似不可能,那么究竟又该何去何从?这篇文章目的是探讨编程过程中一些本质的东西,已期对大家的学习有所帮助。

个人以为,从编程这一职业诞生开始一直至今,其本质就没有改变过。对概念的抽象对逻辑的描述始终都是编程过程中最核心的东西。

程序为解决某一问题而存在。而问题可拆分成某些概念和逻辑关系。而结构化程序设计和面向对象程序设计不过是对概念和逻辑进行表达的不同方式。而程序中逻辑关系的复杂程度随程序的规模而增加。

程序的本质不是各种技巧。就算你把Effective C++,More Effective C++中的每一条款都应用到了你的C++程序中,如果没有对逻辑关系的良好组织,你的程序也可能糟不可言。可能高耦合低内聚,可能不可扩充―――。

上面这段文字提到了四个概念,他们分别是:问题、概念、逻辑和技巧。

我来举个例子来说明这四个概念都代表些什么。

现在假设我们需要根据已知的一个文件名产生一个临时文件名。如果输入为prog.dat,mydir,hello.,oops.tmp,end.dat那么相应的输出为

prog.dat=>prog.tmp

mydir=> mydir.tmp

hello.=>hello.tmp

oops.tmp=>oops.xxx

end.dat=>end.tmp

(这里使用了The C++ Standard Library中第11章的例子)

什么都不做的程序是不存在的,程序总要解决客观世界中的某些问题。这里的问题就是要为一个已知的文件名产生相应的临时文件名。

解决这个问题时涉及的概念主要有两个:字符串和扩展名。扩展名可以用字符串进行表示。

解决这个问题的逻辑之一可用下面的伪代码来表述:

if(输入文件名没有扩展名)

{

用输入文件名、‘.‘号和"tmp"生成临时文件名;

}

else

{

得到输入文件名的扩展名;

if(扩展名为空)

{

用输入文件名和"tmp"生成临时文件名;

}

else if(扩展名为"tmp")

{

把"tmp"替换为"xxx";

}

else

{

把文件名‘.‘以后的部分替换为"tmp";

}

}

当然你还可以有其他的实现逻辑,而这种逻辑总是可以独立于语言、操作系统的。

至于你是用C++标准库、还是MFC的Cstring类或者.net中的相应类或者不依靠类库自己用某种语言来表述这种逻辑那就是技巧。

上面虽然是个小例子,但我认为完成任何程序:从上层应用直到底层驱动,都会涉及到这四个概念,。

上面所说编程时必须的四个要素中,我个人认为逻辑和概念是编程中更本质的东西,直接的原因是他们在更大的程度上决定着程序的质量。不要忘了评价软件质量的几个指标:

健壮性、可重用性、易扩充性、容错性等。

而这些指标并不是你选择了某个语言或者某个框架他们就达到了。而要通过对解决的问题的逻辑进行提炼和精化才可能达到。不要说这是系统分析的责任,程序每一部分都有自己要解决的问题,怎么可能每一部分程序质量的保证都是系统分析的责任。

此外当你要把原来用软件实现的功能换做用硬件来实现的时候,这点就分外的明显--软件其实就是一组逻辑关系。

但眼下主流意识形态似乎并不认同这点,各种招聘广告可为明证。

下面是一个招聘软件工程师的广告:

1. BS degree or above in computer science.

2. At least 2 years of driver development experience.

3. Experience in C, C++, windows SDK/DDK or Linux system development.

4. Familiar with computer networking or telecommunication 802.3, 802.11, TCP/IP protocol is a plus.

5. Familiar with embedded system design.

6. Familiar with Bluetooth is a plus.

如果把编程与磨刀砍柴做类比的化,那么

当某个人熟悉某种语言、某个框架、某个IDE、某个协议某个开发包的时候我们可以认为这个人拥有一把较锋利的柴刀。但这和这个人最终擅不擅长砍柴并没有必然的关系。夫欲善其事,必先利其器。但利其器了未必就会善其事。所以说上面的广告一定程度上相当于想找一个会砍柴的人,但看人的时候却更注重他有没有一把锋利的刀子。(更可悲的是挣扎在生存边缘的我们,纵然不愿却也不得不迎合这种要求)

未避免矫枉过正,这里要强调一点,不是说基本技能不重要,没有对语言、框架、IDE的一定认识,根本就产生不了有用的程序。但当我们执迷于对不同语言、框架、IDE的优缺点进行比较的时候,不要忘了他们并不对程序的健壮性、可重用性、易扩充性、容错性等最终衡量程序优劣的诸多方面起决定作用。起决定作用的是你对概念的定义方式和对各种复杂逻辑关系的描述方式。

语言是什么?语言是逻辑的载体和描述的工具。当你试图表述逻辑关系的时候大多语言应该是满足这一要求的,要不然他早被淘汰了。框架是什么?框架是对逻辑和概念的一种封装。框架把某一领域通用的概念和逻辑封装起来,进而使程序员不必做一些重复性的工作。而实际上对这个领域的这些通用概念并不只有这么一种表述方式,也就是说并不只有一种逻辑表述。你选择某个框架的同时也就意味这你从n种方式中选择了一种,舍弃了其他。没有那个框架是完美的,选择的同时自然也就继承了这种不完美。所以善用他们,他们很重要,但不会再重要了。

当我意识到这点时,我发现虽然编程许久,但在对逻辑表述方面的能力却没有寸进,因为把90%以上的时间都投在了技巧的提升上了。Jeffrey Richter和Matt Pietrek两位堪称Windows编程界中的技巧大师。可我现在敢说即使你把《Windows核心编程》、《Programming Server-Side Application for Micorsoft Windows 2000》还有MSDN杂志的Under the Hood专栏倒背如流,你可能还是写不出高质量的程序。这些东西是必须的,但远不是全部。

林锐写过一本《高质量C++/C编程指南》,此书在网上流传甚广,我想原因有二:一是此书对C/C++语言中的容易造成模糊的地方进行了详细说明(真的很有用);二是林锐笔法不错。但也正因其流传甚广,我觉得在这里必须指出,此书严重的文不对题。按照书中所说那些就能设计出高质量的C/C++程序么?那些都是编程所需要的技巧,不过是告诉你怎么能磨出一把锋利的刀而已。如果读过此书的人都把这些技巧和高质量的程序相等价,那么学习时恐怕就难免会误入歧途了。

这个题目太大,我是姑妄言之。这里不过是刚刚开始一种探讨而远非结论。欢迎大家一起讨论,还望诸君有以教我!


相关内容

  • 你对自己真正的编程能力了解多少?
  • 前言:我的朋友,在读书的时候,就自己搭建过几个网站,在当时同学之间算挺厉害的.但是有一天他告诉我,自己虽然做了很多东西,但是真正自己亲手写的代码却少之又少,大多数代码差不多都是把别人的整合一下.而到了工作的时候,那些曾经以为编程全是手动一行一行敲代码的想法,在靠一次次复制黏贴后就能解决问题的现实面前 ...

  • 程序设计方法学01
  • 天津师范大学计算机与信息工程学院 硕士研究生课程讲义 程序设计方法学 课程介绍 „ 任课老师信息 • 姓名:朱远平 • Email:zhuyuanping@mail.tjnu.edu.cn „ 课程信息 • 课程名:程序设计方法学 • 学分:3 • 课程目的 – 学习程序设计的基本概念.原理.方法 ...

  • 康托尔.哥德尔.图灵--永恒的金色对角线
  • 我看到了它,却不敢相信它[1]. --康托尔 计算机是数学家一次失败思考的产物. --无名氏 哥德尔的不完备性定理震撼了20世纪数学界的天空,其数学意义颠覆了希尔伯特的形式化数学的宏伟计划,其哲学意义直到21世纪的今天仍然不断被延伸到各个自然学科,深刻影响着人们的思维.图灵为了解决希尔伯特著名的第十 ...

  • 数理逻辑及其在计算机中的应用_靳艳芳
  • Vol. 31 No.12 Dec. 2015 赤 峰 学 院 学 报( 自 然 科 学 版) Journal of Chifeng University(Natural Science Edition) 第 31 卷 第 12 期(上) 2015 年 12 月 1 数理逻辑概念及其发展 作为离散数 ...

  • 宏程序在数控编程中的应用技巧及编程实例
  • 2010年6月第38卷第12期 机床与液压 MACHINETOOL&HYDRAULICS Jull.2010V01.38No.12 DOI:10.3969/j.issn.1001-3881.2010.12.011 宏程序在数控编程中的应用技巧及编程实例 韩全立,王宏颖 (河南工业职业技术学院 ...

  • 机器人离线编程的误差来源分析与消除办法
  • 机器人离线编程的误差来源分析与消除办 法 随着机器人应用领域越来越广,传统的示教编程这种编程手段有些场合变得效率非常低下,于是离线编程应运而生,并且应用越来越普及.但初用离线编程的朋友,总会被最后生成轨迹的误差所困惑,而导致这些误差的原因,包括前几期谈到的TCP.工件较准,还有另一个,那就是机器人绝 ...

  • 比英语还重要的语言,能让孩子赢在起跑线
  • 播放GIF 中国比特币首富李笑来曾经表达过这样一个观点:在未来的世界里,不会这两种技能将会被淘汰-- 打开应用保存高清大图 英语的影响不用多说我们都懂,可编程也被拉拔到如此高度,很多家长可能就不理解了--不就是一帮穿着格子衫的码农在键盘上敲敲打打,什么时候这个技能也能影响我孩子的未来了? 试想想,我 ...

  • KJ609煤矿井下水泵房排水控制系统说明书
  • 本系统执行标准:Q/SMY 2806-2012 KJ609煤矿井下水泵房排水控制系统 使用说明书 煤科集团沈阳研究院有限公司 2012年09月01日 目 录 1.系统概述 ································································ ...

  • 机器人离线编程软件简介
  • 1)ABB公司的RobotStudio 喷涂生产线上选用的喷涂机器人为ABB公司的IRB580,配套的机器人离线编程软件为RobotStudio,如图1-1所示.RobotStudio支持机器人的整个生命周期,使用图形化编程.编辑和调试机器人系统来创建机器人的运行,并模拟优化现有的机器人程序.Rob ...