F # - cosa combacia ... con | :? X come x significa?

Question

Domanda semplicissima Sono sicuro, ma non faccio F # di solito così un po 'nuovo alla sintassi.

Come faccio a leggere il seguente frammento di codice:

 match shape.Fill with 
      | :? PictureBrush as pb -> 
       //.... 

In particolare, non sono sicuro di quello che si riferisce a PictureBrush. Non c'è davvero alcun riferimento ad esso altrove in questo file

Answer 1

Questo il Type Test Pattern.

PictureBrush è un tipo. shape.Fill corrisponde a :? PictureBrush quando la proprietà Fill è assegnabile a quel tipo.

Answer 2

È un confronto di tipo. Come typeof (xx) in C#. Quindi abbinalo al tipo di PictureBrush.

Answer 3

Si noti inoltre che lo as consente il binding di una variabile di quel tipo. Pertanto, pb sarà di tipo PictureBrush, ma avrà lo stesso valore identico a quello risolto in shape.Fill.