为什么编译器不会为 size_t 的负值生成警告？ [复制]

Question

在下面的代码中，我使用了size_t 作为函数参数并传递了负值。我已经使用以下命令在 GCC(Linux) 上编译了程序。

g++ -Wall size.cpp -o size

GCC 编译成功，没有警告，但结果不是我期望的：

size_t : 18446744073709551615
int : -1

代码：

#include <iostream>

void func1(size_t i) 
{
  std::cout << "size_t : " << i << std::endl;
}

void func2(int i) 
{
  std::cout << "int : " << i << std::endl;
}

int main() 
{
  func1(-1);
  func2(-1);
  return 0;
}

为什么编译器不会为带有size_t 的负值生成警告？

Answer 1

由于size_t 在 C++ 中始终是无符号的：

size_t 类型是实现定义的无符号整数类型，其大小足以包含任何对象的字节大小。

为什么编译器不为 size_t 的负值生成警告？

因为给size_t 分配一个负值会调用有符号到无符号的转换，这是明确定义的：

如果目标类型是无符号的，则结果值是与源整数一致的最小无符号整数（模 2ⁿ，其中 n 是用于表示无符号类型的位数）。 [注意： 在二进制补码表示中，这种转换是概念性的，位模式没有变化（如果没有截断）。 —尾注]