如何包装（组合）boost hana 映射并访问括号运算符 (operator[])？

Question

我正在使用 hana 地图（使用 hana::make_map 创建）。我有一个非常简单的 class，它将继承自 hana 地图，并公开第二个地图


auto values = hana::make_map( ... );
auto uncertainties = hana::make_map( ... );

template< typename Values, typename Uncertainty >
struct map: Values{
  Uncertainty uncertainty;
  constexpr map(Values v, Uncertainty u ):
    Values( v ),
    uncertainty( u )
  { }
};

auto data = map( values, uncertainties );

// I want to do the following

auto hbar = data[ hbar ]; // Type hbar defined elsewhere
auto hbar_u = data.uncertainty[ hbar ]

这曾经有效。我最近更新了我们的 boost hana 版本，现在我收到以下编译器错误：

map.hpp:2:13: error: base
      'map_impl' is marked 'final'
struct map: Values{
            ^

如果我没看错的话，boost hana 已经被明确标记为不能再继承了。

我真正想做的是使用 operator[] 访问值映射并使用 .uncertainty 访问不确定性映射。 我如何做这个？

我真的不想使用任何其他增强库； hana 对我的项目来说绰绰有余。

Answer 1

通常首选使用聚合而不是继承。

正如评论中“哞哞鸭”所说，你可以直接用一个功能转发 operator[] 到 values 地图。

查看 Boost.Hana 中 operator[] 的实现，您会注意到每个值类型都有一个重载，因为无法推导出 this。（他们应该解决这个问题）

将 values 转换为适当的引用类型将允许您在需要时 return 引用正确的值类型。这将使它的行为完全像 hana::map.

#define BOOST_HANA_CONFIG_ENABLE_STRING_UDL 1
#include <boost/hana.hpp>

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

template <typename Values, typename Uncertainty>
struct my_map_t {
  Values values;
  Uncertainty uncertainty;
  
  constexpr decltype(auto) operator[](auto&& key) & {
    return static_cast<Values&>(values)[
        std::forward<decltype(key)>(key)];
  }
  constexpr decltype(auto) operator[](auto&& key) && {
    return static_cast<Values&&>(values)[
        std::forward<decltype(key)>(key)];
  }
  constexpr decltype(auto) operator[](auto&& key) const& {
    return static_cast<Values const&>(values)[
        std::forward<decltype(key)>(key)];
  }
};

// Note: Clang 10 does not provide implicit deduction guides yet

constexpr auto values = hana::make_map(
  hana::make_pair("foo"_s, 42) 
);

constexpr auto uncertainties = hana::make_map(
  hana::make_pair("bar"_s, 5)
);


constexpr auto my_map = my_map_t(values, uncertainties);

static_assert(my_map["foo"_s] == 42);
static_assert(my_map.uncertainty["bar"_s] == 5);

int main() { }

https://godbolt.org/z/XVNsy-

如果你想使用无聊的旧 C++17：

https://godbolt.org/z/i-NZd6

如何包装（组合）boost hana 映射并访问括号运算符 (operator[])？

How to wrap (compose) a boost hana map and access the bracket operator (operator[])?

c++

boost-hana