c++ - 当 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(){}

您可以在此处查看“正常”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 类型，这似乎是确保最大可用性的 super 冗余方法。

有什么想法吗？

干杯，我感谢任何输入!

Answer 1

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

C 标准所说的是:

• 如果定义了int32_t，它指的是一个带符号的 32 位 2 的补码整数。

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

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

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

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