static_cast何时编译为无CPU指令？同位数整数转换是否总是如此？

先看这段C++代码：

void f(unsigned int x) { }

int main()
{
  int z = 3;
  
  if (z > 0)
    for (unsigned int i = 0; i < z; ++i)
      f(i);

  return 0;
}

开启全警告编译时，编译器会弹出如下警告：

warning: comparison of integer expressions of different signedness: ‘unsigned int’ and ‘int’

实际上代码已经通过if(z>0)确保了循环上限为正，这个警告属于误报。要消除警告，我们可以给z加显式的static_cast转换：

int main()
{
  int z = 3;
  
  if (z > 0)
    for (unsigned int i = 0; i < static_cast<unsigned int>(z); ++i)
      f(i);

  return 0;
}

对比两段代码的汇编输出会发现，它们完全一致——毕竟同位数的int转unsigned int，本来就不需要生成额外的CPU指令。这就引出两个关键问题：

1. static_cast什么时候不会生成编译后的CPU指令？
2. 同位数整数类型之间的static_cast是不是永远都不会生成指令？

一、static_cast不生成CPU指令的常见场景 #

static_cast本质是给编译器一个明确的类型转换指令，是否生成机器码，核心看这个转换是否需要修改数据的二进制表示，或者是否需要CPU执行额外运算：

• 同位数有符号/无符号整数互转：在当前主流的补码系统中，正整数的二进制表示在两种类型下完全一致；负数转无符号时，只是编译器将补码形式的二进制值直接解读为无符号数，不需要CPU做任何运算，因此不会生成指令。
• 单继承下的向上转型：比如把派生类指针/引用转为基类指针/引用，只要没有虚基类的复杂布局，本质只是编译器调整对指针的类型解读，不需要生成额外机器码。
• 同宽度指针与整数互转：比如64位系统中void*和uint64_t互转，只是将指针的二进制值直接当作整数处理，无额外指令。
• 同类型冗余转换：比如static_cast<int>(int_var)这种完全多余的转换，编译器会直接忽略，不会生成任何指令。

二、同位数整数间的static_cast是否永远无指令？ #

在当前主流的补码系统中，同位数整数类型之间的static_cast转换动作本身永远不会生成CPU指令——因为转换只是改变编译器对二进制数据的解读方式，不需要修改数据本身。

唯一的例外是某些极其罕见的非补码系统（C++标准允许存在，但现实中几乎绝迹），这类系统中，有符号整数转无符号可能需要调整二进制位，此时会生成对应的指令。但在日常开发的x86、ARM等平台上，完全不用担心这种情况。

另外要注意：转换本身无指令，但后续的运算、比较可能会使用不同的CPU指令（比如无符号比较用ja，有符号比较用jg），但这属于后续操作的差异，不是static_cast转换本身带来的指令。

内容的提问来源于stack exchange，提问作者francesco