F#中"sealed"类型是什么？为何未box时:?运算符无法生效？

一、F#语言指南对Sealed类型的定义 #

《F#语言指南》中对Sealed特性的定义较为简略，核心信息如下：

检索指南PDF全文后，这是最具信息量的定义。

二、上下文：简单类型使用:?运算符触发FS0016错误 #

使用类型别名时，以下模式匹配代码会触发错误：

type Lofa = | A | B
type Miez = Lofa

let (a: Miez) = A

match a with | :? Miez -> a
match a with | :? Lofa -> a

报错信息：

error FS0016: The type 'Miez' does not have any
proper subtypes and cannot be used as the source
of a type test or runtime coercion.

error FS0016: The type 'Lofa' does not have any
proper subtypes and cannot be used as the source
of a type test or runtime coercion.

可行的解决方法是使用box运算符包装值：

match (box a) with | :? Miez -> a
match (box a) with | :? Lofa -> a

三、疑问解答 #

1. "sealed"类型是否即F#"简单类型"（非类类型）？ #

二者并非完全等同，但F#的大部分“简单类型”（如联合类型、值类型、字符串等）默认都是sealed的。

Sealed是一个类型特性，标记该类型不能被继承。F#中，除了显式声明的非sealed类（比如未添加[<Sealed>]特性的自定义类），其他大部分类型（联合类型、记录类型、结构体、int/string等基本类型）默认都是sealed状态。而“简单类型”通常指非类的基础类型，但sealed特性也可用于类类型——你可以给类添加[<Sealed>]来禁止它被继承。

2. box运算符的"包装"具体指什么？是否将简单类型转为继承自System.Object的类类型？ #

box运算符的本质是将值转换为obj类型（即.NET的System.Object）：

• 对于值类型（比如int、结构体），box会执行装箱操作：把栈上的值复制到托管堆中，包装成一个System.Object实例，该实例包含原始值的类型信息和数据。
• 对于引用类型（比如字符串、默认sealed的类），box仅做类型转换，直接指向原有对象，不会创建新实例。

回到报错场景：:?是运行时类型测试运算符，它要求被测试的类型要么存在潜在子类型（非sealed引用类型），要么被包装为obj（因为obj是所有类型的基类，运行时可检查其实际类型）。用box将值转为obj后，运行时能识别其实际类型，:?测试即可正常执行。

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