临时对象最初是 const 吗？

Question

这个代码是 UB 吗？

struct A
{
 void nonconst() {}
};

const A& a = A{};
const_cast<A&>(a).nonconst();

换句话说，（临时）对象最初是const吗？我浏览了标准，但找不到答案，因此希望能引用相关部分的内容。

编辑：对于那些说A{} 不是const 的人，那么你能做到A{}.nonconst() 吗？

Answer 1

临时的类型是你声明它的任何类型。

不幸的是，正如Oliv 在their answer 中指出的那样，引用初始化规则将类型转换为匹配引用类型，因此在这种情况下a 实际上是指const A。基本上是在做

using const_A = const A;
const A& a = const_A{};

---

因为如果您想阻止重载集接受您需要的常量纯右值，您实际上可以创建常量纯右值

ret_type function_name(some_type const&&) = delete;

如果有的话

ret_type function_name(some_type const&)

在重载中设置它，然后如果你只删除常量prvalue就会绑定到它

ret_type function_name(some_type&&)

相反。你可以看到这个使用

struct bar{};

void foo(bar const&) { std::cout << "void foo(bar const&)\n"; }
void foo(bar&&) =delete;

using c_bar = const bar;

int main()
{   
    foo(c_bar{});
}

这里，void foo(bar const&) 被调用，因为 c_bar{} 实际上是 const，而不是如果您使用了 foo(bar{});，则会收到已删除的函数错误。添加

void foo(bar const&&) = delete;

需要真正停止 foo(c_bar{}); 的编译。

Answer 2

引用a的初始化由[dcl.init.ref]/5给出（我的粗体）：

否则，如果初始化表达式

• 是一个右值（但不是位域）[...]

那么在第一种情况下的初始化表达式的值和在第二种情况下的转换结果称为转换后的初始化程序。 如果转换后的初始值设定项是纯右值，则将其类型 T4 调整为类型“cv1 T4” ([conv.qual]) 并应用临时实现转换 ([conv.rval])。 p>

也就是说初始化引用的类型纯右值表达式A{}调整为const A。

然后[conv.rval] 状态：

T 类型的纯右值可以转换为 T 类型的 xvalue。 此转换初始化 T 类型的临时对象 ([class.temporary])。

所以临时对象的类型，绑定到引用上和调整后的prvalue类型一样：const A。

所以代码const_cast<A&>(a).nonconst(); 是未定义的行为。