为何部分Roslyn符号无类型信息？GetConversion相关疑问求解

为什么变量声明符没有类型？ #

Roslyn的语法节点严格映射C#的语法结构，VariableDeclaratorSyntax仅代表变量声明里的“标识符+初始化表达式”部分，本身并不携带类型信息——类型是属于上层VariableDeclarationSyntax的语法属性，而真正的语义类型则是编译器通过语义分析后绑定到符号上的。

比如代码int a = 1, b = 2;中，int是整个VariableDeclarationSyntax的类型，a和b作为声明符，它们的语义类型来自父声明的绑定结果，而非自身语法节点的属性。这是Roslyn刻意区分语法结构和语义信息的设计：语法节点只描述代码的文本结构，类型、符号这类上下文相关的信息，都属于语义分析范畴，需要通过SemanticModel获取。

获取节点类型的通用方法 #

要统一获取任意节点的类型信息，核心是依赖SemanticModel（语义模型），而非仅遍历语法节点。以下是通用实现思路：

using Microsoft.CodeAnalysis;
using Microsoft.CodeAnalysis.CSharp.Syntax;

public static ITypeSymbol GetNodeSemanticType(SemanticModel semanticModel, SyntaxNode node)
{
    // 优先尝试获取符号的类型（适用于变量、字段、参数等有符号的节点）
    var symbolInfo = semanticModel.GetSymbolInfo(node);
    if (symbolInfo.Symbol is ILocalSymbol localSymbol)
    {
        return localSymbol.Type;
    }
    if (symbolInfo.Symbol is IFieldSymbol fieldSymbol)
    {
        return fieldSymbol.Type;
    }
    if (symbolInfo.Symbol is IParameterSymbol paramSymbol)
    {
        return paramSymbol.Type;
    }

    // 针对表达式节点，获取类型信息（包含转换后的类型）
    var typeInfo = semanticModel.GetTypeInfo(node);
    return typeInfo.ConvertedType ?? typeInfo.Type;
}

使用时，比如处理VariableDeclaratorSyntax：

// 假设你已经获取到semanticModel和declarator节点
var declaratorType = GetNodeSemanticType(semanticModel, declarator);

这个方法无需硬编码父节点逻辑，直接通过语义模型获取最准确的类型信息。

为什么GetConversion不包含类型信息？ #

SemanticModel.GetConversion()返回的Conversion对象，核心职责是描述转换的行为特性：比如是隐式转换还是显式转换、是否为装箱/拆箱、是否存在用户定义的转换等。

而转换涉及的源类型和目标类型，属于表达式的语义类型信息，Roslyn将这部分放在TypeInfo中：

• semanticModel.GetTypeInfo(expression).Type：表达式的原始类型（转换前）
• semanticModel.GetTypeInfo(expression).ConvertedType：表达式转换后的目标类型

这种拆分是为了职责分离：Conversion专注于转换的规则和特性，TypeInfo专注于类型的上下文绑定结果。

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