c# - 使用 Entity Framework、Code First (POCO) 和 Code Contracts 运行更新数据库时出错

Question

我有一个项目使用 Entity Framework 6 和 POCO 代码优先方法。我有一组类库，已包含在我的项目中以允许代码重用。这些库使用代码契约。

我还为我的启动项目启用了静态和运行时检查。

项目构建良好并正确执行。当我执行“Update-Database”时，数据库创建成功。

当我尝试在数据库播种期间调用使用代码契约的外部库中的方法时，我的问题就出现了。如果我省略这些功能，它就会正确播种。如果我包含一个具有代码契约的函数，那么当我执行“更新数据库”时，我会得到以下信息。重要的是要注意生成表结构的 SQL 正确执行。这只会影响用于种子设定的 SQL。

Running Seed method. System.Runtime.Serialization.SerializationException: Type is not resolved for member 'System.Diagnostics.Contracts._ContractsRuntime+ContractException+ContractExceptionData,WebForms, Version=1.0.0.0, Culture=neutral, PublicKeyToken=null'. at System.AppDomain.DoCallBack(CrossAppDomainDelegate callBackDelegate)
at System.Data.Entity.Migrations.Design.ToolingFacade.Run(BaseRunner runner) at System.Data.Entity.Migrations.Design.ToolingFacade.Update(String targetMigration, Boolean force) at System.Data.Entity.Migrations.UpdateDatabaseCommand.<>c_DisplayClass2.<.ctor>b_0() at System.Data.Entity.Migrations.MigrationsDomainCommand.Execute(Action command) Type is not resolved for member 'System.Diagnostics.Contracts._ContractsRuntime+ContractException+ContractExceptionData,WebForms, Version=1.0.0.0, Culture=neutral, PublicKeyToken=null'.

Answer 1

我并没有完全解决这个问题，但至少能够弄清楚如何隔离问题。

很明显，您的外部方法之一正在引发 ContractException 并且这不会有用地报告给控制台，可能是因为它是一个 internal 类并且不可构造跨越 AppDomain 边界？

假设可以，转到项目属性并在 Code Contracts 选项卡中，关闭 Perform runtime contract checking。对我来说，这立即突出了问题，因为迁移代码抛出了一个包含实际细节的 ArgumentException。

如果这没有显示出问题，那么您需要找出 Contract 最有可能失败的地方，并将每个 ContractException 替换为“正常”异常并重新测试，直到抛出“正常”异常并且您找出哪个合约失败。

然后您是否对这个程序集进行运行时契约检查是一个问题。您有三个选择:

1. 设计您的代码以确保 Contract.Requires(我假设它是)不会在运行时失败(这在理论上应该是这样)而不是担心它。然后，您将很难调试因您错过的任何情况而可能发生的任何问题。

2. 关闭运行时检查。这样你就会得到一个“正常”的异常(尽管理论上一开始就不应该有任何异常)。有些人喜欢这样做，有些人则不喜欢。我更愿意保留它们。

3. 将任何无法处理 ContractExceptions 的代码隔离到它自己的程序集中，并为此关闭运行时契约(Contract)检查。不一定是理想的，但它可以让您继续运行时检查其余代码。