Блог

 enum WeatherType {
    case cloudy(coverage: Int)
    case sunny
    case windy
}
  

Я только что видел это в учебном пособии по Swift и не могу поверить, что они позволяют вам это делать. Теперь, всякий раз, когда я включаю это перечисление, я должен создать специальный случай для cloudy !

Вы ничего не «должны» делать. Если вам все равно, что такое покрытие, не спрашивайте, что такое покрытие. Если вам все равно, облачно ли, не спрашивайте, облачно ли. Нет ничего особенного в том, как вы пишете переключатель для случая, который имеет связанное значение.

Предположим, у нас есть это:

 let weather = WeatherType.cloudy(coverage:1)
  

Тогда это совершенно законно:

 switch weather {
case .sunny:
    print("it is sunny")
default:
    print("I guess it's cloudy, or maybe windy")
}
  

И это тоже!

 switch weather {
case .cloudy:
    print("it is cloudy")
default:
    print("I guess it's sunny, or maybe windy")
}
  

И ни один закон не требует, чтобы вы вообще писали оператор switch. Если вы просто хотите узнать, есть ли weather .cloudy , просто спросите:

 if case .cloudy = weather {
    print("yes it is cloudy")
} else {
    print("I guess it's sunny, or maybe windy")
}
  

И если вы действительно хотите узнать, что coverage это такое, вам все равно не нужно писать оператор switch:

 if case let .cloudy(cov) = weather {
    print("yes it is cloudy, in fact it is (cov)")
} else {
    print("I guess it's sunny, or maybe windy")
}
  

Чего вы не можете сделать, так это применить == . Это не будет компилироваться:

 if weather == .sunny { // error
  

В этом смысле, да, перечисление со связанным значением ведет себя иначе, чем перечисление без связанного значения (если это то, что вы спрашиваете).

Теперь, всякий раз, когда я включаю это enum , я должен создать специальный случай для cloudy !

Это не так по нескольким причинам:

• Вы можете игнорировать cloudy , объединяя его с default , и
• Сопоставление с образцом позволяет считывать coverage свойство cloudy , рассматривая cloudy его как единичный случай.
• Когда вы читаете свойство coverage , у вас есть возможность игнорировать его или действовать в соответствии с ним.

Вот несколько примеров:

 switch weatherType {
case .Cloudy(_):
    print("It is cloudy. I ignore the coverage.")
...
}

switch weatherType {
case .Cloudy(let coverage):
    print("It is cloudy. Coverage is (coverage).")
...
}

switch weatherType {
case .Cloudy(let coverage) where coverage > 80:
    print("It is very cloudy.")
case .Cloudy(let coverage) where coverage < 20:
    print("It is slightly cloudy.")
case .Cloudy(_):
    print("It is cloudy.")
...
}
  

Принцип подстановки Лискова связан с подклассами. Перечисления не допускают подклассов, поэтому здесь это неприменимо.

Я не уверен, в чем заключается ваше возражение по поводу создания специального случая cloudy ; вы должны сделать это в любом случае, switch если хотите конкретно обработать этот случай. Дополнительный синтаксис для захвата связанного значения довольно прост.

 let weather = WeatherType.cloudy(coverage: 17)

switch weather {
case .sunny:
    print("sunny")
case .windy:
    print("windy")
case .cloudy(let coverage):
    print("cloudy with coverage (coverage)")
}