关于类型安全的思考

Posted 机器鸟的窝

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了关于类型安全的思考相关的知识,希望对你有一定的参考价值。

这两天一初学python的哥们频频吐槽C#这样赋值时对类型的检查,让问题变难变复杂了. 解释几次类型检查的好处,效果不明显. 
我也反思了一下, 类型检查真的是额外的包袱么?
答案 是忠言逆耳利于行。

你是君王,语言是臣子,在君王犯错的时候: 一个臣子在事后说“你让我干的,不是我的责任”,然后笑眯眯的看着屏幕前苦思冥想“到底哪里出了问题”的你。 另一个臣子确在第一时间就死谏指令的“不可行之处”。

哪个能真正帮助你治理好越来越大的规模,越来越错综复杂的关系? 

让一条明显不可行的赋值语句被执行,并不会简化问题,反而是让问题进一步扩散了,是对异常结果更深的困惑。

回想一下那些在屏幕抓着头发,然后恍然大悟的时刻:“原来是这!stupid! 这么低级的错误!”。 有多少这种疏忽是在一开始就能被发现和避免的呢?

“0.5”忘转成数值就拿来做运算,结果是不断扩散的字符串。 明明想修改集合里的元素的值,结果整个集合被替换成了一个值。 汇款给刘韬误写成了刘涛,银行默默建了个新账户,在你困惑钱怎么不见了的时候,银行表示“呵呵”。

在把以上事情都办砸然后,管家拍着胸脯报告说“主人,您交代的事情都安排好了!”。 你确信这管家不是敌人派来的卧底么?

以上是关于关于类型安全的思考的主要内容,如果未能解决你的问题,请参考以下文章

关于账号安全的一些思考

关于web服务安全的一些思考

关于JSON CSRF的一些思考

关于BroadCastReceiver安全性的思考

关于存储信用卡详细信息的安全模型的思考

关于WEB应用安全的小思考