如何正确使用C++的for-range语句语法，含结构化绑定形式用法咨询

工作逻辑 #

你提到的第二种for-range-declaration语法是C++17版本引入的结构化绑定特性在范围for循环中的适配，各部分的作用如下：

• attribute-specifier-seqopt：可选的属性说明符，比如[[maybe_unused]]这类标准/编译器自定义属性，非必填
• decl-specifier-seq：类型说明符，常用的有auto、const auto等，用来指定解构后变量的顶层类型
• ref-qualifieropt：可选的引用修饰符，支持&（左值引用）、&&（右值引用），用来控制绑定的是原元素的引用还是副本
• [identifier-list]：解构后的变量名列表，长度必须和迭代元素的可解构成员/元素数量完全匹配

运行时每次迭代会先把当前遍历到的聚合元素，按照标识符列表的顺序解构到对应的变量中，后续循环体里可以直接用这些变量访问对应成员。

用法示例 #

示例1：遍历std::map/std::unordered_map #

#include <iostream>
#include <map>
#include <string>

int main() {
    std::map<int, std::string> student_info = {
        {2023001, "张三"},
        {2023002, "李四"},
        {2023003, "王五"}
    };

    // 直接把map的value_type（std::pair<const int, std::string>）解构为学号和姓名
    for (const auto& [stu_id, stu_name] : student_info) {
        std::cout << "学号：" << stu_id << "  姓名：" << stu_name << "\n";
    }

    return 0;
}

示例2：遍历自定义结构体数组，支持修改原元素 #

#include <iostream>
#include <string>

struct Goods {
    std::string name;
    int price;
    int stock;
};

int main() {
    Goods goods_list[] = {
        {"笔记本", 5, 100},
        {"中性笔", 2, 200},
        {"文件夹", 8, 50}
    };

    // 加&修饰符绑定原元素的引用，可以直接修改数组内的原始数据
    for (auto& [name, price, stock] : goods_list) {
        price += 1; // 所有商品价格加1
        std::cout << "商品：" << name << "  新价格：" << price << "  库存：" << stock << "\n";
    }

    return 0;
}

示例3：遍历固定长度数组的序列 #

#include <iostream>

int main() {
    int coordinate_list[][3] = {
        {10, 20, 30},
        {40, 50, 60},
        {70, 80, 90}
    };

    for (const auto& [x, y, z] : coordinate_list) {
        std::cout << "三维坐标：(" << x << ", " << y << ", " << z << ")\n";
    }

    return 0;
}

注意事项 #

• 该特性最低要求C++17及以上标准，编译时需要指定对应标准参数，比如GCC/Clang需添加-std=c++17或更高版本参数
• 标识符列表的长度必须和迭代元素的可解构成员数量完全一致，否则会编译报错
• 对于大尺寸的迭代元素，建议添加&引用修饰符，避免不必要的对象拷贝开销

内容的提问来源于stack exchange，提问作者user15071942