Коллеги, не могу разобраться почему паттерн матчинг вот так работает:

Question

Коллеги, не могу разобраться почему паттерн матчинг вот так работает:

case Root +? (K1(_) and K2(_)) => а вот так нет case Root +? K1(_) and K2(_) => (разница в налиции скобок)
object +? { def unapply(pq: PathAndQuery): Some[(PathAndQuery, Map[String, String])] = ...
object and { def unapply(params: Map[String, String]): Some[(Map[String, String], Map[String, String])] = ...
В случае исполнения второй версии , вызовов`unapply` нет вовсе...

#programming #russian #scala

0

04.12.2020

11 ответов

16 просмотров

Vladimir Morozov Автор вопроса

Mikhail S
https://scastie.scala-lang.org

https://scastie.scala-lang.org/greenhost87/3pcTtONpTvmhKLrhfw82vQ/6

0

04.12.2020

Mikhail S

Vladimir Morozov
https://scastie.scala-lang.org/greenhost87/3pcTtON...

Поставь флаг "-Xfatal-warnings" и не игнорируй варнинги, если не уверен, что оно не выйдет боком. Я хотел подобрать более короткий и наглядный пример, почему вторая версия и не должна работать, но компилятор сопротивляется, а мучать его лень)

0

05.12.2020

Mikhail S

Mikhail S
Поставь флаг "-Xfatal-warnings" и не игнорируй вар...

@greenhost87 не идеализируй компилятор скалы и не думай, что если что-то скомпилиролось - это обязательно корректно. Это же верно и в обратную сторону - если не скомпилировалось, не следует, что оно не должно. И тогда жить будет проще. В твоем случае у тебя первый вариант - без скобок компилятор частичн обманывается, но выдает код, который работает не так как ты ожидаешь - потому что ты сделал некорректную реализацию.

0

05.12.2020

Vladimir Morozov Автор вопроса

Mikhail S
@greenhost87 не идеализируй компилятор скалы и не ...

Хм, а где ошибка в реализации?

0

05.12.2020

Mikhail S

Vladimir Morozov
Хм, а где ошибка в реализации?

реализации чего?

0

05.12.2020

Mikhail S

Vladimir Morozov
Хм, а где ошибка в реализации?

когда ты скобки убрал, компилятор сам поставил за тебя скобки для (Root +? K1(_)). А потом у него голова дальше закружилась от полученных вложенных тайп-тестов и на следующем шаге он код скомпилировал, но на всякий случай варнинг кинул

0

05.12.2020

Mikhail S

Mikhail S
когда ты скобки убрал, компилятор сам поставил за ...

@greenhost87 в итоге в случае без скобок должна быть примерно такая ситуация (_:PathAndQuery) match { case and.unapply(+?.unapply, b) => что очевидно абсурдно

0

05.12.2020

Vladimir Morozov Автор вопроса

Mikhail S
@greenhost87 в итоге в случае без скобок должна б...

Спасибо за ликбез, в итоге проще поставить скобки, что бы всё корректно собиралось и работало

0

05.12.2020

Mikhail S

Vladimir Morozov
Спасибо за ликбез, в итоге проще поставить скобки,...

Не очень корректный вывод (ты же в случае 5 * (1 + 3) - скобки ставишь не для того, чтобы проще было - а потому что без них не корректно из-за нарушения порядка, который в этом контексте имеет значение - но только для тебя, а не для компилятора) Но как минимум стоит fata-warnings добавить, чтобы явно не компилировалось - хотя и он тоже не на сто процентов спасает - есть такие сложные ситуации, которые и варнингов не дают - но там уже очень сильно с типами надо намудрить. Код который скала для тебя сделала без твоих скобок - работает корректно, а твои ожидания - были не корректны.

0

05.12.2020

Vladimir Morozov Автор вопроса

Mikhail S
Не очень корректный вывод (ты же в случае 5 * (1 +...

Так скзаать for the record в итоге проблема решилась после прочтения https://docs.scala-lang.org/tour/operators.html блок Precedence

0

05.12.2020

Mikhail S · Accepted Answer

Mikhail S

https://scastie.scala-lang.org

0

04.12.2020

169 похожих чатов

Коллеги, не могу разобраться почему паттерн матчинг вот так работает:

11 ответов

Похожие вопросы