如何定义一个可以结构化绑定的对象的概念？

我想定义一个可以检测T类型是否可以结构化绑定的concept：

template <typename T>
concept two_elements_structured_bindable = requires (T t) {
  auto [x, y] = t;
};

但这不能编译。这样的concept有什么合适的定义吗？

---

解决方案

否

结构化绑定有三种情况：

1. 数组。这很容易检测到。

2. 类元组。您可以很容易地检查std::tuple_size<E>::value是否有效，然后检查std::tuple_element<I, E>::type是否作为所有正确类型的有效类型。但get的情况比较困难，因为您必须处理成员和非成员...但除此之外，我认为这是可行的。

3. 类型，将所有公共(是的，技术上可访问的)成员作为同一类的直接成员。用目前的技术，这是不可能检测到的。magic_get我认为可以处理struct X { int a, b; };，但struct Y : X { };和struct Z { X& x; };都不需要正确的反射来检查这种情况。

从C++20开始，您将需要某种固有的编译器来执行此操作。