使用 [] 运算符时"binding reference of type discards qualifiers"

"binding reference of type discards qualifiers" when using [] operator

本文关键字:of type discards qualifiers reference binding 运算符 使用      更新时间:2023-10-16

我在C++应用程序中使用C样式数组(需要与C代码接口(,但在数组上使用[]运算符时,我会得到"类型丢弃限定符的绑定引用"。这里有一个小例子:

#include <iostream>
struct outer_struct {
struct {
int i;
} array[1];
} temp_struct;
typedef decltype( static_cast<outer_struct*>(nullptr)->array[0]  ) typed;
void do_something_2(const typed &thing)
{
std::cout << thing.i << std::endl;
}
void do_something_1(const outer_struct &thing)
{
// error: binding reference of type ‘outer_struct::<unnamed struct>&’ to
// ‘const outer_struct::<unnamed struct>’ discards qualifiers
do_something_2(thing.array[0]);
}
int main()
{
temp_struct.array[0].i = 2;
do_something_1(temp_struct);
return 0;
}

我本以为在const引用上使用[]运算符会返回const引用,但从编译器输出来看,情况似乎并非如此。将do_something_1的签名更改为

void do_something_1(outer_struct &thing)

解决了错误。我通常对const正确性没有问题,但老实说,我不明白我在这里做错了什么。感谢您的帮助。

我使用g++7.3.0。我也尝试过GCC的旧版本。

您需要删除decltype返回的额外引用(因为内置下标运算符的结果是引用(:

using
inner_struct = ::std::remove_reference_t<decltype(::std::declval<outer_struct &>().array[0])>;

在线编译器

相关文章: