支持null的结构和引用类型的类型约束

Question

是否可以将类型约束为支持null的结构或引用类型？像这个功能假设约束：

let getOrDefault<'T when ('T : struct) or ('T : null)> (d: IDictionary<_, 'T>) key = 
    match d.TryGetValue(key) with 
    | true, v -> v 
    | _ -> Unchecked.defaultof<'T> 

的功能不应该与F＃类型一起使用，除非标有[<AllowNullLiteral>]。

Answer 1

我不认为你可以把or之间的两个约束。 通常当我需要这样的东西constraint1或constraint2或者...或者constraintN什么，我要做的就是创建重载：

open System.Collections.Generic 

// unconstrained function 
let getOrDefaultG (d: IDictionary< _ , 'T>) key = 
    match d.TryGetValue(key) with 
    | true, v -> v 
    | _ -> Unchecked.defaultof<'T> 

// individually constrained 
let getOrDefaultS<'K,'T when 'T :struct> (d:IDictionary<'K,'T>) = getOrDefaultG d 
let getOrDefaultN<'K,'T when 'T :null > (d:IDictionary<'K,'T>) = getOrDefaultG d 

// overloads 
type GetOrDefault = GetOrDefault with 
    static member ($) (GetOrDefault, d) = fun dummyArg  -> getOrDefaultS d 
    static member ($) (GetOrDefault, d) = fun (dummyArg:unit) -> getOrDefaultN d 

// the desired function 
let inline getOrDefault d key = (GetOrDefault $ d)() key 

注：dummyArg是一招我用它来创建两个不同的签名，并把它编译。