泛型类型的扩展方法，带有附加的泛型类型参数

Question

我想为泛型类型编写一个扩展方法，并带有附加的泛型类型参数。我已经有了工作代码，但不喜欢结果，因为用户需要重新输入现有类型的泛型类型参数。

我有一个具体的例子，但请记住这是一个普遍问题。我很感谢有关当前特定问题的反馈，但我正在寻找通用解决方案。

对于 Action 类型的类，添加一个具有类似于以下签名的扩展方法：

Func<T, TResult> ToFunc<TResult>();

这是我的工作代码：

public static class DelegateExtensions
{
  public static Func<T, TResult> ToFunc<T, TResult>(this Action<T> action)
  {
    return arg => { action(arg); return default(TResult); };
  }
}

但是用法很糟糕：

public void TakesAFunc(Func<int, float> someFunc) { /* ... */ }
// ...
Action<int> someIntAction = /* ... */;
TakesAFunc(someIntAction.ToFunc<int, float>());

在此示例中，int 泛型参数是唯一可接受的值，因此会导致不必要的代码重复。

类型推断在这里不起作用。我认为这是因为您无法通过返回类型推断通用参数。

这段代码可以解决问题，但不幸的是似乎不起作用：

public static class DelegateExtensions<T>
{
  public static Func<T, TResult> ToFunc<TResult>(this Action<T> action)
  {
    return arg => { action(arg); return default(TResult); };
  }
}

用法将与您期望的完全一样：

public void TakesAFunc(Func<int, float> someFunc) { /* ... */ }
// ...
Action<int> someIntAction = /* ... */;
TakesAFunc(someIntAction.ToFunc<float>());

我注意到 System.Linq.Queryable 的工作方式与我的第一块代码的工作方式相同，尽管它通常不需要额外的类型参数，所以类型推断是有效的。

是否有任何已知的技巧可以解决需要这些重复的泛型类型参数的问题？我想到的一个想法是代码生成器或某种宏，但我想不出如何干净利落地做到这一点。

Answer 1

处理这类事情的一个常见技巧是传递所需类型的虚拟值以进行类型推断，这在涉及匿名类型的某些场景中是必需的。

public static class DelegateExtensions
{
  public static Func<T, TResult> 
  ToFunc<T, TResult>(this Action<T> action, TResult ignored)
  {
    return arg => { action(arg); return default(TResult); };
  }
}

这个技巧有多好取决于个人意见，但是每次我调用它以及每次我回到我调用它的地方时，这都会让我感到困惑。您还可以更改该方法的语义，使第二个参数成为返回值，从而允许调用者决定是否需要默认值。

至于你的第二个例子，我很确定泛型类型不允许扩展方法，但我没有方便的链接

Answer 2

我参加聚会迟到了——抱歉。

正如已经提到的 - 如果不将 Func 切换到输出参数，目前这是不可能的。

我将抛出另一种方法来完成此类事情 - 它看起来有点流畅的语法，但它有效。

 public class ActionWrap<T>
{
    private readonly Action<T> _action;

    internal ActionWrap(Action<T> action)
    {
        _action = action;
    }

    public Func<T, TResult> OfType<TResult>()
    {
        return arg => { _action(arg); return default(TResult); };
    }
}

public static class DelegateExtensions
{
    public static ActionWrap<T> ToFunc<T>(this Action<T> action)
    {
        return new ActionWrap<T>(action);
    }
}

然后调用它：

Action<int> x = z=> Console.WriteLine(z);
Func<int, float> asFunc = x.ToFunc().OfType<float>();

这并不完全是您想要的，但它实现了不再声明 int 泛型的目标，并且可以扩展到您想做类似事情的其他情况。