必须显式指定 uint64 类型,因为 iota 默认推导为首个常量类型;若不指定,Go 可能推导为 int(32 或 64 位),在 32 位环境无法表示第 31 位以上的掩码。
用
实现 64 位全权限位掩码常量,核心是让每个常量对应一个唯一的、互不重叠的比特位(bit),从第 0 位到第 63 位,共 64 个,且类型为
。
为什么必须显式指定 uint64 类型
默认推导类型为第一个常量的类型。若不指定,Go 可能推导为
(平台相关,可能是 32 或 64 位),导致在 32 位环境或某些边界场景下无法表示第 31 位以上的掩码(如
确保所有位都在安全范围内,且语义清晰。
基础写法:逐位左移 + uint64 显式类型
最直接、可读性高、无歧义的方式:
但这样写满 64 行太冗长。更实用的是用一行定义 + 注释说明范围,并确保类型:
每行一个常量,
自动递增,从 0 开始
显式声明为
,后续同组常量自动继承该类型
最后一项
对应
,即
最高位
进阶技巧:跳过中间值或分组命名
实际权限设计常需语义分组(如文件、网络、系统),可用
占位跳过
,或重置
:
注意:只要最终定义了 64 个不同
值(含
占位),且最后一个非占位常量的
是 63,就满足“64 位全掩码”要求。
验证是否覆盖全部 64 位
可通过打印或断言验证:
返回 x 中 1 的个数,应为 1
返回前导零个数,对
共 64 位)
不复杂但容易忽略:类型安全和位宽对齐才是关键,
只是自增工具,真正起作用的是
。
iotauint64iotaint1 溢出)。显式使用 uint64const (
PermRead = 1 << iota // 1 << 0 = 1
PermWrite // 1 << 1 = 2
PermExec // 1 << 2 = 4
PermDelete
// ... 继续到第 63 个
PermBit63
)
const (
PermRead uint64 = 1 << iota
PermWrite
PermExec
PermDelete
PermAdmin
// ... 中间可省略,保持逻辑分组
PermBit63 // 第 64 个:iota = 63 → 1 << 63
)
iotaPermReaduint64PermBit63iota = 631 ,是合法的 uint64_iotaiotaconst (
// 文件权限
FileRead uint64 = 1 << iota
FileWrite
FileExec
FileAppend
_
// 网络权限(从 iota=5 开始,跳过一个)
NetBind
NetConnect
NetListen
_
// 系统权限(从 iota=9 开始)
SysReboot
SysShutdown
// ... 直到总数量达 64
)
iota_iotafunc TestAll64Bits(t *testing.T) {
const last = PermBit63 // 假设这是第 64 个
if last != 1<<63 {
t.Fatal("last perm not at bit 63")
}
// 或检查是否恰好是最高位
if bits.OnesCount64(last) != 1 || bits.LeadingZeros64(last) != 0 {
t.Fatal("not a single-bit mask")
}
}
bits.OnesCount64(x)bits.LeadingZeros64(x)1 应为 0(因为 uint64iota1 和显式的 uint64