我搜索了 boost::hana::traits
我找不到任何与检查类型概念有关的东西,例如is_vector,is_optional。例如is_vector,is_optional。在hana中有没有什么工具可以简化 这个? 此外,我想根据结果来分支代码,因此需要在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函数来简化实际变量的使用。
#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