std ::更大<int>（）（100，300），为什么它工作？

Question

按我的理解，仿函数应作为本

std::greater<int> g; 
std::cout << std::boolalpha << g(10, 3) << std::endl; 

或作为函数的参数。

find_if(v.begin(), v.end(), std::greater<int>()) 

但这是什么意思？

std::cout << std::greater<int>()(100, 300) << std::endl; // output: false 

当我使用not_equal_to如下，它不能通过编译：

int* pt = std::adjacent_find (numbers, numbers+5, std::not_equal_to<int>(1,1)) +1; 

Answer 1

如你所知，一类X有一个无参数的构造函数，你可以写X()其他表达式的一部分创建一个（临时堆栈）对象。 IE浏览器。下面的两个码相同[如果callFunc不期望可变参考等]：

X x; 
callFunc(x); 

callFunc(X()); 

现在std::greater<int>()(100, 300)创建的std::greater<int>像上方的对象，并且执行与参数100和300中的算符这只是前两个代码示例的组合，一对用于创建对象的括号和一个用于调用它的对象。在std::not_equal_to<int>(1,1)中，您缺少一对括号。

Answer 2

它为什么工作？

在第一个代码中，您调用函子的operator()，并打印出结果。

std::cout << std::greater<int>()(100, 300) << std::endl; // output: false 
      ~~~~~~~~~~~~~~~~~~~ <- create a temporary object(functor) 
           ~~~~~~~~~~ <- call operator() on the temporary object 

为什么不工作？

在第二个代码中，您将函子传递给一个算法，函数将在该算法中调用，方法是调用operator()。

int* pt = std::adjacent_find (numbers, numbers+5, std::not_equal_to<int>(1,1)) +1; 
                ~~~~~~~~~~~~~~~~~~~~~~~~~~~ 

你试图通过一个构造函数取两个参数创建一个临时std::not_equal_to。 std::not_equal_to没有该ctor，因此只需将其更改为使用默认ctor，就如同您拨打std::find_if并使用std::greater所做的那样。

int* pt = std::adjacent_find (numbers, numbers+5, std::not_equal_to<int>()) +1;