Go 常量位移为什么必须先检查位移量的符号与范围

调用 constant.Shift 前要先检查位移量，因为它的第三个参数是 uint：负数若先转为无符号数，就失去了原本的负号；过大的正数还可能超出宿主平台可表示范围，或让常量求值消耗过多资源。正确顺序是先判断原始输入的符号和范围，再转换并调用。

这里的“范围”需要分开理解：语言对表达式的要求、API 参数的表示范围，以及工具自己的资源预算。不要把工具设置的上限写成 Go 语言统一的位移上限。

先挡住有符号数到 uint 的错误转换

设想一个表达式分析器从配置中读取带符号位移量。若它先做 uint 转换，再交给常量库，原本应该明确报告的负数输入就可能变成极大的正数。排查时，应回到输入字段与转换语句之间，查看检查是否发生在类型转换之前。

无符号类型只是 API 的输入表示，不能代替输入合法性判断。对来自字符串、常量表达式或外部协议的数值，应先在原始表示中识别负数、非整数和过大数值，再决定是否能用于位移。

说明图把原始输入与API参数分开，各条连线表示约束关联。

把语义错误与工具预算分开

语言规范并没有给一般位移计数规定一个统一的最大数字。常量表达式仍涉及常量表示和实现限制；自建工具另设预算时，应明确这是产品策略。对非零整数左移，位数随位移量增长，不能只检查输入文本的长度就判断计算量很小。

如果这是面向用户的表达式服务，还需要对整个表达式树设置总预算。单个节点的上限不能限制重复嵌套、批量请求或原本就很大的左操作数。错误信息最好区分“非法位移量”和“超过工具预算”，便于用户修正。

用一个有界适配函数承接外部输入

下面的适配函数限定输入为整数常量，使用小而明确的资源上限。4096只是示例工具的策略，不是语言规定。由于该预算在常见32位和64位uint范围内，检查通过后才进行转换。

package main

import (
    "fmt"
    "go/constant"
    "go/token"
)

// shiftForTool 只接收整数常量，最大位移量是工具自己的资源策略。
func shiftForTool(x constant.Value, op token.Token, count int64) (constant.Value, error) {
    const maxToolShift int64 = 4096
    if x == nil || x.Kind() != constant.Int {
        return nil, fmt.Errorf("左操作数必须是整数常量")
    }
    if op != token.SHL && op != token.SHR {
        return nil, fmt.Errorf("只接受左移或右移")
    }
    // 先检查符号，再检查预算，最后才转换为 uint。
    if count  maxToolShift {
        return nil, fmt.Errorf("位移量超过工具预算")
    }
    return constant.Shift(x, op, uint(count)), nil
}

func main() {
    // 示例只使用小规模输入，不分配超大常量。
    v, err := shiftForTool(constant.MakeInt64(5), token.SHL, 4)
    if err != nil {
        fmt.Println(err)
        return
    }
    fmt.Println(v.ExactString())
}

本例未执行。按输入推导，5左移4位对应80。负数和超过4096的输入应由适配层返回各自错误，不能通过截断、取绝对值或改成0悄悄继续。若调用方使用 Unknown 表示上游失败，应另设分支处理；本函数有意只接受已知整数。

结构图中的预算属于调用方，constant.Shift只负责约定的常量运算接口。

区分宿主平台与目标平台

交叉分析工具可能运行在64位机器上，却分析32位目标程序。宿主uint能容纳某个计数，不代表该表达式在目标语言上下文中都合法；反过来，目标的定宽整数位数也不能直接当成所有位移计数的上限。

需要判断源程序合法性时，应让类型检查器处理目标上下文，使用相应目标尺寸配置。只需要对受限配置求值时，可以采用上面明确声明预算的函数。二者服务的任务不同，不宜用一次uint转换同时代替语义判断和求值策略。

如果原始计数是 constant.Value，不要先丢掉精确性信息。应先确认已知、可解释为整数和非负，再在精确表示中比较预算；需要提取机器整数时保留提取接口的成功标志。未经检查的大值不能先截断为int64再比较。

常见问题

为什么不能限制位移量小于左值的位宽？

这不是通用的Go位移规则。你可以为特定产品设计更严格的策略，但应标注是工具限制，不能当成语言定义。

能用 BinaryOp 处理位移吗？

常量位移使用 Shift，操作符只采用 SHL 或 SHR；应按API职责选择接口。

检查位移量后还需要限制结果大小吗？

需要结合业务考虑。原操作数大小、累计计算量与输出文本长度同样属于预算设计，单次计数检查不能包办这些约束。

官方接口：https://pkg.go.dev/go/constant#Shift；语言规范：https://go.dev/ref/spec#Operators。