IComparer<T> 子作为通用参数不能在排序中使用

Question

在 C# 中尝试对我的 List<> 进行排序时遇到了困难。

我有一个接口类型及其实现类：

public interface IRoom
{
    // ...
}

public class Room : IRoom
{
    // ...
}

还有一个基类供我的比较器使用：

public abstract class RoomComparer : IComparer<IRoom>
{
    public RoomComparer()
    {
    }

    public abstract int Compare(IRoom x, IRoom y);
}

还有它的两个孩子：

public class StandardMultipliedSquareMetersComparer : RoomComparer
{
    public StandardMultipliedSquareMetersComparer()
    {
    }

    public override int Compare(IRoom a, IRoom b)
    {
        // ...
    }
}

public class SquareMetersComparer : RoomComparer
{
    public SquareMetersComparer()
    {
    }

    public override int Compare(IRoom a, IRoom b)
    {
        // ...
    }
}

现在，问题从这里开始：我得到了一个泛型类 Hotel，其中包含我的 Room 实例列表：

public class Hotel<TRoom, TComparer> : IHotel, IEnumerable<TRoom> 
    where TRoom : IRoom 
    where TComparer : RoomComparer, new()
{
    public List<TRoom> Rooms;
    protected TComparer Comparer;

    public Hotel(TRoom[] rooms)
    {
        Rooms = new List<TRoom>();
        Rooms.AddRange(rooms);
        Comparer = new TComparer();
        Rooms.Sort(Comparer);
    }
}

这就是问题所在 - 我在Rooms.Sort(Comparer); 线上遇到了两个错误：

错误 CS1502：最佳重载方法匹配 `System.Collections.Generic.List.Sort（System.Collections.Generic.IComparer）' 有一些无效参数 (CS1502)

错误 CS1503：参数 #1' cannot convertTComparer' 表达式为 键入“System.Collections.Generic.IComparer”（CS1503）

我尝试了许多不同的解决方案，但没有结果。发生了什么事？

注意：在 Ubuntu 上使用 Mono 3.10.0

Answer 1

您正在尝试为此使用通用逆变（如果比较器可以比较两个 TRoom 值，它应该能够比较两个 IRoom 值），这通常没问题- 但仅当 TRoom 已知为类类型时。您可以通过要求 TRoom 是引用类型来解决此问题：

where TRoom : class, IRoom

此时，逆变工作正常，一切都很好。当然，它确实要求您所有的房间类型都是真正的等级。

您肯定需要酒店像这样通用吗？这对我来说似乎有点太过分了......

Answer 2

以下是解决此问题的方法：

where TComparer : IComparer<IRoom>, new()

（至于为什么，见乔恩的回答）

你也可以稍微简化你的代码：

Rooms = rooms.OrderBy(room => room, new TComparer()).ToList();

（只需添加using System.Linq）

See working demo