锐客网

  1. 首页 > 睿知 > it技术 > >

go语言实现泛型了吗 go语言chan( 二 )

IT技术代码


它带有 JavaScript 后端、分散的包管理、自动内存管理、C 和 C++ 库的绑定以及用于调试的回溯 。作为一种语言，Nim 是有限的，但它包含一组元编程功能 ， 如泛型、模板和宏，因此开发人员可以在避免冗长代码的同时以不同的风格工作 。
OCaml作为此列表中较旧的语言，OCaml是一种多范式语言——既有函数式、命令式和类型安全，也具有面向对象功能 。
OCaml 的一些优势：定义数据类型很容易 。默认情况下，所有变量都是不可变的 。API 稳定，具有良好的库向后兼容性 。该语言还为独立应用程序提供自动内存管理和单独编译 。
Reason
如果比JavaScript 更快、更简单且类型安全会怎样？
这就是创建Reason的 Facebook 开发者想要回答的问题 。不过，他并没有从头开始构建一种新语言，而是采用了 OCaml，并将其调整为类似于 JavaScript 。
Reason使用项目 BucketScript编译为 JavaScript，并且可以访问 80% 的 JavaScript 工具和生态系统 。它还可以编译为准系统、iOS、Android 和微控制器 。
Red
Red是一种最初旨在克服 Rebol 语言限制的编程语言 。Red 于 2011 年推出 ， 受 Rebol、Lua 和 Scala 等语言的影响，对高级和低级编程都很有用 。
该语言可用于开发从高级 GUI 到低级操作系统的所有方面 。Red 拥有人性化的语法、低内存占用和垃圾收集等优点 。
Rust
Rust解决了一些与 Go 相同的问题 ， 如系统级别的线程和进程安全，，但Rust 更像 C 风格的语法
但Rust语言的缺点：静态类型和缺乏垃圾收集
Rust可直接访问内存意味着程序员可以编写低级代码，如操作系统内核 。Rust 也非常适合嵌入式设备、网络服务和命令行编写 。
如何看待go语言泛型的最新设计？Go 由于不支持泛型而臭名昭著，但最近，泛型已接近成为现实 。Go 团队实施了一个看起来比较稳定的设计草案 ， 并且正以源到源翻译器原型的形式获得关注 。本文讲述的是泛型的最新设计，以及如何自己尝试泛型 。
例子
FIFO Stack
假设你要创建一个先进先出堆栈 。没有泛型，你可能会这样实现：
type Stack []interface{}func (s Stack) Peek() interface{} {
return s[len(s)-1]
}
func (s *Stack) Pop() {
*s = (*s)[:
len(*s)-1]
}
func (s *Stack) Push(value interface{}) {
*s =
append(*s, value)
}
但是，这里存在一个问题：每当你 Peek 项时，都必须使用类型断言将其从 interface{} 转换为你需要的类型 。如果你的堆栈是 *MyObject 的堆栈，则意味着很多 s.Peek().(*MyObject)这样的代码 。这不仅让人眼花缭乱，而且还可能引发错误 。比如忘记 * 怎么办？或者如果您输入错误的类型怎么办？s.Push(MyObject{})` 可以顺利编译，而且你可能不会发现到自己的错误，直到它影响到你的整个服务为止 。
通常，使用 interface{} 是相对危险的 。使用更多受限制的类型总是更安全，因为可以在编译时而不是运行时发现问题 。
泛型通过允许类型具有类型参数来解决此问题：
type Stack(type T) []Tfunc (s Stack(T)) Peek() T {
return s[len(s)-1]
}
func (s *Stack(T)) Pop() {
*s = (*s)[:
len(*s)-1]
}
func (s *Stack(T)) Push(value T) {
*s =
append(*s, value)
}
这会向 Stack 添加一个类型参数，从而完全不需要 interface{} 。现在，当你使用 Peek() 时，返回的值已经是原始类型，并且没有机会返回错误的值类型 。这种方式更安全 ， 更容易使用 。（译注：就是看起来更丑陋 ， ^-^）
此外 ， 泛型代码通常更易于编译器优化，从而获得更好的性能（以二进制大小为代价） 。如果我们对上面的非泛型代码和泛型代码进行基准测试，我们可以看到区别：

推荐阅读


上一篇：关于linux命令nmtui的信息

下一篇：新媒体业绩如何写简历范文，新媒体简历个人总结