Go语言如何支持不同类型变量按引用传入同一可变参数

你预期的完全零改动前端代码无法实现，这是Go语言类型系统和内存模型的硬约束，和后端实现复杂度无关，没有任何黑科技可以绕开。

• 不可寻址的值无法被修改：你写的调用代码里500是整数字面量，属于编译期常量，没有可被引用的内存地址，函数内根本不可能修改它的“原值”。
• interface{}的传值拷贝特性：就算你把可变参数类型定义为...interface{}，所有传入参数都会被拷贝一份存入interface{}结构，函数内操作的是副本，完全不会影响外部原变量。
• 类型内存布局不兼容：*string、*int这类具体类型指针和*interface{}的内存结构完全不同，不存在隐式转换，无法直接统一接收。

该方案仅需要前端在调用时给需要修改的变量加上取地址符&，原本不可寻址的字面量需要先定义为变量，不需要额外编写任何类型包装函数，后端通过反射统一处理所有类型的修改逻辑，一次编写即可支持任意类型的引用更新。

后端实现代码 #

import "reflect"

func UpdateRef(variadic ...interface{}) {
	for _, v := range variadic {
		rv := reflect.ValueOf(v)
		// 只处理非空的指针类型参数
		if rv.Kind() != reflect.Ptr || rv.IsNil() {
			continue
		}
		targetVal := rv.Elem()
		// 按原有逻辑匹配类型修改值
		switch targetVal.Kind() {
		case reflect.String:
			targetVal.SetString("New ref val")
		// 如需支持其他类型修改，在这里新增对应case即可
		// case reflect.Int:
		// 	targetVal.SetInt(1000)
		}
	}
}

前端调用代码（改动量极小） #

func main() {
	ref := "Hey"
	i := 500
	// 仅需传入变量指针，无额外包装
	UpdateRef(&ref, &i)
	// 执行后ref的值会被更新为"New ref val"
}

• 无冗余包装代码：不需要像原有实现那样写通用的Interface包装函数，调用逻辑直观
• 扩展成本低：后续需要支持新类型的修改，只需要在后端反射逻辑里新增对应类型分支，不需要修改调用侧代码
• 行为可控：非指针参数会被自动跳过，不会出现隐式拷贝导致的修改不生效问题，调试成本低

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