从 ITypeSymbol 获取 TypeSyntax

Question

我正在尝试使用 Roslyn-CTP。

目前我正在尝试用具体类型替换var 。

var i=1;

应该变成：

int i=1;

找出推断的类型很容易。 但是由于这部分发生在语义模型中，我得到了一个ITypeSymbol 。 替换发生在语法模型中，所以我需要一个TypeSyntax 。 由于我不想要一个臃肿的名称（ global::System.Int32 ），转换是依赖于上下文的（ using 、嵌套类型等）。

作为 Roslyn 一部分的 Visual Studio 版本已经在其“简化类型名称”快速修复程序中具有此功能，但查看示例我找不到进行此转换的简单方法。

---

基于 Kevin Pilch-Bisson 的回答，我现在正在使用：

var location = document.GetSyntaxTree().GetLocation(node);
string name = variableType.ToMinimalDisplayString((Location)location, (SemanticModel)document.GetSemanticModel());

其中A位置ToMinimalDisplayString可以从获得CommonSyntaxTree 。

另一个复杂之处是ToMinimalDisplayString需要类Location和SemanticModel ，而document.GetSemanticModel()和CommonSyntaxTree.GetLocation只返回一个接口。
我通过简单地投射到类来解决这个问题，这现在似乎有效。

嗯，看起来类是特定于 C# 的，并且接口语言独立。

---

我已经在 github 上上传了一个工作版本： https : //github.com/CodesInChaos/Roslyn

它不适用于foreach var ，但我怀疑这是当前 Roslyn 构建的限制。

Answer 1

你可以在最短的法律字符串在使用给定的位置来代表一个符号ToMinimalDisplayString()适用于扩展方法ISymbol （注：这是一个在`Roslyn.Compilers.CSharp.SymbolDisplay找到。

免责声明：我在 Microsoft 的 Roslyn 团队工作。

Answer 2

问题：找到可为空的参数类型。 它可以是自定义对象或系统标识符。

在 c# 中 - customobject 具有 kind() == identifier 并且 bool/string/ 具有预定义类型。

这就是您如何将参数类型设置为 nullable

[这里标识符名称表明这是自定义对象。 它可以是 PredefinedType]

 Class A
 {
     public bool ? test;
    public b ? obj1;
 }
 // Get the semantic model and get the property declarationsyntax

 PropertyDeclarationSyntax prop = (get it somehow)[]

 INamedTypeSymbol tp = (INamedTypeSymbol)x.Type;

 string nameoftype = tp.TypeArguments.FirstOrDefault().Name;

 ITypeSymbol s1 = tp.TypeArguments.FirstOrDefault();

 TypeSyntax t1 = SyntaxFactory.ParseTypeName(s1.ToMinimalDisplayString(semanticModel, 
 prop.SpanStart));

 t1.kind == IdentifierName meaning its custom object type.