C++ 11:"auto"关键字是否完全检索cv-qualifier？我的矛盾样本

Question

我有以下程序:

struct A{ int i; };

int main()
{
    const int i = 0;
    auto ai = i;
    ai = 2; // OK

    const A buf[2];
    for(auto& a : buf)
    {
        a.i = 1; // error!
    }

    std::cout << buf[0].i << buf[1].i << std::endl;
}

第一个auto ai = i;没有问题,似乎auto没有检索c/v限定符,因为ai可以修改但for循环失败编译为 - 错误:A::i在只读对象中分配成员

我知道这auto不会检索&功能,我的问题是:auto在我的情况下检索c/v限定符吗？我的测试程序似乎给出了相互矛盾的提示.

Answer 1

你在ai这里复制,而不是修改它:

const int i = 0;
auto ai = i;

上面的代码相当于:

const int i = 0;
int ai = i;

如果您尝试进行非const引用,则会出现编译时错误:

const int i = 0;
auto& ai = i;
ai = 5; // Error: assignment of read-only reference 'ai'

正如Pau Guillamon所建议的,这里有一段与上面代码相​​当的片段:

const int i = 0;
const int& ai = i;
ai = 5;

关于说明auto符的更多细节可以在cppreference上找到.