c# - 这样的嵌套泛型方法怎么解决呢？

Question

描述

我想创建一个具有单个泛型类型输入的泛型方法，该输入具有所提供类型输入的泛型参数的返回类型。

在这个问题的上下文中，有一个实例参数不是一个选项，因为调用者上下文中不存在实例。

例子

给定以下界面:

interface IFoo<T> { }

我想要实现的是与以下不正确方法声明类似的东西。

TInner GetFoo<T>() where T : IFoo<TInner>;

T GetFoo<IFoo<T>>();

可以这样使用:

class FooA : IFoo<int> { }

int foo = GetFoo<FooA>();

问题

如何正确声明这样的方法(如果可能的话)？

提前致谢!

Answer 1

正如 elgonzo 在评论中所建议的，解决您的问题最自然的方法是声明表单

TInner GetFoo<T, TInner>() where T : IFoo<TInner>

尽管您打算将其声明为 TInner GetFoo<T>() where T : IFoo<TInner>是明智的，目前不支持。它类似于更高级的参数多态性，这是函数式编程爱好者期待已久的功能。