c++ - 是否保证 union 与 boost::hana::Structure 一起工作？

Question

假设我有这个:

#include "boost/hana.hpp"


union Thing {
    BOOST_HANA_DEFINE_STRUCT(Thing,
        (long, m1),
        (int, m2)
    );
};

这目前有效，但是否有任何东西可以保证它始终有效( future 的某些更改不会使其无效)？

Answer 1

文档声称支持使用宏定义“用户定义类型”中的成员 here , 自从 union is technically a type of class ，我可以肯定地说它是受支持的。

这并不是说它将始终受到支持，但更改它会是一个重大更改，并且可能需要一个新的主要版本，即 Boost.Hana 2.0。

关于 Struct 还有一些其他的事情可以修复概念的关联接口(interface)，但我认为这不会影响此用例。

如果你想从作者那里得到权威的答案，也许 Github 上的一个问题是可行的。

综上所述，请记住 Struct 改进了 Comparable 和 Foldable，它们按顺序对成员进行操作，这会有点对于 union 成员来说很奇怪。

这是个绝妙的主意，我很想知道可以用它做什么。

我扩展了你的例子:

#define BOOST_HANA_CONFIG_ENABLE_STRING_UDL
#include "boost/hana.hpp"

namespace hana = boost::hana;
using namespace boost::hana::literals;


union Thing {
    BOOST_HANA_DEFINE_STRUCT(Thing,
        (long, m1),
        (int, m2)
    );
};

int main()
{
  Thing thing{};
  hana::at_key(thing, "m2"_s) = 42;

  BOOST_HANA_RUNTIME_CHECK(thing.m2 == 42);
}