我正在使用Roslyn编写一个应用程序,用于对C#源代码进行语法和语义分析。 对于被分析的源代码中定义的每种类型,我想要存储它是引用类型(类),值类型(结构体)还是接口。
哪种术语是指类型的类型最合适/官方?
示例:
class A
{
//This type's type (A's type) is 'class' (i.e. a reference type).
}
我正在使用Roslyn编写一个应用程序,用于对C#源代码进行语法和语义分析。 对于被分析的源代码中定义的每种类型,我想要存储它是引用类型(类),值类型(结构体)还是接口。
哪种术语是指类型的类型最合适/官方?
示例:
class A
{
//This type's type (A's type) is 'class' (i.e. a reference type).
}
在类型理论中,一个类型的类型通常被称为它的种类。这主要描述了类型的参数化形式,尽管它也可以用于其他分类。但我不确定它是否自然地适用于您在此处所指的分类。似乎C#也没有针对此的“官方”术语。
我在Roslyn源代码中看到过我们使用“kind”,比如“有5种可能的类型可以声明”。然而,我不认为这个术语有官方定义。我会使用“类型种类”或“种类”。