一.函数对象概念
概念:
·重载函数调用操作符的类,其对象常称为函数对象
·函数对象使用重载的()时,行为类似函数调用,也叫仿函数
本质:
函数对象(仿函数)是一个类,不是一个函数
特点
- 函数对象在使用时,可以像普通函数那样调用,可以有参数,可以有返回值;
- 函数对象超出普通函数的概念,函数对象可以有自己的状态;
- 函数对象可以作为参数传递;
函数对象可以像普通函数一样被调用,并且可以接受参数和返回值。通过重载函数调用操作符 operator()
,函数对象可以在使用时表现得像函数一样。
函数对象的一个优势是它可以拥有自己的状态。由于函数对象实际上是一个类的对象,所以它可以拥有成员变量,这些变量可以在每次调用时保持状态并进行更新。这使得函数对象可以在多次调用之间维护一些信息。
此外,函数对象还可以作为参数传递给其他函数。许多标准库的算法函数,例如 std::sort
、std::transform
等,可以接受函数对象作为参数,以定义算法的具体操作。通过将函数对象传递给其他函数,我们可以实现更灵活、可定制的功能。
以下是一个简单的示例,展示了函数对象的用法:
#include <iostream>class MyFunctor
{
public:void operator()(int x) const{// 在回调时输出消息std::cout << "Function object called with " << x << std::endl;}
};void callWithFunctor(const MyFunctor& functor, int value)
{functor(value); // 调用函数对象
}int main()
{MyFunctor functor;callWithFunctor(functor, 42); // 传递函数对象给函数,并进行调用return 0;
}
在上述示例中,MyFunctor
是一个函数对象,我们将它作为参数传递给 callWithFunctor
函数,并在函数内部调用函数对象。
总结来说,函数对象可以像普通函数一样被调用,可以接受参数和返回值,可以拥有自己的状态,并可以作为参数传递给其他函数,这使得函数对象在编程中非常有用和灵活。
函数对象相比于普通函数具有一个重要的优势,那就是函数对象可以拥有自己的状态。这意味着函数对象可以在多次调用之间记录和维护自己的内部数据。
普通函数是无状态的,它们不会保留任何关于之前调用的信息。每次调用函数时,它们只是根据传入的参数执行相应的操作,并返回结果。
而函数对象则可以在每次调用时保持状态,并根据状态的变化来改变行为。这种状态是通过函数对象的成员变量来实现的。函数对象的成员变量可以记录在调用过程中需要持久化的数据,而这些数据会在不同的函数调用之间持续存在。
这种函数对象的状态可以非常有用。它允许我们在不同的调用之间共享和利用数据,从而实现更复杂的行为。例如,我们可以使用函数对象来实现一个计数器,每次调用增加计数值,并在后续的调用中使用该值。
以下是一个简单的示例,展示了函数对象中保存状态的功能:
#include <iostream>class Counter
{
public:Counter() : count(0) {}int operator()(){return ++count;}private:int count;
};int main()
{Counter counter;std::cout << counter() << std::endl; // 输出:1std::cout << counter() << std::endl; // 输出:2std::cout << counter() << std::endl; // 输出:3return 0;
}
在上述示例中,Counter
是一个函数对象,它通过重载函数调用操作符 operator()
来实现计数的功能。每次调用 Counter
对象时,计数器的值会增加,并返回新的计数值。
总结而言,函数对象相比普通函数具有自己的状态,这使得它们可以在多次调用之间保持数据,并根据状态的变化改变行为。这种功能使得函数对象在许多应用场景中非常有用,例如实现计数器、缓存等。
二.谓词
概念:
- 返回bool类型的仿函数称为谓词
- 如果operator()接受一个参数,那么叫做一元谓词
- 如果operator()接受两个参数,那么叫做二元谓词
返回 bool
类型的仿函数被称为谓词(Predicate)。谓词通常用于对某些条件进行判断,并返回相应的布尔值。
此外,根据 operator()
接受的参数数量,可以将谓词进一步分类为一元谓词(Unary Predicate)和二元谓词(Binary Predicate)。
- 一元谓词是指
operator()
只接受一个参数的谓词。它用于对单个对象进行判断,返回一个布尔值。一元谓词通常用于像std::find_if
、std::remove_if
等算法中。 - 二元谓词是指
operator()
接受两个参数的谓词。它用于对两个对象进行比较或判断,返回一个布尔值。二元谓词通常用于像std::sort
、std::find
等算法中,用于指定排序规则或比较条件。
通过使用谓词,我们可以灵活地对对象进行条件判断和过滤。
以下是一个简单的示例,展示了一元谓词和二元谓词的概念:
#include <iostream>
#include <vector>
#include <algorithm>// 一元谓词
struct IsEven
{bool operator()(int n) const{return n % 2 == 0;}
};// 二元谓词
struct IsLess
{bool operator()(int a, int b) const{return a < b;}
};int main()
{std::vector<int> numbers = { 1, 2, 3, 4, 5 };// 使用一元谓词查找第一个偶数auto it = std::find_if(numbers.begin(), numbers.end(), IsEven());if (it != numbers.end()){std::cout << "First even number: " << *it << std::endl;}// 使用二元谓词排序std::sort(numbers.begin(), numbers.end(), IsLess());// 输出排序结果std::cout << "Sorted numbers: ";for (int num : numbers){std::cout << num << " ";}std::cout << std::endl;return 0;
}
在上述示例中,IsEven
是一个一元谓词,通过重载 operator()
来判断一个数字是否为偶数。IsLess
是一个二元谓词,通过重载 operator()
实现了两个数字的比较操作。
我们在主函数中使用了一元谓词来查找第一个偶数,并使用二元谓词对数组进行排序。
总结来说,返回 bool
类型的函数对象被称为谓词。根据 operator()
接受的参数数量,谓词可以进一步分类为一元谓词和二元谓词。谓词在标准库的算法中大量使用,用于自定义比较和条件判断。
find_if
、std::find_if
是 C++ 标准库中的一个算法函数,它的作用是在给定的范围内查找满足指定条件的元素,并返回第一个满足条件的元素的迭代器。
函数签名如下所示:
template <class InputIt, class UnaryPredicate>
InputIt find_if(InputIt first, InputIt last, UnaryPredicate p);
参数说明:
first
和last
:表示要查找的元素范围,first
表示范围的起始位置,last
表示范围的结束位置(不包含在范围内)。p
:一个一元谓词,用于判断元素是否满足条件。
函数返回值是一个迭代器,指向范围内第一个满足条件的元素,如果没有找到满足条件的元素,则返回 last
。
以下是一个简单的示例,展示了 std::find_if
的使用:
#include <iostream>
#include <vector>
#include <algorithm>struct IsEven
{bool operator()(int n) const{return n % 2 == 0;}
};int main()
{std::vector<int> numbers = { 1, 2, 3, 4, 5 };// 使用一元谓词查找第一个偶数auto it = std::find_if(numbers.begin(), numbers.end(), IsEven());if (it != numbers.end()){std::cout << "First even number: " << *it << std::endl;}return 0;
}
在上述示例中,我们定义了一个一元谓词 IsEven
,用于判断一个数字是否为偶数。然后,我们使用 std::find_if
函数在 numbers
容器中查找第一个满足条件的偶数,并输出结果。
值得注意的是,std::find_if
在查找到满足条件的元素后,会立即停止搜索并返回该元素的迭代器。如果要查找出多个满足条件的元素,可以使用 std::find_if
结合其他算法函数或循环进行迭代查找。
三.内建函数对象
当涉及到内建函数对象时,可以根据它们的功能将它们分为三类: 算术函数对象、逻辑函数对象和关系函数对象。
-
算术函数对象:
- std::plus: 加法操作。
- std::minus: 减法操作。
- std::multiplies: 乘法操作。
- std::divides: 除法操作。
- std::modulus: 取模操作。
-
逻辑函数对象:
- std::logical_and: 逻辑与操作。
- std::logical_or: 逻辑或操作。
- std::logical_not: 逻辑非操作。
-
关系函数对象:
- std::less: 小于比较。
- std::less_equal: 小于等于比较。
- std::greater: 大于比较。
- std::greater_equal: 大于等于比较。
- std::equal_to: 等于比较。
- std::not_equal_to: 不等于比较。
这些函数对象可以通过重载 operator()
来执行特定的操作或比较,它们被设计为与标准库算法一起使用,以提供通用的功能。通过使用这些函数对象,我们可以以一种通用且灵活的方式处理算术、逻辑和关系操作。
当涉及到内建函数对象时,我们可以通过以下示例来展示它们的使用:
- 算术函数对象:
#include <iostream>
#include <functional>int main() {std::plus<int> add;int a = 5, b = 10;int result = add(a, b);std::cout << "Addition result: " << result << std::endl; // 输出:15return 0;
}
在上述示例中,我们使用了 std::plus
函数对象来执行加法操作,将数字 a
和 b
相加,并将结果存储在 result
变量中。
- 逻辑函数对象:
#include <iostream>
#include <functional>int main() {std::logical_and<bool> logicAnd;bool value1 = true, value2 = false;bool result = logicAnd(value1, value2);std::cout << "Logical AND result: " << std::boolalpha << result << std::endl; // 输出:falsereturn 0;
}
在上述示例中,我们使用了 std::logical_and
函数对象来执行逻辑与操作,对 value1
和 value2
进行逻辑与运算,并将结果存储在 result
变量中。
- 关系函数对象:
#include <iostream>
#include <functional>int main() {std::less<int> lessThan;int a = 5, b = 10;bool result = lessThan(a, b);std::cout << "Less than result: " << std::boolalpha << result << std::endl; // 输出:truereturn 0;
}
在上述示例中,我们使用了 std::less
函数对象来执行小于比较,判断 a
是否小于 b
,并将结果存储在 result
变量中。
这些示例演示了如何使用内建函数对象进行算术、逻辑和关系操作。您可以通过实例化适当的函数对象类模板,然后将其用作函数调用,以便执行所需的操作或比较。
请注意,这些示例可能只是演示了函数对象的一小部分用法,这些函数对象在标准库的算法和其他使用场景中非常有用。
好的,下面是一个整理成表格的例子,展示了内建函数对象及其用途的示例。
函数对象 | 用途 | 示例 |
---|---|---|
std::plus | 加法操作 | std::plus()(2, 3) // 输出:5 |
std::minus | 减法操作 | std::minus()(5, 2) // 输出:3 |
std::multiplies | 乘法操作 | std::multiplies()(3, 4) // 输出:12 |
std::divides | 除法操作 | std::divides()(10, 2) // 输出:5 |
std::modulus | 取模操作 | std::modulus()(10, 3) // 输出:1 |
std::logical_and | 逻辑与操作 | std::logical_and()(true, false) // 输出:false |
std::logical_or | 逻辑或操作 | std::logical_or()(true, false) // 输出:true |
std::logical_not | 逻辑非操作 | std::logical_not()(true) // 输出:false |
std::less | 小于比较 | std::less()(2, 5) // 输出:true |
std::less_equal | 小于等于比较 | std::less_equal()(5, 5) // 输出:true |
std::greater | 大于比较 | std::greater()(5, 2) // 输出:true |
std::greater_equal | 大于等于比较 | std::greater_equal()(5, 5) // 输出:true |
std::equal_to | 相等比较 | std::equal_to()(2, 2) // 输出:true |
std::not_equal_to | 不等比较 | std::not_equal_to()(2, 5) // 输出:true |