c – 在vardeadic模板中解压缩typedef中的参数

发布时间：2020-12-16 10:00:33 所属栏目：百科来源：网络整理

导读：给出以下C typedef表达式 template bool struct BoolType : std::true_type {};template struct BoolType false : std::false_type {};typedef BoolType ArgResolver Arg1 ::IsResolvable::value ArgResolver Arg2 ::IsResolvable::value IsSignatureRecogni

给出以下C typedef表达式

template <bool> struct BoolType : std::true_type {};

template <> struct BoolType< false > : std::false_type {};

typedef BoolType< ArgResolver< Arg1 >::IsResolvable::value && ArgResolver< Arg2 >::IsResolvable::value > IsSignatureRecognized;

我问自己是否可以使用可变参数模板完成.代码来自Hypodermic IoC容器.我怎样才能在保留&&&amp ;;检查他们每个人？

解决方法

只需编写一个这样的and_元函数：

template <class ... Bools>
    struct and_;

    template <class Bool,class ... Bools>
    struct and_<Bool,Bools...> : std::conditional<
        Bool::value,and_<Bools...>,std::false_type>::type{};

    template <>
    struct and_<> : std::true_type{};

我没有测试过,所以可能会有一些错别字,但我希望你能得到这个想法.

然后你像这样使用它：

typedef and_<typename ArgResolver<Args>::IsResolvable...> IsSignatureRecognized;

它的工作方式非常简单,我们有通用的类模板< class ...> and_接受任意数量的类型.第一个特化检查包中的第一个参数,如果它是假的,则不需要继续,因为整个and_将为false.如果是真的那么我们继续检查其余的参数.一旦没有剩下的参数,没有参数的专门化只返回true.

这是一个例子：

and_<t,t,f,t>::value
gives conditional<t::value,and_<t,t>,f>::type

因为条件为真,所以类型求值为第二个参数and_< t,t>.类似地,对于下一个参数,我们得到：

and_<f,t>::value
gives conditional<f::value,and_<t>,f>::type

现在条件为假,因此类型求值为第三个参数f,我们完成了实例化模板,:: value给出了false.

如果所有参数都为真,您最终会达到and_<>我们专门用于std :: true_type,以便:: value为我们提供真实的.

我希望这有助于澄清此代码的工作原理.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!