0

Java 中是否存在 Predicate 类的 C/C++ 等效结构/类？

具体来说，我有一个非常简单的 Java 代码，如下所示。

import java.util.function.Predicate;
public class JavaPredicates {
    public static void main(String[] args) {
        Predicate<String> i  = (s)-> s.equals("ABCD");
        Predicate<String> j  = (s)-> s.equals("EFGH");
        Predicate<String> k  = (s)-> s.equals("IJKL");
        Predicate<String> l  = (s)-> s.equals("MNOP");
        Predicate<String> m  = (s)-> s.equals("QRST");
        Predicate<String> n  = (s)-> s.equals("UVWYZ");

        System.out.println(i.or(j).or(k).or(l).or(m).or(n).test("ABCD"));
    }
}

我想用 C 或 C++ 实现相同的程序。是否有默认方式或外部库来执行此操作？

4

3 回答 3

4

C++ 的 lambdas 看起来与您正在使用的 java 构造非常相似：

auto i = [](string const & s){return s == "ABCD";}

它没有内置链接，但概念相似——内联定义的函数。您可以使用 C++ 逻辑构造将 lambda 组合成您想要的任何构造——甚至使用 lambda 来完成。

auto final_check = [i,j,k,l,m,n](string const & s){return i(s) || j(s) || k(s).....};
于 2016-10-12T01:04:46.617 回答
2

简化的语法是auto lambdaName=[ <capture> ] ( <params> ) -> <ret> { body }

  • [<capture>]是 lambda 捕获的 Java 列表final vars or effectively finals，您可以在此处声明它们而不是将它们标记为final
  • (<params>)是您的 lambda 的参数列表
  • ret- 返回类型 - 如果您的 lambda 足够简单，编译器可以推断出返回类型，则可选
  • { body }- 不言自明

关于C++11 lambda 函数语法的全面解释

在你的情况下：

auto i = [/* no capture */]
          (const std::string& s) // params
          // no ret type spec: simple enough, the compiler will deduce it
          { return s=="ABCD"; }
;
// calling it is just as simple as
std::string str="xyz";
// no more i.test(str), you just call it as a function
bool res0 = i(str); // will be false


const char* charStr="mnp";
bool res1 = i(charStr); // the compiler knows the charStr can be converted
                        // to std::string and will generate the code
                        // for this conversion.
于 2016-10-12T01:18:25.327 回答
1

对于谓词，C++ 具有可与std::bind或 lambda 一起使用的函数对象模板：

auto i = [](auto const& v){ return v == "ABCD"; };
auto j = [](auto const& v){ return v == "EFGH"; };
auto k = bind(equal_to<>{}, "IJKL", placeholders::_1);
auto l = bind(equal_to<>{}, "MNOP", placeholders::_1);

bind是有争议的，并且它在未来的标准中被弃用并非不可能，因此通常建议使用 lambdas 代替它。

您可以使用 Boost.Fusion 或 Boost.Hana 对您的 ors 链做出类似的声明：

fusion::any(fusion::make_tuple(i, j, k, l), [](auto const& p){ return p("ABCD"); })
hana::any_of(hana::make_tuple(i, j, k, l), [](auto const& p){ return p("ABCD"); })

现场： 融合， 花

或者，从 C++17 开始，您可以为此使用折叠表达式：

auto const any_of = [](char const* str, auto&&... vs) {
    return (... || vs(str));
};

any_of("ABCD", i, j, k, l)

现场演示

于 2016-10-12T01:19:54.117 回答