Go泛型优化：数组切片高效清理（原始类型无操作）

完全可以实现你的需求——让clear函数仅对引用类型执行清理操作，值类型直接跳过，同时保留底层固定大小数组的设计。以下是两种可行的实现方式：

方式一：反射判断类型（通用型实现） #

通过反射在运行时识别引用类型，仅在必要时执行清理逻辑：

import "reflect"

func clear[T any](slice []T) {
    var nilT T
    tKind := reflect.TypeOf(nilT).Kind()
    // 仅对引用类型执行清理：指针、切片、映射、通道、字符串
    switch tKind {
    case reflect.Ptr, reflect.Slice, reflect.Map, reflect.Chan, reflect.String:
        for i := range slice {
            slice[i] = nilT
        }
    default:
        // 值类型直接跳过，无操作
        return
    }
}

这种方式无需枚举具体类型，适配所有Go类型，仅带来极轻微的反射性能损耗，对于小阶数B树节点的场景，该开销几乎可以忽略。

方式二：泛型约束+重载（零性能损耗） #

如果你的B树键值类型范围可控，可以通过泛型约束定义两个重载的clear函数，让编译器在编译时自动匹配对应实现：

// 定义引用类型约束，可根据实际需求扩展支持的类型
type ReferenceType interface {
    ~string | ~[]any | ~map[any]any | ~*any | ~chan any
}

// 值类型的空实现：直接返回，无任何操作
func clear[T int | float64 | bool | byte | rune](slice []T) {}

// 引用类型的清理实现：遍历赋值零值
func clear[T ReferenceType](slice []T) {
    var nilT T
    for i := range slice {
        slice[i] = nilT
    }
}

这种方案完全在编译阶段完成类型判断，没有运行时性能开销，但需要提前明确支持的类型集合，适合类型范围固定的场景。

效果验证 #

保持原有调用方式即可实现预期行为：

clear(sInt.arr[3:]) // 匹配值类型空实现，无操作
clear(sStr.arr[3:]) // 匹配引用类型清理逻辑，执行零值赋值

该方案既保留了固定大小数组的低内存开销优势，又能避免引用类型残留导致的内存泄漏，完全适配你的B树实现场景。

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