返回对 const 结构的(指针类型)成员的引用:明显的左值到右值的转换
Returning a reference to a const stuct's (pointer-type) member: apparent lvalue to rvalue conversion
鉴于以下代码,GCC 给出了一些意外的错误和警告。我试图通过引用 return 一个结构的成员,它说我 return 是一个临时的!此外,在尝试修复此功能时,它会抱怨值类别转换错误?在任何情况下,据我所知,对左值对象的成员访问应该产生一个左值,所以这段代码应该首先起作用。怎么了?
代码:(live on Coliru)
const struct {
int* iptr = nullptr;
} cnst_struct;
const int* const& return_temporary_warning() {
return cnst_struct.iptr;
}
const int*& value_cat_convert_error() {
return cnst_struct.iptr;
}
生成 (GCC):
main.cpp: In function 'const int* const& return_temporary_warning()':
main.cpp:8:24: warning: returning reference to temporary [-Wreturn-local-addr]
return cnst_struct.iptr;
^~~~
main.cpp: In function 'const int*& value_cat_convert_error()':
main.cpp:16:24: error: cannot bind non-const lvalue reference of type 'const int*&' to an rvalue of type 'const int*'
return cnst_struct.iptr;
~~~~~~~~~~~~^~~~
通过使 struct 成员成为指向 const 的指针,可以使有问题的代码在没有错误或警告的情况下编译:
const struct {
const int* iptr = nullptr;
} cnst_struct;
或者,通过使函数 return 非常量引用。
这里的问题(虽然微妙)是 iptr
成员与正在 returned 的引用的衰减类型不是完全相同的类型,因此尝试进行转换。有一个,即 int*
-> const int*
但此转换的结果是右值,因此所有警告和错误。
此外,Clang 会产生不同的警告,这可能更有帮助:
main.cpp:8:12: warning: returning reference to local temporary object [-Wreturn-stack-address]
return cnst_struct.iptr;
^~~~~~~~~~~~~~~~
main.cpp:16:12: error: non-const lvalue reference to type 'const int *' cannot bind to a value of unrelated type 'int *const'
return cnst_struct.iptr;
^~~~~~~~~~~~~~~~
鉴于以下代码,GCC 给出了一些意外的错误和警告。我试图通过引用 return 一个结构的成员,它说我 return 是一个临时的!此外,在尝试修复此功能时,它会抱怨值类别转换错误?在任何情况下,据我所知,对左值对象的成员访问应该产生一个左值,所以这段代码应该首先起作用。怎么了?
代码:(live on Coliru)
const struct {
int* iptr = nullptr;
} cnst_struct;
const int* const& return_temporary_warning() {
return cnst_struct.iptr;
}
const int*& value_cat_convert_error() {
return cnst_struct.iptr;
}
生成 (GCC):
main.cpp: In function 'const int* const& return_temporary_warning()':
main.cpp:8:24: warning: returning reference to temporary [-Wreturn-local-addr]
return cnst_struct.iptr;
^~~~
main.cpp: In function 'const int*& value_cat_convert_error()':
main.cpp:16:24: error: cannot bind non-const lvalue reference of type 'const int*&' to an rvalue of type 'const int*'
return cnst_struct.iptr;
~~~~~~~~~~~~^~~~
通过使 struct 成员成为指向 const 的指针,可以使有问题的代码在没有错误或警告的情况下编译:
const struct {
const int* iptr = nullptr;
} cnst_struct;
或者,通过使函数 return 非常量引用。
这里的问题(虽然微妙)是 iptr
成员与正在 returned 的引用的衰减类型不是完全相同的类型,因此尝试进行转换。有一个,即 int*
-> const int*
但此转换的结果是右值,因此所有警告和错误。
此外,Clang 会产生不同的警告,这可能更有帮助:
main.cpp:8:12: warning: returning reference to local temporary object [-Wreturn-stack-address]
return cnst_struct.iptr;
^~~~~~~~~~~~~~~~
main.cpp:16:12: error: non-const lvalue reference to type 'const int *' cannot bind to a value of unrelated type 'int *const'
return cnst_struct.iptr;
^~~~~~~~~~~~~~~~