Right here’s a cool little problem introduced up this morning by a buddy. Contemplate the next code:
change foo {
case .a: return "a"
case .b(let str) the place str.hasPrefix("c"), .c: return "c"
case .b: return "b"
}
It received’t compile.
While you bind an emblem for one sample, you should bind that image for each sample in a case. This prevents you, for instance, from binding str in a single sample after which trying to make use of str within the shared case physique. For instance, contemplate this case. What would you count on to occur when foo is .c?
func switchTheFallthroughOrder(foo: Foo) -> String {
change foo {
case .a: return "a"
case .b(let str) the place str.hasPrefix("c"), .c:
// Utilizing `str` right here is unhealthy!
print(str)
return "c"
case .b: return "b"
}
}
Regardless of my first knee-jerk refactoring, transferring out the .c case to make use of fallthrough doesn’t work. Once more, it is because str shouldn’t be sure for .c and may be used within the successive case physique:
Nevertheless, as Greg Titus identified, should you change the order to make use of the binding case first with fallthrough, Swift is aware of at compile time that the binding received’t stick with it past that scope. This resolves the error, since str is barely used within the the place clause to slim the sample matching:
Additional, when utilizing bindings in case checks, a waterfall strategy the place the sure objects are used earlier than fallthrough can lengthen via a number of steps with the blessing of the compiler:
case .widest(let first, let second) the place first.satisfiesACondition():
// can use `first`, `second` right here
fallthrough
case .medium(let second) the place second.satisfiesAnotherCondition():
// can use `second` right here even when it was sure
// through `widest` above through fallthrough
fallthrough
case .narrowest: return someValue
My because of Greg Titus for figuring this all out!
Associated
