当 int 不是 int (intX_t)

Question

这里的问题让我有些头疼。

基本上我正在尝试使库与不同的 Arduino 系统兼容（不是 Arduino 的问题）。

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

使用 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(){}

您可以在此处查看 'normal' 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 类型，这似乎是确保最大可用性的超级冗余方法。

有什么想法吗？

干杯，感谢任何意见！

Answer 1

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

C标准说的是：

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

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

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

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

Answer 2

来自 C11 标准 7.20.1.1(1)

The typedef name intN_t designates a signed integer type with width N, no padding bits, and a two’s complement representation. Thus, int8_t denotes such a signed integer type with a width of exactly 8 bits.

所以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)

When int isn't an int (intX_t)

c++

c++11

gcc

gcc4.8