为什么编译器不能为我推断类型？ （又名 Smarter SmartEnumerable）

Question

我正在使用 Jon Skeet 非常聪明的 SmartEnumerable。如果你还没有看过，我建议你去看看。

类已定义：

public class SmartEnumerable<T> : IEnumerable<SmartEnumerable<T>.Entry>

构造函数是：

public SmartEnumerable(IEnumerable<T> enumerable)

然后你通过说来使用它：

new SmartEnumerable<Cat>(myCats);  // where myCats is IEnumerable<Cat>

现在我真的很想让编译器推断我有一组猫，并且能够说：

new SmartEnumerable(myCats);

但是这给了我一个编译器错误：

方法的类型参数 'MiscUtil.Collections.SmartEnumerable.SmartEnumerable（System.Collections.Generic.IEnumerable）' 不能从用法中推断出来。尝试 指定类型参数 明确的。

我不清楚这是为什么。有没有办法解决它。为什么它看不到我正在使用IEnumerable<Cat> 并从中推断。我可以更改任何内容以使其识别我正在使用的类型吗？

我真的很想用某种方法来构造 SmartEnumerable 而不必指定类型 - 因为我主要将它用于 ASP.NET MVC 中的 UI，而我并不总是将 includes 用于类型并依赖在var 上给我一个参考。我最终不得不包含类型才能使用 SmartEnumerable - 这降低了它的优雅性。

哦，我会直接给约翰发电子邮件，但无论如何他可能会在这里回复得更快:-)

---

<font color=white>skeet skeet skeet, jon, jon, jon, jon skeet, skeet jon, skeetster, skeetmeister</font>

Answer 1

试试这个代码

public static class SmartEnumerable {
  public static SmartEnumerable<T> Create<T>(IEnumerable<T> source) {
    return new SmartEnumerable<T>(source);
  }
}

void Example() {
  IEnumerable<string> myCats = GetMyCats();
  var se = SmartEnumerable.Create(myCats);
}

您的代码失败了，因为 C# 无法推断构造函数的泛型参数。但是 C# 不仅能够推断出其他方法的泛型参数。

在 C# 中，拥有一个名称仅因泛型参数不同的类是完全合法的。例如 Foo 和 Foo （实际上它们是不同的名称）。因此，上述示例适用于大多数情况。每当我定义一个泛型类时，我个人都会使用它，其中构造函数需要足够的参数来推断完整的类型。

Answer 2

我同意 JaredPar。我想指出你也可以做一个扩展方法：

public static SmartEnumerable<T> AsSmart<T>(this IEnumerable<T> source)
{
    return new SmartEnumerable<T>(source);
}

你会这样使用它：

var smartEnumerable = myCats.AsSmart();

（这个例子听起来很有趣）

编辑：

根据 Jon Skeet，我将 ToSmart 重命名为 AsSmart。

Answer 3

快速更新 - 现在在 MiscUtil 本身中可用。根据usage page 上的示例：

// Old way
foreach (SmartEnumerable<string>.Entry entry in
                 new SmartEnumerable<string>(list))

// Better way
foreach (SmartEnumerable<string>.Entry entry in
                SmartEnumerable.Create(list))

// Best way (C# 3.0)
foreach (var entry in list.AsSmartEnumerable())