重载显式构造函数的不直观行为答案

【问题标题】：Unintuitive behavior of overloaded explicit constructors重载显式构造函数的不直观行为
【发布时间】：2020-11-21 16:13:53
【问题描述】：

以下代码在 64 位 Linux 系统上使用（本机 64 位）g++-10 进行无警告编译：

#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__。这个属性（宏）来自哪里？如何制作公平的平台无关代码？

【问题讨论】：

只有当std::uint64_t 没有实现为unsigned long long int 时，您可能希望在第二个构造函数中进行有条件的编译。
哦，谢谢！我为此进行了一些搜索，并在 glibc 标头/usr/include/x86_64-linux-gnu/bits/types.h（或/usr/include/i386-linux/bits/types.h）中发现它们的定义因__extension__ 宏或属性而异。我将其扩展到问题中。
请注意，它们的区别不仅仅在于__extension__。如果WORDSIZE 是64，那么typedef unsigned long int __uint64_t;定义uint64_t。否则typedef unsigned long long int __uint64_t; 定义uint64_t。这就是导致您的问题的部分。

标签： c++ g++ 32bit-64bit

【解决方案1】：

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

using uint64_t = unsigned long long int;

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

在您的 64 位机器上，他们很可能使用 unsigned long int，因为在 64 位 Linux 发行版上是 64 位。这就是它适用于 64 位而不适用于 32 位的原因。

【讨论】：