简历-简历价值资格(重温)

Question

这是我上一个问题的后续，当时的共识是，对pr值的cv限定的处理方式的改变只是一个相当小且无关紧要的改变，旨在解决一些不一致的问题(例如，返回pr值的函数和用cv限定的返回类型声明的函数)。

然而，我在标准中看到了另一个地方，它似乎依赖于具有cv限定类型的prvalues：通过临时的具体化转换初始化＜code＞const＜/code＞引用prvalues。相关措辞可在9.3.3/5中的多个位置找到

[...]如果转换后的初始值设定项是 prvalue，则将其类型 T4 调整为类型“cv1 T4”（[conv.qual]），并应用临时具体化转换 （[conv.rval]）[...]

[...]否则，初始值设定项表达式将隐式转换为类型为“cv1 T1”的 prvalue。应用临时具体化转换，并将引用绑定到结果。

目的显然是确保当我们到达实际的临时物化转换时

7.3.4临时物化转换＜br＞1 T类型的prvalue可以转换为T类型的xvalue。这种转换通过使用临时对象作为结果对象对prvalue进行求值，从prvalue初始化T类型的临时对象（〔class.temorary〕），并生成表示临时对象的x值。[...]

它作为输入接收的类型 T 包括所需的 cv 资格。

但在非类非数组prvalue的情况下，cv限定如何在7.2.2/2中存活？

7.2.2 类型
2 如果 prvalue 最初具有类型“cv T”，其中 T 是 cv 非限定的非类、非数组类型，则在进行任何进一步分析之前，表达式的类型将调整为 T。

是吗？

E、 在这个例子中我们得到了什么样的临时性

const int &r = 42;

临时const是不是？我们可以做

const_cast<int &>(r) = 101; // Undefined or not?

而不会触发未定义的行为？如果我没有弄错的话，最初的意图是在这种情况下获得一个＜code＞const int＜/code＞临时值。这仍然是真的吗？（对于类类型，答案很清楚-我们得到了一个＜code＞常量＜/code＞临时值。）

Answer 1

你为什么怀疑7.2.2的语言？这似乎非常明确地表明，cv限定符在非类、非数组的 prvalue 上被丢弃，因此临时具体化中的类型 T 是非常量、非易失性类型。

如果不是这样的话，那么您将无法将prvalues绑定到非常量右值引用。然而，该标准似乎极有可能接受这样的项目：

#include <type_traits>

template<typename T> void
f(T &&t)
{
  static_assert(std::is_same_v<decltype(t), int&&>);
  ++t;
}

int
main()
{
  f(5);
}