1

给定一个 type T，我想知道那个 type 是否满足 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（主干）中收到以下错误：

static_assert failed due to requirement 'hana::Struct<S>::value'

更新：我已经解决了我自己的问题；请参阅下面的答案。也就是说，我仍然希望能解释为什么使用的版本hana::members不起作用。我觉得static_assert触发编译时错误很奇怪，因为我认为is_valid应该将 SFINAE 排除在外。我错过了什么？

4

1 回答 1

1

好吧，那很愚蠢。只有在发布后我才意识到我可以使用错误消息来解决我的问题！如此hana::Struct<foo_t>::value，true虽然hana::Struct<std::vector<int>>如此false。

于 2018-01-18T07:51:26.507 回答