函数调用求值顺序:指定被调用函数的后缀表达式含义及示例请求
对C++函数调用求值顺序规则的细节解释
先看cppreference中的规则原文:
"调用函数时(无论该函数是否为内联函数,也无论是否使用显式函数调用语法),与任何实参表达式或指定被调用函数的后缀表达式相关的所有值计算和副作用,都在被调用函数体中的每个表达式或语句执行之前进行排序。"
什么是“指定被调用函数的后缀表达式”?
简单来说,不是直接写函数名来调用时,那些用来定位、获取实际要调用的函数/可调用对象的表达式,就是这里说的“指定被调用函数的后缀表达式”。这类表达式的作用是确定“到底调用哪个函数”,规则要求:这些表达式的所有值计算(比如算出函数指针、获取对象成员函数的地址)和副作用(比如修改变量、IO操作),必须严格在被调用函数的代码执行前完成。
示例说明
示例1:通过返回可调用对象的表达式指定函数
#include <iostream> using namespace std; struct CallableProvider { int counter = 0; auto get_callback() { counter++; // 副作用:计数器自增 return []() { cout << "最终被调用的Lambda\n"; }; } }; int main() { CallableProvider provider; provider.get_callback()(); // 执行顺序:先完成provider.get_callback()的求值和副作用(counter变为1),再执行Lambda cout << "counter值:" << provider.counter << endl; // 必然输出1 }
这里provider.get_callback()就是指定被调用函数的后缀表达式——它返回Lambda作为实际要调用的对象,根据规则,它的副作用(counter自增)肯定在Lambda执行前完成。
示例2:通过函数指针表达式指定函数
#include <iostream> using namespace std; void target_func() { cout << "目标函数执行\n"; } void (*get_func_ptr())() { cout << "正在获取函数指针\n"; return &target_func; } int main() { get_func_ptr()(); // 执行顺序:先调用get_func_ptr()输出提示,再调用target_func输出目标函数信息 }
这里get_func_ptr()是用来获取要调用的函数指针的表达式,属于规则中“指定被调用函数的后缀表达式”,它的执行(包括IO输出)必须在target_func执行前完成。
示例3:通过成员函数指针表达式指定函数
#include <iostream> using namespace std; struct MyClass { void print() { cout << "类成员函数执行\n"; } }; void (MyClass::*get_mem_ptr())() { cout << "正在获取成员函数指针\n"; return &MyClass::print; } int main() { MyClass obj; (obj.*get_mem_ptr())(); // 先执行get_mem_ptr()输出提示,再调用obj.print() }
这里get_mem_ptr()用来获取类成员函数的指针,属于指定被调用函数的后缀表达式,它的求值和副作用会先于成员函数print()的执行完成。
内容的提问来源于stack exchange,提问作者Pavel
相关产品推荐
相关产品推荐

