c# – 类型推断如何与重载的泛型方法一起使用

/* Data classes */

public class Data
{
    public int Id { get; set; }
}

public class InfoData<TInfo> : Data
    where TInfo: InfoBase
{
    public TInfo Info { get; set; }
}

/* Info classes */

public abstract class InfoBase
{
    public int Id { get; set; }
}

public interface IRelated
{
    IList<InfoBase> Related {get; set;}
}

public class ExtraInfo : InfoBase,IRelated
{
    public string Extras { get; set; }

    public IList<InfoBase> Related { get; set; }
}

然后我有两个这个签名的通用方法：

public TData Add<TData>(TData data)
    where TData: Data

public TData Add<TData,TInfo>(TData data)
    where TData: InfoData<TInfo>
    where TInfo: InfoBase,IRelated

现在,当我创建一个Data类的实例并调用Add方法时

// data is of type Data
Add(data);

使用第一个泛型方法,并正确推断泛型类型Data.

但是当我用更实现的类型对象实例调用相同的方法时

// data is of type InfoData<ExtraInfo>
// ExtraInfo is of type InfoBase and implements IRelated
Add(data);

我希望可以调用第二个泛型方法,但令我惊讶的是它不是.如果我检查第二个上的泛型类型约束是：

where TData: InfoData<TInfo>
where TInfo: InfoBase,IRelated

第一个匹配,第二个匹配.如果这有什么不同,这些类型比简单的数据类型更实现.

工作实例

Here是一个有效的.Net小提琴供你玩.

问题

>为什么没有调用第二种方法,因为两种泛型类型约束都匹配并且可以推断出来？
>我如何重写我的第二个Add方法,因此类型推断可以工作,并且不必显式提供这些类型只是为了确保正在使用正确的重载？

编辑

我在MSDN documentation找到了第一个问题的答案

The compiler can infer the type parameters based on the method arguments you pass in; it cannot infer the type parameters only from a constraint or return value.

在我的情况下,第一个泛型类型可以直接从参数推断,但第二个更棘手.它不能仅从参数中推断出来.应该使用类型约束,但编译器不会对其进行评估.

我也有一个可能的解决方案,我的第二个问题,将一种类型改为具体,并保持另一种通用.

public InfoData<TInfo> Add<TInfo>(InfoData<TInfo> data)
    where TInfo: InfoBase,IRelated

但我想知道是否有更通用/通用的方法来缓解这个问题所以我仍然可以保留两个类型参数,但不知何故两种类型都是通用的？