无法为接受方法推断实际类型<Func>

Question

我正在编写一个小型库来解析存储过程的结果集（基本上，非常特殊的一种ORM）。

我有类

class ParserSetting<T> // T - type corresponding to particular resultset 
{ 
    ... 
    public ParserSettings<TChild> IncludeList<TChild, TKey>(
     Expression<Func<T, TChild[]>> listProp, 
     Func<T, TKey> foreignKey, 
     Func<TChild, TKey> primaryKey, 
     int resultSetIdx) 
    { ... } 
} 

以下方法IncludeList指定在结果集中没有。 resultSetIdx应该被解析为好像它由TChild对象组成并且被赋予由listProp表达式定义的属性（作为数组）。

我使用它，如下所示：

class Parent 
{ 
    public int ParentId {get;set;} 
    ... 
    public Child[] Children{get;set;} 
} 

class Child 
{ 
    public int ParentId {get;set;} 
    ... 
} 
ParserSettings<Parent> parentSettings = ...; 
parentSettings.IncludeList(p => p.Children, p=> p.ParentId, c => c.ParentId, 1); 

这种方法可以作为一个魅力。到现在为止还挺好。

我想支持除数组以外的不同类型的集合。所以，我尝试添加下面的方法：

public ParserSettings<TChild> IncludeList<TChild, TListChild, TKey>(
     Expression<Func<T, TListChild>> listProp, 
     Func<T, TKey> foreignKey, 
     Func<TChild, TKey> primaryKey, 
     int resultSetIdx) 
    where TListChild: ICollection<TChild>, new() 
    { ... } 

然而，当我试图按如下方式使用它：

class Parent 
{ 
    public int ParentId {get;set;} 
    ... 
    public List<Child> Children{get;set;} 
} 

class Child 
{ 
    public int ParentId {get;set;} 
    ... 
} 
ParserSettings<Parent> parentSettings = ...; 
parentSettings.IncludeList(p => p.Children, p=> p.ParentId, c => c.ParentId, 1); 

C＃编译器会发出错误信息'“的类型参数的方法ParserSettings.IncludeList（...）不能被推断“。

如果我明确地指定类型它的工作原理：

parentSettings.IncludeList<Child, List<Child>, int>(
    p => p.Children, p=> p.ParentId, c => c.ParentId, 1); 

但这是有点失败的目的拨打电话太复杂。

有没有一种方法来实现这种情况下的类型推断？

Answer 1

我还注意到，C＃编译器推断类型的功能在“左右角落”不起作用。

在你的情况，你不需要任何额外的方法，只是重写Child[]为ICollection<TChild>和签名将匹配阵列，列表等：

public ParserSettings<TChild> IncludeList<TChild, TKey>(
     Expression<Func<T, ICollection<TChild>>> listProp, 
     Func<T, TKey> foreignKey, 
     Func<TChild, TKey> primaryKey, 
     int resultSetIdx) { 
      ... 
     }