给定一个类型 T
,我想知道该类型是否满足 Boost.Hana 的 Struct
概念。换句话说,我想构造一个元函数 is_struct_v
这样对于
struct foo_t { int x; }
BOOST_HANA_ADAPT_STRUCT(foo_t, x);
编译以下代码:
static_assert(is_struct_v<foo_t>);
鉴于is_struct_v<std::vector<int>>
应该返回 false。
我的猜测是 hana 的 is_valid
“功能”适用于此,但是,我无法让编译器屈服于我的意愿。这是我的尝试:
#include <boost/hana.hpp>
namespace hana = boost::hana;
template <typename TypeTag>
constexpr auto is_struct(TypeTag t) {
auto has_members = hana::is_valid([](auto v)
-> decltype((void)(boost::hana::members(hana::traits::declval(v))))
{});
return has_members(t);
}
template <typename T>
constexpr bool is_struct_v = is_struct(boost::hana::type_c<T>);
这会返回 true
对于 foo_t
案例,但是当我尝试申请 is_struct_v
至 std::vector<int>
,我在 clang (trunk) 中收到以下错误:
static_assert failed due to requirement 'hana::Struct<S>::value'
更新:我已经解决了我自己的问题;请参阅下面的答案。也就是说,我仍然希望解释为什么使用 hana::members
的版本。不起作用。我觉得很奇怪 static_assert
触发编译时错误,因为我认为 is_valid
应该是SFINAE那个走了。我错过了什么?
最佳答案
好吧,那是愚蠢的。发帖后我才意识到我可以使用错误信息来解决我的问题!所以hana::Struct<foo_t>::value
是true
, 而 hana::Struct<std::vector<int>>
是false
.
关于c++ - 如何查询一个类型是否为models Struct?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/48316003/