带Struct特性的F# DU分支过多时，运行时为何抛出无效程序错误？

一、异常原因 #

你遇到的System.InvalidProgramException是因为F#编译器为结构体可区分联合生成的IL代码，在分支数量超过特定阈值（通常是64个）时，不符合CLR的代码验证规则。无数据的结构体DU本质上是想模拟枚举的轻量特性，但F#编译器的底层实现逻辑在分支过多时，会生成CLR无法正确解析的指令，导致运行时抛出无效程序异常。

二、可行解决方案 #

1. 限制结构体DU的分支数量 #

如果一定要保留结构体特性，把分支数控制在64个以内——这个阈值是CLR对结构体类型分支处理的安全上限，超过后就容易触发验证失败。

2. 改用普通可区分联合 #

移除[<Struct>]特性后，DU会变成引用类型，虽然会有8字节的指针开销，但能避免分支数量限制带来的异常，适合分支数量较多的场景。

3. 优化枚举的使用体验 #

你提到枚举的两个不便点其实都有办法解决：

• 省略前缀直接使用成员：把枚举放在模块里，然后open该模块就能直接写成员名：

  module TagModule =
      type Tag =
          | Case0 = 0
          | Case1 = 1
          // ... 后续分支会自动递增赋值，无需手动指定
          | CaseN = N
  
  open TagModule
  // 现在可以直接写 Case0、Case1 而不用加 Tag. 前缀
  let myTag = Case0
  

• 自动赋值无需手动指定：.NET枚举默认会为成员自动分配唯一递增的整数值——第一个成员默认是0，后续每个成员依次+1。只有当你需要自定义特定值时，才需要显式赋值，完全不需要为每个分支手动写数值。

三、关于.NET枚举显式赋值的疑问 #

你误解了.NET枚举的规则：枚举并不要求必须显式赋值。默认情况下，编译器会自动为每个枚举成员分配唯一的整数值，只要你不显式重复设置相同值，所有成员的数值都是唯一的。显式赋值只是用于需要指定特定数值的场景（比如和外部系统的数值约定对齐），绝大多数只需要唯一值的场景，完全可以依赖自动赋值。

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