使用EF Code First示例的代码契约和Fluent API
使用EF Code First示例的代码契约和Fluent API
提问于 2011-04-19 11:12:27
考虑下面的代码片段：
public partial class DatabaseContext : DbContext
{
protected override void OnModelCreating(DbModelBuilder modelBuilder)
{
Contract.Assume(modelBuilder != null);
modelBuilder.Entity<User>()
.HasOptional(x => x.Profile).WithRequired(x => x.User);
base.OnModelCreating(modelBuilder);
}
}在第8行(.HasOptional，.WithRequired)代码契约分析工具生成以下两个警告："CodeContracts:可能调用空引用上的方法“
有没有什么办法来处理它呢？
回答 2
Stack Overflow用户
回答已采纳
发布于 2011-04-19 12:41:57
一个选项是用ContractVerification(false)属性标记整个方法：
public partial class DatabaseContext : DbContext
{
[ContractVerification(false)]
protected override void OnModelCreating(DbModelBuilder modelBuilder)
{
modelBuilder.Entity<User>()
.HasOptional(x => x.Profile).WithRequired(x => x.User);
base.OnModelCreating(modelBuilder);
}
}的另一个是添加几十个Contract.Assume()检查：
public partial class DatabaseContext : DbContext
{
protected override void OnModelCreating(DbModelBuilder modelBuilder)
{
Contract.Assume(modelBuilder != null);
var userEntity = modelBuilder.Entity<User>();
Contracts.Assume(userEntity != null);
var profileEntity = userEntity.HasOptional(x => x.Profile);
Contracts.Assume(profileEntity != null);
profileEntity.WithRequired(x => x.User);
base.OnModelCreating(modelBuilder);
}
}我们还有其他选择吗？你喜欢哪一种？
Stack Overflow用户
发布于 2011-04-19 11:33:31
我不知道EF，但我相信你不能直接调整.Entity<User>()函数？此函数不指定它返回非空值的约定。尝试执行以下操作：
var userEntity = modelBuilder.Entity<User>();
Contract.Assert( userEntity != null );附言:我找到了这个链接，你可能会感兴趣，discussing Code Contracts and Entity Framework。
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/5715456
复制相关文章
相似问题
EF代码-First- Fluent API映射
EF Code First Fluent API定义唯一约束
使用EF 4.1 Fluent Code First的每个类型的表继承
EF Code First 5-如何使用Fluent API定义可以为空的外键？
用于曲目和专辑模型的EF5 Code First Fluent EntityTypeConfiguration
添加站长 进交流群
领取专属 10元无门槛券
AI混元助手 在线答疑
关注 腾讯云开发者公众号
洞察 腾讯核心技术
剖析业界实践案例
社区富文本编辑器全新改版！诚邀体验～
全新交互，全新视觉，新增快捷键、悬浮工具栏、高亮块等功能并同时优化现有功能，全面提升创作效率和体验
腾讯云开发者
