知識マップ: Roslynとは何か ── C#コードをコンパイラの視点で読む・直す・生成する

記事「Roslynとは何か ── C#コードをコンパイラの視点で読む・直す・生成する」の主張を、概念と関係(エッジ)に分解した知識グラフの全体です。各関係には根拠・確認日・確度が付いています。

この記事は、C#/VBのコンパイラ基盤であるRoslynを、構文を表すSyntax Treeと意味を表すSemanticModelという2つのAPIを軸に整理した入門記事です。Compilationは複数のSyntax Treeと参照アセンブリからSemanticModelを解決するための材料をまとめ、Workspaceはソリューション・プロジェクト単位の操作をMSBuildWorkspaceなどの実装で提供します。この土台の上に、警告を出すAnalyzer、修正案を提示するCode Fix、コンパイル時にコードを追加するSource Generatorという3つの使い方が乗り、Analyzerの重大度は.editorconfigで構成でき、.NET 5以降で既定有効になる.NET SDK同梱Analyzerも同じ仕組みの上に成り立ちます。Source Generatorは複雑さゆえに、.NET Frameworkの既存資産への最初の導入手段としては推奨されません。

flowchart LR
    accTitle: Roslyn(.NET Compiler Platform)の知識マップ
    accDescr: RoslynがSyntax Tree・SemanticModel・Workspaceという3つのAPIの上に成り立ち、そこからAnalyzer・Code Fix・Source Generatorという3つの使い方が枝分かれし、.editorconfigやMSBuildWorkspace、.NET SDK同梱Analyzerとどう関係するかを示す図です。
    roslyn["Roslyn(.NET Compiler Platform)"]
    syntax_tree["Syntax Tree"]
    semantic_model["SemanticModel"]
    roslyn_workspace["Workspace(Roslyn)"]
    roslyn_compilation["Compilation(Roslyn)"]
    roslyn_symbol["Symbol(Roslyn)"]
    msbuild_workspace["MSBuildWorkspace"]
    roslyn_analyzer["Analyzer(Roslyn)"]
    editorconfig[".editorconfig"]
    roslyn_code_fix["Code Fix(Roslyn)"]
    roslyn_source_generator["Source Generator(Roslyn)"]
    incremental_generator["IIncrementalGenerator"]
    net_sdk_analyzer[".NET SDK同梱Analyzer"]
    dotnet_framework[".NET Framework"]
    dotnet[".NET(Core以降)"]
    roslyn -->|"利用する"| syntax_tree
    roslyn -->|"利用する"| semantic_model
    roslyn -->|"利用する"| roslyn_workspace
    semantic_model -->|"前提とする"| roslyn_compilation
    semantic_model -->|"前提とする"| syntax_tree
    semantic_model -->|"利用する"| roslyn_symbol
    msbuild_workspace -->|"実装を担う"| roslyn_workspace
    roslyn_analyzer -->|"利用する"| syntax_tree
    roslyn_analyzer -->|"利用する"| semantic_model
    roslyn_analyzer -->|"で構成できる"| editorconfig
    roslyn_code_fix -.->|"前提とする"| roslyn_analyzer
    roslyn_source_generator -->|"利用する"| roslyn_compilation
    incremental_generator -->|"実装を担う"| roslyn_source_generator
    net_sdk_analyzer -->|"利用する"| roslyn_analyzer
    net_sdk_analyzer -->|"で構成できる"| editorconfig
    roslyn_workspace -->|"利用する"| roslyn_compilation
    roslyn_source_generator -.->|"用いるのは非推奨"| dotnet_framework
    roslyn_code_fix -->|"利用する"| syntax_tree
    net_sdk_analyzer -.->|"前提とする"| dotnet

概念間の関係(全19件)

図と同じ関係を文章でも列挙します。表示している文と機械可読な意味データ(RDFa)は同じ要素に載っています。確度が「確立した関係」のものは直接の関係として、「条件付きの関係」のものは成立条件つきの言明(rdf:Statement)として表現しています。

