介绍 Go/ Java /C/C++/ Swift 等编程语言是如何实现范型的

[bmpidev2019]

写了篇介绍 Go/Java/C/C++/Swift 等编程语言是如何实现范型的。

文章地址：编程语言是如何实现范型的 · 构建我的被动收入

[xLuoBo]

php 才是世界上最好的语言

[sutra]

「动态与静态的区别在于类型检查发生的阶段，动态是在编译阶段，静态是在运行时。」这句话怎么理解？

[foobear]

@sutra 反了吧

[zwy100e72]

我认为 Generic Programming 应该翻译为 “泛型”，而不是“范型”。Generic programming 是对具有相同性质的数据做通用的处理，其面向的数据类型是“宽泛”的，因此称为“泛型”是更合适的。

[sutra]

另外「范型」（而不是「泛型」），这个词是不是写错了？

[bmpidev2019]

@sutra
@zwy100e72 感谢指证，这个的确写懵逼了，连续整了两天没意识到这个词😂

[bmpidev2019]

@sutra 是的，感谢指正，我应该多检查两遍的

[zwy100e72]

@bmpidev2019 没关系，交流也是提升的一部分，您已经比我做的更好了，因为你写了这样的总结

看了你的总结，我也对泛型这个玩法有了更清晰的认识，这要感谢您

如果您希望在公开宣传之前减少瑕疵的话，可以先找身边的同行帮忙审校一下（英语中应该对应是 proof-reading ）

[bmpidev2019]

@zwy100e72 有点着急了，因为要赶着出去玩，想着先发出去😄下次得注意点了，谢谢！

[secondwtq]

“透过 Rust 探索系统的本原：泛型” 这个链接错了吧

[bmpidev2019]

@secondwtq 是的，你们看的真仔细😂，感谢！

[shawndev]

@secondwtq @bmpidev2019 这里本原也是错别字吧？正本清源的“本源”？

[bmpidev2019]

@shawndev 原文就是这个标题，但是感觉本原好像也有这个意思？

[zdpdpdp]

网站挂了

[bmpidev2019]

@zdpdpdp 被墙了

[avv]

@zdpdpdp 刚看过，可以进去！

[iceheart]

C++是弱类型检查语言，哪里弱了？

[lxml]

@iceheart #17 这里的弱类型指的是两个变量 "1" + 2 能够直接进行相加（语言内部有隐式转换) ，我猜你认为的弱类型应该叫做动态类型。

[bmpidev2019]

@iceheart 主要是指针可以随意转换，失去了类型安全的保障，编译器也无法知道指针里的类型是啥

[danc]

弱类型，感觉不能这么分。比如 Rust ，unsafe 下指针也可以随意转换，按照 C++的说法，是不是也应该放到弱类型