C#中1ul<<64是否为未定义行为？如何高效生成无分支位掩码？

我在编写.NET 8代码生成不同大小的位掩码，这些掩码用于性能敏感的热路径中，因此极致性能是核心需求。最初采用的实现如下：

public static ulong Mask(int bitsize)
{
    return (1ul << bitsize) - 1ul;
}

调用示例代码：

using System;

var r = new ulong[3];
test(r);

foreach (var u in r)
{
    Console.WriteLine(u);
}

void test(ulong [] result) {
    result[0] = mask(32);
    result[1] = mask(63); 
    result[2] = mask(64);
}  
static ulong mask(int bitsize)
{
    return (1ul << bitsize) - 1u;
}

我原本以为调用mask(64)会生成全1的掩码（按直觉左移64位得到0，减1后应为0xFFFFFFFFFFFFFFFF），但实际JIT生成的结果是全0，即使使用unchecked包裹返回值也没有改善。这让我联想到C++中的未定义行为——执行禁止操作后结果不可预期，这里的移位减1操作似乎被完全优化掉了。

我可以预计算0到64位的掩码值做查表，但查表方案比JIT可内联的汇编代码（如下）更占内存、速度更慢：

mov eax, 1
shlx rax, rax, rcx
dec rax
ret

因此有两个核心疑问：

1. C#中1ul << 64属于未定义行为吗？
2. 有没有无需引入分支的方式动态生成位掩码？

1. C#中1ul << 64的行为定义 #

这不是未定义行为，而是C#规范明确规定的行为。根据C#语言规范，无符号整数的移位操作会先将移位位数与操作数的位数取模：

• 对于64位无符号整数ulong，移位位数会被计算为bitsize % 64
• 当bitsize=64时，64%64=0，因此1ul <<64等价于1ul <<0，结果为1
• 后续减1操作得到的就是1-1=0，这就是你看到全0结果的原因

和C++不同，C#对无符号移位的边界情况做了明确规定，不存在未定义行为的空间。

2. 无需分支（或JIT优化为无分支）的位掩码生成方案 #

方案一：简洁高效的条件写法（JIT优化为无分支）

虽然代码中包含条件判断，但.NET 8的RyuJIT会将这种简单的条件逻辑优化为条件移动指令（CMOV），不会产生分支跳转，性能和无分支代码几乎一致，同时可读性极佳：

public static ulong Mask(int bitsize)
{
    return bitsize == 64 ? ulong.MaxValue : (1UL << bitsize) - 1;
}

方案二：纯无分支位运算实现

如果需要彻底避免条件判断的写法，可以利用布尔值转整数的溢出特性实现无分支逻辑：

public static ulong Mask(int bitsize)
{
    ulong shift = (ulong)bitsize;
    // 处理0-63位的正常掩码
    ulong baseMask = (1UL << (int)(shift & 63)) - 1;
    // 当bitsize=64时生成全1掩码，否则不影响结果
    return baseMask | (ulong)(-(long)(shift == 64));
}

原理说明：

• 当bitsize=64时，shift==64为true，转换为long类型是-1，再转换为ulong就是全1的0xFFFFFFFFFFFFFFFF，与此时为0的baseMask按位或后得到正确的全1掩码
• 当bitsize为0-63时，shift==64为false，转换为long是0，按位或操作不改变baseMask的正确结果

内容的提问来源于stack exchange，提问作者John Källén