为什么包含会<utility>破坏 GCC 中的结构化绑定？

Why does including <utility> break structured bindings in GCC?

本文关键字：结构化 绑定 GCC gt 包含会 lt utility 为什么 破坏      更新时间：2023-10-16

考虑：

struct Point { int x, y; };
int main()
{
const auto [x, y] = Point{};
}

这段代码在 C++17 模式下使用 gcc 7.1 编译得很好，但是这个：

#include <utility>
struct Point { int x, y; };
int main()
{
const auto [x, y] = Point{};
}

给出一个错误：

bug.cpp: In function 'int main()':
bug.cpp:7:16: error: 'std::tuple_size<const Point>::value' is not an integral constant expression
const auto [x, y] = Point{};
^~~~~~

这是怎么回事？编译器错误，或者这就是结构化绑定应该的工作方式？

这是编译器错误 78939。虽然它比这要复杂一些 - 核心语言和库之间有一些相互矛盾的问题(GB 20、LWG 2770 和 LWG 2446)，这导致了 gcc/libstdc++ 在这里表现出的那种行为。当然，代码可以在有或没有#include <utility>的情况下工作，这只是标准措辞正确到达那里的问题。

是的，具有所有公共非匿名工会成员的类应该可以在 [dcl.struct.bind]/4 的结构化绑定声明中使用：

否则，E的所有非静态数据成员都应是E或同一明确的公共基类E的公共直接成员，E不得有匿名工会成员，并且标识符列表中的元素数量应等于E的非静态数据成员的数量。将E的非静态数据成员指定为 m0、m1、m2、...(按声明顺序)，每个vi是一个左值的名称，该值引用e的成员mi，其类型为cv Ti，其中Ti是该成员的声明类型;引用的类型为 cv Ti。如果该成员是位字段，则左值是位字段。[ 示例：

struct S { int x1 : 2; volatile double y1; };
S f();
const auto [ x, y ] = f();

这与包含<utility>完全无关，此代码中的任何内容都不依赖于任何库功能 - 成员是直接抓取的，而不是通过get/tuple_size机制。

结构化绑定背后的核心思想是std::tuple_size<T>定义了你从解压缩T中获得的组件数量，T::get<N>应该访问第 N 个元素。毫不奇怪，这个std::tuple_size<T>是<utility>中基本模板的专业化。

现在在这种情况下，Point没有对结构化绑定的此类支持，但这是一种特殊情况(所有公共非静态成员)，C++17 声明不需要特殊的解包支持。这是上述规则的例外。

编译器在这里绊倒了自己，并在看到来自<utility>的非专用std::tuple_size时尝试使用通用规则。

相关文章：