C++ | 函数对象(仿函数)与pair类型初探

举报
mindtechnist 发表于 2023/05/11 13:55:40 2023/05/11
【摘要】 C++ | 函数对象(仿函数)与pair类型初探

前言

STL容器中有一种集合容器set,set容器内部元素唯一并按照一定规则顺序排列。下面将通过set容器装入基本数据类型和类对象的实例,在程序中一步步分析函数对象的本质和使用方法,并延伸出自己在学习STL时的一些心得体会。

话题引出:set容器自动排序的实现

我们首先定义一个int类型的set容器,并放入int类型数据

1. #define _CRT_SECURE_NO_WARNINGS
2. #include <iostream>
3. using namespace std;
4. 
5. #include <set>
6. 
7. //存入基本数据类型
8. void FuncTest1()
9. {
10.     set<int, less<int>> s1;
11. 
12.     int temp;
13.     cout << "输入set的值:";
14.     cin >> temp;
15.     while (temp != EOF)
16.     {
17.         s1.insert(temp);
18.         cout << "输入set的值:";
19.         cin >> temp;
20.     }
21. 
22.     for (set<int, less<int>>::iterator it = s1.begin(); it != s1.end(); it++)
23.     {
24.         cout << *it << " ";
25.     }
26.     cout << endl;
27. 
28.     cout << "s1长度:" << s1.size() << endl;
29. 
30.     while (!s1.empty())
31.     {
32.         cout << *s1.begin() << " ";
33.         s1.erase(s1.begin());
34.     }
35.     cout << endl;
36. 
37.     s1.clear();
38.     cout << "s1长度:" << s1.size() << endl;
39. }
40. 
41. int main()
42. {
43.     FuncTest1();
44. 
45.     system("pause");
46.     return 0;
47. }

通过程序运行结果,我们可以初步了解到set容器元素唯一和自动排序的特性。那么有一个问题,set自动排序的规则是怎么确定的,这个规则是否可以由我们自己制定呢?

我们默认情况下定义一个容器

set<int> s;

它实际上是

set<int, less<int>> s;

这里的less就是一个函数对象,它规定了这个set容器内部排序规则为从小到大排序,实际上在set容器种装入元素时,他会首先进入less这个函数,满足规则才放入元素并根据规则存放,不满规则(重复数据)就放入失败,这个在后面会说。

这样,在set容器放入int型数据,实现自动排序的机制我们就了解了,他是采用了一个类似于回调函数的方式实现的。那么新的问题又出现了,当我放入一个int型数据的时候,set默认知道如何排序,那我们放入一个既有int数据又有字符串以及更复杂的数据类型时,set能否自动排序呢?我们通过下面的例子分析。

set容器装入类对象元素

首先我们定义一个类MyString

1. class MyString
2. {
3. public:
4.  MyString(const char* str)
5.  {
6.      if (str == NULL)
7.      {
8.          throw "str == NULL";
9.      }
10.         this->len = strlen(str);
11.         this->str = new char[this->len + 1];
12.         strcpy(this->str, str);
13.     }
14.     MyString(const MyString& s) //必须加const
15.     {
16.         this->len = s.len;
17.         this->str = new char[this->len + 1];
18.         strcpy(this->str, s.str);
19.     }
20.     ~MyString()
21.     {
22.         if (this->str != NULL)
23.         {
24.             delete[] this->str;
25.             this->str = NULL;
26.         }
27.         this->len = 0;
28.     }
29. public:
30.     friend ostream& operator<<(ostream& out, MyString s);
31. public:
32.     int     len;
33.     char*   str;
34. };
35. 
36. ostream& operator<<(ostream& out, MyString s)
37. {
38.     out << "string: " << s.str << "\t" << "strlen: " << s.len << endl;
39.     return out;
40. }

这个类中包含两个成员,长度和字符串内容。这里需要注意一点,因为容器执行的是值拷贝,也就是把一个对象元素拷贝到容器中,所以在类中必须自定义一个拷贝构造函数,以免出现浅拷贝问题,并且装入set容器中的数据必须可以被拷贝(含有拷贝构造函数)。

定义好类后,我们在测试函数中放入类对象

