SourceGeneratorのマーカー属性問題について

Source Generatorのマーカー属性問題について２０２６/０２/２８ .NETラボ勉強会2月

高山博司・ FutureOne株式会社・ C#/.NET/Blazor tkym @h_tkymx

Source Generator

C# Source Generator コンパイル時のメタプログラミングツール・新しいC#ソースファイルを生成し，自動的に追加・開発中に実行・実行時のパフォーマンスが向上
・リフレクションを排除・ AOTコンパイルとツリーシェイキングを可能に前回の内容 https://zenn.dev/poipoionigiri/articles/57f1c33a7f5baa

どのクラス、メソッド、あるいはプロパティに対してコードを生成すべきか Syntactic Filtering: 非常に高速。テキスト情報やトークンの種類だけで判断する。 Semantic Analysis: 非常に高コスト。型解決、継承関係の確認、他アセンブリのメタデータ参照を含む。

マーカー属性 ForAttributeWithMetadataName

マーカー属性 AllInterfaces はやめましょう．．．・推移的な依存関係・アセンブリ境界の越境・増分ビルドの破壊

Blazor Form Validation - .NET 10

Marker Attribute Problem

マーカー属性の定義場所どこにマーカー属性を定義すればよい？マーカー属性もSource Generatorでつくる？

CS0246（型または名前空間が見つかりません） × Attributeを出すだけのGeneratorを作る × 出力コードの中にAttributeの定義も混ぜ込む

Attribute用のライブラリを作る △ ２つも依存関係もつの・・・？スタンドアロンなSource Generatorがいい！

RegisterPostInitializationOutput ◎ ジェネレーターの起動時にフックして，固定のコードを差し込める．「マーカー属性を追加してね」と言わんばかりのメソッド

CS0436 : 型の競合複数プロジェクトにSource Generatorを入れていて，それらが依存関係にある場合に， [CS0436 : 型の競合 ]
警告が出る． → internal class

internal．．．

CS0436 : 型の競合(InternalsVisibleTo編) [InternalsVisibleTo]：指定されたアセンブリに対して、通常は internal アクセスレベルで保護されている型やメンバーへのアクセス権を付与する宣言的な属性

CS0436 : 型の競合 (InternalsVisibleTo編) × Source Generatorに属性クラスを直接含め、DLL 自体を通常の参照としても使う・ Source
Generatorの依存がユーザーに流れてしまう．・バージョンの競合が起こる可能性・ analyzerとして使ってほしい

CS0436 : 型の競合 (InternalsVisibleTo編) Source Generator パッケージにAttribute DLLをパックする

CS0436 : 型の競合 (InternalsVisibleTo編) ．NET １０・出力するアトリビュートに[Embedded]を付与・ ResisterPostInitializeationOutput時に
AddEmdeddedAttributeDefinitionを呼ぶ

まとめ Source Generator の Marker Attribute Problem ・ RegisterPostInitializationOutputで Source
Generatorで生成することを考える． → Attribute は internal ｃlass ・複数プロジェクトで使いたい場合は，依存関係に注意 → ．NET １０では，[Embedded]を使う → それ以前では，一工夫した方が使いやすいかも

SourceGeneratorのマーカー属性問題について

SourceGeneratorのマーカー属性問題について

tkym

More Decks by tkym

Other Decks in Programming

Featured

Transcript