Question

我正在尝试使用模板类（此处为Foo），基本类型如下：

hana::tuple<hana::pair<hana::type<int>, Runtime>> Runtime一个类，其中不可能是constepxr。

但是这种类型可以用几种方式构造，这就是我使用的原因：

hana::tuple<hana::pair<hana::type<int>, hana::type<Runtime>>>在编译时完成工作。

所以问题基本上是如何从第一个元组转换为第二个 。我想知道hana中是否有某些东西可以帮助我。或者甚至更好，关于那种“转换”的一些提示。

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

struct Runtime { std::vector<int> data; };

template < typename T >
struct Foo {
  T data;
};

constexpr decltype(auto)  convertMap(auto storageMap) {

return hana::make_type(hana::transform(
    storageMap,
    [] (auto pair) {
      return hana::make_pair(
        hana::first(pair),
        typename decltype(hana::typeid_(hana::second(pair)))::type {});
    }));
}

int main() {

  constexpr auto map = hana::make_tuple(
      hana::make_pair(hana::type_c<int>, hana::type_c<Runtime>)
      );

  constexpr auto result = convertMap(map);
  static_assert(result ==
     hana::type_c<hana::tuple<hana::pair<hana::type<int>, Runtime>>>);

  Foo<typename decltype(result)::type> test;
}

正如您所看到的，我尝试了一些带有convertMap和hana::transform的c ++ 1z lambdas，但第二个元组不能是constexpr，所以我可以'将其传递给hana::make_type希望获得hana::type_c。

test.cpp: In function ‘int main()’:
test.cpp:70:41: error: ‘constexpr decltype(auto) convertMap(auto:27) [with auto:27 = boost::hana::tuple<boost::hana::pair<boost::hana::type_impl<int>::_, boost::hana::type_impl<Runtime>::_> >]’ called in a constant expression
   constexpr auto result = convertMap(map);
                                         ^
test.cpp:53:27: note: ‘constexpr decltype(auto) convertMap(auto:27) [with auto:27 = boost::hana::tuple<boost::hana::pair<boost::hana::type_impl<int>::_, boost::hana::type_impl<Runtime>::_> >]’ is not usable as a constexpr function because:
 constexpr decltype(auto)  convertMap(auto storageMap) {
                           ^~~~~~~~~~
test.cpp:53:27: error: temporary of non-literal type ‘boost::hana::tuple<boost::hana::pair<boost::hana::type_impl<int>::_, Runtime> >’ in a constant expression
In file included from /usr/include/boost/hana/detail/struct_macros.hpp:29:0,
                 from /usr/include/boost/hana/adapt_adt.hpp:15,
                 from lib/hana/include/boost/hana.hpp:59,
                 from test.cpp:1:
/usr/include/boost/hana/tuple.hpp:68:12: note: ‘boost::hana::tuple<boost::hana::pair<boost::hana::type_impl<int>::_, Runtime> >’ is not literal because:
     struct tuple
            ^~~~~
/usr/include/boost/hana/tuple.hpp:68:12: note:   ‘boost::hana::tuple<boost::hana::pair<boost::hana::type_impl<int>::_, Runtime> >’ has a non-trivial destructor

Answer 1

您所关心的只是一种类型 - 因此您可以隐藏非constexpr实现函数中的类型计算，然后使用template <typename T> decltype(auto) convertMapImpl(T storageMap) { return hana::make_type(hana::transform(storageMap, [](auto pair) { return hana::make_pair(hana::first(pair), typename decltype(hana::typeid_(hana::second(pair)))::type{}); })); } template <typename T> constexpr decltype(auto) convertMap(T storageMap) { return decltype(convertMapImpl(storageMap)){}; }将其调用到＆＃34;强制auto＆＃34; ：

<div class="container3">
        <h1 class="header3"><font color="white">Tentang Kami</h1>
            <div class="content2">
                <img src="about.png" align="center" class="gambar3">
            </div>
</div>

transformers

另请注意，在函数签名中使用Xdefaults是gcc扩展名 - 您应该使用模板参数来代替标准。

将constexpr结构转换为运行时结构

1 个答案: