代码契约只是像对待任何其他变量一样对待任务,而不是异步等待结果。因此,以下场景将不起作用,并导致 Contracts 异常,因为在方法返回时,它是一个未完成的任务,并且不会在那个时间点设置结果。对于以下情况是否有任何合理的解决方法?
public Task LoadAppModel()
{
Contract.Ensures(app.User != null);
Contract.Ensures(app.Security != null);
Contract.Ensures(app.LocalSettings != null);
return Task.WhenAll(
store.GetUserAsync().ContinueWith(t => { app.User = t.Result; }),
store.GetSecurityAsync().ContinueWith(t => { app.Security = t.Result; }),
store.GetLocalSettingsAsync().ContinueWith(t => { app.LocalSettings = t.Result; }));
}
如有任何建议,我们将不胜感激。 :) 我宁愿不破坏契约模式。
最佳答案
代码契约和 async
不能很好地结合在一起,所以你不能真正使用 Contract.Ensures
。
但是有一个解决方法。您可以将方法从 Task
返回方法更改为 async
方法(无论如何都会更干净)并改用 Contract.Assume
:
public async Task LoadAppModel()
{
var userTask = store.GetUserAsync();
var securityTask = store.GetSecurityAsync();
var settingsTask = store.GetLocalSettingsAsync();
await Task.WhenAll(userTask, securityTask,settingsTask);
app.User = userTask.Result;
app.Security = securityTask.Result;
app.LocalSettings = settingsTask.Result;
Contract.Assume(app.User != null);
Contract.Assume(app.Security != null);
Contract.Assume(app.LocalSettings != null);
}
关于c# - 代码契约(Contract)和任务,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/27096809/