c# - 如何为实体建模以在编译时强制执行数据模型约束？

我具有以下数据模型，该模型将ItemTypes约束为Events的子集。每个ItemType都有一组有效的事件，这在ItemEvent表中受到限制。例如，可以{播放，停止，暂停}视频，{调整大小，保存或共享}图像，依此类推。



在实体模型中反映此约束的最佳方法是什么，以便我可以在编译时确保所使用的事件对特定项有效？具体来说，我正在重构AddItemEventLog方法：

public void AddItemEventLog(Item item, string ItemEvent)
{
    //
}

显然，这是一个人为的示例，只是尝试说明一下-它允许开发人员传入他们想要的任何ItemEvent字符串。即使我基于ItemEvent结果集创建一个枚举，实体模型中也没有任何东西可防止开发人员传递带有Video类型Item的ItemEvent.Resize。

我将Item作为Video的基类，并且尝试覆盖枚举，但现在知道这是不可能的。我对在运行时检查事件的有效性不太感兴趣，因为当数据库引发FK违例时，我已经抛出异常。如果可能的话，我想在编码时将其捏在萌芽中:)

当前有类建模，但可以进行任何修改：

 //enums.cs
 public enum ItemType : byte
 {
     Video = 1,
     Image = 2,
     Document = 3
 }

 //item.cs
 public class Item : BaseModel
 {
     public int ItemId { get; set; }
     public ItemTypeLookup.ItemType ItemType { get; set; }
     public string ItemName { get; set; }
 }

//video.cs
public class Video : Item
{
    public string Width { get; set; }
    public string Height { get; set; }
    public string Thumb { get; set; }
}

最佳答案

我认为Code Contracts可能是在编译时强制执行此类操作的唯一方法。在编译时间检查之外，编写单元测试以确保正确的功能是第二件事！