go 泛型以后会支持特例化吗

你这是动态语言的写法，像 py 一样 isinstance 。编译型语言应该是 func IsEmpty[T comparable](x T) bool 这样写

@bosskwei 特化，rust 和 cpp 支持的

你这个也不是不能搞，你写一个接口把 case 对应的接口全写进去，然后 T 用这个接口做约束…就是用起来很烦。

或者你还是用 switch t.(type)这种非泛型思路写吧。

很可能不会支持…

go 的博客里有这么一句话

“write Go programs by writing code, not by defining types”

@Trim21 哈哈，我倒是感觉以后没准会，毕竟 JAVA 的基础类型泛型特例化都要来

唉...go 的泛型还是一个残废呀
泛型与 go 的语言设计思想就是背道而驰的, 即便弄出个泛型, 也是这种夹生饭.

短期不用想

你有没想过限定 T 为某个 type interface { IsEmpty bool() }?

可以把基础类型定义为自定义类型，然后通过“泛型接口”

type CanEmptyT interface {
~int | ~string | ~[]byte
Empty() bool
}


type SliceByte []byte

func (sb SliceByte) Empty() bool {
if sb == nil || *(*int)(unsafe.Add(unsafe.Pointer(&sb), 8 /*WORD*/)) == 0 {
return true
} else {
return false
}
}

func DoSomething[T CanEmptyT](v T) {
if v.Empty() {
fmt.Println("null")
} else {
fmt.Println(v)
}
}

func main() {
var a SliceByte
DoSomething(a)

var b []byte
DoSomething[SliceByte](b)
}


这种泛型与接口结合的方法我觉得可以使 go 达到“完备”；但是目前有性能损失： https://www.infoq.cn/article/xprmcl5qbf6yvdroajyn

在 golang 里面搞这些也不太现实，毕竟 golang 这种语言的目标就是一把梭快速开发

来.NET 吧，你想到的都有

@lysS 这篇文章真的干, 看了半个多小时 好多知识还是没能消化

GO 是最简单的方式，完成最好的效果