如何分配给结构对象的成员？

Question

我正在使用 Boost.Hana 迈出第一步，所以请多多包涵。我有

#include <boost/hana.hpp>
namespace hana = boost::hana;
using namespace hana::literals;

#include <string>

struct A
{
  int integer;
  std::string string;
};

int main()
{
  auto tuple = hana::make_tuple(42, "42");
  A a;
  hana::for_each(hana::zip(hana::members(a), tuple), [](auto& element) { element[0_c] = element[1_c]; });
}

这是我尝试将每个元组元素分配给 A 的相应（顺序）成员。这不起作用（有关完整错误，请参阅live example）。归结为

main.cpp:19:54: note: candidate function [with $0 = boost::hana::tuple<int, int>] not viable: expects an l-value for 1st argument

 hana::for_each(hana::zip(hana::members(a), input), [](auto& element) { element[0_c] = element[1_c]; });
                                                    ^

我在文档中读到 Hana 算法有 by-value semantics，但是如何去做这种事情呢？从hana::tuple 构造A 是唯一可能的吗？

Answer 1

要修改Struct，请使用hana::accessors，它提供了一个hana::pairs 元组，每个元组都有一个键和一个访问器函数。此外，由于我们还没有反射，您需要使用像 BOOST_HANA_ADAPT_STRUCT 这样的宏之一来将 A 实现为 hana::Struct 。

另一个答案解决了 lambda 采用右值的问题，因为压缩元组是一个临时对象。

#include <cassert>
#include <boost/hana.hpp>
namespace hana = boost::hana;
using namespace hana::literals;

#include <string>

struct A
{
  int integer;
  std::string string;
};
BOOST_HANA_ADAPT_STRUCT(A, integer, string);

int main()
{
  auto tuple = hana::make_tuple(42, "42");
  A a;
  hana::for_each(
    hana::zip(hana::accessors<A>(), tuple),
    [&a](auto&& element) {
      auto accessor_pair = hana::at_c<0>(element);
      auto get_member = hana::second(accessor_pair);
      get_member(a) = hana::at_c<1>(element);
    });

  assert(a.integer == 42 && a.string == "42");
}

Answer 2

我对 Boost 和 Hana 都不是很熟悉；但我去了他们的网站，阅读了一些关于他们的一些对象、函数等的文档。我不知道这是否会对你有所帮助，但我能够稍微修改你的代码，然后我得到了编译：

int main() {
    A a;
    auto tuple = hana::make_basic_tuple( 42, "42" );

    hana::for_each( hana::zip( hana::members(a), tuple), 
                               [&](auto&& element) {
                                   hana::at( tuple, hana::size_c<0> );
                                   hana::at( tuple, hana::size_c<1> );
                               }
                  );

}

我将您的 lambda 更改为 [&]，并将参数更改为 auto&&，然后我使用了 hana::at()。 AFAIK我不认为这是在分配任何东西，但你可能可以使用它并从这里开始，但积极的部分是，在你提供演示代码和相同编译器设置的同一个网站上，这样做了编译没有错误。 Live Demo