第10章 Liskov替换原则 基于契约的设计

转载 2006年06月07日 10:56:00
在重新声明派生类中的例程(routine)时,只能使用相等或者更弱的前置条件来替换原始的前置条件,只能使用相等或者更强的后置条件来替换原始的后置条件。

相关文章推荐

Linux驱动开发环境配置(内核源码树构造)

来源:季义钦BLOG 作者:季义钦初次接触Linux驱动程序开发,买了一本《Linux设备驱动程序》,第一件事当然就是构建开发环境了!!!它上面有一个Hello World的列子://hello.c...

五种开源协议的比较(BSD,Apache,GPL,LGPL,MIT) – 整理

原文链接:http://www.awflasher.com/blog/archives/939当Adobe、Microsoft、Sun等一系列巨头开始表现出对”开源”的青睐时,”开源”的时代即将到来!...

谁驱动公司?上帝赐予食物,魔鬼送来厨师

原文链接:http://www.cnblogs.com/zhengyun_ustc/archive/2011/02/08/meat.html 郑昀 20110207 大年初五 “God sends m...

交叉编译我的程序

1. 删除.pro和Makefile文件2. 我的qt-everywhere使用arm-linux-gcc编译后生成的qmake命名是qmake-embedded3. 命令:qmake-embedde...

不懂技术 如何管理好研发部门?

博主按:真是仁者见仁,智者见智阿。细细品读,很有意思。此帖已经入围“最佳提问者与解答者”评选,活动详情请点击:硬骨头,谁敢来啃?——“最佳提问者与解答者”评选各位职场高手,我在一家中小企业工作,从销售...

Linux内核sk_buff的结构分析

原文链接:http://simohayha.javaeye.com/blog/556168 我看的内核版本是2.6.32.在内核中sk_buff表示一个网络数据包,它是一个双向链表,而链表头就是sk_...

程序员的八重境界

看到一篇有趣的文章The Eight Levels of Programmers。以前似乎看过不少这种程序员的多少个级别、境界,但这篇语言很风趣,而且分类比较细化,让人觉得挺合情合理、无法反驳的。绝大...
  • dc_726
  • dc_726
  • 2017-08-31 04:58
  • 25086

基于Qt的GPS导航系统

文字显示和颜色显示还没完善,虽然还很粗糙,但是基本显示功能实现了。 ARM9下测试启动到显示地图用时小于3s 缩放用时小于1s,无明显延迟。 地图使用天津市地图shapefile文件格式

CSDN日报20170828——《4个方法快速打造你的阅读清单》

程序人生 | 4个方法快速打造你的阅读清单作者:foruok 下面提供四种方法,无论你是否经常读书,都可以使用它们快速构建起你的阅读清单: 从问题到图书 信息缺口 关联 跟...

Linux I2C驱动完全分析(一)

博主按:其实老早就想写这个I2C的了,期间有各种各样的事情给耽误了。借着五一放假的时间把这个写出来,供同志们参考。以后会花一些时间深入研究下内核,虽然以前对内核也有所了解,但是还不系统。I2C的硬件结...
内容举报
返回顶部
收藏助手
不良信息举报
您举报文章:深度学习:神经网络中的前向传播和反向传播算法推导
举报原因:
原因补充:

(最多只允许输入30个字)