如何创建具有相同签名但不同泛型类型的扩展方法？

Question

我有以下扩展方法：

public static class QueryableOptionalDateRangeExtensions
{
    public static IQueryable<T> StartsFrom<T>(this IQueryable<T> query, DateTime date)
        where T : IOptionalDateRange // Might also be IRequiredDateRange
    {
        return query.Where(obj => obj.Start >= date);
    }

    public static IQueryable<T> StartsUntil<T>(this IQueryable<T> query, DateTime date)
        where T : IOptionalDateRange // Might also be IRequiredDateRange
    {
        return query.Where(obj => obj.Start < date);
    }

    public static IQueryable<T> EndsUntil<T>(this IQueryable<T> query, DateTime date)
        where T : IOptionalDateRange
    {
        return query.Where(obj => obj.End <= date);
    }
}

public static class QueryableRequiredDateRangeExtensions
{
    public static IQueryable<T> StartsFrom<T>(this IQueryable<T> query, DateTime date)
        where T : IRequiredDateRange
    {
        return query.Where(obj => obj.Start >= date);
    }

    public static IQueryable<T> StartsUntil<T>(this IQueryable<T> query, DateTime date)
        where T : IRequiredDateRange
    {
        return query.Where(obj => obj.Start < date);
    }

    public static IQueryable<T> EndsUntil<T>(this IQueryable<T> query, DateTime date)
        where T : IRequiredDateRange
    {
        return query.Where(obj => obj.End <= date);
    }
}

但这不起作用，因为由于某种原因它无法从 T 的类型推断出重载（尽管在我看来这是可能的）。
可以做些什么来解决这个问题？

编辑：
这是 IDateRange 接口：

public interface IDateRange<TStart, TEnd>
{
    TStart Start { get; set; }
    TEnd End { get; set; }
}

它只是指定类有开始和结束。 现在我希望它指定对象是否具有可选的日期范围（开始和结束都可以为空）或所需的日期范围（两者都是值类型），但相同的扩展方法必须适用于两者，我真的不想指定 Start 和 End 属性的类型。

Answer 1

不清楚您所说的“不起作用”是什么意思。您是否期望重载解决方案（包括查找扩展方法）考虑约束？如果是这样，那不会发生 - 我已经写了一个 blog post 来详细介绍这个。

这可能就是您尝试的方法不起作用的原因 - 尽管您没有给出示例，因此很难确定。至于如何 fix 它 - 我建议使用不同的方法名称，例如MaybeStartsFrom 用于可选范围。如果你能给出一个简短但完整的例子来说明你想要实现的目标，那将有所帮助......

Answer 2

让IRequiredDateRange 和IOptionalDateRange 都继承自IDateRange 并将Start 和End 属性放在那里。否则无法实现您正在尝试的内容，因为“通用方法类型推断故意不从约束中进行任何推论”，请参阅here。

Answer 3

首先，在QueryableOptionalDateRangeExtensions的方法中，T总是“IOptionalDateRange”，为什么要先泛型呢？

其次，IOptionalDateRange 接口似乎只是扩展了 IRequiredDateRange 接口（我猜是因为你写的 IOptionalDateRange 也可能是 IRequiredDateRange）。这意味着，如果一个对象实现了 IOptionalDateRange，它也实现了 IRequiredDateRange。您希望编译器如何区分？

所以解决这个问题，接口不应该相互继承，而是可以共享一个公共基类。

Answer 4

如果您使用 .NET 4 并使用类（而不是结构）实现接口，则可以利用协方差并使方法非泛型。相反，你会有

IQueryable<IOptionalDateRange> EndsUntil(this IQueryable<IOptionalDateRange> query, DateTime date)
IQueryable<IRequiredDateRange> EndsUntil(this IQueryable<IRequiredDateRange> query, DateTime date)

Answer 5

您可以将它们移动到单独的命名空间中，但这很糟糕。它很脆弱，因为更改命名空间可能会导致不同的行为（出乎意料）。另外，如果您需要在同一个文件中使用这两种方法（如 Daniel 所指出的），这将不起作用。

---

好的，所以在阅读了您的更新之后，为什么不将IsDateOptional 属性添加到您的IDateRange 接口，将日期类型定义为DateTime，从而摆脱该接口的通用元素。现在不需要两个单独的接口IOptionalDateRange 和IRequiredDateRange...，您可以将这两个扩展类替换为一个。

    public interface IDateRange
    {
        DateTime Start { get; set; }
        DateTime End { get; set; }
        bool IsDateOptional { get; }
    }

    public static class QueryableDateRangeExtensions
    {
        public static IQueryable<T> StartsFrom<T>(this IQueryable<T> query, DateTime date)
            where T : IDateRange
        {
            return query.Where(obj => obj.Start >= date);
        }

        public static IQueryable<T> StartsUntil<T>(this IQueryable<T> query, DateTime date)
            where T : IDateRange
        {
            return query.Where(obj => obj.Start < date);
        }

        public static IQueryable<T> EndsUntil<T>(this IQueryable<T> query, DateTime date)
            where T : IDateRange
        {
            return query.Where(obj => obj.End <= date);
        }
    }