codeContracts:ccrewriteはオブジェクトの参照で失敗しますオブジェクトのインスタンスに設定されていません
-
04-10-2019 - |
質問
以下のコードにより、ccrewriteが爆発します!アイデア?ところで、あなたが実際のクラスにコメントすると、ccrewriteが成功します...
[ContractClass(typeof(TestContracts))]
interface ITestInterface
{
bool IsStarted { get; set; }
void Begin();
}
class ActualClass : ITestInterface
{
public bool IsStarted { get; set; }
public void Begin()
{
this.IsStarted = true;
}
}
[ContractClassFor(typeof(ITestInterface))]
class TestContracts : ITestInterface
{
ITestInterface Current { get; set; }
private TestContracts()
{
Current = this;
}
#region ITestInterface Members
bool ITestInterface.IsStarted
{
get; set;
}
void ITestInterface.Begin()
{
Contract.Requires(!Current.IsStarted);
Contract.Ensures(Current.IsStarted);
}
前もって感謝します!
解決
さて、Jon Skeetを十分に読んでいないのに役立つのは私に役立ちます;)書き直しが契約をどのように取るかについてのビット
[ContractClassFor(typeof(ITestInterface))]
class TestContracts : ITestInterface
{
private TestContracts()
{
}
#region ITestInterface Members
bool ITestInterface.IsStarted
{
get; set;
}
void ITestInterface.Begin()
{
ITestInterface iface = this;
Contract.Requires(!iface.IsStarted);
Contract.Ensures(iface.IsStarted);
}
}
所属していません StackOverflow