.net - F#中的数组协方差

Question

由于 .NET 数组是协变的，以下在 C# 中有效:

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

在 F# 中，给定一个数组， 'T[] ，将其转换为 obj[] 的最佳方法是什么？ ，而不重新创建数组(例如， Array.map box )？我正在使用 (box >> unbox) ，但感觉很草率。

Answer 1

正如布赖恩所说，box >> unbox 没有任何问题。 ，除此之外，数组协方差本身就被破坏了(例如，([| "test" |] |> box |> unbox<obj[]>).[0] <- obj() 在尝试执行赋值时会抛出一个 ArrayTypeMismatchException)。

相反，您最好处理 string[]作为 obj seq ，这是完全安全的(尽管它仍然需要在 F# 中装箱和拆箱，因为 F# 不支持通用协方差/反方差)。不幸的是，如果你走这条路，你会失去随机访问。