Question

为什么这两个函数（f1和f2）返回不同的结果？

let f1< t>() = if typeof<byte[]> = typeof< t> then printfn "Is Byte Array" else printfn "Is Not Byte Array"

let f2< t>() =
    match box Unchecked.defaultof< t> with
    | :? (byte[]) -> printfn "Is Byte Array" 
    | _ -> printfn "Is Not Byte Array"

f1<byte[]>();;
Is Byte Array

f2<byte[]>();;
Is Not Byte Array

Answer 1

因为未选中.defaultof<；t>总是返回null。


> Unchecked.defaultof<byte[]>;;
val it: byte array = <null>

> Unchecked.defaultof<int>;;
val it: int = 0

> Unchecked.defaultof<string>;;
val it: string = <null>

> Unchecked.defaultof<int * bool>;;
val it: int * bool = <null>

> Unchecked.defaultof<bool>;;
val it: bool = false

这就是“未检查”部分应该传达的意思。不检查此值是否正确/有效。如果你使用这些函数，你会更好地知道你在做什么。

Answer 2

除了Fyodor的答案之外，null值不携带运行时类型信息，这意味着一旦它被装箱，就不能再强制转换回byte[]。您甚至不用调用＜code＞Unchecked.defaultof

let f3() =
    let x : byte[] = null
    match box x with
    | :? (byte[]) -> printfn "Is Byte Array" 
    | _ -> printfn "Is Not Byte Array"
    
f3 ();;
Is Not Byte Array

友情链接