C语言如何实现C++20的a >>= std::countr_zero(a)等效功能？

C++20中std::countr_zero的作用是统计无符号整数二进制表示末尾连续0的个数，对应的C语言标准实现根据支持的标准版本不同有所区别：

• 若使用C23及以上版本标准，可直接使用标准库<stdbit.h>中提供的stdc_trailing_zeros系列函数，行为与C++20的std::countr_zero完全一致，编译器可直接深度优化为对应硬件指令，写法如下：

#include <stdbit.h>
// 注意入参a必须为无符号整数类型，传入0会触发未定义行为，需提前做边界判断
a >>= stdc_trailing_zeros(a);

• 若使用C23之前的旧标准，没有统一的标准库接口，可根据所用编译器调用对应内置函数，优化级别和C++20写法完全一致，不存在额外性能损耗。

你给出的while循环首先存在逻辑错误：循环体中写的是a >> 1而非a >>= 1，执行后不会修改a的值。就算修正为正确的右移赋值，这个逐位判断的实现最坏情况下需要循环执行和整数位宽相同的次数（比如32位整数最多循环32次），且分支预测失败率高，性能很差。
以下几种实现的执行效率都远高于手写while循环：

• 编译器内置函数实现
  主流编译器都提供了统计末尾连续0的内置函数，编译时会直接生成对应CPU的位操作指令（比如x86平台的TZCNT/BSF指令、ARM平台的RBIT+CLZ指令），仅需1~2个时钟周期就能完成计算，是性能最高的方案：
  • GCC、Clang编译器：针对32位无符号int用__builtin_ctz，64位无符号long long用__builtin_ctzll，示例：

    uint32_t a;
    // 提前处理a==0的边界情况
    if (a != 0) {
        a >>= __builtin_ctz(a);
    }
    

  • MSVC编译器：针对32位无符号数用_BitScanForward，64位用_BitScanForward64，结果通过输出参数返回，示例：

    unsigned long tz_count;
    if (_BitScanForward(&tz_count, a)) {
        a >>= tz_count;
    } else {
        // a为0的分支处理逻辑
    }
    

• 无分支常数时间位运算实现
  如果需要兼容不支持上述内置函数的老旧编译器，可以用基于德布鲁因序列的查表实现，全程没有循环和条件分支，执行指令数固定，不会因为末尾0的数量变化影响性能，远快于逐位循环：

  // 32位无符号整数版本
  static const uint8_t debruijn_tz_table[32] = {
      0, 1, 28, 2, 29, 14, 24, 3, 30, 22, 20, 15, 25, 17, 4, 8,
      31, 27, 13, 23, 21, 19, 16, 7, 26, 12, 18, 6, 11, 5, 10, 9
  };
  // a & -a 可以取出a最低位的1，乘魔数后移位查表直接得到末尾0的个数
  uint32_t tz_count = debruijn_tz_table[((uint32_t)((a & -a) * 0x077CB531U)) >> 27];
  a >>= tz_count;
  

注意：所有统计末尾连续0的实现，入参为0时行为都是未定义的，实际业务代码中必须提前判断a为0的场景，单独做处理。

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