변환/변환 문제

Question

다음 스 니펫에서 dict 키를 형성하는 중첩 된 튜플에 포함 된 recid를 추출하려고합니다. 중첩 된 튜플 형식은 (Int32, (부울 값, 부울 값)) -

Int32 항목의 값 (실제로는 db 레코드의 행 ID )을 찾고 있습니다.

아래의 일치 코드에서 목록에 recid를 추가하려고하지만 먼저 정수로 개체를 캐스팅하려고합니다.
하지만 다음과 같은 오류가 발생합니다. 그 이유는 확실하지 않습니다.

오류 : 유형에서이 런타임 강제 또는 형식 시험 '는
이 프로그램 지점 이전 정보를 기반으로 불확실한 유형을 포함이 int32합니다. 일부 유형에서는 런타임 유형 테스트가 허용되지 않습니다. 추가 유형 주석이 필요합니다. 여기에 참조되는 사전은 다음과 같이 정의된다 rdict 가정

// Create Dict 
let rdict = new Dictionary<_,_>() 
// Add elements 
rdict.Add((x.["PatientID"],(true,true)),ldiff) 

// Extract Dict items 
let reclist = new ResizeArray<int32>() 
for KeyValue(k,v) in rdict do 
match k with 
    | ((recid,(true,true)) -> 
    printfn "Found a matching Record: %A " recid; // <- prints correct result 
    let n = (recid:?> int32)       // <- coercion error 
     reclist.Add(n) 

Answer 1

다음 ResizeArray<int> 내가 제안 생산하는 Dictionary<int*(bool*bool), _>입니다 :

let reclist = 
    (ResizeArray<_>(), rdict.Keys) 
    ||> Seq.fold(fun list (id,_) -> list.Add id; list) 

또한, Dictionary<int*(bool*bool), _>는 이상한 저를 친다. 왜 Dictionary<int*bool*bool, _>? 즉, bool 쌍을 두 번째 튜플로 중첩하는 이유는 무엇입니까? 이 변경 한 경우, 하나는 너무 rdict.Add를 부를 것이다 :

rdict.Add ((x.["PatientID"], true, true), ldiff) 

그리고 reclist을 대신 할 것입니다 :

let reclist = 
    (ResizeArray<_>(), rdict.Keys) 
    ||> Seq.fold(fun list (id,_,_) -> list.Add id; list) 

---

편집 : 귀하의 코멘트에 당신은 구축 할 수있는 욕망을 언급 두 개의 서로 다른 조합에 따라 키에 ResizeArray을 분리하십시오. 여기에 대한 한 가지 생각이 있습니다.

Answer 2

완성도 및 향후 참조를 위해 추가 테스트를 기반으로 결과를 게시하고 싶습니다. 권투/언 박싱으로 이전에 게시 한 코드를 성공적으로 수정할 수있었습니다.

향후 다른 사람에게 유용하게 사용되기를 바랍니다.

// Add initial value note the box call here 
diff_dict.Add((box x.["PatientID"],(true,true)),ldiff) 


let reclist = new ResizeArray<int32>() 
for KeyValue(k,v) in rdict do 
    //printfn "Difference Dictionary - Key: %A; Value: %A; " k v 
    match k with 
     // extract the result - note the 'unbox' call 
     | (recid,(true,false)) -> let n:int32 = unbox recid 
            reclist.Add(n)