void-safety
-
结果附加或异常
-
在 TS 中将 undefined 转换为 void 是否可以？
-
重命名为继承人后变量未正确设置
-
Eiffel：void safety，一种简洁的方法来测试一个对象是否存在，然后调用它的特性
-
Eiffel: Error: variable is not properly set. in make calling default_create or any parent calling/redefining default_create
-
空基优化子对象的地址
-
埃菲尔：附加检查要求声明中的未知标识符
-
Eiffel：编译错误“分配源与目标不兼容”
-
Eiffel 的附加语句中的局部变量有什么意义？
-
Class 埃菲尔的属性