无法解决 Boost.Bimap 的 g++ 7.1 结构化绑定错误

问：

在我的项目中，我使用 Boost.Bimap 来实现双向地图。

看看 godbolt 上这个非常简单的 MCVE，我在其中使用结构化绑定来打印正确映射的键值对（根据文档，它与 .std::map

问题

它可以很好地编译任何 g++ 版本>= 7.4 及更高版本，但是我需要使用 g++ 7.1。在这里，此代码失败并显示以下消息：

<source>: In function 'int main()':

<source>:11:20: error: 'std::tuple_size<const boost::bimaps::relation::structured_pair<boost::bimaps::tags::tagged<const long unsigned int, boost::bimaps::relation::member_at::right>, boost::bimaps::tags::tagged<const std::__cxx11::basic_string<char>, boost::bimaps::relation::member_at::left>, mpl_::na, boost::bimaps::relation::mirror_layout>>::value' is not an integral constant expression

   for (const auto& [key, value] : bm.right) {

我能够发现这是由于 g++ 中的一个错误，该错误似乎已在以后的版本中得到修复。

变通方法尝试（玩具示例，成功）

为了使结构化绑定适用于我的编译器版本，我试图通过专门化 、 和 来创建一种解决方法。有关详细信息，请参阅此 cppreference 链接。std::tuple_sizestd::tuple_elementstd::get

为了简单起见，我首先成功地用玩具结构尝试了这一点。以下是专业化，请查看 godbolt.org 上的完整代码：

struct SampleType {
  int a = 42;
  std::string b = "foo"s;
  double c = 3.141;
};

#if (__GNUC__ == 7) && (__GNUC_MINOR__ == 1)
  template <std::size_t N>
  decltype(auto) get(const ::SampleType& t) {
    if      constexpr (N==0) return t.a;
    else if constexpr (N==1) return t.b;
    else                     return t.c;
  }

  namespace std {
    // Tuple size is 3
    template <> struct tuple_size<::SampleType> : std::integral_constant<std::size_t, 3> {};

    // Define tuple types
    template <std::size_t N> struct tuple_element<N, ::SampleType> {
        // Deduce type from get() function template defined above
        using type = decltype(::get<N>(std::declval<::SampleType>()));
    };
  }
#endif

请注意，如果删除 for g++ 7.1.，编译将失败，并出现与上述相同的错误 （）。（有趣的是：与 boost：：bimap 示例不同，它只能在 g++ 7.4 及更高版本中正常编译，而 toy 示例在 g++ 7.2 中已经成功了）#ifdef...is not an integral constant expression

变通办法尝试（原始示例，未成功）

现在，我非常确信我找到了解决方案，我尝试做同样的事情，但我无助地失败了（在 godbolt.org 上查看）：boost::bimap

template <std::size_t N>
decltype(auto) get(const bimap::right_map::value_type& bm) {
  if      constexpr (N==0) return bm.first;
  else if constexpr (N==1) return bm.second;
}

namespace std {
  // Tuple size is 2 -> key-value pair
  template <> struct tuple_size<bimap::right_map::value_type> : std::integral_constant<std::size_t, 2> {};

  // Define tuple types
  template <> struct tuple_element<0, bimap::right_map::value_type> { using type = std::string; };
  template <> struct tuple_element<1, bimap::right_map::value_type> { using type = std::size_t; };
}

错误消息太长，无法在此处发布（参见 godbolt 输出），但基本上我理解编译器没有匹配“my”的重载。请注意，出于调试原因，我已将以下行插入到我的代码中，以确保我实际上在我的专业化中处理正确的类型。get

for (const auto& pair : bm.right) {
  // Make sure we capture the right type in the specializations above
  static_assert(std::is_same<
      decltype(pair),
      const bimap::right_map::value_type&
  >::value);
}

我做错了什么吗？还是这个错误对我的解决方法尝试构成了不可逾越的障碍？