当 int 不是 int 时 (intX_t)

When int isn't an int (intX_t)

本文关键字：int intX 不是      更新时间：2023-10-16

我这里有一些令人头痛的问题。

基本上我试图使一个库与不同的Arduino系统兼容(不是Arduino问题)。

我有一种情况，类型不再匹配，因为在int不再等同于其相同的固定宽度类型。在提供的有限环境中(没有标准库之类的)，我已经为我需要的功能编写了自己的类型trait类。

使用GCC 4.8.1 (avr)一切正常Extensa-1x106-GCC (ESP8266)，但不支持GCC 4.8.3 (SAM,SAMD内核)。

基本上，我已经确定了我的代码，以显示这个非常基本的代码中的问题(int在失败的32位平台编译器上被确认有4个字节):

template < typename T, typename U > struct is_same{ enum { value = false }; };
template < typename T > struct is_same< T, T >    { enum { value = true }; };
void setup() {
  static_assert( is_same<int,int32_t>::value, "Not integer");
}
void loop(){}

你可以在这里查看一个"正常的"c++实现(上面是Arduino IDE中使用的基本实现):http://cpp.sh/377e

顺便说一下，静态断言也不会在cpp.sh编译器中触发。

为4.8.1不正确，说明int和int32_t应考虑为不同类型。或者4.8.3不正确，如果实现定义的大小相等，它们应该是相等的。

我使用下面的代码来检测任何类型的整数，这就是我最初发现错误的地方。

template< typename T >
    struct is_integer{
        enum{
            V8    = is_same< T, uint8_t >::value  || is_same< T, int8_t >::value,
            V16   = is_same< T, uint16_t >::value || is_same< T, int16_t >::value,
            V32   = is_same< T, uint32_t >::value || is_same< T, int32_t >::value,
            V64   = is_same< T, uint64_t >::value || is_same< T, int64_t >::value,
            value = V8 || V16 || V32 || V64
        };
};

我当然可以改变它来检查char, int, long等。但是它仍然需要检查所有固定宽度的变化，最有可能的是int_fastX_t和int_leastX_t类型，这似乎是一个超级冗余的方法，以确保最大的可用性。

任何想法?

干杯，我感谢任何输入!

这是由C标准管理的;c++只通过显式引用继承行为。

C标准说的是:

  • 如果定义了int32_t，则表示有符号32位2的补码整数

  • 如果实现提供了一个带符号的32位2的补型整数类型，它必须提供typepedef int32_t来引用它。

没有任何地方说这个32位2的补号整数类型必须是int。从技术上讲，即使int 是 32位2的补号整数类型，也完全有可能实现提供一个不同的32位2的补号整数类型，并定义int32_t引用另一个类型。

恐怕唯一完全通用的解决方案是列出所有基本类型，固定宽度类型，最小宽度类型和快速最小宽度类型。

对于一些不那么令人生畏的事情，应该可以检查您希望支持的工具链的文档，以查找它们提供的类型以及它们如何命名它们。如果这组"您希望支持的工具链"是无限的，我认为没有更简单的方法了。

出自C11标准7.20.1.1(1)

typepedef名称intN_t指定了一个宽度为N的有符号整数类型，没有填充位，和一个2的补码表示。因此，int8_t表示这样一个符号宽度为8位的整型。

所以int32_t是一个32位宽的有符号整数

尽管int被定义为sizeof(int)大于或等于char (c++ 14 3.9.1(2))，并且有符号int必须能够表示[-32767, 32767] (C11 5.2.4.2.1)。这个范围实际上是16位。

因此，int可能永远不会等同于intN_t，因为intN_t可以是独立于标准类型的实现定义类型。

相关文章：