![]() |
1
6
为此生成的IL:
是:
它相当于:
代码契约直接在IL上工作,因此它认为您编写了类似于第二个版本的东西。重写器表示不允许在协定之前为变量赋值,因此它给出了一个错误。 然而,这很奇怪,因为尽管这不起作用:
确实如此,但它显然是一个“不变量前的赋值”!
我认为他们实际上修改了检查程序以允许这样的分配(为了使用方便),但他们不允许所有的情况…我不知道这是不是有意的。 我会在 Code Contracts forum ,可能是一个错误。 |
![]() |
Bram · 如何将值设置为每周的今天输入 7 年前 |
![]() |
muaz · C++std::列出具有默认值的参数 8 年前 |
![]() |
slartidan · 使用生成的名称添加DEFAULT约束 9 年前 |
![]() |
Walfie · 如何判断Map是否具有默认值? 11 年前 |
![]() |
2rs2ts · 具有类型和值限制以及默认值的Erlang记录 12 年前 |
![]() |
ryanjdillon · 默认为python类方法中的类变量? 12 年前 |
|
Simon · symfony 2表单显示默认值 13 年前 |
|
user827992 · 将特定类型的所有变量初始化为C中的特定默认值++ 13 年前 |