返回对 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;
           ^~~~~~~~~~~~~~~~