go - 在 Go 中使用新类型包装器作为 ID 是惯用的吗？

Question

在 Haskell、Scala 或 Rust 等其他静态类型语言中，有时对于标识符之类的东西，人们会将它们包装在特殊类型中以帮助编译器捕获错误(例如，防止您传递另一个范围内的 String)并通过在类型级别编码责任来提高代码的可读性。

一些例子:

newtype UserId = UserId Integer

或

case class UserId(value: Long) extends AnyVal

或

struct UserId(u64);

所有这些(通常)都没有运行时成本，并且几乎不会增加困惑，从而提高了安心感，并在类型级别提供了开发时文档。

Go也有这个能力:

type UserId uint64

我的问题不是这是否可能，而是这在 Go 中是否广泛和/或被认为是惯用的，以及为什么。

Answer 1

Go 支持 type inference在编译器级别。编译的二进制文件没有运行时成本。

使用此类型定义

type UserID uint64

以下两项都应生成相同的二进制文件:

uid := UserID(1)

var uid UserID = 1

根据我的经验，开发环境可以同样很好地理解两者。而且它们都是人类可读的。我认为我在生产代码中看到的第一个代码比第二个代码更多。

正如 @AndySchweig 在评论中提到的，这通常在变量是类似 Enum 的值时使用。

type UserType uint

const (
  TypeVisitor UserType = 1
  TypeNormal = 2
  TypeAdmin = 3
)

或

type UserType uint

const (
  TypeVisitor UserType = iota
  TypeNormal
  TypeAdmin
)

导出的 const 将使代码更具可读性:

switch userType {
  case mylib.TypeVisitor:
    // do something
  case mylib.TypeNormal:
    // do something
  case mylib.TypeAdmin:
    // do something
}