网站首页词典首页

　

单词

postconditions

释义

postconditions

网络后置条件；后条件；后验条件

网络释义

1.	后置条件后置条件（postconditions）：方法运行之后将会有哪些状态发生。程序的返回结构必须检查，伴随产生的副作用也必须检查。 blog.csdn.net
2.	后条件 ...经被调用者满足了,那么该例程必须确保当它完成时所有后条件(postconditions)(以及任何不变式)皆为真." www.5doc.com
3.	后验条件良好的规约定义了用于强制对象状态的不变约束（invariants）以及描述操作影响的后验条件（postconditions）。通常我们不会 … blog.163.com

4.	后置状态　C) 检查前置状态(Preconditions)、后置状态(Postconditions)、类别不变量(Class Invariants)　　　前置状态--进入 method 前该达到的 … www.dk101.com
5.	堆栈不变 ... Output: 栈顶元素的数据值 \ Postconditions: 堆栈不变 Data 数据项 ... cs.fjzs.edu.cn
6.	队列为空 ... Output: 返回被删除元素 Postconditions: 队列为空 Preconditions: 堆栈非空 ... cs.fjzs.edu.cn
7.	后状况 ...时代，文化需要被不断重新发现。我们这个时代是一个“后状况（postconditions）”的时代，是“后现代的”，“后殖民主义的”、 … www.literature.org.cn
8.	后处理 1. 使用assert来检查private和protected函数中的参数预处理（preconditions）和后处理（postconditions）。2. 使用assert来检 … www.blogjava.net

更多释义

收起释义

例句

释义:

后置条件,后条件,后验条件

随便看

　

英汉双解词典包含2704715条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。

　

Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间：2026/3/3 10:18:15