这是一个创建于 1042 天前的主题，其中的信息可能已经有所发展或是发生改变。
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 有没有其他的写法支持多种类型？
 | 1 Rocketer 2022-12-25 01:07:46 +08:00 via iPhone 只有弱类型语言才可能这样，比如 TypeScript 也可以。 强类型语言的优势就是强类型，不方便只是你不习惯，并不是弱点。 |
 | 3 Trim21 2022-12-25 01:34:38 +08:00 @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() } |
 | 4 TWorldIsNButThis 2022-12-25 01:34:49 +08:00 overload |
 | 5 GeruzoniAnsasu 2022-12-25 02:37:15 +08:00 @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 ） |
 | 6 Leviathann 2022-12-25 02:54:26 +08:00 java 没有或类型，要表达同一个意思，就是用重载 |
 | 7 pennai 2022-12-25 04:09:42 +08:00 c++可以 |
 | 8 kakach 2022-12-25 06:50:06 +08:00 via Android  1 |
 | 9 BBCCBB 2022-12-25 09:27:38 +08:00 interface/abstract, 比如(Number t), t 可以传 int, float, double, long 等, 不过必须子类实现父类才行,, 不能像 go 这样直接指定多个. |
 | 10 jeesk OP @GeruzoniAnsasu 所以 java 的泛型是假的， 语法糖 |
 | 11 looplj 2022-12-25 09:35:01 +08:00 3 不是一句假的这么简单。。 泛型有很多种实现方式，CPP 的基于模板的，Go 也类似基于模板的，Java 是基于类型擦除的，各有优劣。 而且，不支持 union type ，只是语言层的问题，和泛型实现没什么关系，有需要的话，Java 也可以支持。 |
 | 12 coala 2022-12-25 10:52:51 +08:00 Java 的泛型是假的. class 文件反编译后你就看到了,new ArrayList<String>() 反编译后是 new ArrayList(), 其他语言的是怎么实现的不清楚, 但是 Java 算是比较取巧的方式吧, 大概只有编译时检查泛型, 实际上最下面还是 object |
 | 13 iseki 2022-12-25 10:54:04 +08:00 via Android 不支持联合类型，和泛型其实没太大关系，你看 ts 不用泛型也能联合类型。语言设计问题，可能和 Java 是名义类型有点关系，也许联合类型这种情况下不太好实现？ |
| 14 iseki 2022-12-25 10:57:07 +08:00 via Android 至于类型擦除…Java 这种实现的好处是代码不膨胀，和旧的兼容，运行时也没额外消耗，坏处就是运行时不一定能拿到泛型信息 |
| 15 coala 2022-12-25 11:01:28 +08:00 感觉这就和茴的几种写法一样.. 泛型是为了什么呢, 如果是为了统一类型, 一个 ArrayList 你说允许有两种类型. 我这写了几年 Java 的脑回路反而有点不适, 无法就是在灵活和规整直接做取舍 |
| 16 jeesk OP @coala 少写代码。 比如别人的接口参数就是 object 类型， 支持的就是 string 或者 int 类型，我要限制类型， 这个时候我要写 2 个方法分别是 stringh 和 int 的类型， 少写点代码就少写。 |
| 18 iseki 2022-12-25 11:07:46 +08:00 via Android @jeesk 我觉得你举的这个例子用 union type 不太好，overload 更合适。你写了个 string | int ，里面还是要 is string is int 分别去处理 |
| 20 iseki 2022-12-25 11:10:15 +08:00 via Android 噢，我懂了，你是额外在人家的接口上加了个约束 |
| 22 coala 2022-12-25 11:49:45 +08:00 @jeesk 第一次写 node.js 的时候, 当时实现了一个简单 WebSocket Server, node.js 居然只用 1 个文件 20 多行代码就搞定了, Java 干这个事得定义了好几个对象, 几个文件配合干, 代码很容易一大片。 对我来说非常震撼。 Java 现在只在编译时检查一个泛型, 看上去实现检查 2 个泛型也不是什么难事, 兼容旧版这种理由我是不信的, 编译时能检查一个也能检查两个 , 反正是 "假泛型"。 我更倾向于作者就是觉得只允许一个类型更好一点。 像 Python 强制 4 个空格的语法, 咱也不敢骂。 没有泛型好, 还是只有一种类型好, 还是支持多种类型好, 真的有答案吗? |
 | 27 Huelse 2022-12-25 13:51:41 +08:00 可能 Scala3 更符合你的需求，如 Intersection Types, Union Types 等等 https://dotty.epfl.ch/ |
 | 28 lisongeee 2022-12-25 13:55:58 +08:00 kotlin 可以通过密封类实现联合类型类似效果，但是不如 typescript 灵活 |
 | 30 netabare 2022-12-27 08:38:50 +08:00 via Android 1 这个是 sum type ，typescript 里面有不错的支持。kotlin 和 java 都没有，得用 scala ，不然就是纯 fp 的 ocaml 、haskell 之类的语言才有了。 sealed class 模拟的问题在于不能用再已有的类型上，必须手写一层例如 IntWrapper 、StringWrapper 之类的层来套着，对数据互转很不方便。 |
Select Language