如何解决将左值到右值转换应用于变量 `x` 不会在下面的代码中产生常量表达式为什么?
以下代码段由 Hubert Tong 从 DR 2083 获得。
extern int globx;
int main() {
const int &x = globx;
struct A {
const int *foo() { return &x; }
} a;
return *a.foo();
}
然后作者写道:
x
满足出现在常量表达式中的要求,
但是将左值到右值的转换应用到 x
不会产生
常量表达式。
为什么将左值到右值转换应用于 x
不会产生常量表达式?
解决方法
将左值到右值转换应用于 x
读取可变全局变量 globx
的值,这使得它不是常量表达式,因为 globx
的值受制于更改(并且,即使它是 const
,也会存在编译时不知道其值的问题)。当然,这并不奇怪:没有人会期望 int{x}
是一个常量表达式。 DR 指出,尽管如此,这个事实应该不会导致 x
的 odr 使用,因此代码应该是格式良好的:由于 x
具有常量初始化,编译器可以只翻译 {{ 1}} 到 &x
。
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。