定义一个：

vector <int> state;

for (int a : state) 可以让 a 从 state[0] 到 state[state.size() - 1] 遍历。即 a = state[i]，i 依次从 0 到 state.size() - 1。因为 state 里一共就存储了这 state.size() 个元素。

auto 是自动判断类型，比如 y 是 x 类型的，auto a = y，a 也就变成了 x 类型，且值为 y。

然后 for(auto a : state) 就能自动将 a 识别成 state 储存的元素类型，也就是 int。并且遍历 state。