在 C++14 中使用 hana::transform 转换元组内部的类型

Question

我正在尝试使用 Boost 的 hana::transform 来更改 hana::tuple 中的类型。例如，假设我有

constexpr auto some_tuple = hana::tuple_t<int, char *, bool>;

我想生产

constexpr auto transformed_tuple = hana::tuple_t<std::vector<int>,
                                                 std::vector<char *>, 
                                                 std::vector<bool>>;

尝试 1

解决方案对我来说似乎很简单：使用 hana::transform 并使应用函数 return hana::type_c<std::vector<decltype(T)::type>>。但是，我无法完成这项工作：

constexpr auto transformed_tuple = hana::transform(some_tuple, [](auto T) {
    using inner_type = typename decltype(T)::type;
    return hana::type_c<std::vector<inner_type>>;
});

问题是 lambda 表达式不是 constexpr - 我想留在 C++14 中，即 lambda 不能是 constexpr.

尝试 2

我的下一个想法：如果我将 hana::transform 包装成 decltype，然后在其上使用 hana::type_c 会怎么样？这样，lambda 永远不需要求值（只需要推导它的 return 类型），并且 constexprness 应该无关紧要：

constexpr auto transformed_tuple = 
    hana::type_c<decltype(hana::transform(some_tuple, [](auto T) {
        using inner_type = typename decltype(T)::type;
        return hana::type_c<std::vector<inner_type>>;
    }))>;

但是，现在我运行遇到了 lambda 表达式可能不会出现在 "unevaluated context" 中的问题。

我的做法完全错误吗？我应该使用 hana::transform 以外的东西吗？

感谢您的帮助。

编辑:

示例代码：

#include <boost/hana.hpp>
#include <boost/hana/tuple.hpp>
#include <boost/hana/type.hpp>
namespace hana = boost::hana;

#include <vector>

constexpr auto some_tuple = hana::tuple_t<int, char *, bool>;

/** What I want:
 *
 *   constexpr auto transformed_tuple 
 *       = hana::tuple_t<std::vector<int>,
 *           std::vector<char *>, 
 *           std::vector<bool>>;
**/

#if ATTEMPT1
    constexpr auto transformed_tuple = hana::transform(some_tuple, [](auto T) {
        using inner_type = typename decltype(T)::type;
        return hana::type_c<std::vector<inner_type>>;
    });

#elif ATTEMPT2
    constexpr auto transformed_tuple = hana::type_c<decltype(hana::transform(some_tuple, [](auto T) {
        using inner_type = typename decltype(T)::type;
        return hana::type_c<std::vector<inner_type>>;
    }))>;

#endif

Answer 1

Boost.Hana 有 hana::template_ 用于将类型应用于 returns 类型的模板。

#include <boost/hana/assert.hpp>
#include <boost/hana/equal.hpp>
#include <boost/hana/transform.hpp>
#include <boost/hana/tuple.hpp>
#include <boost/hana/type.hpp>
#include <vector>

namespace hana = boost::hana;


int main() {
    constexpr auto some_tuple = hana::tuple_t<int, char *, bool>;
    constexpr auto expected_tuple = hana::tuple_t<std::vector<int>,
                                                  std::vector<char*>,
                                                  std::vector<bool>>;

    constexpr auto transformed_tuple = hana::transform(some_tuple, hana::template_<std::vector>);

    BOOST_HANA_CONSTANT_CHECK(transformed_tuple == expected_tuple);
}

在 C++14 中使用 hana::transform 转换元组内部的类型

Use hana::transform to transform types inside tuple in C++14

c++

boost

metaprogramming

c++14

boost-hana