总结prvalue 只是给旧 rvalue 换了个更精确的名字xvalue 是为了给被显式标记为可移动的真实对象一个合法席位而生的新类别。C98/03 时代的分类只有两种lvalue和rvalue。“prvalue” 这个名字并不存在——它和 xvalue 一样都是 C11 新造的术语。C11 把旧的 rvalue 概念拆分并重组成了五类体系旧的 rvalue 大致对应新的prvalue纯右值而xvalue将亡值是真正的新增类别。为什么需要 xvalue根本原因是移动语义的引入。考虑这个表达式std::string shello;std::string tstd::move(s);std::move(s)的返回类型是std::string它带来了一个旧分类体系无法描述的东西它有身份identity——它指向的就是s这个真实存在的、有名字的对象不是临时量。从这个角度看它像 lvalue。但它又应该允许被移动——重载决议时它要绑定到T参数、优先匹配移动构造函数。从这个角度看它像 rvalue。旧的二分法里没有既有身份、又可被移动的位置于是标准委员会N3055 提案按两个正交属性重新划分有身份无身份不可移动lvalue—不存在可移动xvalueprvalue由此得到两个复合类别glvalue泛左值 lvalue xvalue有身份的表达式rvalue右值 xvalue prvalue可移动的表达式为什么不能把 std::move(s) 直接归为 prvalue因为有没有身份在语义上有实际差别不只是分类学洁癖动态类型glvalue 的动态类型可以和静态类型不同多态对它调用虚函数、用typeid/dynamic_cast都有运行期意义而 prvalue 的动态类型就是静态类型。std::move(base_ref)必须保留多态行为所以它得是 glvalue。decltype 的结果不同decltype对 xvalue 推导出T对 prvalue 推导出T对 lvalue 推导出T——三者必须可区分。不完整类型glvalue 可以指涉不完整类型的对象prvalue在多数上下文不行。临时量生存期规则prvalue 在需要时才物化出临时对象并适用生存期延长规则xvalue 指向的对象生存期由它原本的来源决定std::move并不产生新对象。典型的 xvalue 来源返回T的函数调用std::move、std::forward的部分情形、static_castT(x)、rvalue 对象的非静态成员访问如std::move(s).data等。一句话总结prvalue 只是给旧 rvalue 换了个更精确的名字xvalue 是为了给被显式标记为可移动的真实对象一个合法席位而生的新类别。
总结prvalue 只是给旧 rvalue 换了个更精确的名字xvalue 是为了给被显式标记为可移动的真实对象一个合法席位而生的新类别。C98/03 时代的分类只有两种lvalue和rvalue。“prvalue” 这个名字并不存在——它和 xvalue 一样都是 C11 新造的术语。C11 把旧的 rvalue 概念拆分并重组成了五类体系旧的 rvalue 大致对应新的prvalue纯右值而xvalue将亡值是真正的新增类别。为什么需要 xvalue根本原因是移动语义的引入。考虑这个表达式std::string shello;std::string tstd::move(s);std::move(s)的返回类型是std::string它带来了一个旧分类体系无法描述的东西它有身份identity——它指向的就是s这个真实存在的、有名字的对象不是临时量。从这个角度看它像 lvalue。但它又应该允许被移动——重载决议时它要绑定到T参数、优先匹配移动构造函数。从这个角度看它像 rvalue。旧的二分法里没有既有身份、又可被移动的位置于是标准委员会N3055 提案按两个正交属性重新划分有身份无身份不可移动lvalue—不存在可移动xvalueprvalue由此得到两个复合类别glvalue泛左值 lvalue xvalue有身份的表达式rvalue右值 xvalue prvalue可移动的表达式为什么不能把 std::move(s) 直接归为 prvalue因为有没有身份在语义上有实际差别不只是分类学洁癖动态类型glvalue 的动态类型可以和静态类型不同多态对它调用虚函数、用typeid/dynamic_cast都有运行期意义而 prvalue 的动态类型就是静态类型。std::move(base_ref)必须保留多态行为所以它得是 glvalue。decltype 的结果不同decltype对 xvalue 推导出T对 prvalue 推导出T对 lvalue 推导出T——三者必须可区分。不完整类型glvalue 可以指涉不完整类型的对象prvalue在多数上下文不行。临时量生存期规则prvalue 在需要时才物化出临时对象并适用生存期延长规则xvalue 指向的对象生存期由它原本的来源决定std::move并不产生新对象。典型的 xvalue 来源返回T的函数调用std::move、std::forward的部分情形、static_castT(x)、rvalue 对象的非静态成员访问如std::move(s).data等。一句话总结prvalue 只是给旧 rvalue 换了个更精确的名字xvalue 是为了给被显式标记为可移动的真实对象一个合法席位而生的新类别。
