相关疑难解决方法(0)

CompilationRepresentationFlags.UseNullAsTrueValue 可以用来

允许使用null作为歧视联盟中的否定鉴别器的表示

Option.None 是这方面最突出的例子.

为什么这有用？如何检查空检查比检查联合情况(生成的Tag属性)的传统机制更好？

它可能导致意外的行为:

Some(1).ToString() //"Some(1)"
None.ToString()    //NullReferenceException

编辑

我测试了Jack的断言,即与null相比,而不是静态只读字段更快.

[<CompilationRepresentation(CompilationRepresentationFlags.UseNullAsTrueValue)>]
type T<'T> =
  | Z
  | X of 'T

let t = Z

使用ILSpy,我可以看到t编译为null(如预期的那样):

public static Test.T<a> t<a>()
{
    return null;
}

考试:

let mutable i = 0
for _ in 1 .. 10000000 do
  match t with
  | Z -> i <- i + 1
  | _ -> ()

结果:

Real:00:00:00.036,CPU:00:00:00.046,GC gen0:0,gen1:0,gen2:0

如果CompilationRepresentation删除该属性,则t成为静态只读字段:

public static Test.T<a> t<a>() …