循环不变式是指某条件成立时,执行代码。 一般循环则是单纯的,根据需要循环的次数循环,不考虑其他因素。
循环不变式的3个性质:
1、初始化:在第一次循环前是正确的。
2、保持:在循环迭代中是正确的。
3、终止:当循环结束时是正确的。
天气预报查询提供全国天气预报,旅游天气预报,国际天气预报,天气资讯 ,天气预报网数据来源中国天气预报网,天气预报查询仅供参考!