有思考过,go 实现泛型确实不像 java 那么方便,毕竟 java 单继承。 除了像 C++那样大动干戈,维护一套新东西,go 还有什么思路能比较好的实现泛型,又不会性能太差么?( reflect 性能很差)
1
est 2018-01-26 00:11:15 +08:00 1
1. 收购 alphabet
2. 暴改 golang |
2
cholerae 2018-01-26 00:23:18 +08:00 via Android 1
社区早有讨论和总结,去官方的 proposal 仓库里翻吧。
|
3
HarrisonZ 2018-01-26 00:47:12 +08:00 via Android 1
为什么要实现泛型,使用代码生成器为每种类型生成相应的代码不可以吗
|
4
orvice 2018-01-26 00:48:51 +08:00
1 代码生成
2 反射 |
5
popbones 2018-01-26 06:46:20 +08:00
|
6
q397064399 2018-01-26 07:03:03 +08:00 2
@HarrisonZ #3 泛型其实就是方便写库的兄弟,,方便封装通用的算法, 这样代码就跟类型关系不大了,静态语言这个玩意几乎是必须的,偏偏 Golang 不支持,语言并不是越简单越好,工程实践中讲究的是取舍,C++在配合 Google 编程规范 也会成为很好的语言。
|
7
janxin 2018-01-26 07:47:36 +08:00 via iPad
代码生成只是一种妥协方案,但在修改的时候非常不便,一般需要修改生成程序甚至要重新生成代码。
反射要写很多很 trick 的代码,看着太烦,要求性能时也有很大障碍。 泛型是一种优雅的方案。 |
8
koebehshian 2018-01-26 08:13:06 +08:00
不可能考虑所有类型吧,所谓泛型无非在整型与浮点型之间泛,直接一律以字符串为参数,传参时把类型转成字符串,泛型函数里先 parseInt, parseFloat,再计算
|
9
wweir 2018-01-26 08:32:44 +08:00 via Android
不怕死上 unsafe
|
10
blless 2018-01-26 08:38:15 +08:00 via iPhone
接口 跟 ducktype 不行吗…把传入传出也用接口封装起来啊
|
11
yuchenyang1994 2018-01-26 08:59:51 +08:00 via Android
不要把 java 那套 oo 带到 go 来,大多数情况下没觉得没有范型不可
|
12
ZSeptember 2018-01-26 09:08:14 +08:00 via Android
模板,但是没有元编程
|
13
yufpga 2018-01-26 09:27:30 +08:00
目前 go 不支持范型,2.0 以后计划会提供泛型支持
|
14
initialdp 2018-01-26 09:28:22 +08:00
golang 现在这样很好了,千万不要引入泛型。
|
15
guotie 2018-01-26 09:39:48 +08:00
2.0 以后
|
16
fuyufjh 2018-01-26 09:42:48 +08:00 via Android
go 以后也不会支持了,因为 go 已经提供了对代码生成的支持
|
17
hsuan 2018-01-26 09:46:27 +08:00 via Android
千万别加什么泛型
|
18
GeruzoniAnsasu 2018-01-26 10:15:56 +08:00 1
个人觉得泛型是静态语言特有的一种提高抽象度的方法,同时不引入额外性能开销,不用泛型也的确可以获得同样高级的抽象能力,但势必要采用动态语言那一套,typeid,反射什么的,有很多额外的数据结构需要维护,还有额外的类型擦除 /标识 /转换操作,楼上提到的一律转字符串也好 ducktype 也好都是这种思路,这种思路在开发的时候能简化很多重复业务逻辑,但开发库的时候并没什么卵用,很多标准库的实现都是出乎意料的简单暴力,因为库开发,提供的接口一定是确定的,有范围的,能传入传出什么数据本来就是库说得算,根本不怎么会需要动态类型能力,这个时候考虑的只有算法对不同类型的适配度,泛型是一个恰到好处的实现
代码生成器,其实就是泛型的本质,对特定类型生成同样固定流程的代码,但总归是泛型的 workaround 而已,没有泛型本身那么好用 |
19
eslizn 2018-01-26 10:20:04 +08:00
@yuchenyang1994 泛型和 oo 是两码事,没有泛型编码量太大
|
20
HarrisonZ 2018-01-26 11:13:20 +08:00
@q397064399 写库就不能代码生成了?
|
21
coyove 2018-01-26 11:24:59 +08:00
用 unsafe.Pointer 传参可以解决一些问题,但是 caller 那边势必要写的非常难看
传入的 struct 需要加入一个 field 表示类型,overhead 不可避免,还会引起内存对齐问题。 |
22
beetlerx 2018-01-26 12:33:55 +08:00 2
让我想起了那个手动泛型的 sublime gif
|
23
bramblex 2018-01-26 13:08:14 +08:00 2
golang 天下第一,是世界上最好的语言。golang 的设计全都是圣经,一字不能改,golang 没有的全都是奇技淫巧,是撒旦诱惑你下地狱的。
所以,golang 要什么泛型(手动斜眼笑 |