c# - 代码契约检查线程亲和性——好主意？

Question

我正在尝试学习代码契约并了解它们的用处。

我有一个 WPF 应用程序，因此很多代码注定要在 UI 线程上独占运行。相当多的实用程序类期望仅从 UI 线程调用。

在我的代码中加入这些是个好主意吗？为什么是/不是？

Contract.Requires(Thread.CurrentThread == Application.Current.Dispatcher.Thread);

静态检查器是否能够可靠地检查这些？

感谢任何输入!

Answer 1

您的契约(Contract)应该与您的代码有关。 Dispatcher 和 Thread 类不是您的，它们不受自己的契约(Contract)保护。

所以不，静态检查器根本无法检查它。

运行时检查可能有效，但它们对已经内置到库中的调试检查几乎没有帮助。