如何返回<TEnumerable,T>:其中TEnumerable:IEnumerable <T>

Question

目标:返回时,通用枚举类型为相同类型.

注意:这在输入类型时有效,但我不明白为什么无法推断它们.

List<T> 然后回来 List<T>

IOrderedEnumerable<T> 然后回来 IOrderedEnumerable<T>

等等

当前方法(仅在输入所有类型时有效)

public static TEnumerable WithEach<TEnumerable, T>(this TEnumerable items, Action<T> action)
where TEnumerable : IEnumerable<T>
{
    foreach (var item in items) action.Invoke(item);
    return items;
}

仅示例

var list = new List<int>(); //TODO: Mock random values
list.WithEach(x => Console.WriteLine(x)) //Here WithEach ideally returns List<int> following orignal type List<int>
    .OrderBy(x => x) 
    .WithEach(x => Console.WriteLine(x)); //Here WithEach ideally returns IOrderedEnumerable<int> following OrderBy

让它工作

var list = new List<int>(); //TODO: Mock random values
list.WithEach<List<int>, int>(x => Console.WriteLine(x))
    .OrderBy(x => x) 
    .WithEach<IOrderedEnumerable<int>, int>(x => Console.WriteLine(x));

我缺少的是为什么C#无法推断类型,尽管where过滤器确实使类型准确.我理解为什么要么为方法提供全部或者没有通用类型,所以请不要指出我的答案.

编辑:如果我不能推断类型; 那怎么能让这更优雅呢？

Answer 1

C#中的类型推断是非常复杂的 - 只是一次,我不会试图通过它来解决它,因为我知道它会变得多么可怕.

我认为问题是参数/参数组合都没有给编译器足够的信息来推断T:

• 该TEnumerable items参数未提及T,因此T尽管存在类型约束,但它不用于推断
• 该Action<T>参数将被罚款,但是编译器不能使根据您所提供的lambda表达式推断

我想不出一个很好的改变方法签名,将使的正是你的第一个代码工作-但你可以改变你如何调用该方法只是一点点,使其工作,通过指定lambda表达式的参数类型:

var list = new List<int>();
list.WithEach((int x) => Console.WriteLine(x++))
    .OrderBy(x => x) 
    .WithEach((int x) => Console.WriteLine(x));

当然,它的缺点是它不适用于匿名类型.

这个缺点的一个解决方法是非常可怕的,但它可以让你T在需要时通过参数来表达类型.您将方法签名更改为:

public static TEnumerable WithEach<TEnumerable, T>(
    this TEnumerable items,
    Action<T> action,
    T ignored = default(T))

如果你想用一些匿名类型的列表调用该方法,你可以写:

list.WithEach(x => Console.WriteLine(x.Name), new { Name = "", Value = 10 });

...最终参数将与匿名类型匹配.这将允许T最终参数而不是第二个参数推断出类型.您可以将其用于其他类型的课程,但我可能会坚持将其用于匿名类型.

这真是一个非常可怕的黑客,我不认为我真的使用它,但如果你真的,真的需要这个与匿名类型一起工作,它会应付.