【问题标题】:Should you use a zero "enum" value to indicate an invalid value您是否应该使用零“枚举”值来指示无效值
【发布时间】:2020-09-19 07:08:17
【问题描述】:

几十年来我一直在使用 C,我养成了使用枚举的零值作为特殊的未定义/未知/错误值的习惯。多年来,我相信这为我节省的调试时间不是数小时甚至数天,而是数月,因为它使值未初始化时很明显。 (对于存在合理默认值且不可能存在未初始化值的简单枚举,我不会这样做。)

在我看来,这种做法在 Go 中更有用,因为值会自动为您初始化为零。但是,有人告诉我“惯用的”Go 零值应该是有效值。我认为这个“规则”是为结构发明的,在没有构造函数的情况下,有一个新创建的“归零”结构可供使用是很有意义的,但有些情况下没有逻辑默认值(对于结构和枚举)。

如果你需要,这里是一个例子:

type Base int

const (
        Invalid Base = iota
        A
        C
        T
        G
)

请注意,我已经在 SO 上广泛搜索了这个问题,并且对这个特定主题没有被涵盖感到惊讶。我意识到我的问题有些主观,可能会被标记,但我认为它很有用。我正在寻找证据表明使用零值来指示错误条件是可接受的 Go 实践。这种用法的任何例子,例如。来自标准 Go 库,将不胜感激。

【问题讨论】:

标签: go enums


【解决方案1】:

真正的enum 类型只能从预定义的常量值列表中分配一个值。但是,go 语言没有这种类型值强制。

go 具有 const,它通常使用派生类型,例如 int。没有编译/运行时机制来强制一个值严格在预定义的列表内。

那么这在实践中意味着什么?

您的枚举值是强制性的还是可选的?也就是反序列化'enum'值的时候,是不是:

  • 可选 - 然后使用零值表示默认值
  • 强制 - 然后零值表示初始化错误

根据您的常见用例,选择这两个选项之一。


编辑: 反序列化不是唯一的问题。在枚举值上进行分支时必须小心。例如:

type role int
const (
    user role = iota
    helpdesk
    admin
)

func greet(r role) {
    switch r {
        case admin:
            fmt.Println("hi admin")
        case helpdesk:
            fmt.Println("hi helpdesk")
        default:
            fmt.Println("hi user") // right?
    }
}

这行得通:

var r role
r = admin
greet(r) // hi admin

但是这个呢?

r = 12
greet(r) // 'hi user' ?!! 

因此,请务必仅对有效值进行迂腐验证:

func validateRole(r role) (err error) {
    switch r {
    case user, helpdesk, admin: // all valid values
    default:
        err = fmt.Errorf("invalid `role` enum %d", r)
    }
    return
}

Playground

【讨论】:

  • 谢谢@colm.anseo。我确实知道 Go 没有真正的枚举(这就是为什么我在我的 q 中用引号将“枚举”括起来的原因)。你一定已经读懂了我的想法(尽管我没有在 q 中提到它。)我正在反序列化 JSON 中的许多“枚举”。我明白你关于可选和强制的观点,但我必须考虑这在一般情况下如何应用(例如,对于未反序列化的变量和字段)。
  • @AJR 您还需要注意switching 枚举值。更新了答案以包含此注意事项。
猜你喜欢
  • 1970-01-01
  • 1970-01-01
  • 1970-01-01
  • 1970-01-01
  • 2020-11-11
  • 1970-01-01
  • 1970-01-01
  • 2019-04-10
  • 1970-01-01
相关资源
最近更新 更多