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

How to assign to members of a struct object?

我正在 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 [=11=] = 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 是唯一可能的吗?

我对 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

要就地修改 Struct,请使用 hana::accessors which provides a tuple of hana::pairs each with a key and an accessor function. Also since we don't have reflection yet you need to use one of the macros like BOOST_HANA_ADAPT_STRUCTA 实现为 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");
}