转换Func <T, String> 到Func <T, bool>

Question

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

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

 Func<T, string> 

你能把它变成一个接受T的函数并根据某些逻辑返回一个bool（在这种情况下，如果返回的字符串为空（String.IsNullOrWhiteSpace）？

 Func<T, bool> 

如果给你一个，你可以做同样的事吗？

Expression<Func<T, string>>

并需要将其转换为

Func<T, bool>

返回true / false基于返回的字符串是否为空（String.IsNullOrWhiteSpace）？

谢谢

Answer 1

对于第一部分，您甚至可以制作一些“更高”的顺序函数：

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

使用

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<T,String>和另一个函数（如字符串空或null），它的类型为Func<string,bool> ，使用函数组合你可以组合这两个函数来创建一个新的函数类型Func<T,Bool>

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

在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

至1：是（您还可以参数化bool和string）：

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

到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)) f . g := f(g(x))就是你在这里做的。

将源视为g:A->B并映射为f:B->C （其中A，B和C为集合），因此f . g的结果f . g f . g是h:A->C 顺便说一句. 运算符通常构建为函数式编程语言，例如Haskell，并且与compose函数实现相同的功能（但语法更清晰）。