C#接口列表实现及项与列表关联引用的问题求解

问题场景 #

以下代码编译时触发CS0738错误：

public interface IMyListItem
{}

public interface IMyList
{
    IList<IMyListItem> Items { get; }
}

public class MyListItem : IMyListItem
{}

public class MyList : IMyList
{
    public IList<MyListItem> Items { get; } = new List<MyListItem>();
}

错误提示：'MyList'未实现接口成员'IMyList.Items'，返回类型不匹配。

现有尝试的问题 #

• 若将MyList的Items改为IList<IMyListItem>并强制转换初始化，会导致列表允许添加任意IMyListItem的实现类，违背只存储MyListItem的需求。
• 改用泛型接口IMyList<T>可解决初始的返回类型问题，但后续给IMyListItem添加所属列表引用时，采用递归泛型约束（public interface IMyListItem<T> where T : IMyListItem<T>）存在两个缺陷：
  • 接口定义晦涩，后续实现时易混淆泛型参数的作用
  • MyListItem的List属性只能声明为IMyList<MyListItem>，无法直接限制为具体的MyList类

解决方案：双向泛型约束 #

通过让列表和项的接口互相约束，同时明确泛型参数的作用，既能保证类型安全，又能满足具体类型限制的需求：

定义泛型接口 #

// 项接口：约束所属列表为指定的TList类型
public interface IMyListItem<TList> 
    where TList : IMyList<TList, IMyListItem<TList>>
{
    // 直接声明为具体的列表类型
    TList List { get; set; }
}

// 列表接口：约束自身类型和项类型
public interface IMyList<TList, TItem> 
    where TList : IMyList<TList, TItem>
    where TItem : IMyListItem<TList>
{
    IList<TItem> Items { get; }
}

实现具体类 #

public class MyListItem : IMyListItem<MyList>
{
    // 此处List属性的类型直接是MyList，满足类型限制
    public MyList List { get; set; }
}

public class MyList : IMyList<MyList, MyListItem>
{
    // 保持只存储MyListItem的类型安全
    public IList<MyListItem> Items { get; } = new List<MyListItem>();
}

方案优势 #

• 接口定义清晰，泛型参数的作用明确，后续实现时不会产生混淆
• MyListItem的List属性可以直接指定为具体的MyList类型，满足对具体类的限制需求
• 列表的Items始终只能存储指定的项类型，保证类型安全，不会出现无关项被添加的问题

内容的提问来源于stack exchange，提问作者Sergey Khachaturov