F # 변경 가능한 값을 변경할 수 없습니다.

Question

다음과 같은 구조체가 있습니다.이 구조체는 시간 및 값 속성을 수정하고 수정하여 개인 변경할 수있는 값 x.Time_ 및 x.Value_을 변경해야합니다. 나중에 코드에서 세터 중 하나를 사용하려고 할 때

type TimeDataPoint = 
    struct 
     val mutable private Time_: DateTime 
     val mutable private Value_: double 

     new (time: DateTime, value: double) = 
      { 
       Time_ = time 
       Value_ = value 
      } 

     member public x.Time 
      with get() = x.Time_ 
      and set(time: DateTime) = x.Time_ <- time 

     member public x.Value 
      with get() = x.Value_ 
      and set(value: double) = x.Value_ <- value 

    end 

:

let tdp = TimeDataPoint(DateTime.Now, 0.0) 
tdp.Time <- DateTime.Now 

오류가 발생합니다 : 이해가되지 않습니다

Invalid mutation of a constant expression. Consider copying the expression to a mutable local, e.g. 'let mutable x=...'

왜냐하면 변수는 이미 변경 가능하고 구조체는 컴파일되기 때문입니다. 내가 뭘 놓치고 있니?

편집

좋아, 나는 그것이 중요하지 않았다 생각했기 때문에 나는 나의 예를 단순화,하지만 난 지금이하는 것을 알 수있다. 사실 TimeDataPoints의 LinkedList가 있는데 일부 노드의 내용을 변경하려고하므로 제안 된대로 로컬로 선언 할 수 없습니다. 내 코드는 다음과 같습니다.

let myList = LinkedList<TimeDataPoint>() 
myList.AddFirst(TimeDataPoint(DateTime.Now, 0.0)) 
myList.First.Value.Value <- 1.0 

어떻게이 문제를 해결할 수 있습니까?

Answer 1

또한 tdp을 변경할 수 있도록 표시해야합니다. 내려 놓은 코드는 아래와 같습니다.

Ticks is 0 
Ticks is 636028131920527873 

예상대로 출력됩니다. 질문 업데이트 후

는

module Mutation 
open System 
type TimeDataPoint = 
    struct 
     val mutable private Time_: DateTime 
     new (time: DateTime) = 
      { 
       Time_ = time 
      } 
     member public x.Time 
      with get() = x.Time_ 
      and set(time: DateTime) = x.Time_ <- time 
    end 

let usingTdp() = 
    let mutable tdp = TimeDataPoint() 
    printfn "Ticks is %i" tdp.Time.Ticks 
    tdp.Time <- DateTime.Now 
    printfn "Ticks is %i" tdp.Time.Ticks 

편집 : 코멘트에서 언급 한 바와 같이 당신이 struct되는 것은 멀리 할 경우, 모든 예를 들어, 잘 작동합니다 :

type TimeDataPoint = 
    val mutable private _v: int 
    new (v: int) = 
     { 
      _v = v 
     } 
    member public this.Value 
     with get() = this._v 
     and set(v: int) = this._v <- v 

let myList = LinkedList<TimeDataPoint>() 
myList.AddFirst(TimeDataPoint(1)) |> ignore 
myList.First.Value.Value <- 1 

F 번호로 작업하는 경우, 당신은 수도 또한 돌연변이가 유일한 선택인지 다시 생각해보십시오. 의심 스럽습니다.

추신 : 한 나는 정의로, 나를 위해 완벽하게

type TimeDataPoint(v, d) = 
    member val Value: int = v with get, set 
    member val Time: DateTime = d with get, set