https://note.lican.site/tags/%E6%B3%9B%E5%9E%8B/ Recent content in 泛型 on Hugo en © lican.asia All rights reserved Wed, 13 Jan 2021 21:11:44 +0800 https://note.lican.site/posts/posts/go/generics-proposal/ Wed, 13 Jan 2021 21:11:44 +0800 https://note.lican.site/posts/posts/go/generics-proposal/ <p>经历九九八十一难，多年的不断探讨和 Go 语言爱好者们在社区中的强烈关注，且 Go 官方在 2020 年不断放出消息。</p> <p><img src="https://image.eddycjy.com/1d0e5a264c65e37659f142bc2ee55805.jpg" alt="image"></p> <p>总算在 2021 年 1 月 12 日。官方正式提出将泛型特性加入 Go 语言的 proposal 了，且最新的草案设计已经更新。</p> <p>基本语法如下：</p> <pre tabindex="0"><code>func Print[T any](s []T) { // same as above } </code></pre><p>其大体的概述如下：</p> <ul> <li>函数可以具有使用方括号的其他类型参数列表，但其他情况下看起来像普通的参数列表：<code>func F[T any](p T) { ... }</code>。</li> <li>类型也可以具有类型参数列表：<code>type MySlice[T any] []T</code>。</li> <li>每个类型参数都有一个类型约束，就像每个普通参数都有一个类型：<code>func F[T Constraint](p T) { ... }</code>。</li> <li>类型约束是接口类型。</li> <li>新的预声明名称 <code>any</code> 是允许任何类型的类型约束。</li> <li>用作类型约束的接口类型可以具有预先声明的类型的列表。只有与那些类型之一匹配的类型参数才能满足约束条件。</li> <li>泛型函数只能使用其类型约束所允许的操作。</li> <li>使用泛型函数或类型需要传递类型实参。</li> <li>在通常情况下，类型推断允许省略函数调用的类型参数。</li> </ul> <p>根据官方博客的消息，如果该提案被正式接受。那么将会在 2021 年底之前完成一个基本可用的泛型特性使用，又或是会作为 Go1.18beta 的一部分。</p> <p>这是 Go 泛型特性的又一步前进。若大家有兴趣进一步了解或想提出意见，可查看下述传送门：</p> <ul> <li>A Proposal for Adding Generics to Go：https://blog.golang.org/generics-proposal。</li> <li>proposal: spec: add generic programming using type parameters：https://github.com/golang/go/issues/43651。</li> </ul> <p>今年年底或 Go1.18beta 到底能不能看到泛型的正式完整可用版本呢，值得期待。</p>