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 有没有其他的写法支持多种类型？

[Rocketer]

只有弱类型语言才可能这样，比如 TypeScript 也可以。

强类型语言的优势就是强类型，不方便只是你不习惯，并不是弱点。

[jeesk]

@Rocketer golang 是个例外？

[Trim21]

@jeesk #2

golang 的泛型也不一定能表示多个类型，你的例子是基础类型，用到的也只是 + ，所以可以这样写。

但如果换成 struct 的话就不行了


type T1 struct {
}

func (t T1) Close() error {
return nil
}

type T2 struct {
}

func (t T2) Close() error {
return nil
}

这个可以编译

var _ io.Closer = T1{}
var _ io.Closer = T2{}


但这个泛型函数没法编译

func CanNotCompile[T T1 | T2](t T) error {
return t.Close()
}

[TWorldIsNButThis]

overload

[GeruzoniAnsasu]

@Trim21 可以绕：

type typeProxy interface {
Close() error
}

func CanCompile[T T1 | T2](t T) error {
return any(t).(typeProxy).Close()
}

CanCompile(T3{}) // 拒绝编译


--------

java 的泛型系统的「类型限制」（ constraint ）只能指定类型继承链上的上下界，泛型容器或泛型方法仅仅是把对象的类型自动向上转换而已，因此不可能指定不在同一继承链上的两个任意类型的组合类型（ T | U ），设想 (T|U) t; t.Method(); 此时 t 的类型只能协变为 Object ，而 Object 不会有 Method()方法。

这跟强弱类型语言没什么关系，跟泛型系统的实现和设计有关，只能说，java 就这样，你想实现接近的效果，有非泛型的写法（ instanceof ）

[Leviathann]

java 没有或类型，要表达同一个意思，就是用重载

[pennai]

c++可以

[kakach]

https://docs.scala-lang.org/scala3/reference/new-types/union-types.html scala3 可以

[BBCCBB]

interface/abstract, 比如(Number t), t 可以传 int, float, double, long 等, 不过必须子类实现父类才行,,
不能像 go 这样直接指定多个.

[jeesk]

@GeruzoniAnsasu 所以 java 的泛型是假的， 语法糖😅

[ZSeptember]

不是一句假的这么简单。。

泛型有很多种实现方式，CPP 的基于模板的，Go 也类似基于模板的，Java 是基于类型擦除的，各有优劣。

而且，不支持 union type ，只是语言层的问题，和泛型实现没什么关系，有需要的话，Java 也可以支持。

[coala]

Java 的泛型是假的. class 文件反编译后你就看到了,new ArrayList<String>() 反编译后是 new ArrayList(), 其他语言的是怎么实现的不清楚, 但是 Java 算是比较取巧的方式吧, 大概只有编译时检查泛型, 实际上最下面还是 object

[iseki]

不支持联合类型，和泛型其实没太大关系，你看 ts 不用泛型也能联合类型。语言设计问题，可能和 Java 是名义类型有点关系，也许联合类型这种情况下不太好实现？

[iseki]

至于类型擦除…Java 这种实现的好处是代码不膨胀，和旧的兼容，运行时也没额外消耗，坏处就是运行时不一定能拿到泛型信息

[coala]

感觉这就和茴的几种写法一样.. 泛型是为了什么呢, 如果是为了统一类型, 一个 ArrayList 你说允许有两种类型. 我这写了几年 Java 的脑回路反而有点不适, 无法就是在灵活和规整直接做取舍

[jeesk]

@coala 少写代码。 比如别人的接口参数就是 object 类型， 支持的就是 string 或者 int 类型，我要限制类型， 这个时候我要写 2 个方法分别是 stringh 和 int 的类型， 少写点代码就少写。

[jeesk]

@coala 你写写其它语言就知道了，java 太不灵活了， 对于个人项目重构成本高。

[iseki]

@jeesk 我觉得你举的这个例子用 union type 不太好，overload 更合适。你写了个 string | int ，里面还是要 is string is int 分别去处理

[jeesk]

@iseki 不用处理啦。别人的接口就是 object 类型。

[iseki]

噢，我懂了，你是额外在人家的接口上加了个约束

[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 之类的层来套着，对数据互转很不方便。