如何直接访问F#中嵌套可区分联合的内部值？

在F#中，没有原生的直接“属性式”语法可以访问嵌套可区分联合的内部值，必须通过模式匹配或者自定义辅助成员来实现，这是F#类型安全设计的一部分——避免你在类型不匹配时进行无效访问（比如试图从RSA RS256中读取HMAC类型的内部值）。

现有方案的替代优化 #

你已经写了提取内部值的匹配函数，如果你想模拟“直接访问”的体验，可以给Algorithm类型添加成员方法：

type hsAlgorithm = HS256 | HS384 | HS512
type rsAlgorithm = RS256 | RS384 | RS512
type esAlgorithm = ES256 | ES384 | ES512

type Algorithm = 
     | HMAC of hsAlgorithm
     | RSA of rsAlgorithm
     | ECDsa of esAlgorithm
     // 返回内部算法的字符串表示
     member this.InnerAlgorithmString =
         match this with
         | HMAC x -> x.ToString()
         | RSA x -> x.ToString()
         | ECDsa x -> x.ToString()
     // 返回内部算法值（装箱为object，需按需转换）
     member this.InnerAlgorithmValue =
         match this with
         | HMAC x -> box x
         | RSA x -> box x
         | ECDsa x -> box x

使用时就可以像访问属性一样调用：

let a = HMAC HS256
printfn "%s" a.InnerAlgorithmString // 输出 "HS256"

为什么不能直接访问？ #

F#的可区分联合设计核心是类型安全的分支处理，直接访问内部值会绕过类型检查逻辑：如果允许直接访问，当变量是RSA RS256时，你试图读取HMAC的内部值会导致运行时错误，而模式匹配强制你处理所有可能的分支，保证代码在编译阶段就覆盖所有情况。

内容的提问来源于stack exchange，提问作者Alex_P