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

Transcript

1. Source Generatorの マーカー属性問題について ２０２６/０２/２８ .NETラボ勉強会2月
2. 高山博司 ・ FutureOne株式会社 ・ C#/.NET/Blazor tkym @h_tkymx
3. Source Generator
4. C# Source Generator コンパイル時のメタプログラミングツール ・ 新しいC#ソースファイルを生成し，自動的に追加 ・ 開発中に実行 ・ 実行時のパフォーマンスが向上 ・ リフレクションを排除 ・ AOTコンパイルとツリーシェイキングを可能に 前回の内容 https://zenn.dev/poipoionigiri/articles/57f1c33a7f5baa
5. どのクラス、メソッド、あるいはプロパティに対してコードを生成すべきか Syntactic Filtering: 非常に高速。テキスト情報やトークンの種類だけで判断する。 Semantic Analysis: 非常に高コスト。型解決、継承関係の確認、他アセンブリのメタデータ参照を含む。
6. マーカー属性 ForAttributeWithMetadataName
7. マーカー属性 AllInterfaces はやめましょう．．． ・ 推移的な依存関係 ・ アセンブリ境界の越境 ・ 増分ビルドの破壊
8. Blazor Form Validation - .NET 10
9. Marker Attribute Problem
10. マーカー属性の定義場所 どこにマーカー属性を定義すればよい？ マーカー属性もSource Generatorでつくる？
11. CS0246（型または名前空間が見つかりません） × Attributeを出すだけのGeneratorを作る × 出力コードの中にAttributeの定義も混ぜ込む
12. Attribute用のライブラリを作る △ ２つも依存関係もつの・・・？ スタンドアロンなSource Generatorがいい ！
13. RegisterPostInitializationOutput ◎ ジェネレーターの起動時にフックして，固定のコードを差し込める． 「マーカー属性を追加してね」と言わんばかりのメソッド
14. CS0436 : 型の競合 複数プロジェクトにSource Generatorを入れていて， それらが依存関係にある場合に， [CS0436 : 型の競合 ] 警告が出る． → internal class
15. internal．．．
16. CS0436 : 型の競合(InternalsVisibleTo編) [InternalsVisibleTo]： 指定されたアセンブリに対して、通常は internal アクセスレ ベルで保護されている型やメンバーへのアクセス権を付与する宣言的な属性
17. CS0436 : 型の競合 (InternalsVisibleTo編) × Source Generatorに属性クラスを直接含め、DLL 自体を通常の参照としても使う ・ Source Generatorの依存がユーザーに流れてしまう． ・ バージョンの競合が起こる可能性 ・ analyzerとして使ってほしい
18. CS0436 : 型の競合 (InternalsVisibleTo編) Source Generator パッケージにAttribute DLLをパックする
19. CS0436 : 型の競合 (InternalsVisibleTo編) ．NET １０ ・ 出力するアトリビュートに[Embedded]を付与 ・ ResisterPostInitializeationOutput時に AddEmdeddedAttributeDefinitionを呼ぶ
20. まとめ Source Generator の Marker Attribute Problem ・ RegisterPostInitializationOutputで Source Generatorで生成することを考える． → Attribute は internal ｃlass ・ 複数プロジェクトで使いたい場合は，依存関係に注意 → ．NET １０ では，[Embedded]を使う → それ以前では，一工夫した方が使いやすいかも