c++ - 重载显式构造函数的不直观行为

Question

以下代码使用( native 64 位)g++-10 在 64 位 Linux 系统上进行无警告编译:

#include <cstdint>

class A {
  public:
    explicit A(unsigned long long int x) { };
    explicit A(uint64_t x) { };
};

int main() {}

但是，在 32 位系统上(相同的 Linux 发行版，相同的版本，但它是 32 位机器)，我收到此错误:

t.cc:6:14: error: ‘A::A(uint64_t)’ cannot be overloaded with ‘A::A(long long unsigned int)’
    6 |     explicit A(uint64_t x) { };
      |              ^
t.cc:5:14: note: previous declaration ‘A::A(long long unsigned int)’
    5 |     explicit A(unsigned long long int x) { };

我通过实验测试了位大小(printf-ing sizeof(long long unsigned int))，是的，它们在 32 位和 64 位系统上都是 8 字节长。

为什么它不能在 32 位系统上编译？

扩展名:

我为此进行了一些搜索，并在 glibc 头文件 /usr/include/x86_64-linux-gnu/bits/types.h (或 /usr/include/i386-linux/bits/types.h)，它们的定义因 __extension__ 宏或属性而不同:

#if __WORDSIZE == 64
typedef signed long int __int64_t;
typedef unsigned long int __uint64_t;
#else
__extension__ typedef signed long long int __int64_t;
__extension__ typedef unsigned long long int __uint64_t;
#endif

我认为这个__extension__很重要。如果__WORDSIZE == 64，那么我们处于64位环境中，那么这些类型是兼容的。如果不是，则类型定义因 __extension__ 不同而不同。这个属性(宏)从哪里来？如何编写公平的平台无关代码？

Answer 1

uint64_t 不是基本类型。它是一个可选的“类型”，是 64 位宽的无符号整数类型的别名。在您的 32 位系统上，这意味着他们很可能将其定义为

using uint64_t = unsigned long long int; 

所以它们是相同的类型，并且不能有两个具有相同签名的重载

在您的 64 位计算机上，他们很可能使用 unsigned long int 来代替，因为在 64 位 Linux 发行版上它是 64 位。这就是为什么它适用于 64 位但不适用于 32 位。