C++标准是否规定std::pair成员销毁顺序？含C++17/20/23版本疑问

1. std::pair成员的销毁顺序是否被标准明确规定？ #

是的，C++标准明确规定std::pair的**second成员先于first成员销毁**。

2. 标准草案何处可查该信息？ #

• 核心规则来自类成员销毁的通用规定：在标准的**§11.4.7 析构函数章节中明确，对象销毁时，非静态数据成员按与声明顺序相反**的顺序销毁。
• 针对std::pair，标准**§22.3.2.1 类模板pair概述**（不同版本章节号可能微调）规定了其成员声明顺序为first在前、second在后，结合前述通用规则即可推导出销毁顺序。

3. 该规定始于哪个C++版本？ #

类成员销毁顺序的规则自C11起已明确，且std::pair的成员声明顺序在C11及之后的C17、C20、C23版本中未发生变更，因此std::pair的销毁顺序规定从C11开始确立，后续版本均延续此要求。

4. GCC中second先于first销毁是自主选择还是标准强制？ #

这是标准强制要求。由于std::pair的成员声明顺序是标准强制的（first在前，second在后），结合类成员销毁顺序与声明顺序相反的通用规则，GCC的实现完全符合标准，并非自主选择。

5. 标准草案§22.3.2中的std::pair类定义是示例还是强制要求？ #

该章节给出的类定义是强制要求。标准明确规定std::pair必须包含first和second两个公开数据成员，且声明顺序为first在前、second在后。即使标准以“示例”形式展示，这些成员的存在、名称、访问权限和声明顺序都是所有实现必须严格遵循的强制要求。

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