2002年的冬天，我在北京联通出差。刚参加工做，有点小紧张，给电脑接电源，插三孔插座的时候错位60度，噗哧一下冒起了火花。没有酿成事故，可是这件事情一直没能忘记。其实国标的三孔操做在设计规范上已经考虑了这种错误，三个插孔的开口方向是不同的。问题出在插座上面，当时用的是万能接线板，除了国标，欧标和美标也能插进去，所以国标插头即使错开60度，用点力气也能插进去。此后到其余地区出差，特别留意他们的插座，发现最安全的是欧标，三相插孔的设计两阴一阳，根本没有错位的可能。前端
欧标插头和插座java
欧标插座还有其余优势，好比最多调整90度就能够对准;插头做为总体嵌入插座，不用担忧金属部分暴露漏电;圆柱状金属头加球面前端设计，省力且牢固。这些暂且按下不表，今天想谈的是程序设计语言中的安全措施。python
程序语言的插座–类型系统c++
最近用python开发过几个小工具，颇为趁手。缘由之一是python支持duck typing。能够把任意类型的对象赋值给变量，运行时系统在访问到这个对象的时候才会判断其类型是否正确。换句话说，实现了类级别的运行时多态(对比一下，C++/JAVA经过接口和虚函数支持函数级的运行时多态，而模板支持类和函数级别的编译时多态)。安全
首先，不要求提早定义接口。能够边思考边写代码，不用在接口部分和实现部分之间来回切换。数据结构
其次，不要求统一的对象界面。实现多态的时候不须要对象都是从统一接口上扩展出来的，对象能够拥有只在某些特定分支下会被调用的接口，其余对象，若是不会命中这些分支，就能够不用定义这些接口。若是习惯了c++/java，这种风格就是脑残，可是对快速开发真的颇有效。想象一下，在静态语言的OOD中，若是原来设计的统一接口知足不了需求，一般意味着概念抽象出了问题。乐观状况下，要么扩展原有接口方法的内涵，并在调用者和被调用者之间从新分布职责;要么把没法涵盖的部分抽取出来，增长一个接口方法。函数
凡事必有两面，首先是正确性不易验证。类型错误只有程序运行时才能检测出来，通电之后才能发现抽头插错了，用静态语言，一样的错误最晚编译时就能检查出来。工具
其次是理解代码费力。阅读静态语言，看看数据结构、函数原型(C语言)，或者类型/接口定义(C++/JAVA)，对程序结构能了解个八九不离十。动态语言，非得把对象间的调用代码读完，才能把握程序的设计结构。编码
JAVA是相反风格的表明，典型的“欧标插座”。不支持动态类型，更不支持内存这种“万能插座”。作一件事情，JAVA只给你一种方法。url
语言设计和程序设计要考虑两个认知因素，一是方便写，一是方便读。动态类型方便写，静态类型方便读。动态语言编写结构复杂，肯定性要求高的程序仍是面临挑战。语言没有内置“欧标插座”，必然要求语言的使用者自律，尤为是团队协做开发时必须遵循一致的设计策略。
提高安全的语言特性
更多阅读请点击：郑州白癜风医院
更多阅读请点击：郑州牛皮癣医院
程序设计语言一直在往里面添加安全特性。好比ANSI C添加对函数原型的支持(最古老的C语言只关心函数名字，不检查返回值和参数类型，C的连接器如今还保留这样的设计)，const和static修饰符;C++连接器的隐式函数类型检查，引用类型，类成员的可见性修饰;java对指针的弃用，package，等等。恰当使用这些特性，能够把错误捕获在编码阶段。
不止是软件设计
但凡人会犯糊涂的地方，都是“欧标插座”的用武之地。只能单向打开的消防门，电脑机箱里的各类接线缆接头，优秀软件的人机界面等等。程序设计语言和API，本质上是一种抽象的人机界面。程序语言是人和计算机之间的界面，API是人和另一堆代码的界面。记得读大学的时候，学校里有个工业心理学实验室，主任是如今阿里的王坚，他们的主要方向就是各类人机界面设计问题。