std::make_signed，它接受浮点类型

std::make_signed that accepts floating point types

本文关键字：类型 make signed std      更新时间：2023-10-16

我有一个模板化的类，它只能为标量类型(整数、浮点等(实例化，并且我希望成员typedef始终是该类型的带符号变体。即：

unsigned int->signed int
signed long long->signed long long(已签名(
unsigned char->signed char
float->float
long double->long double
等等。

不幸的是，std::make_signed只适用于积分类型，而不适用于浮点类型。最简单的方法是什么？我正在寻找using SignedT = ...;形式的东西，作为我的模板化类的一部分，模板参数T已经保证是标量。

一个简单的模板别名就可以：

#include <type_traits>
template<typename T>
struct identity { using type = T; };
template<typename T>
using try_make_signed =
    typename std::conditional<
        std::is_integral<T>::value,
        std::make_signed<T>,
        identity<T>
        >::type;

这就是你可以测试它的方法：

int main()
{
    static_assert(::is_same<
        try_make_signed<unsigned int>::type, int
        >::value, "!");
    static_assert(std::is_same<
        try_make_signed<double>::type, double
        >::value, "!");
}

这是一个的实际示例。

在我最初尝试使用std::conditional时有缺陷后，我决定改用SFINAE。我使用std::enable_if来有条件地启用浮点类型的专业化：

template<typename T, typename Enable = void>
struct my_make_signed {
    typedef typename std::make_signed<T>::type type;
};
template<typename T>
struct my_make_signed<T,
    typename std::enable_if<std::is_floating_point<T>::value>::type> {
    typedef T type;
};

@jrok最初有可以工作的代码，他只需要做一个小的调整。这是工作代码：

template<typename T>
struct YourClass
{
    using SignedT =
        typename std::conditional
        <
            std::is_floating_point<T>::value, //if floating point type
            std::common_type<T>,              //use it as-is
            std::make_signed<T>               //otherwise make sure it is signed
        >::type::type; //notice the double ::type
};

演示：http://ideone.com/Vw7o82

如果需要多次使用此功能，也可以将上述结构修改为类型特征类。然而，@Andy Prowl的答案是使用别名模板来完成的，这更好。

namespace mine {        
    template<typename T, bool b>
    struct make_signed__ {
        typedef T type;
    };
    template<typename T>
    struct make_signed__<T,false> {
        typedef typename std::make_signed<T>::type type;
    };
    template<typename T>
    struct make_signed {
        typedef typename make_signed__<T, std::is_floating_point<T>::value>::type type;
    };
}
int main () {
    std::cout << std::is_same<mine::make_signed<unsigned int>::type, int>::value;
    std::cout << std::is_same<mine::make_signed<long double>::type, long double>::value;
}
相关文章：