1. void FuncTest2()
2. {
3.     set<MyString> s;     
4. 
5.  MyString s1("ccc");
6. 
7.  s.insert(s1);
8. }
9. 
10. int main()
11. {
12. system("pause");
13. return 0;
14. }

编译程序,发现编译器报错

image

我们双击错误提示定义到错误位置

image

 我们发现错误被定位到了xstddef文件的第127行,这根本就不是我们自己的cpp文件,我们仔细看这段代码可以发现,原来这就是我们上面提到的

set<int, less<int>> s;

中的函数对象less的实现,我们可以猜测这应该STL的源码,分析这段源码可以看到,less函数有两个参数left和right,返回值是一个bool类型,该函数返回两个参数的比较结果,由此可以看出,这个比较规则并不能对我们的MyString类对象进行比较,因为他不知道是比较对象的len成员还是str成员。那么我们就可以自己定义一个函数对象来实现MyString类对象的比较规则,首先介绍函数对象的定义。

函数对象(仿函数)

在C语言中,我们可以通过函数指针做函数参数来实现C语言风格的回调函数,在回调函数中实现自己需要的回调行为,在C++中还提供了另一种实现回调函数的方法,就是函数对象,也叫仿函数。

函数对象就是一个重载了函数调用操作符的类所定义的对象 ,该类对象表现出类似于函数调用的一个行为,通过函数对象可以实现自定义的回调行为。总之,函数对象类似于函数的功能,其实质就是一个回调函数,会在适当时机进行调用,并执行预定义的规则。下面将通过自定义一个函数对象,一步一步的分析函数对象及调用时机。

自定义函数对象实现MyString对象的排序规则

STL提供的默认排序机制less并不能对我们的MyString类对象进行排序,也就是函数对象less提供的排序机制不知道我们自定义的数据该如何排序。初次接触,我们可能并不知道如何定义一个函数对象的接口,它的返回值,参数等。这时我们可以通过VS的转到定义功能来查看源码,源码是最好的书籍和实例。less函数对象的源码如下:

1. /*此为源码*/
2. // STRUCT TEMPLATE less
3. template <class _Ty = void>
4. struct less {
5.     _CXX17_DEPRECATE_ADAPTOR_TYPEDEFS typedef _Ty first_argument_type;
6.     _CXX17_DEPRECATE_ADAPTOR_TYPEDEFS typedef _Ty second_argument_type;
7.     _CXX17_DEPRECATE_ADAPTOR_TYPEDEFS typedef bool result_type;
8. 
9. constexpr bool operator()(const _Ty& _Left, const _Ty& _Right) const {
10. return _Left < _Right;
11.     }
12. };

我们可以模仿less实现一个简单的函数对象

1. struct StringFunc //可参考源码模仿
2. {
3.  //重载函数调用操作符,实现string类的排序功能
4.  constexpr bool operator()(const MyString& s1, const MyString& s2) const
5.  {
6.      if (s1.len < s2.len)
7.      {
8.          return true;
9.      }
10.         else
11.         {
12.             return false;
13.         }
14.     }
15. };

我们的规则是按照字符串的长度进行排序,使用我们自定义的函数对象定义一个容器

1. void FuncTest2()
2. {
3.  set<MyString, StringFunc> s;
4. 
5.  MyString s1("ccc");
6.  MyString s2("a");
7.  MyString s3("dddd");
8.  MyString s4("bb");
9.  MyString s5("eeeee");
10.     MyString s6("e");
11. 
12.     s.insert(s1);
13.     s.insert(s2);
14.     s.insert(s3);
15.     s.insert(s4);
16.     s.insert(s5);
17.     s.insert(s6);
18. 
19.     for (set<MyString, StringFunc>::iterator it = s.begin(); it != s.end(); it++)
20.     {
21.         cout << *it;
22.     }
23. }

编译运行

image

 我们看到打印结果,字符串按照长度进行了顺序排列,且长度相同的元素s6没有插入到容器中。这时候,我们又发现一个新问题,s6是没有插入还是插入后被覆盖了,又或者是其他什么情况导致他没有进入容器,那么我们定义的StringFunc是在什么时候调用的呢?

