c++ - boost::hana如何检查类型是否为std::optional？

我搜索了boost::hana::traits，但找不到与检查类型概念有关的任何内容。例如is_vector，is_optional。 hana中是否有任何工具可以简化this？此外，我想根据结果分支代码，因此需要在hana::eval_if中使用它。谁能告诉我一些例子？

我想跟随工作:

hana::eval_if(
    is_vector(hana::decltype_(val)),
    [&](auto _) {std::cout << "is vector\n";},
    [&](auto _) {
        hana::eval_if(
                is_optional(hana::decltype_(val)),
                [&](auto _) { std::cout << "is optional\n"; },
                [&](auto _) { std::cout << "neither vector nor optional\n"; }
        );
    }
);

最佳答案

你只是自以为是。

例如。:

template <typename T, typename Enable = void>
struct is_optional : std::false_type {};

template <typename T>
struct is_optional<std::optional<T> > : std::true_type {};

template <typename T>
struct is_optional<boost::optional<T> > : std::true_type {};

另外，您可以使用constexpr函数，以便更轻松地与实际变量一起使用:

Live On Coliru

#include <string>
#include <iostream>
#include <optional>
#include <boost/optional.hpp>
#include <boost/hana.hpp>
namespace hana = boost::hana;

namespace {
    template <typename T>
        constexpr bool is_optional(T const&) { return false; }
    template <typename T>
        constexpr bool is_optional(std::optional<T> const&) { return true; }
    template <typename T>
        constexpr bool is_optional(boost::optional<T> const&) { return true; }
}

template <typename T>
auto deref_opt(T const& v) {
    if constexpr(is_optional(v))
        return *v;
    else
        return v;
}

int main() {
    std::optional<double> od = 3.14;
    boost::optional<std::string> os = std::string("Pi");
    int i = 314;

#define DEMO(x) std::cout << #x << ": " << std::boolalpha << is_optional(x) << " " << deref_opt(x) << "\n";
    DEMO(i);
    DEMO(os);
    DEMO(od);
}

版画

i: false 314
os: true Pi
od: true 3.14

关于c++ - boost::hana如何检查类型是否为std::optional？，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/62312879/