F # несколько, когда охранники используют шаблоны группировки в сопоставлении с образцом - PullRequest
Новая
       1

F # несколько, когда охранники используют шаблоны группировки в сопоставлении с образцом

3 голосов
/ 28 июля 2010

почему этот код не работает и как заставить его работать? 

let id1 = 0
match p1, p2 with
  | Fluid, Particle id2 when id = id2
  | Interface _, Particle id2 when id = id2 -> doSomething()
  ...

Так можно ли иметь несколько охранников в группах шаблонов?

1 Ответ

8 голосов
/ 28 июля 2010

Вы можете иметь только один, когда охранник на стрелку / результат, так что-то вроде этого будет работать: 

let id1 = 0

match p1, p2 with
| Fluid, Particle id2
| Interface _, Particle id2 when id1 = id2 -> doSomething()
| _ ->  doSomething()

(обратите внимание, что в этом случае оба элемента в или должны связывать один и тот же набор идентификаторов, чтобы в любом случае ни один идентификатор не оставался неинициализированным)

или альтернативно добавить второе действие / результат: 

match p1, p2 with
| Fluid, Particle id2 when id1 = id2 -> doSomething()
| Interface _, Particle id2 when id1 = id2 -> doSomething()
| _ ->  doSomething()
...