如何解决F#判别联合在Orleans 7中的编译访问级别错误？

问题重现 #

你在Orleans 7项目中定义了如下F#判别联合类型：

[<GenerateSerializer>]
type SmtpServerResult =
    | Pending
    | Error of ErrorMessage
    | Complete of SmtpServer array

编译时出现保护级别相关的代码生成错误：

MyNamespace.Codegen.orleans.g.cs(20281,179): Error CS0122 : 'SmtpServerResult._Pending' is inaccessible due to its protection level

排查过程中发现：

• 无法定位到实际生成的代码文件（推测因构建错误仅存在于内存）
• 给Pending case添加数据类型（如Pending of int）后，代码生成可正常完成

原因分析 #

这是Orleans 7的F#序列化代码生成器的缺陷：当判别联合包含无数据的case时，生成器会错误地将该case对应的内部字段标记为私有，导致后续生成的代码无法访问该字段，触发编译错误。

解决方案 #

方案1：为无数据case添加占位类型 #

给Pending添加一个无业务意义的占位类型（比如unit），绕过代码生成的缺陷：

[<GenerateSerializer>]
type SmtpServerResult =
    | Pending of unit
    | Error of ErrorMessage
    | Complete of SmtpServer array

使用时只需写Pending ()即可，对业务逻辑几乎无影响。

方案2：使用IdiomaticSerializer特性 #

为判别联合添加[<IdiomaticSerializer>]特性，强制Orleans使用更贴合F#语法习惯的序列化逻辑：

[<GenerateSerializer>]
[<IdiomaticSerializer>]
type SmtpServerResult =
    | Pending
    | Error of ErrorMessage
    | Complete of SmtpServer array

注意：需确保项目已正确引用Orleans的F#支持包，部分场景下可能需要额外配置序列化选项。

额外建议 #

如果需要彻底修复这个问题，可以向Orleans官方仓库提交issue，反馈该F#代码生成器的bug。

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