Question

我想创建一个函数，其参数接受std::greater<int>或std::less<int>作为参数。不过，我仍然坚持参数的语法。

这是我尝试过的格式：

myFunction(int a, int b, bool *comp(int, int)) { … }
…
std::greater<int> bigger;
myFunction(2, 3, bigger);

但是，这并不起作用，我怀疑第三个参数是完全错误的。它到底应该是什么？

无法将std::greater<int>转换为bool* (*)(int, int)

Answer 1

采用比较器的函数通常通过模板实现：

template <typename Comparator>
myFunction(int a, int b, Comparator comp) { … }

但您也可以使用std::function来实现它：

myFunction(int a, int b, std::function<bool (int, int)> ) { … }

第一个版本公开了标题中的代码，但通常会表现得更好。对于第二个版本，您可以隐藏.cpp文件中的实现，但由于无法内联，你会失去一些表现比较器调用。

Answer 2

所以这里的诀窍是std::less和std::greater实际上是无状态的函数对象，可以简单地构造。但是他们不支持转换为函数指针。

有效的选择是（A）通过template参数获取比较器并在标题中实现代码：

template<typename C> void myFunc( int a, int b, C comp )

表示您必须在头文件中实现它，或者（B）通过std::function< bool(int, int) >键入擦除函数对象：

void myFunc( int a, int b, std::function< bool(int, int) > comp )

有一些成本（可能很重要？Profile！）（通过对无状态std less / greater的小对象优化避免堆分配，但无论如何都会花费virtual函数调用，这也会阻止内联）。

或者（C）编写一些代码，让你可以使用无状态仿函数并将其转换为函数指针：

template<typename T>
using Type = T;
template<typename StatelessFunctor>
struct function_ptr_of_stateless_t {
  template<typename R, typename... Args>
  operator Type<R(Args...)>*() const {
    return [](Args... args)->R {
     return StatelessFunctor()(std::forward<Args>(args)...);
    };
  }
};
template<typename StatelessFunctor>
function_ptr_of_stateless_t<StatelessFunctor> as_function_ptr() {
  return {};
}

bool myFunction( int a, int b, bool(*comp)(int, int) ) { return comp(a,b); }
int main() {
  std::cout << myFunction(3,7, as_function_ptr<std::less<int>>() ) << "\n";
}

其中template函数as_function_ptr采用无状态仿函数的类型，并创建一个抛弃类型，允许您将其转换为任何兼容的函数指针类型。

这比std::function解决方案的开销要小得多，因为对函数指针的调用往往比virtual方法更快，而且一些编译器（如gcc）相当不错在内联函数指针，甚至从一个编译单元到另一个编译单元。

作为奖励，在C ++ 14中你可以使用：

int main() {
  std::cout << myFunction(3,7, as_function_ptr<std::less<>>() ) << "\n";
}

它仍然可以很好地运作。

Answer 3

使用模板：

template<class Callable>
myFunction(int a, int b, Callable f);

使用std :: greater或std :: less作为参数的参数

3 个答案: