Question

我在这里遇到了一些令人头疼的问题。

基本上我试图让一个库与不同的Arduino系统兼容（而不是Arduino问题）。

我遇到类型不再匹配的情况，因为int不再等同于其相同的固定宽度类型。在提供的有限环境中（没有stdlib等）我已经为我需要的功能编写了自己的类型特征类。

一切正常，使用GCC 4.8.1（avr）＆amp; 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(){}

您可以查看＆＃39;正常＆＃39;这里的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等等。但它仍然需要检查所有固定宽度的变化，很可能是{{ 1}}和int_fastX_t类型，这似乎是确保最大可用性的超级冗余方法。

有什么想法吗？

干杯，我感谢任何意见！

Answer 1

这受C标准管辖; C ++只是通过显式引用继承行为。

C标准所说的是：

如果定义了int32_t，则它指的是带符号的32位2的补码整数。
如果实现提供带符号的32位2的补码整数类型，它必须提供typedef int32_t，它将引用它。

没有任何地方说这个32位2的补码有符号整数类型必须是int。从技术上讲，即使int 是 32位2的补码整数类型，实现也完全有可能提供一个独特的32位2的补码有符号整数类型并定义{{ 1}}引用其他类型。

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

对于不那么令人生畏的事情，应该可以检查您希望支持的工具链的文档，以找出它们提供的类型以及它们如何命名。如果这套“你希望支持的工具链”无限制，我认为没有更简单的出路。

Answer 2

来自C11标准7.20.1.1（1）

typedef名称intN_t指定带宽为N的无符号整数类型，无填充位和二进制补码表示。因此，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可以是与标准类型分开的实现定义类型。

当int不是int（intX_t）时

2 个答案: