由于泛型类型推断的限制,不能使用泛型来改进 API

Posted

技术标签:

【中文标题】由于泛型类型推断的限制,不能使用泛型来改进 API【英文标题】:Can't use generics to improve API because of limitation of generic type inference 【发布时间】:2011-09-06 09:28:34 【问题描述】:

我有一个类,旨在获取任何类型对象的集合并创建它的导出(例如 Excel 电子表格)。我可以根据自己的选择提供列名和宽度:

以下是课程摘要:

public class ObjectExporter

    public string Export<T>(IEnumerable<T> objects, IEnumerable<ColumnDefinition> columnDefinitions)
    
      //Iterate through list of ColumnDefinitions.
      //Output value of the property in each object...
      //...whose name is equal to the PropertyName of the current ColumnDefinition
    

这是 ColumnDefinition 类:

public class ColumnDefinition  
    public string ColumnName  get; set; 
    public string PropertyName  get; set; 
    public int Width  get; set; 
    public ColumnDefinition(string columnName, string propertyName, int width)
    
      ColumnName = columnName;
      PropertyName = propertyName;
      Width = width;
    
  

下面是一个用法示例:

private void TestObjectExporter()

      ObjectExporter objectExporter = new ObjectExporter();
      //Note that the following variable changeRequests is a collection of anonymous type
      var changeRequests = ChangeRequestRepository.All.Take(5).Select(x => new  x.ChangeRequested, x.DateCreated, x.CreatedBy.Username );
      Response.Write(objectExporter.Export(changeRequests, new List<ColumnDefinition>()
                                              
                                                new ColumnDefinition("Change Requested", "ChangeRequested", 12),
                                                new ColumnDefinition("Date Created", "DateCreated", 12),
                                                new ColumnDefinition("Created By", "Username", 12)
                                              ));

ObjectExporter 可以处理匿名类型的集合是至关重要的。我想修改 ObjectExporter 和 ColumnDefinition 类以使用如下强类型语法(注意如何指定属性名称):

Response.Write(objectExporter.Export(changeRequests, new List<ColumnDefinition>()
                                              
                                                new ColumnDefinition("Change Requested", x => x.ChangeRequested, 12),
                                                new ColumnDefinition("Date Created", x => x.DateCreated, 12),
                                                new ColumnDefinition("Created By", x => x.Username, 12)
                                              ));

我相信这样做的方法是创建一个ColumnDefinition&lt;T&gt; 类。但是,我找不到让编译器推断IEnumerable&lt;ColumnDefinition&lt;T&gt;&gt; 参数中使用的TIEnumerable&lt;T&gt; 参数中使用的相同的方法。这意味着我不能再使用带有匿名类型集合的类,因为我无法显式指定泛型类型参数。

谁能想出办法来做到这一点?

【问题讨论】:

是的,这是***.com/questions/6157753/… 的转贴。我决定重新发布,因为我没有很好地解释我的要求。 你尝试了什么?使用ColumnDefinition&lt;T&gt; 发布您尝试的代码 【参考方案1】:

在你的列定义类中,你会做这样的事情:

public class ColumnDefinition<T>

     public ColumnDefinition(string displayName, Expression<Func<T, string>> propertyExpression, int width)
     
     

您的对象导出器签名也会改变:

public string Export<T>(IEnumerable<T> items, IEnumerable<ColumnDefinition<T>> columns)


然后,T 的类型应该从被传递的枚举中推断出来,因此第二个参数需要一个 IEnumerable>,这意味着你的 ColumnDefinition 类推断类型 T,然后构造函数中的表达式选择 T。

编辑:或者:

将您的 Enumerable 包装到另一个类中,然后在其上调用方法。

public class ObjectWrapper<T> : IDisposable

     public IEnumerable<T> Items  get; protected set; 
     public IEnumerable<ColumnDefinition> Definitions  get; set;      

     public ObjectWrapper(IEnumerable<T> source) 
      
         Items = source; 
         Definitions = new List<ColumnDefinition>(); 
     

     public void AddColumnDefinition(string name, Expression<Func<T, string>> propertyExpression, int width)
     
          /* Add Column Definition with Expression Data */
     

【讨论】:

是的,这就是我的想法,但 IntelliSense 说“引用类 ColumnDefinition 的类型参数数量不正确”。 更新后:如何使用匿名类型实例化ObjectWrapper&lt;T&gt; 类? new ObjectWrapper(myEnumerable) 应该可以工作,即使是未知的可枚举匿名类型。 据我所知,编译器根本无法进行这种类型推断:var objectWrapper = new ObjectWrapper(changeRequests);。它要求知道T的类型。 也许在 VS2010 中有可能?我正在使用 2008。【参考方案2】:

如果不使用一些技巧来强制类型推断,这会有点棘手。这样的事情怎么样?

Response.Write(objectExporter.Export(changeRequests, new[]
    
        changeRequests.GetColumnDef("Change Requested", x => x.ChangeRequested, 12),
        changeRequests.GetColumnDef("Date Created", x => x.DateCreated, 12),
        changeRequests.GetColumnDef("Created By", x => x.Username, 12)
    ));

// ...

public class ColumnDefinition<T>

    public string ColumnName  get; private set; 
    public Func<T, object> Selector  get; private set; 
    public int Width  get; private set; 

    public ColumnDefinition(string columnName, Func<T, object> selector, int width)
    
        ColumnName = columnName;
        Selector = selector;
        Width = width;
    


public static class ColumnDefinitionHelper

    public static ColumnDefinition<T> GetColumnDef<T>(this IEnumerable<T> source,
        string columnName, Func<T, object> selector, int width)
    
        return new ColumnDefinition<T>(columnName, selector, width);
    


public class ObjectExporter

    public string Export<T>(
        IEnumerable<T> objects, IEnumerable<ColumnDefinition<T>> columnDefinitions)
    
        // ...
    

【讨论】:

【参考方案3】:

如果您的更改不是真正的泛型,请不要使用泛型。

如果您不能用 T 中实现的接口实例替换 T,请不要使用泛型。这没有意义。

【讨论】:

嗯?如果我可以用 T 代替接口,那么我就不需要泛型了。在这种情况下我会这样做,因为我可能会传入任何类型的集合。我根本不明白你的意思。

以上是关于由于泛型类型推断的限制,不能使用泛型来改进 API的主要内容,如果未能解决你的问题,请参考以下文章

为啥 TS 中的泛型接口不能正确推断类型?

TypeScript 中泛型类型的子类型推断

什么情况下不能使用 Java 泛型

什么情况下不能使用 Java 泛型

这个深奥的泛型错误是编译器错误还是新限制? (推断类型不符合上限)

为啥 TypeScript 中的方法链接会导致泛型类型推断失败?