Go语言技术文章
-
reflect.TypeFor 读取的是泛型参数代表的静态类型，reflect.TypeOf 读取的是值装入接口后的动态类型。本文用接口、指针接口和 Elem 的对照说明两者的差异与选择方法。311 收藏 -
Go 包迁移时，type A = B 只增加一个兼容名称，不会创建新类型，因此 reflect.Type 的 Name 和 PkgPath 仍然对应原定义类型。本文用一个小项目区分类型别名与类型定义，并给出以 reflect.Type 身份比较替代字符串判断的兼容方案。444 收藏 -
go build -trimpath 会移除可执行文件中的本机文件系统路径，但不会自动删除调试符号。本文用最小示例拆解它对堆栈、源码导航、CI 可复现构建和生产发布的影响，并给出按场景选择构建参数的方法。224 收藏 -
Go 1.22 提供的 reflect.TypeFor[T] 可以直接取得类型参数 T 的反射类型。本文对比 reflect.TypeOf 的零值写法、指针 Elem 写法与 TypeFor 的迁移边界，说明哪些代码更清晰，哪些场景仍然必须保留动态反射。182 收藏 -
接口断言成功只说明当前动态类型满足目标类型，不能证明 type switch 已覆盖全部输入。本文用 Go 示例定位遗漏 case，并补上 default 兜底和表格测试。149 收藏 -
Go 1.22 起可以用 reflect.TypeFor[T]() 直接取得泛型参数的 reflect.Type。本文从 TypeOf 的旧写法切入，说明接口、指针、切片和结构体元数据的读取方式，并给出泛型元数据缓存与静态类型边界的实用写法。196 收藏 -
用一个清晰的 secret.Do 封装把密码处理函数放进机密边界，讲明输入所有权、结果复制、实验开关、panic 与平台限制。369 收藏 -
go list 看到的模块 Go 版本不等于当前真正执行编译的工具链版本。本文拆解 go.mod 的 go 与 toolchain、GOTOOLCHAIN 自动选择、工作区和 CI 环境差异，并给出一套可复制的排查命令。101 收藏 -
runtime/secret.Do 通过编译器与运行时协作，减少机密数据在寄存器、栈和堆上的残留，但它不把普通优化结果变成语言规范保证。本文梳理两者的职责边界、返回值设计和兼容限制。292 收藏 -
go generate 默认在包含指令的 Go 包源目录运行。本文从工作目录、相对路径、环境变量和模块根目录入手，排查命令找不到、输入为空与生成文件落错位置等问题。229 收藏 -
runtime/secret.Do 可以让 Go 在机密计算返回前清除相关寄存器与栈，并在堆对象变得不可达后交给垃圾回收器处理。本文用最小示例说明实验开关、平台限制、全局变量、panic 和 Goexit 等使用边界。337 收藏 -
调整 GOGC 或 runtime/debug.SetGCPercent 后，延迟不会按固定方向变化。本文用固定工作负载、隔离的基准样本和延迟分位数，对照分析 GC 频率、堆空间、吞吐与 p95/p99 的关系。416 收藏 -
Go 迁移到 ML-KEM 时，不要把后量子算法简单替换或直接拼接共享秘密。本文以 crypto/mlkem 和传统 ECDH 为例，说明协商、上下文绑定、HKDF 派生与失败即拒绝的组合方式。245 收藏 -
Go 容器内存限制不是把 SetMemoryLimit 当成硬上限，而是先给 cgroup 预留运行时和外部内存，再用 GOMEMLIMIT 或 SetMemoryLimit 约束 Go runtime 的软目标。本文按预算、配置、观测和回退步骤给出可复用做法。496 收藏 -
Go 的 crypto/mlkem.Decapsulate 只有在密文长度不正确时返回错误；长度正确但内容无效时会得到不匹配的共享密钥。本文给出错误传播、协议确认和日志脱敏的实用写法。122 收藏