2021-02-23 05:05:22 +08:00
[#]: collector: (lujun9972)
2021-05-17 10:23:51 +08:00
[#]: translator: (mengxinayan)
2021-02-23 05:05:22 +08:00
[#]: reviewer: ( )
[#]: publisher: ( )
[#]: url: ( )
[#]: subject: (A friendly guide to the syntax of C++ method pointers)
[#]: via: (https://opensource.com/article/21/2/ccc-method-pointers)
[#]: author: (Stephan Avenwedde https://opensource.com/users/hansic99)
2021-06-07 14:50:21 +08:00
C++ 类成员函数指针语法的友好指南
2021-02-23 05:05:22 +08:00
======
2021-06-07 14:50:21 +08:00
一旦您理解了一般原则, C++ 类成员函数指针不再那么令人生畏。
2021-02-23 05:05:22 +08:00
2021-06-07 14:50:21 +08:00
![Person drinking a hot drink at the computer][1]
2021-02-23 05:05:22 +08:00
2021-06-07 14:50:21 +08:00
如果您正在寻找性能、复杂性或许多可能的解决方法来解决问题,那么 [C++][2] 总是一个很好的选择。当然,功能通常伴随着复杂性,但是一些 C++ 的特性几乎难以分辨。根据我的观点, C++ 的 [类成员函数指针 ](3 ) 也许是我接触过的最复杂的表达式,但是我会先从一些较简单的开始。
2021-02-23 05:05:22 +08:00
2021-06-07 14:50:21 +08:00
文章中的例子可以在我的 [Github 仓库][4] 里找到。
2021-02-23 05:05:22 +08:00
2021-06-07 14:50:21 +08:00
### C 语言:函数指针
2021-02-23 05:05:22 +08:00
2021-06-07 14:50:21 +08:00
让我们先从一些基础开始:假设您有一个函数接收两个整数作为参数返回一个整数:
2021-02-23 05:05:22 +08:00
2021-06-07 14:50:21 +08:00
```c
int sum(int a, int b) {
return a+b;
2021-02-23 05:05:22 +08:00
}
```
2021-06-07 14:50:21 +08:00
在纯 C 语言中,您可以创建一个指向这个函数的指针,将其分配给您的 `sum(...)` 函数,通过解引用来调用它。函数的签名(参数、返回类型)必须符合指针的签名。除此之外,一个函数指针表现和普通的指针相同:
2021-02-23 05:05:22 +08:00
2021-06-07 14:50:21 +08:00
```c
2021-02-23 05:05:22 +08:00
int (*funcPtrOne)(int, int);
2021-06-07 14:50:21 +08:00
funcPtrOne = ∑
2021-02-23 05:05:22 +08:00
int resultOne = funcPtrOne(2, 5);
```
2021-06-07 14:50:21 +08:00
如果您使用指针作为参数并返回一个指针,这会显得很丑陋:
2021-02-23 05:05:22 +08:00
2021-06-07 14:50:21 +08:00
```c
2021-02-23 05:05:22 +08:00
int *next(int *arrayOfInt){
2021-06-07 14:50:21 +08:00
return ++arrayOfInt;
2021-02-23 05:05:22 +08:00
}
int *(*funcPtrTwo)(int *intPtr);
2021-06-07 14:50:21 +08:00
funcPtrTwo = &next;
2021-02-23 05:05:22 +08:00
2021-06-07 14:50:21 +08:00
int resultTwo = *funcPtrTwo(&array[0]);
2021-02-23 05:05:22 +08:00
```
2021-06-07 14:50:21 +08:00
C 语言中的函数指针存储着子程序的地址。
2021-02-23 05:05:22 +08:00
2021-06-07 14:50:21 +08:00
### 指向类成员函数的指针
2021-02-23 05:05:22 +08:00
2021-06-07 14:50:21 +08:00
让我们来进入 C++:好消息是您也许不需要使用类成员函数指针,除非在一个特别罕见的情况下,像接下来的例子。首先,您已经知道定义一个类和其中一个成员函数:
2021-02-23 05:05:22 +08:00
2021-06-07 14:50:21 +08:00
```cpp
2021-02-23 05:05:22 +08:00
class MyClass
{
public:
2021-06-07 14:50:21 +08:00
int sum(int a, int b) {
return a+b;
}
2021-02-23 05:05:22 +08:00
};
```
2021-06-07 14:50:21 +08:00
#### 1\. 定义一个指针指向某一个类中一个成员函数
2021-02-23 05:05:22 +08:00
2021-06-07 14:50:21 +08:00
声明一个指针指向 `MyClass` 类成员函数。在此时,您并不知道想调用的具体函数。您仅仅声明了一个指向 `MyClass` 类中任意成员函数的指针。当然,签名(参数、返回值类型)需要匹配您接下想要调用的 `sum(...)` 函数:
2021-02-23 05:05:22 +08:00
2021-06-07 14:50:21 +08:00
```cpp
int (MyClass::*methodPtrOne)(int, int);
2021-02-23 05:05:22 +08:00
```
2021-06-07 14:50:21 +08:00
#### 2\. 赋值给一个具体的函数
2021-02-23 05:05:22 +08:00
2021-06-07 14:50:21 +08:00
为了和 C 语言(或者 [静态成员函数][5])对比,类成员函数指针不需要指向绝对地址。在 C++ 中, 每一个类中都有一个虚拟函数表( vtable) 用来储存每个成员函数的地址偏移量。一个类成员函数指针指向 vtable 中的某个条目,因此它也只存储偏移值。这样的原则使得 [多态][6] 变得可行。
2021-02-23 05:05:22 +08:00
2021-06-07 14:50:21 +08:00
因为 `sum(...)` 函数的签名和您的指针声明匹配,您可以赋值签名给它:
2021-02-23 05:05:22 +08:00
2021-06-07 14:50:21 +08:00
```cpp
methodPtrOne = &MyClass::sum;
2021-02-23 05:05:22 +08:00
```
2021-06-07 14:50:21 +08:00
#### 3\. 调用成员函数
2021-02-23 05:05:22 +08:00
2021-06-07 14:50:21 +08:00
如果您想使用指针调用一个类成员函,您必须提供一个类的实例:
2021-02-23 05:05:22 +08:00
2021-06-07 14:50:21 +08:00
```cpp
2021-02-23 05:05:22 +08:00
MyClass clsInstance;
int result = (clsInstance.*methodPtrOne)(2,3);
```
2021-06-07 14:50:21 +08:00
您可以使用 `.` 操作符来访问,使用 `*` 对指针解引用,通过提供两个整数作为调用函数时的参数。这是丑陋的,对吧?但是您可以进一步应用。
2021-02-23 05:05:22 +08:00
2021-06-07 14:50:21 +08:00
### 在类内使用类成员函数指针
2021-02-23 05:05:22 +08:00
2021-06-07 14:50:21 +08:00
假设您正在创建一个带有后端和前端的 [客户端/服务器][7] 原理架构的应用程序。您现在并不需要关心后端,相反的,您将基于 C++ 类的前端。前端依赖于后端提供的数据完成初始化,所以您需要一个额外的初始化机制。同时,您希望通用地实现此机制,以便将来可以使用其他初始化函数(可能是动态的)来拓展您的前端。
2021-02-23 05:05:22 +08:00
2021-06-07 14:50:21 +08:00
首先定义一个数据类型用来存储初始化函数(`init`)的指针,同时描述何时应调用此函数的信息(`ticks`) :
2021-02-23 05:05:22 +08:00
2021-06-07 14:50:21 +08:00
```cpp
template< typename T >
2021-02-23 05:05:22 +08:00
struct DynamicInitCommand {
2021-06-07 14:50:21 +08:00
void (T::*init)(); // 指向额外的初始化函数
unsigned int ticks; // 在 init() 调用后 ticks 的数量
2021-02-23 05:05:22 +08:00
};
```
2021-06-07 14:50:21 +08:00
下面一个 `Frontend` 类示例代码:
2021-02-23 05:05:22 +08:00
2021-06-07 14:50:21 +08:00
```cpp
class Frontend
2021-02-23 05:05:22 +08:00
{
public:
2021-06-07 14:50:21 +08:00
Frontend(){
DynamicInitCommand< Frontend > init1, init2, init3;
init1 = { & Frontend::dynamicInit1, 5};
init2 = { & Frontend::dynamicInit2, 10};
init3 = { & Frontend::dynamicInit3, 15};
m_dynamicInit.push_back(init1);
m_dynamicInit.push_back(init2);
m_dynamicInit.push_back(init3);
}
void tick(){
std::cout < < "tick: " < < ++m_ticks < < std::endl ;
/* 检查延迟初始化 */
std::vector< DynamicInitCommand < Frontend > >::iterator it = m_dynamicInit.begin();
while (it != m_dynamicInit.end()){
if (it->ticks < m_ticks ) {
if(it->init)
((*this).*(it->init))(); // 这里是具体调用
it = m_dynamicInit.erase(it);
} else {
it++;
}
}
}
unsigned int m_ticks{0};
2021-02-23 05:05:22 +08:00
private:
2021-06-07 14:50:21 +08:00
void dynamicInit1(){
std::cout < < "dynamicInit1 called" < < std::endl ;
};
2021-02-23 05:05:22 +08:00
2021-06-07 14:50:21 +08:00
void dynamicInit2(){
std::cout < < "dynamicInit2 called" < < std::endl ;
}
2021-02-23 05:05:22 +08:00
2021-06-07 14:50:21 +08:00
void dynamicInit3(){
std::cout < < "dynamicInit3 called" < < std::endl ;
}
2021-02-23 05:05:22 +08:00
2021-06-07 14:50:21 +08:00
unsigned int m_initCnt{0};
std::vector< DynamicInitCommand < Frontend > > m_dynamicInit;
2021-02-23 05:05:22 +08:00
};
```
2021-06-07 14:50:21 +08:00
在 `Frontend` 完成实例化后,`tick()` 函数会被后端以固定的时间时间调用。例如,您可以每 200 毫秒调用一次:
2021-02-23 05:05:22 +08:00
2021-06-07 14:50:21 +08:00
```cpp
int main(int argc, char* argv[]){
Frontend frontendInstance;
2021-02-23 05:05:22 +08:00
2021-06-07 14:50:21 +08:00
while(true){
frontendInstance.tick(); // 仅用于模拟目的
std::this_thread::sleep_for(std::chrono::milliseconds(200));
}
2021-02-23 05:05:22 +08:00
}
```
2021-06-07 14:50:21 +08:00
`Fronted` 有三个额外的初始化函数,它们必须根据 `m_ticks` 的值来选择调用哪个。在 tick 等于何值调用哪个初始化函数的信息存储在数组 `m_dynamicInit` 中。在构造函数(`Frontend()`)中,将此信息附加到数组中,以便在 5、10 和 15 个 tick 后调用其他初始化函数。当后端调用 `tick()` 函数时,`m_ticks` 值会递增,同时遍历数组 `m_dynamicInit` 以检查是否必须调用初始化函数。
2021-02-23 05:05:22 +08:00
2021-06-07 14:50:21 +08:00
如果是这种情况,则必须通过引用 `this` 指针来取消引用成员函数指针:
2021-02-23 05:05:22 +08:00
```
2021-06-07 14:50:21 +08:00
((*this).*(it->init))()
2021-02-23 05:05:22 +08:00
```
2021-06-07 14:50:21 +08:00
### 总结
2021-02-23 05:05:22 +08:00
2021-06-07 14:50:21 +08:00
如果您并不熟悉类成员函数指针,它们可能会显得有些复杂。我做了很多尝试和经历了很多错误,花了一些时间来找到正确的语法。然而,一旦你理解了一般原理后,方法指针就变得不那么可怕了。
2021-02-23 05:05:22 +08:00
2021-06-07 14:50:21 +08:00
这是迄今为止我在 C++ 中发现的最复杂的语法。 您还知道更糟糕的吗? 在评论中发布您的观点!
2021-02-23 05:05:22 +08:00
--------------------------------------------------------------------------------
via: https://opensource.com/article/21/2/ccc-method-pointers
作者:[Stephan Avenwedde][a]
选题:[lujun9972][b]
2021-05-17 10:23:51 +08:00
译者:[萌新阿岩](https://github.com/mengxinayan)
2021-02-23 05:05:22 +08:00
校对:[校对者ID](https://github.com/校对者ID)
本文由 [LCTT ](https://github.com/LCTT/TranslateProject ) 原创编译,[Linux中国](https://linux.cn/) 荣誉推出
[a]: https://opensource.com/users/hansic99
[b]: https://github.com/lujun9972
[1]: https://opensource.com/sites/default/files/styles/image-full-size/public/lead-images/coffee_tea_laptop_computer_work_desk.png?itok=D5yMx_Dr (Person drinking a hot drink at the computer)
[2]: https://en.wikipedia.org/wiki/C++
[3]: https://en.wikipedia.org/wiki/Function_pointer#Method_pointers
[4]: https://github.com/hANSIc99/worst_possible_syntax
[5]: https://en.wikipedia.org/wiki/Static_(keyword)#Static_method
[6]: https://en.wikipedia.org/wiki/Dynamic_dispatch
[7]: https://en.wikipedia.org/wiki/Client%E2%80%93server_model