insert函数返回值、pair类型、以及函数对象调用时机

点击insert,转到定义,可以看到insert函数的原型

1. /*此为源码*/
2. template <bool _Multi2 = _Multi, enable_if_t<!_Multi2, int> = 0>
3.     pair<iterator, bool> insert(const value_type& _Val) {
4. const auto _Result = _Emplace(_Val);
5. return {iterator(_Result.first, _Get_scary()), _Result.second};
6.     }

我们看到insert这个函数是有返回值的,它返回一个pair。pair是一个对组,它将两个值放在一起当作一个单位使用,两个值可以是相同类型,也可以是不同类型。这里insert函数返回的一个是迭代器,一个是bool类型。我们可以通过pair的第二个值来判断插入是否成功。

我们把代码升级一下,通过一个pair变量来判断插入是否成功

1. void FuncTest2()
2. {
3.  set<MyString, StringFunc> s;
4. 
5.  MyString s1("ccc");
6.  MyString s2("a");
7.  MyString s3("dddd");
8.  MyString s4("bb");
9.  MyString s5("eeeee");
10.     MyString s6("e");
11. 
12.     s.insert(s1);
13.     pair<set<MyString, StringFunc>::iterator, bool> my_pair;
14.     my_pair = s.insert(s2); 
15.     if (my_pair.second == true)
16.     {
17.         cout << "insert success" << "\t" << *(my_pair.first);
18.     }
19.     else
20.     {
21.         cout << "insert failed" << endl;
22.     }
23.     s.insert(s3);
24.     s.insert(s4);
25.     s.insert(s5);
26.     my_pair = s.insert(s6);
27.     if (my_pair.second == true)
28.     {
29.         cout << "insert success" << "\t" << *(my_pair.first);
30.     }
31.     else
32.     {
33.         cout << "insert failed" << endl;
34.     }
35. 
36.     for (set<MyString, StringFunc>::iterator it = s.begin(); it != s.end(); it++)
37.     {
38.         cout << *it;
39.     }
40. }

我们在

my_pair = s.insert(s2);

处加一个断点,开始调试。通过单步调试可以看到,在插入元素前会先进入函数对象StringFunc所重载的()操作符函数中,如果插入成功,再去执行MyString的拷贝构造函数,把元素拷贝到容器中;如果返回false即容器中已经有同样长度(不符合规则)的元素,那么就不再执行拷贝构造函数复制元素了。

image

总结

学习STL遇到不认识的类型,不会的语法,可以通过VS的转到定义功能去查看源码。另外一定要多实践,把程序加断点一步一步的调试,观察程序每一步的行为,这样才能深刻理解C++程序和编译器的每一步行为。学习最重要的不是知识点本身,而是学习的方法和对待问题形成自己的理解。最后贴上完整程序:

