为何C++中非静态成员函数表达式o.f/o->f是prvalue？

问题背景 #

我想了解在C++中，当o为对象、f为非静态成员函数时，表达式o.f和o->f被归为prvalue的根本原因。

补充思考（编辑1） #

我认为将其划分为prvalue类别像是一种临时决定，因为它虽不完全具备lvalue的全部特性，但也并非完全的rvalue：

• 普通函数g不可赋值，这与非静态成员函数f一致；
• 二者的地址都可被某种程度上获取——尽管成员函数指针无需存储地址，但这两种操作在语义上相近。注：后续评论指出，获取的并非o.f或o->f的地址
• 成员函数无法初始化左值引用，那它理应能初始化右值引用，但实际可行吗？

这种情况很奇怪：就第一点而言，根据定义只有可修改的lvalue才可赋值，因此这种“不可赋值性”并未违背lvalue的特性。但在第三点中，所有prvalue都应能初始化右值引用，而成员函数似乎做不到。

进一步诉求（编辑2） #

我尤其关注来自标准委员会成员的论证文档之类的资料，以明确该规则的制定缘由。

或许我的想法完全错误，但我设想过一套假设规则，可让o.f遵循lvalue的所有行为。我们仅在函数调用时才需要绑定对象，而从技术上讲，程序中成员函数仍只有一个定义。除调用时需为隐式对象参数（implicit object parameter）提供实参外，我们不能将非静态成员函数指针完全视为普通函数指针，这似乎有些随意。

解答 #

1. 核心语义：成员函数表达式并非“可引用实体” #

非静态成员函数是类的共享代码实体，但o.f这类表达式并非指向某个可持久存在的“函数实例”——它本质是为后续调用准备的、绑定了对象上下文的函数语义载体，而非一个能被左值引用绑定的、有固定内存地址的实体。

C++标准中prvalue的定义是“用于初始化对象或计算操作数的值”，o.f的核心作用就是提供“绑定了对象的调用能力”，而非作为可被引用的左值存在。

2. 标准委员会的设计考量 #

从C++标准演化的相关文档来看，该规则的制定是为了消除语义歧义：

• 若将o.f视为lvalue，它需要具备“可取地址”的特性，但&o.f生成的是成员函数指针（本质是类型信息+偏移量，而非传统内存地址），这与左值“地址指向具体内存位置”的语义冲突。
• 非静态成员函数必须依赖对象实例调用，若o.f是lvalue，易误导开发者将其视为独立函数实体，忽略其对对象的依赖，引发语义误解。

3. 关于右值引用初始化的疑问 #

你提到的“prvalue应能初始化右值引用但成员函数做不到”，本质是因为成员函数表达式属于函数类型的prvalue，而C++中函数类型的右值引用是特殊情况：标准不允许直接绑定函数类型的prvalue到右值引用——因为函数实体本身是静态存在的，不存在临时函数对象。这并非o.f作为prvalue的例外，而是函数类型本身的特性。

4. 假设规则的技术障碍 #

你设想的“让o.f遵循lvalue行为”存在本质矛盾：

• 成员函数与对象的绑定是在调用阶段完成的，o.f本身并不存储对象信息。若将其视为lvalue，这个“lvalue”需要携带对象的引用/指针，这与成员函数“类共享代码”的本质冲突。
• 成员函数指针的语义已独立于对象实例，若o.f作为lvalue，会混淆“成员函数本身”和“绑定对象的调用器”的概念，大幅增加语言复杂度。

内容的提问来源于stack exchange，提问作者Anton Tretyakov