浅谈STL|STL函数对象篇

举报
白茶加冰 发表于 2023/09/15 00:22:32 2023/09/15
【摘要】 一.函数对象概念概念:·重载函数调用操作符的类,其对象常称为函数对象·函数对象使用重载的()时,行为类似函数调用,也叫仿函数本质:函数对象(仿函数)是一个类,不是一个函数特点函数对象在使用时,可以像普通函数那样调用,可以有参数,可以有返回值;函数对象超出普通函数的概念,函数对象可以有自己的状态;函数对象可以作为参数传递;函数对象可以像普通函数一样被调用,并且可以接受参数和返回值。通过重载函...

image.png

一.函数对象概念

概念:

·重载函数调用操作符的类,其对象常称为函数对象
·函数对象使用重载的()时,行为类似函数调用,也叫仿函数

本质:

函数对象(仿函数)是一个类,不是一个函数

特点

  • 函数对象在使用时,可以像普通函数那样调用,可以有参数,可以有返回值;
  • 函数对象超出普通函数的概念,函数对象可以有自己的状态;
  • 函数对象可以作为参数传递;

函数对象可以像普通函数一样被调用,并且可以接受参数和返回值。通过重载函数调用操作符 operator(),函数对象可以在使用时表现得像函数一样。

函数对象的一个优势是它可以拥有自己的状态。由于函数对象实际上是一个类的对象,所以它可以拥有成员变量,这些变量可以在每次调用时保持状态并进行更新。这使得函数对象可以在多次调用之间维护一些信息。

此外,函数对象还可以作为参数传递给其他函数。许多标准库的算法函数,例如 std::sortstd::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;  // 输出:1
    std::cout << counter() << std::endl;  // 输出:2
    std::cout << counter() << std::endl;  // 输出:3

    return 0;
}

在上述示例中,Counter 是一个函数对象,它通过重载函数调用操作符 operator() 来实现计数的功能。每次调用 Counter 对象时,计数器的值会增加,并返回新的计数值。

总结而言,函数对象相比普通函数具有自己的状态,这使得它们可以在多次调用之间保持数据,并根据状态的变化改变行为。这种功能使得函数对象在许多应用场景中非常有用,例如实现计数器、缓存等。

二.谓词

概念:

  • 返回bool类型的仿函数称为谓词
  • 如果operator()接受一个参数,那么叫做一元谓词
  • 如果operator()接受两个参数,那么叫做二元谓词

返回 bool 类型的仿函数被称为谓词(Predicate)。谓词通常用于对某些条件进行判断,并返回相应的布尔值。

此外,根据 operator() 接受的参数数量,可以将谓词进一步分类为一元谓词(Unary Predicate)和二元谓词(Binary Predicate)。

  • 一元谓词是指 operator() 只接受一个参数的谓词。它用于对单个对象进行判断,返回一个布尔值。一元谓词通常用于像 std::find_ifstd::remove_if 等算法中。
  • 二元谓词是指 operator() 接受两个参数的谓词。它用于对两个对象进行比较或判断,返回一个布尔值。二元谓词通常用于像 std::sortstd::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);

参数说明:

  • firstlast:表示要查找的元素范围,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 结合其他算法函数或循环进行迭代查找。

三.内建函数对象

当涉及到内建函数对象时,可以根据它们的功能将它们分为三类: 算术函数对象、逻辑函数对象和关系函数对象。

  1. 算术函数对象:

    • std::plus: 加法操作。
    • std::minus: 减法操作。
    • std::multiplies: 乘法操作。
    • std::divides: 除法操作。
    • std::modulus: 取模操作。
  2. 逻辑函数对象:

    • std::logical_and: 逻辑与操作。
    • std::logical_or: 逻辑或操作。
    • std::logical_not: 逻辑非操作。
  3. 关系函数对象:

    • std::less: 小于比较。
    • std::less_equal: 小于等于比较。
    • std::greater: 大于比较。
    • std::greater_equal: 大于等于比较。
    • std::equal_to: 等于比较。
    • std::not_equal_to: 不等于比较。

这些函数对象可以通过重载 operator() 来执行特定的操作或比较,它们被设计为与标准库算法一起使用,以提供通用的功能。通过使用这些函数对象,我们可以以一种通用且灵活的方式处理算术、逻辑和关系操作。

当涉及到内建函数对象时,我们可以通过以下示例来展示它们的使用:

  1. 算术函数对象:
#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;  // 输出:15

    return 0;
}

在上述示例中,我们使用了 std::plus 函数对象来执行加法操作,将数字 ab 相加,并将结果存储在 result 变量中。

  1. 逻辑函数对象:
#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;  // 输出:false

    return 0;
}

在上述示例中,我们使用了 std::logical_and 函数对象来执行逻辑与操作,对 value1value2 进行逻辑与运算,并将结果存储在 result 变量中。

  1. 关系函数对象:
#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;  // 输出:true

    return 0;
}

在上述示例中,我们使用了 std::less 函数对象来执行小于比较,判断 a 是否小于 b,并将结果存储在 result 变量中。

这些示例演示了如何使用内建函数对象进行算术、逻辑和关系操作。您可以通过实例化适当的函数对象类模板,然后将其用作函数调用,以便执行所需的操作或比较。

请注意,这些示例可能只是演示了函数对象的一小部分用法,这些函数对象在标准库的算法和其他使用场景中非常有用。

好的,下面是一个整理成表格的例子,展示了内建函数对象及其用途的示例。

函数对象 用途 示例
std::plus 加法操作 std::plus<int>()(2, 3) // 输出:5
std::minus 减法操作 std::minus<int>()(5, 2) // 输出:3
std::multiplies 乘法操作 std::multiplies<int>()(3, 4) // 输出:12
std::divides 除法操作 std::divides<int>()(10, 2) // 输出:5
std::modulus 取模操作 std::modulus<int>()(10, 3) // 输出:1
std::logical_and 逻辑与操作 std::logical_and<bool>()(true, false) // 输出:false
std::logical_or 逻辑或操作 std::logical_or<bool>()(true, false) // 输出:true
std::logical_not 逻辑非操作 std::logical_not<bool>()(true) // 输出:false
std::less 小于比较 std::less<int>()(2, 5) // 输出:true
std::less_equal 小于等于比较 std::less_equal<int>()(5, 5) // 输出:true
std::greater 大于比较 std::greater<int>()(5, 2) // 输出:true
std::greater_equal 大于等于比较 std::greater_equal<int>()(5, 5) // 输出:true
std::equal_to 相等比较 std::equal_to<int>()(2, 2) // 输出:true
std::not_equal_to 不等比较 std::not_equal_to<int>()(2, 5) // 输出:true
【版权声明】本文为华为云社区用户原创内容,转载时必须标注文章的来源(华为云社区)、文章链接、文章作者等基本信息, 否则作者和本社区有权追究责任。如果您发现本社区中有涉嫌抄袭的内容,欢迎发送邮件进行举报,并提供相关证据,一经查实,本社区将立刻删除涉嫌侵权内容,举报邮箱: cloudbbs@huaweicloud.com
  • 点赞
  • 收藏
  • 关注作者

评论(0

0/1000
抱歉,系统识别当前为高风险访问,暂不支持该操作

全部回复

上滑加载中

设置昵称

在此一键设置昵称,即可参与社区互动!

*长度不超过10个汉字或20个英文字符,设置后3个月内不可修改。

*长度不超过10个汉字或20个英文字符,设置后3个月内不可修改。