在C ++中过滤类型名称

时间:2016-09-21 15:30:02

标签: c++ templates reinterpret-cast typename

这是我的转换器到字节数组(向量)。

template<typename T>
void put(T value) {
    int size = sizeof(value);

    uint8_t *array;
    array = reinterpret_cast<uint8_t *>(&value);

    if (littleEndian) {
        for (int i = 0; i < size; i++) {
            arr.push_back(array[i]);
        }
    } else {
        for (int i = size - 1; i >= 0; i--) {
            arr.push_back(array[i]);
        }
    }
}

如您所见,此函数接受所有变量类型。是否可以过滤类型名称?例如。我想只允许uint8_t, int8_t, uint16_t, int16_t etc. + float and double too?我不想做10个if语句,因为它看起来不干净。

2 个答案:

答案 0 :(得分:5)

您可以使用std::is_integral和SFINAE执行此操作。如果类型不是整数类型,这将删除模板。它看起来像

template<typename T, typename std::enable_if<std::is_integral<T>::value>::type* = nullptr>
void put(T value)
{
    // code
}

Live Example

如果您想要允许所有积分和浮点类型,那么您可以使用std::is_arithmetic之类的

template<typename T, typename std::enable_if<std::is_arithmetic<T>::value>::type* = nullptr>
void put(T value)
{
    // code
}

答案 1 :(得分:1)

似乎你需要一个只接受任何整数类型的函数。

有一个名为<type_traits>std::is_integral标题的现有类型特征。您可以将其与std::enable_if一起使用以产生预期约束:

template<typename T, std::enable_if_t<std::is_integral<T>::value, int> = 0>
void put(T value) {
    constexpr int size = sizeof(value);

    uint8_t *array;
    array = reinterpret_cast<uint8_t *>(&value);

    if (littleEndian) {
        for (int i = 0; i < size; i++) {
            arr.push_back(array[i]);
        }
    } else {
        for (int i = size - 1; i >= 0; i--) {
            arr.push_back(array[i]);
        }
    }
}

现在,您的函数无法使用非整数类型调用。

请注意,如果该函数有另一个重载,编译器也会尝试它。这意味着如果你有另一个接受任何浮动类型的函数,编译器将选择适当的重载。