在Go语言中实现类型安全的泛型容器：一种无泛型时代的解决方案

package bag

type T interface{} // 使用空接口作为“泛型”类型参数
type Bag []T

func (a *Bag) Add(t T) {
    *a = append(*a, t)
}

func (a *Bag) IsEmpty() bool {
    return len(*a) == 0
}

func (a *Bag) Size() int {
    return len(*a)
}

import "time"

func main() {
    a := make(bag.Bag, 0, 0)
    a.Add(1)                 // int
    a.Add("Hello world!")    // string
    a.Add(5.6)               // float64
    a.Add(time.Now())        // time.Time
    // ... 编译时完全合法
}

// 这种尝试仍依赖运行时类型断言
type T interface{}
type Bag interface {
    Add(t T)
    IsEmpty() bool
    Size() int
}

type IntSlice []int

func (i *IntSlice) Add(t T) {
    // 运行时类型断言，如果t不是int，则会引发panic
    *i = append(*i, t.(int)) 
}

func (i *IntSlice) IsEmpty() bool {
    return len(*i) == 0
}

func (i *IntSlice) Size() int {
    return len(*i)
}

package intbag

// IntBag 是一个只存储int类型元素的袋子
type IntBag []int

// Add 方法只接受int类型的参数
func (b *IntBag) Add(i int) {
    *b = append(*b, i)
}

// IsEmpty 检查袋子是否为空
func (b IntBag) IsEmpty() bool {
    return len(b) == 0
}

// Size 返回袋子中元素的数量
func (b IntBag) Size() int {
    return len(b)
}

package main

import (
    "fmt"
    "intbag" // 假设IntBag定义在intbag包中
)

func main() {
    myIntBag := make(intbag.IntBag, 0)
    myIntBag.Add(10)
    myIntBag.Add(20)
    // myIntBag.Add("hello") // 编译错误: cannot use "hello" (type string) as type int in argument to myIntBag.Add

    fmt.Printf("IntBag size: %d, IsEmpty: %t\n", myIntBag.Size(), myIntBag.IsEmpty())

    // 遍历IntBag中的元素 (如果需要，可以添加一个迭代器方法)
    for i, v := range myIntBag {
        fmt.Printf("Element %d: %d\n", i, v)
    }
}

// Bag 接口定义了通用袋子的行为，不包含类型特化的Add方法
type Bag interface {
    IsEmpty() bool
    Size() int
}

// IntBag 仍然可以隐式实现这个更通用的Bag接口
// func (b IntBag) IsEmpty() bool { ... }
// func (b IntBag) Size() int { ... }