... invariance random field 不变随机场 invariant assertion 不变断言 invariant assignment optimization 不变量赋值优化 ...
基于14个网页-相关网页
·2,447,543篇论文数据，部分数据来源于NoteExpress
把类型强制转换当作一种断言，把不变量当做说明该断言为true的原因的参数。
Think of a cast as a kind of assertion and the invariants as arguments for why the assertion is true.
youdao
最后，不变条件测试断言永远不变的条件。
Finally, invariant tests assert conditions that never change.
应用推荐
模块上移
模块下移
不移动