如何在C中迭代非常量变量？

Question

#include <initializer_list>

struct Obj {
    int i;
};

Obj a, b;

int main() {
    for(Obj& obj : {a, b}) {
        obj.i = 123;   
    }
}

此代码未编译，因为初始值设定项列表中的值{a，b}被视为常量Obj

有没有一种简单的方法可以让类似的构造工作，即迭代不同变量中的值，比如这里的a和b。




Answer 1

如果复制a和b是所需的行为，则可以使用临时数组而不是初始化列表：

#include <initializer_list>

struct Obj {
    int i;
} a, b;

int main() {
    typedef Obj obj_arr[];
    for(auto &obj : obj_arr{a, b}) {
        obj.i = 123;   
    }
}

即使Obj只有一个移动构造函数，这也是有效的。

Answer 2

这不起作用的原因是std:：initializer_list的底层元素是从a和b复制的，并且类型为const Obj，因此您实际上是在尝试将常量值绑定到可变引用。

可以尝试使用以下方法解决此问题：

for (auto obj : {a, b}) {
    obj.i = 123;
}

但是很快就会注意到对象a和b中i的实际值没有改变。原因是在这里使用auto时，循环变量obj的类型将变为obj，因此您只需循环a和b的副本。

实际的解决方法是可以使用std:：ref（在

#include <functional>
#include <initializer_list>
#include <iostream>

struct Obj {
    int i;
};

Obj a, b;

int main()
{
    for (Obj& obj : {std::ref(a), std::ref(b)}) { 
        obj.i = 123;
    }
    std::cout << a.i << '\n';
    std::cout << b.i << '\n';
}

输出：

123
123

执行上述操作的另一种方法是使循环使用const自动

for (const auto& obj : {std::ref(a), std::ref(b)}) { 
    obj.get().i = 123;
}

但是我认为，因为在这里使用auto会强制使用. get（），这是相当麻烦的，前一种方法是解决这个问题的更好方法。

通过在循环中使用原始指针来实现这一点似乎更简单，就像@Francesco在他的回答中所做的那样，但是我有一个尽可能避免原始指针的习惯，在这种情况下，我只是相信使用引用可以使代码更清晰更干净。

Answer 3

它不起作用，因为在{a，b}中，您正在制作a和b的副本。一种可能的解决方案是将循环变量设为指针，获取a和b的地址：

#include <initializer_list>

struct Obj {
    int i;
};

Obj a, b;

int main() {
    for(auto obj : {&a, &b}) {
        obj->i = 123;   
    }
}

看它直播

注意：通常最好使用auto，因为它可以避免静默隐式转换