Определение класса F # с и без интерфейса

Question

Почему это приемлемо:

type SomeClass<'T> =
    val mutable id : int
    val mutable result : 'T

Но это не так:

type SomeIface = 
    abstract id : int

type SomeClass<'T> = 
    interface SomeIface with
        val mutable id : int
        val mutable result : 'T

Компилятор жалуется на то, что я использовал 'val', и говорит мне использовать 'member', но тогда я не могу использовать mutable.

Answer 1

Деско ответ правильный. Что касается , почему ваш подход не работает, ключ к этому в F #, когда у вас есть что-то вроде

interface Iface with
   [indented lines here]

строки с отступом могут содержать только реализации членов интерфейса. Они не должны содержать дополнительных полей или членов типа, который вы определяете (например, два изменяемых поля в вашем случае). Поэтому ответ Desco работает, как и что-то вроде следующего:

type SomeIface = 
    abstract id : int

type SomeClass<'T> = 
    interface SomeIface with
        member this.id = this.id
    val mutable id : int
    val mutable result : 'T

Answer 2

переместить поля выше реализации интерфейса

type SomeIface = 
    abstract id : int

type SomeClass<'T>() = 
    [<DefaultValue>]
    val mutable id : int
    [<DefaultValue>]
    val mutable result : 'T
    interface SomeIface with
        member this.id = this.id

let x = SomeClass<int>(id = 10)
let y : SomeIface = upcast x
printfn "%d" y.id