复合开关情况:对于具有相同类型关联值的复合枚举情况，我们可以使用单一的公共值绑定吗？
复合开关情况:对于具有相同类型关联值的复合枚举情况，我们可以使用单一的公共值绑定吗？
提问于 2016-12-20 13:54:42
(当我准备并几乎写完这个问题时，重新阅读适当的语言指南部分给我回答了，但可能问答对其他人有用，所以我还是会把它发出去。)
背景
考虑下面的enum，其中有两种不同类型的关联值Int或String中的一种
enum Foo {
case bar(Int)
case baz(Int)
case bax(Int)
case fox(String)
}在switch语句中执行模式匹配时，我们可以构造复合案例，每个案例涵盖几个可能的匹配模式(如果有任何模式匹配，则进入case分支)：
func foo(_ foo: Foo) -> Int {
switch foo {
case .bar, .baz, .bax: return 42
case .fox: return 0
}
}就像非复合案例一样，复合案例也可能包括价值约束：
func foo(_ foo: Foo) -> Int {
switch foo {
case .bar(let x), .baz(let x), .bax(let x): return x
case .fox(let y): return Int(y) ?? 0
}
}
// or
func foo(_ foo: Foo) -> Int {
switch foo {
case let .bar(x), let .baz(x), let .bax(x): return x
case let .fox(y): return Int(y) ?? 0
}
}问题
- 是否可以对复合案例使用单一的公共值绑定，它涵盖具有相同类型关联值的几个
enum案例的复合？
例如，在上面的后一个值绑定示例中，可以为复合case中的公共类型关联值使用单个绑定功能。
// not valid
func foo(_ foo: Foo) -> Int {
switch foo {
case .bar, .baz, .bax, (let x): return x
case .fox: return 0
}
}回答 1
Stack Overflow用户
回答已采纳
发布于 2016-12-20 13:54:42
不，这是不可能的；在上面的值绑定示例中，必须在每个模式中绑定x，并且对于复合案例中的每个模式，这必须是分开的。
引用语言指南-控制流程 Quoting 的话
复合案例也可以包括值绑定。复合案例的所有模式都必须包含相同的值绑定，而每个绑定必须从复合case中的所有模式中获得相同类型的值。这确保了，无论复合大小写的哪一部分匹配，大小写主体中的代码始终可以访问绑定的值，并且该值始终具有相同的类型。
在上面的复合示例中，我们尝试省略其中一个模式中的绑定，在这个主题上，我们得到了一个不言自明的错误信息：
func foo(_ foo: Foo) -> Int {
switch foo {
case .bar(_), .baz(let x), .bax(let x): return x
case .fox: return 0
}
}错误:必须在每个模式中绑定“X”
即使我们在下面的主体中不使用x，这仍然有效。
func foo(_ foo: Foo) -> Int {
switch foo {
case .bar(_), .baz(let x), .bax(let x): return 0
case .fox: return 0
}
} // same error页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/41251872
复制
![[奇怪但有用的数据结构]Trie前缀树](https://ask.qcloudimg.com/draft/1000830/f6oq4sn4jl.png)
相似问题
在trie树中实现模式匹配
Python中的Trie (前缀树)
Solr数值Trie与传统trie (前缀树)
从trie树中删除所有
Trie vs B+树
添加站长 进交流群
领取专属 10元无门槛券
AI混元助手 在线答疑
关注 腾讯云开发者公众号
洞察 腾讯核心技术
剖析业界实践案例
腾讯云开发者
