Как набрать приведение в F #? - PullRequest
Новая
       49

Как набрать приведение в F #?

21 голосов
/ 27 марта 2012

Мне нужно перечислить через членов коллекции и создать массив с определенным свойством членов: 

  let ops: int array = [| for x in app.Operations ->
                            let op=  x : IAzOperation
                            op.OperationID |]

Здесь app.Operations - это коллекция IAzOperation, но при перечислении возвращает каждый членкак Obj.Поэтому я хочу напечатать каждый член и получить доступ к свойству.но не уверен, как его распечатать.Если я приведу тип, как я упомянул здесь, это выдаст мне ошибку: 

This espression was expected to have type IAzOPeration but here has type obj.

Что мне здесь не хватает?

Ответы [ 2 ]

24 голосов
/ 27 марта 2012

Вам нужен оператор downcasting :?>: 

let ops: int array = [| for x in app.Operations do
                          let op =  x :?> IAzOperation
                          yield op.OperationID |]

Поскольку символ ? в его имени обозначает, снижение может привести к ошибке и привести к исключению времени выполнения.

В случае последовательностей у вас есть другая возможность использовать Seq.cast : 

let ops: int array = 
    [| for op in app.Operations |> Seq.cast<IAzOperation> -> op.OperationID |]
10 голосов
/ 27 марта 2012 
type Base1() =
    abstract member F : unit -> unit
    default u.F() =
     printfn "F Base1"

type Derived1() =
    inherit Base1()
    override u.F() =
      printfn "F Derived1"


let d1 : Derived1 = Derived1()

// Upcast to Base1.
let base1 = d1 :> Base1

// This might throw an exception, unless
// you are sure that base1 is really a Derived1 object, as
// is the case here.
let derived1 = base1 :?> Derived1

// If you cannot be sure that b1 is a Derived1 object,
// use a type test, as follows:
let downcastBase1 (b1 : Base1) =
   match b1 with
   | :? Derived1 as derived1 -> derived1.F()
   | _ -> ()

downcastBase1 base1
...