主页 / coding / 问题 / 77974803
Accepted
edrezen
Asked: 2024-02-11 05:33:32 +0800 CST

std 是否拥有可转换类型列表并将每个转换值聚合为单个表达式的类型特征？

  • 772

通过模板专门化，可以编写采用类型列表的特征，对返回布尔值的每个类型应用转换，然后对and所有转换结果计算最终表达式：

#include <type_traits>

template<template<typename> class TRANSFO, typename ...ARGS>
struct Eval {};

template<template<typename> class TRANSFO, typename T, typename ...ARGS>
struct Eval<TRANSFO, T, ARGS...>
{
    static constexpr bool value = TRANSFO<T>::value and Eval<TRANSFO,ARGS...>::value;
};

template<template<typename> class TRANSFO>
struct Eval<TRANSFO>
{
    static constexpr bool value = true;
};

int main()
{
    static_assert (Eval<std::is_integral,int,long>::value == true);
    static_assert (Eval<std::is_integral,int,float,long>::value == false);
    static_assert (Eval<std::is_integral,float>::value == false);
}

疑问已经std有这样的事情了吗？或者是否可以用 中存在的特征来编写它std？

c++

1 个回答

  1. Best Answer

    疑问std已经有这样的事情了吗？或者是否可以用 中存在的特征来编写它std？

    没有什么完全像这样，但type_traits标头确实可以使用std::conjunction.

    template<template<typename> class TRANSFO, typename ...ARGS>
using Eval = std::conjunction<TRANSFO<ARGS>...>;

    在Compiler Explorer上实时查看。

    • 1

相关问题