C#中的unspeakable types（不可表述类型）是什么？求示例解析

术语核心含义 #

unspeakable types（不可表述类型）指的是编译器自动生成的特殊类型，这类类型的标识符（名称）无法直接在C#代码中手动编写或引用——不是因为语法错误，而是编译器设计上就限制开发者直接使用这类类型的名称。它们是编译器为实现特定语言特性（如异步状态机、闭包捕获、记录类型的合成成员等）而隐式创建的底层类型。

.NET 8新增的支持，是让弱类型的源代码生成场景（比如基于元数据/反射的代码生成工具）能够正确识别并处理这类编译器生成的类型，解决了之前版本中这类场景无法兼容此类类型的问题。

常见示例 #

1. 异步方法的状态机类型 #

当你编写异步方法时，编译器会自动生成一个实现IAsyncStateMachine的类，用于管理异步执行的状态流转，这个类就是典型的不可表述类型：

public async Task<int> GetDelayedValueAsync()
{
    await Task.Delay(100);
    return 42;
}

编译后，编译器会生成类似<<GetDelayedValueAsync>d__0>的类型名称，这类名称包含C#语法不允许出现在用户自定义标识符中的<>符号，你无法在自己的代码中直接通过这个名称引用该类型，只能通过反射或源代码生成工具访问它的元数据。

2. 闭包的变量捕获类 #

当代码中存在闭包（比如匿名函数捕获外部变量）时，编译器会生成一个专门的类来存储被捕获的变量，这类类同样属于不可表述类型：

public Action CreateCounter()
{
    int currentCount = 0;
    return () => Console.WriteLine(currentCount++);
}

编译后，编译器会生成类似<>c__DisplayClass0_0的捕获类，你无法在代码中直接声明或引用这个类的名称，它完全由编译器隐式管理。

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