Java 的泛型能够向 golang 一样， T 可以表示多个类型？

[jeesk]

func SumIntsOrFloats[K comparable, V int | float64](m map[K]V) V {
    var s V
    for _, v := range m {
        s += v
    }
    return s
}

比如上面这段代码？ v 表示的是两种类型。 但是 java/kotlin 里面好像只有上限和下限。

    fun <T : File> getString(uri: T): T {
        return uri
    }

kotlin 里面的 T ,类型只有一种，感觉是真的不方便？ 各位大神，kotlin 或者 java 有没有其他的写法支持多种类型？

[jeesk]

@iseki 重载也行， 不过能像 golang 一样能省就好了。

[coala]

@jeesk 第一次写 node.js 的时候, 当时实现了一个简单 WebSocket Server, node.js 居然只用 1 个文件 20 多行代码就搞定了, Java 干这个事得定义了好几个对象, 几个文件配合干, 代码很容易一大片。 对我来说非常震撼。

Java 现在只在编译时检查一个泛型, 看上去实现检查 2 个泛型也不是什么难事, 兼容旧版这种理由我是不信的, 编译时能检查一个也能检查两个 , 反正是 "假泛型"。 我更倾向于作者就是觉得只允许一个类型更好一点。 像 Python 强制 4 个空格的语法, 咱也不敢骂。

没有泛型好, 还是只有一种类型好, 还是支持多种类型好, 真的有答案吗?

[jeesk]

@coala java 也能呀， 都写在一个文件里面不是问题。

[coala]

@iseki 是的, 我也觉得 Golang 更好一点, Java 一般

[iseki]

@coala 不不不，我觉得 Go 是一个设计的很差的语言，Java 太罗嗦，我选择 Kotlin （洗手）

[coala]

@iseki 2333, 圈错了, Sorry...

[Huelse]

可能 Scala3 更符合你的需求，如 Intersection Types, Union Types 等等 https://dotty.epfl.ch/

[lisongeee]

kotlin 可以通过密封类实现联合类型类似效果，但是不如 typescript 灵活

[hhjswf]

@coala 你不会是手撸的吧？ Java 用现成的轮子基于注解还是可以的

[netabare]

这个是 sum type ，typescript 里面有不错的支持。kotlin 和 java 都没有，得用 scala ，不然就是纯 fp 的 ocaml 、haskell 之类的语言才有了。

sealed class 模拟的问题在于不能用再已有的类型上，必须手写一层例如 IntWrapper 、StringWrapper 之类的层来套着，对数据互转很不方便。