C++ 宏来测试整数类型是有符号的还是无符号的

C++ 宏来测试整数类型是有符号的还是无符号的,c++,c,C++,C,如何(在C/C++中)编写一个宏来测试整数类型(作为参数给定)是有符号的还是无符号的 #define is_this_type_signed (my_type) ... #定义此类型是否已签名(我的类型)。。。 在C++中,使用 STD::NoimiCiLime::ISSype ./P> #include <limits> std::numeric_limits<int>::is_signed - returns true std::numeric_limits<

如何(在C/C++中)编写一个宏来测试整数类型(作为参数给定)是有符号的还是无符号的

#define is_this_type_signed (my_type) ... #定义此类型是否已签名(我的类型)。。。
<>在C++中,使用<代码> STD::NoimiCiLime::ISSype ./P>
#include <limits>
std::numeric_limits<int>::is_signed  - returns true
std::numeric_limits<unsigned int>::is_signed  - returns false
#包括
std::numeric_limits::is_signed-返回true
std::numeric_limits::is_signed-返回false

请参阅。

如果您想要的是一个简单的宏,那么这应该可以做到:

#define is_type_signed(my_type) (((my_type)-1) < 0)
#define IS_SIGNED( T ) (((T)-1)<0)
#定义是有符号的(我的类型)((我的类型)-1<0)

对于C++,存在Boosix::IsUnNo签署。我很好奇你为什么需要它,我想没有什么好的理由。

你的要求并不是最好的,但是如果你想拼凑一个定义,一个选项可以是:

#define is_numeric_type_signed(typ) ( (((typ)0 - (typ)1)<(typ)0) && (((typ)0 - (typ)1) < (typ)1) )

#define is_numeric_type_signed(typ)(((typ)0-(typ)1)今天早些时候,我其实也在想同样的事情。以下似乎有效:

#define is_signed(t)    ( ((t)-1) < 0 )

使用模板函数可以更好地实现这一点,减少宏观业务

    template <typename T>
        bool IsSignedType()
        {
           // A lot of assumptions on T here
           T instanceAsOne = 1;

           if (-instanceAsOne > 0)
           {
               return true;
           }
           else
           {
               return false;
           }
}
模板
bool IsSignedType()
{
//这里有很多关于T的假设
T一=1;
如果(-1>0)
{
返回true;
}
其他的
{
返回false;
}
}
请原谅格式错误

<>我会试试这个,看看它是否有效……< /p> < p> C++,你可以做:


bool is_signed = std::numeric_limits<typeof(some_integer_variable)>::is_signed;

布尔带符号=标准::数值限制::带符号;

数值限制是在标题中定义的。

在C中,无法编写适用于基本整数类型的未知typedef的宏

在C++中,只要你的类型是基本整数类型或者基本整数类型的Type,就可以。下面是C++中的:

template <typename T>
struct is_signed_integer
{
    static const bool value = false;
};

template <>
struct is_signed_integer<int>
{
    static const bool value = true;
};

template <>
struct is_signed_integer<short>
{
    static const bool value = true;
};

template <>
struct is_signed_integer<signed char>
{
    static const bool value = true;
};

template <>
struct is_signed_integer<long>
{
    static const bool value = true;
};

// assuming your C++ compiler supports 'long long'...
template <>
struct is_signed_integer<long long>
{
    static const bool value = true;
};

#define is_this_type_signed(my_type) is_signed_integer<my_type>::value
模板
结构是有符号的整数
{
静态常量布尔值=假;
};
模板
结构是有符号的整数
{
静态常量布尔值=真;
};
模板
结构是有符号的整数
{
静态常量布尔值=真;
};
模板
结构是有符号的整数
{
静态常量布尔值=真;
};
模板
结构是有符号的整数
{
静态常量布尔值=真;
};
/假设你的C++编译器支持“长长”…
模板
结构是有符号的整数
{
静态常量布尔值=真;
};
#定义是\此\类型是\有符号的(我的\类型)是\有符号的\整数::值

如果您想要宏,那么这应该可以做到:

#define is_type_signed(my_type) (((my_type)-1) < 0)
#define IS_SIGNED( T ) (((T)-1)<0)

<代码> >定义iSySt签名(t)((t(1))< p> althOuto>代码>类型< <代码>不是合法的C++,现在可以使用模板推导。参见下面的示例代码:

#include <iostream>
#include <limits>

template <typename T>
bool is_signed(const T& t)
{
  return std::numeric_limits<T>::is_signed;
}

int main()
{
  std::cout << 
    is_signed(1) << " " << 
    is_signed((unsigned char) 0) << " " << 
    is_signed((signed char) 0) << std::endl;
}
更“现代”的方法是使用
type\u traits

#include <type_traits>
#include <iostream>
int main()
{
    std::cout << ( std::is_signed<int>::value ? "Signed" : "Unsigned") <<std::endl;
}
#包括
#包括
int main()
{

STD:CUT C和C++是两种不同但相关的语言。你想记住这一点——宏是C中的一个很棒的解决方案,但是它们是危险的,而且在C++中是不需要的。宏完全短路C++中的类型检查,只是为了初学者。有一些事情是不能用宏的。总之,如果你有一些C/C++代码是必要的。你想在C++模板中做类似的事情。你能解释一下“没有宏的情况下”不能做什么吗?我需要计算一个整数类型变量的最大值和最小值,因为它是类型的。你可以使用STD::NeimCixLime::Max()和STD::获取类型的最大值和最小值。如果需要,为什么不先问这个问题?此宏的一个很好的用例是静态断言类型,以确保它在编译时已签名/未签名。从技术上讲,它不是“宏”按照要求,但肯定是内置类型的最标准方法。但是,在C++ IMO中应该尽量避免宏。这个答案有一个单位化变量;这可能并不总是有效的。需要更改为:*定义iSyType符号(MyOyType)((MyIyType(0))- 1)< 0)。帕特里克J:在C++中,由于缺省初始化,原始作品很好。但是,C中是正确的。当只有变量是临时变量0和- 1时,怎么会有一个未初始化变量?如果没有一个解决方案,GCC(7.4)的错误是比较好的:未签名表达式0的比较总是错误的。[Werror =类型限制] C++中没有Type of(),但是在C++ 11中有DeCype(变量),它可以实现。
  1 0 1
#include <type_traits>
#include <iostream>
int main()
{
    std::cout << ( std::is_signed<int>::value ? "Signed" : "Unsigned") <<std::endl;
}