传递条件作为参数

Question

首先解释一下我要做什么：

void Foo(int &num, bool condition);

Foo(x, x > 3);

这段代码基本上会在调用函数之前评估条件的布尔值，然后传递纯真或假。我正在寻找一种让它通过条件本身的方法，所以我可以这样做：

void Foo(int &num, bool condition)
{
    while(!condition)
    {
        num = std::rand();
    }
}

我知道可以通过传递包含条件的字符串并解析后者来解决问题，我现在正在处理它，但我发现它的效率相当低。接受的答案将是除解析包含条件的字符串之外的任何其他方式解释解决方案的答案，或者澄清这种传递条件的方式是不可能的答案。

提前致谢

Answer 1

您应该做的是创建一个测试您的条件的函数，然后将指向该函数的指针作为参数传递。有关如何执行此操作的详细信息/教程，请参阅http://www.cprogramming.com/tutorial/function-pointers.html。

Answer 2

改为将函数传递给Foo。然后，您可以通过等待调用该函数来“延迟”表达式的执行。

Answer 3

执行此操作的可行方法是将仿函数（以及行为类似于函数的对象）传递给被调用函数，被调用函数将调用仿函数以在循环的每次迭代中重新评估条件。

解析字符串不起作用；被调用函数无权访问调用函数的局部变量。

Answer 4

这称为函数式编程。

这里是 sn-p 使用 boost::phoenix http://www.boost.org/doc/libs/1_43_0/libs/spirit/phoenix/doc/html/phoenix/starter_kit.html:

using namespace boost::phoenix;

Foo(x, (cref(x) < 3));
// (cref(x) < 3) is expression that creates function object

template<class C> // condition is a monster, make it generic
void Foo(int &num, C condition)
{
    while(!condition()) // notice you call condition as function
    {
        rand(num);
    }
}

Answer 5

正如其他人所说，将仿函数对象传递给 Foo()。 STL 通常使用这种方法。例如：

template< class Func >
void Foo(int &num, Func condition) 
{ 
    while(!condition()) 
    { 
        rand(num); 
    } 
} 

struct GreaterThanThree
{
    int& _num;
    GreaterThanThree(int &num) : _num(num) {}
    bool operator()() const { return (_num > 3); }
};

Foo(x, GreaterThanThree(x)); 

Answer 6

一个使用标准库的例子functor：

#include <functional>

template<class UnaryPred> void func(int& num, UnaryPred predicate) {
    while(!predicate(num)) num = std::rand();
}

void test() {
    int i = 0;
    func(i, std::bind1st(std::greater<int>(), 3));
}

请参阅<functional> 上的文档，了解 C++ 已经为您提供的开箱即用功能。

如果您的编译器有足够的支持（例如 GCC 4.5 或 VC10），您也可以选择 lambda functions。例如。使用与上面相同的func()：

func(i, [](int num) { return num > 3; });

Answer 7

你可以在没有模板或提升的情况下做到这一点（一个评论者称之为“C 风格”，我想这是正确的）。

/* have Foo take a pointer to a function that returns bool */
void Foo(int &num, bool (*fcn)(int))
{
    while(!fcn(num))
    {
        num = std::rand();
    }
}

/* You can have all the Comparators you want, 
   as long as they have the same signature */
bool ComparatorOne(int x) { return x > 3 ? true : false; }

bool ComparatorTwo(int x) { return x < 10 ? true : false; }

/* and this is how you call it */
int n;
Foo(n, ComparatorOne);
Foo(n, ComparatorTwo);

编辑

请注意，您的 Comparator 可以采用不同的参数集，只要它们是一致的。