• Roslyn(.NET Compiler Platform)はSyntax Treeを利用します。Roslynはソースコードの構文構造を、クラス・メソッド・式などのC#の構文要素として整理されたSyntax Treeとして表す / 確度: 確立した関係 / 確認日: 2026-08-01 出典
• Roslyn(.NET Compiler Platform)はSemanticModelを利用します。Roslynはコードの意味(このコードが何を指しているか)を、SemanticModelというAPIとして構文とは別に提供する / 確度: 確立した関係 / 確認日: 2026-08-01 出典
• Roslyn(.NET Compiler Platform)はWorkspace(Roslyn)を利用します。Roslynは単一ファイルではなくソリューションやプロジェクト全体を扱うためにWorkspaceを提供する / 確度: 確立した関係 / 確認日: 2026-08-01 出典
• SemanticModelはCompilation(Roslyn)を前提とします。SemanticModelを取得するには、SyntaxTreeと参照アセンブリから構成されたCompilationが必要になる / 確度: 確立した関係 / 確認日: 2026-08-01 出典
• SemanticModelはSyntax Treeを前提とします。SemanticModelはCompilation.GetSemanticModel(tree)のようにSyntaxTreeを指定して取り出すもので、意味を問い合わせる対象のSyntaxTreeを前提とする / 確度: 確立した関係 / 確認日: 2026-08-01 出典
• SemanticModelはSymbol(Roslyn)を利用します。SemanticModelは、構文ノードが実際にどのSymbol(型・メソッドなど)に解決されたかを取得する手段を提供する / 確度: 確立した関係 / 確認日: 2026-08-01 出典
• MSBuildWorkspaceはWorkspace(Roslyn)の実装を担います。MSBuildWorkspaceは、MSBuildプロジェクトファイルからソリューションを読み込むという形でWorkspaceのAPIの実装を担う / 確度: 確立した関係 / 確認日: 2026-08-01 出典
• Analyzer(Roslyn)はSyntax Treeを利用します。Analyzerはまず構文(SyntaxKind)で候補ノードを絞り込んでから、その先の判定に進む設計が推奨される / 確度: 確立した関係 / 確認日: 2026-08-01 出典
• Analyzer(Roslyn)はSemanticModelを利用します。Analyzerは、構文で絞った候補が本当に対象のAPIかをSemanticModelでの名前解決によって確定させる / 確度: 確立した関係 / 確認日: 2026-08-01 出典
• Analyzer(Roslyn)は.editorconfigで構成できます。Analyzerが報告する診断の重大度は、dotnet_diagnostic.<ID>.severityのように.editorconfigで調整できる / 確度: 確立した関係 / 確認日: 2026-08-01 出典
• Code Fix(Roslyn)はAnalyzer(Roslyn)を前提とします。Analyzerが検出した問題に対する修正案を提示する場合、Code FixはそのAnalyzerの診断IDを前提とする。CodeFixProviderは修正対象の診断IDを登録する仕組みなので、コンパイラ自身が出す診断に対するCode Fixも書ける。 / 確度: 条件付きの関係 / 確認日: 2026-08-01 出典
• Source Generator(Roslyn)はCompilation(Roslyn)を利用します。Source Generatorはユーザーのソースコードを読み、生成したコードを同じCompilationに追加する / 確度: 確立した関係 / 確認日: 2026-08-01 出典
• IIncrementalGeneratorはSource Generator(Roslyn)の実装を担います。IIncrementalGeneratorは、変更差分を効率よく扱える形でSource Generatorの実装を担うインターフェイスである / 確度: 確立した関係 / 確認日: 2026-08-01 出典
• .NET SDK同梱AnalyzerはAnalyzer(Roslyn)を利用します。.NET SDK同梱の.NETコード分析は、CAxxxx/IDExxxxの診断としてAnalyzerの仕組みの上に実装されている / 確度: 確立した関係 / 確認日: 2026-08-01 出典
• .NET SDK同梱Analyzerは.editorconfigで構成できます。.NET SDK同梱Analyzerの重大度も、他のAnalyzer同様に.editorconfigで調整できる / 確度: 確立した関係 / 確認日: 2026-08-01 出典
• Workspace(Roslyn)はCompilation(Roslyn)を利用します。Workspace上の各Projectは、型解決や参照解決に使うCompilationを取得できる / 確度: 確立した関係 / 確認日: 2026-08-01 出典
• Source Generator(Roslyn)を.NET Frameworkに用いることは推奨されません。.NET Frameworkの既存資産に対しては、最初からSource Generatorを組み込むよりRoslynベースの調査ツールやAnalyzerから始める方が安全とされる / 確度: 条件付きの関係 / 確認日: 2026-08-01 出典
• Code Fix(Roslyn)はSyntax Treeを利用します。Code Fixは不変なSyntax Treeに対し、WithIdentifierのような呼び出しで新しいノードを作る形で修正を適用する / 確度: 確立した関係 / 確認日: 2026-08-01 出典
• .NET SDK同梱Analyzerは.NET(Core以降)を前提とします。.NET SDK同梱のコード分析は、.NET 5以降のプロジェクトで既定で有効になる。.NET Framework等の他のターゲットでは既定で有効ではなく、EnableNETAnalyzersを明示的にtrueにすれば利用できる / 確度: 条件付きの関係 / 確認日: 2026-08-01 出典

主要概念の定義

Roslyn(.NET Compiler Platform)

C#とVisual Basicのコンパイラ実装であると同時に、コード解析ツールを作るためのAPI群でもある基盤。

Syntax Tree

ソースコードの構文構造を、クラス・メソッド・式・ステートメントなどのC#の構文要素として表すRoslynの木構造。

SemanticModel

構文木の各ノードが実際にどのシンボル(型・メソッドなど)に解決されたかなど、コードの意味をコンパイラの名前解決結果として取得できるRoslynのAPI。

MSBuildWorkspace

MSBuildを使ってソリューション・プロジェクトファイルを読み込む、RoslynのWorkspaceの実装。

Analyzer(Roslyn)

特定の構文やシンボルを検出し、Diagnostic(警告・エラー)としてコンパイラやIDEに報告する仕組み。

Code Fix(Roslyn)

Analyzerが検出した問題に対して、安全に適用できる修正案を提示する仕組み。

Source Generator(Roslyn)

コンパイル時に実行され、生成したC#コードを同じコンパイルに追加する仕組み。既存コードの書き換えではなく追加コードの生成を行う。

IIncrementalGenerator

変更差分を効率よく扱えるよう設計された、Source Generatorの実装インターフェイス。

.NET SDK同梱Analyzer

.NET 5以降のプロジェクトで既定で有効になる、.NET SDKに同梱されたコード分析機能。コード品質・信頼性・性能・セキュリティ(CAxxxx)とコードスタイル(IDExxxx)の診断を含む。

Workspace(Roslyn)

Solution・Project・Documentという単位で、単一ファイルではなくソリューションやプロジェクト全体のコードを扱うためのRoslynのAPI。

機械可読データ

• JSON-LD / Turtle ── この記事の知識グラフ全体
• 概念一覧 / 語彙(述語)の定義

このページはサイトの知識グラフ(_data/knowledge/)から自動生成されています。誤りの指摘はお問い合わせからお願いします。