如何让 C# 编译器推断泛型类型？

Question

我有以下方法：

public TResult Get<TGenericType, TResult>()
                          where TGenericType : SomeGenericType<TResult>
                          where TResult : IConvertible {
   //...code that uses TGenericType...
   //...code that sets someValue...
   return (TResult) someValue;
}

现在，这个方法的用户必须像这样使用它：

//Notice the duplicate int type specification
int number = Get<SomeGenericType<int>, int>();

为什么我必须在方法定义中指定 TResult？编译器已经知道 TResult，因为我在 TGenericType 中指定了它。理想情况下（如果 C# 编译器更聪明一点），我的方法应该是这样的：

public TResult Get<TGenericType>()
                          where TGenericType : SomeGenericType<TResult>
                          where TResult : IConvertible {
   //...code that uses TGenericType...
   //...code that sets someValue...
   return (TResult) someValue;
}

所以用户可以像这样简单地使用它：

//Much cleaner
int number = Get<SomeGenericType<int>>();

有没有办法做我想做的事？

Answer 1

C# 规范不允许推断类型参数的一半。您应该让编译器推断所有类型参数（这并不总是适用，就像您的情况一样）或手动指定所有类型参数。

更新（回复评论）：虽然我不在 C# 团队中对您的问题给出绝对答案，但我的猜测是重载解决方案的复杂性（这已经是吹；您知道，如果您阅读 C# 规范的那部分），如果他们希望允许推断一半类型而不允许推断一半类型（特别是考虑到您可以仅通过泛型参数的数量重载方法这一事实），将会显着增加。

Answer 2

这取决于...

如果你只是使用SomeGenericType<TResult>，你可以这样做：

public TResult Get<TResult>() where TResult : IConvertible {
    SomeGenericType<TResult> myInstance = ...
    //...code that sets someValue...
    return (TResult) someValue;
}

在这种情况下，不一定有办法将第一种类型放入其中。由于您的示例没有明确传递 SomeGenericType<TResult> 作为参数，因此表明这是可能的。

否则，您需要完全指定所有通用参数。不幸的是，这正是 C# 中的方式。