배열 공분산

Question

.NET 배열은 C#에서 다음 작품, 공변 때문에 :

F 번호에

var strArray = new string[0]; 
object[] objArray = strArray; 

, 다시없이 obj[]로 변환하는 가장 좋은 방법 일 것입니다 무슨 배열, 'T[]을, 주어진 어레이 (예 : Array.map box) 만들기? (box >> unbox)을 사용하고 있지만 엉성함이 느껴집니다.

Answer 1

box >> unbox 

은 좋은 생각입니다. O (1), 그리고 분명히 일을합니다.

이 CLR 잘못 기능을 사용하지 않는 것도 고려하십시오. ;)

Answer 2

브라이언의 솔루션은 나에게 잘 보이지만 실제로 배열 공분산이 필요합니까?

당신이 ISomething[]을 소요하고 당신이 그것을 필요로 다음을 SomeSomething[]를 전달하려는하지만, 함수는 배열에서 유형 ISomething의 값을 읽는 경우 (공분산이 허용하는 것입니다) 기능이있는 경우, 당신은 해시를 사용할 수 있습니다 -type을 입력하고 #ISomething[]을 사용하는 함수를 작성하십시오.

이렇게하면 ISomething을 구현하는 모든 요소의 배열에서 함수가 작동 할 수 있으며 호출 할 때 배열 공분산이 필요하지 않습니다. .NET에서 배열 공분산의 주된 이유는 그것이 제네릭이 존재하지 않는 시간에 필요하다는 것을

type A() = 
    interface IDisposable with 
    member x.Dispose() = printfn "gone" 

// Disposes the first element from an array 
let disposeFirst (a:#IDisposable[]) = a.[0].Dispose() 

// Call 'disposeFirst' with 'A[]' as an argument 
let aa = [| new A(); new A() |] 
disposeFirst aa 

그것은 나에게 보인다, 그러나 F 번호가이 기능없이 살 수있는 것 같다 예를 들면 다음과 같습니다 잘 됐네.

Answer 3

브라이언이 말한 것처럼 box >> unbox에는 아무런 문제가 없습니다. 다른 점은 배열 공분산이 본질적으로 손상된다는 것입니다 (예 : ([| "test" |] |> box |> unbox<obj[]>).[0] <- obj()은 할당을 수행하려고 할 때 ArrayTypeMismatchException을 발생시킵니다). (여전히 F 번호가 일반적인 공동/콘트라 분산을 지원하지 않기 때문에 F 번호 복싱과 언 박싱을 필요로하지만)

대신, 당신은 아마 완벽하게 안전 인 obj seq, 같은 string[]을 치료하는 더 나을 것입니다. 불행히도이 경로를 사용하면 임의 액세스를 잃게됩니다.