转换 Func到 Func

Question

我想我的思想正在爆炸，试图找出 Funcs...如果这没有意义，我道歉，现在它对我来说是有意义的，但已经度过了漫长的一天....

1）假设给你一个 func接受 T 并输出一个字符串：

 Func<T, string> 

您能否将其转换为一个接受 T 并根据某种逻辑返回 bool 的函数（在本例中，如果返回的字符串为空 (String.IsNullOrWhiteSpace)？

 Func<T, bool> 

2）您可以执行以下操作吗同样的事情，如果你是给定 an

Expression<Func<T, string>>

并需要

Func<T, bool>

根据返回的字符串是否为空 (String.IsNullOrWhiteSpace) 将其转换为返回 true/false 的 a？

谢谢

Answer 1

对于第一部分，您甚至可以创建一些“更高”阶函数：

Func<A,C> MapFun<A,B,C>(Func<A,B> input, Func<B,C> transf)
{
   return a => transf(input(a));
}

使用 with

Func <T,string> test = ...
var result = MapFun(test, String.IsNullOrWhiteSpace);

（我希望 C# 类型类型推断在这里起作用）

如果您将其定义为 Func 上的扩展，它会变得更加容易：

public static class FuncExtension
{
    public static Func<A,C> ComposeWith<A,B,C>(this Func<A,B> input, Func<B,C> f)
    {
         return a => f(input(a));
    }
}

：

Func<int, string> test = i => i.ToString();
var result = test.ComposeWith(string.IsNullOrEmpty);

这是一个非常简单的测试 第二个：我认为你可以将表达式编译成“真正的”Func，然后使用上面的代码。 请参阅有关 Expression.Compile 的 MSDN 文档

PS：重命名了该函数以更好地匹配它的意图（它的功能组合）

Answer 2

您不能将其定义为单独的委托吗：

Func<T, string> func1 = t => t.ToString();
Func<T, bool> func2 = t => string.IsNullOrEmpty(func1(t));

Answer 3

对于第一部分，该技术称为函数组合，即组合 2 个函数来创建一个新函数。
在您的情况下，您有一个函数 Func 和另一个类型为 Func 的函数（如字符串空或 null），使用 function组合 您可以组合这两个函数来创建 Func 类型的新函数

大多数函数式编程语言都已在其标准库或语言本身中定义了这种函数组合。但是，如果该语言支持函数作为第一类值，那么为您的语言创建一个函数并不困难。

在 C# 中，您可以使用以下函数来组合函数：

public static Func<X,Z> Compose<X,Y,Z>(Func<X,Y> a, Func<Y,Z> b)
{
    return (v) => b(a(v));
}

Answer 4

To 1：是（您也可以参数化 bool 和 string）：

Func<T, bool> Compose<T>(Func<T, string> source, Func<string, bool>map)
{
    return x => map(source(x));
}

To 2：是，但您需要先编译表达式：

Func<T, bool> Compose<T>(Expression<Func<T, string>> source, Func<string, bool> map)
{
    return x => compose(source.Compile(), map)
}

.Compile 会将表达式编译为您可以调用的动态 CLR 方法与返回的代表。

您可以像这样使用此代码：

Func<int, string> ts = i => i.ToString();
var result = Compose(ts, string.IsNullOrEmpty);

顺便说一句，在这种情况下，您确实应该编写一个高阶函数。你在这里所做的（代数上的）是组成幺半群。还记得函数组合吗？ <代码>f . g := f(g(x)) 就是您在这里所做的。

将源视为 g:A->B 并将映射视为 f:B->C （其中 A、B 和 C 是集合），因此 <代码>f。 g 是 h:A->C。顺便说一句，. 运算符通常内置于函数式编程语言（例如 Haskell）中，并实现与 compose 函数相同的功能（但语法更简洁）。