1. #define _CRT_SECURE_NO_WARNINGS
2. #include <iostream>
3. using namespace std;
4. 
5. #include <set>
6. 
7. //存入基本数据类型
8. void FuncTest1()
9. {
10.     set<int, less<int>> s1;
11. 
12.     int temp;
13.     cout << "输入set的值:";
14.     cin >> temp;
15.     while (temp != EOF)
16.     {
17.         s1.insert(temp);
18.         cout << "输入set的值:";
19.         cin >> temp;
20.     }
21. 
22.     for (set<int, less<int>>::iterator it = s1.begin(); it != s1.end(); it++)
23.     {
24.         cout << *it << " ";
25.     }
26.     cout << endl;
27. 
28.     cout << "s1长度:" << s1.size() << endl;
29. 
30.     while (!s1.empty())
31.     {
32.         cout << *s1.begin() << " ";
33.         s1.erase(s1.begin());
34.     }
35.     cout << endl;
36. 
37.     s1.clear();
38.     cout << "s1长度:" << s1.size() << endl;
39. }
40. 
41. class MyString
42. {
43. public:
44.     MyString(const char* str)
45.     {
46.         if (str == NULL)
47.         {
48.             throw "str == NULL";
49.         }
50.         this->len = strlen(str);
51.         this->str = new char[this->len + 1];
52.         strcpy(this->str, str);
53.     }
54.     MyString(const MyString& s) //必须加const
55.     {
56.         this->len = s.len;
57.         this->str = new char[this->len + 1];
58.         strcpy(this->str, s.str);
59.     }
60.     ~MyString()
61.     {
62.         if (this->str != NULL)
63.         {
64.             delete[] this->str;
65.             this->str = NULL;
66.         }
67.         this->len = 0;
68.     }
69. public:
70.     friend ostream& operator<<(ostream& out, MyString s);
71. public:
72.     int     len;
73.     char*   str;
74. };
75. 
76. ostream& operator<<(ostream& out, MyString s)
77. {
78.     out << "string: " << s.str << "\t" << "strlen: " << s.len << endl;
79.     return out;
80. }
81. 
82. //定义一个仿函数
83. /*
84. template <class _Ty = void>
85. struct less {
86.     _CXX17_DEPRECATE_ADAPTOR_TYPEDEFS typedef _Ty first_argument_type;
87.     _CXX17_DEPRECATE_ADAPTOR_TYPEDEFS typedef _Ty second_argument_type;
88.     _CXX17_DEPRECATE_ADAPTOR_TYPEDEFS typedef bool result_type;
89. 
90.     constexpr bool operator()(const _Ty& _Left, const _Ty& _Right) const {
91.         return _Left < _Right;
92.     }
93. };
94. */
95. struct StringFunc //可参考源码模仿
96. {
97.     //重载函数调用操作符,实现string类的排序功能
98.     constexpr bool operator()(const MyString& s1, const MyString& s2) const
99.     {
100.        if (s1.len < s2.len)
101.        {
102.            return true;
103.        }
104.        else
105.        {
106.            return false;
107.        }
108.    }
109. };
110. 
111. void FuncTest2()
112. {
113.    set<MyString, StringFunc> s;
114.    //set<MyString> s; //不知道该如何排序
115.    //错误    C2676   二进制“ < ”:“const _Ty”不定义该运算符或到预定义运算符可接收的类型的转换    
116. 
117.    MyString s1("ccc");
118.    MyString s2("a");
119.    MyString s3("dddd");
120.    MyString s4("bb");
121.    MyString s5("eeeee");
122.    MyString s6("e");
123. 
124.    s.insert(s1);
125.    /*
126.    template <bool _Multi2 = _Multi, enable_if_t<!_Multi2, int> = 0>
127.    pair<iterator, bool> insert(const value_type& _Val) {
128.        const auto _Result = _Emplace(_Val);
129.        return {iterator(_Result.first, _Get_scary()), _Result.second};
130.    }
131.    */
132.    pair<set<MyString, StringFunc>::iterator, bool> my_pair;
133.    my_pair = s.insert(s2); //先调用(),再调用拷贝构造函数
134.    if (my_pair.second == true)
135.    {
136.        cout << "insert success" << "\t" << *(my_pair.first);
137.    }
138.    else
139.    {
140.        cout << "insert failed" << endl;
141.    }
142.    s.insert(s3);
143.    s.insert(s4);
144.    s.insert(s5);
145.    my_pair = s.insert(s6);
146.    if (my_pair.second == true)
147.    {
148.        cout << "insert success" << "\t" << *(my_pair.first);
149.    }
150.    else
151.    {
152.        cout << "insert failed" << endl;
153.    }
154. 
155.    for (set<MyString, StringFunc>::iterator it = s.begin(); it != s.end(); it++)
156.    {
157.        cout << *it;
158.    }
159. }
160. 
161. int main()
162. {
163.    //FuncTest1();
164.    FuncTest2();
165. 
166.    system("pause");
167.    return 0;
168. }

【版权声明】本文为华为云社区用户原创内容,转载时必须标注文章的来源(华为云社区)、文章链接、文章作者等基本信息, 否则作者和本社区有权追究责任。如果您发现本社区中有涉嫌抄袭的内容,欢迎发送邮件进行举报,并提供相关证据,一经查实,本社区将立刻删除涉嫌侵权内容,举报邮箱: cloudbbs@huaweicloud.com
  • 点赞
  • 收藏
  • 关注作者

评论(0

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

全部回复

上滑加载中

设置昵称

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

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

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