表題の通りですが、Infragistics Web Day 2017に参加してきました。
ここ数年（多分8年とか？）まともにWebシステム開発に携わって来なかったのですが、今後ノータッチという訳にもいかないし、特にWebフロントエンドの知識の最新化は、今期の組織課題としてちょうど取り上げていたところでした。非常によいタイミングで告知があったので少し厳しいスケジュールでしたが参加させていただきました。
結果としては満足いく内容で、とくにパネルディスカッションと懇親会でお話させていただいた内容は、面白くもあり、ためにもなりました。
こういった場を提供していただいたInfragisticsさんに感謝の念が絶えません。
という訳で？簡単にですが感じたこと、考えたことを残しておきたいと思います。ぶっちゃけポエムなんで怒らないでください。
なお当日の時系列には全く沿っていません。
また完全仕事モードでしたので、個人の趣味嗜好ではなく一般的な受託開発メインのSIer的視点での感想になっています。個人の趣味趣向とは大きくずれている点があることを先にお伝えしておきます。
さて前回、Mono.Cecilを利用した静的なAOPについて解説しました。
今回はいよいよXamarin.iOSでも動作する、静的なAOPの実装について解説したいと思います。Mono.Cecilを使ってILを織り込むFodyのアドインを作成し、コンパイル時に自動的にILを織り込むところまでを解説します。
具体的にはViewModelのメソッド呼び出し時にDebug.WriteLineでクラス名とメソッド名をログ出力するサンプルを作成します。
「使い勝手の良いAOPフレームワーク」は、まだまだお預けですが、今回を理解すればあとはILを「頑張れば」できたも同然でしょう（つまり先はまだ長いです）。
では早速内容に入って行きましょう。
続きを読む
さて前回、Cauldron.Interception.Fodyを利用すればXamarinでもAOPできるんだけど、仕様が好みじゃないので作るしかないな！というお話をしました。
IL弄ってアスペクトを織り込むアドインを作成するわけですが、ILを弄ると言うと黒魔術のように感じるかもしれません。私自身そう思っていました。
しかし今回実際に触ってみて思ったのですが、技術的な難易度的には黒魔術というほどでもないかな？と、感じることができました。これはもちろん、ILを編集するための基盤を過去の偉人が構築してくれていたことも大きいです。
ただ通常の開発手段として気軽に使うべきではないという意味では、いかに容易に扱えるフレームワークがあると言っても黒魔術であることは変わりないでしょう。
という訳で、今回から2回にわたってXamarinで静的AOPを実装するためのHello, Worldレベルの解説をしたいと思います。
これらのエントリーでILを操作するする雰囲気をつかんでいただけたらと思います。
それでは本題に入りましょう。
通常の実行時にReflection.Emitなどを使って動的コード生成を利用するAOPに対して、アプリケーションの実行前、コンパイル時にアスペクトを織り込んでおくアプローチのため、仮に静的AOPと呼ぶこととします。異論は受け付けますというか、適切な名称があるのであれば指摘ください。
さてこれまで、PropertyChanged.FodyやCauldron.Interception.Fodyを紹介してきましたが、実のところ静的なAOPを実現するためのコアテクノロジーは二つあります。
このうち、実際にILの編集を行う機能を提供するのはMono.Cecilになります。
FodyはMono.Cecilを利用してILを編集する機能を実装したアドインを、MSBuildと協調してコンパイル時に制御することで、静的AOPを容易に活用する仕組みを提供するものになります。
という訳で、静的AOPのHello, World.を解説するにあたり、今回と次回の2回にわたって次のような手順で解説していきます。
今回：Mono.Cecilを利用し既存アセンブリに任意のILを織り込む方法の解説
次回：Mono.Cecilで作成したAOPアドインをFodyを使って適用する方法の解説
ビルド済みのアセンブリ内の、指定のクラスの指定のメソッド呼び出し時に、ログ出力するコードを織り込む。
今回は.NET Standardではなく、すべて.NET Frameworkで実装します。
さて私自身、先にも書いた通りIL読んだり書いたりするのは今回が初めてで、ぶっちゃけちゃんと説明できません。
という訳で、参考にさせてもらった文献を紹介しておきたいと思います。
ILを編集してログ出力するにあたり、今回は次の手順で進めます。
それでは実際に始めましょう。まずはILを編集対象のプロジェクトを作成しましょう。
WeaveTargetという名称のコンソールプロジェクトを作成します。
そしてProgram.csを開いて次のようなコードを記載しビルドします。
class Program { static void Main(string[] args) { SayHello(); Console.ReadLine(); } private static void SayHello() { Console.WriteLine("Hello, AOP!"); } }
このコードをビルドしてILを覗いてみます。覗くのにはILSpyを利用します。
ILSpyを開くと次のような画面が開かれます。
ここに先にビルドしたWeaveTarget.exeをドラッグ＆ドロップし、開かれた中から前述のSayHelloメソッドを覗いて見ましょう。
デフォルトではILから逆コンパイルされたC#のコードが表示されますが、今回見たいのはILです。という訳でドロップダウンをC#からILに切り替えてILを確認して見ましょう。
抜粋したILのコードが次の通りです。
IL_0000: nop IL_0001: ldstr "Hello, AOP!" IL_0006: call void [mscorlib]System.Console::WriteLine(string) IL_000b: nop IL_000c: ret
さて、今回はILの読み方そのものは解説しません。興味ある方は次の二つを参考にされると理解が進むでしょう。
さて、先ほどのSayHelloメソッドをもう一度見て見ましょう。
private static void SayHello() { Console.WriteLine("Hello, AOP!"); }
今回のゴールは「指定のクラスの指定のメソッド呼び出し時に、ログ出力するコードを織り込む。」でしたよね？という訳でSayHello()メソッド編集してつぎのコードと同義のコードを生成することを目指します。
が、ひとまずは実際のコードを修正してログ出力コードを埋め込んでビルドし、ILがどう変わるか確認してみます。
private static void SayHello() { Console.WriteLine("Program#SayHello()"); Console.WriteLine("Hello, AOP!"); }
そして再びビルドしたアセンブリをILSpyで覗いてみましょう。ILは次のように変わっています。
IL_0000: nop IL_0001: ldstr "Program#SayHello()" IL_0006: call void [mscorlib]System.Console::WriteLine(string) IL_000b: nop IL_000c: ldstr "Hello, Fody!" IL_0011: call void [mscorlib]System.Console::WriteLine(string) IL_0016: nop IL_0017: ret
IL_0000、IL_0001、IL_0006が新たに追加されており、IL_000b以降は変化がありません。
つまり、既存のILに対してIL_0000〜IL_0006の内容を挿入してあげれば、同等の振る舞いが追加できるはずだ、と言うことになります。
ILを自力で記述する場合は、このように
これを繰り返して行くのが一般的な開発スタイルのようです（私も始めたばかりなので間違ってるかもしれませんが）。
さて、ここでログ出力のC#コードはいったん削除してリビルドしておきましょう。
それでは実際にILを編集していきます。
まずはILを編集するコンソールアプリのひな型を作成しましょう。
WeaveLogOutputという名前のコンソールアプリを作成し、NuGetからFodyCecilパッケージを適用しましょう。
すると実際にはFodyCecilライブラリの参照は追加されず、Mono.Cecil系のライブラリが4つ参照に追加されます。
FodyCecilは実体がなく、依存するライブラリが定義されているだけです（こういうライブラリを何て言うんでしたっけ？）。
それではここにILを編集するコードを記述していきましょう。 まずは編集対象のアセンブリを読み込み、対象のメソッドを特定します。
static void Main(string[] args) { var path = @"..\..\..\WeaveTarget\bin\Debug"; var module = ModuleDefinition.ReadModule(Path.Combine(path, "WeaveTarget.exe")); var type = module.Types.Single(x => x.Name == "Program"); var method = type.Methods.Single(x => x.Name == "SayHello"); }
そしてILを編集するProcessorと、SayHelloメソッドの先頭行を取得します。
static void Main(string[] args) { ... var processor = method.Body.GetILProcessor(); var first = method.Body.Instructions.First(); }
ここからfirstの前にログ出力のILを埋め込んでいきます。
改めて織り込むILを確認します。
IL_0000: nop IL_0001: ldstr "Program#SayHello()" IL_0006: call void [System]System.Diagnostics.Debug::WriteLine(string)
1行目と2行目は簡単ですね。次のようにしてfirstの前にILを織り込みます。
static void Main(string[] args) { ... processor.InsertBefore(first, Instruction.Create(OpCodes.Nop)); processor.InsertBefore(first, Instruction.Create(OpCodes.Ldstr, $"{type.Name}#{method.Name}()")); }
3行目は少しだけ面倒です。少しだけね。
ConsoleクラスのWriteLineメソッドのMethodInfoを取得した上でILを挿入してあげます。
static void Main(string[] args) { ... var consoleWriteLine = typeof(Console) .GetTypeInfo() .DeclaredMethods .Where(x => x.Name == nameof(Console.WriteLine)) .Single(x => { var parameters = x.GetParameters(); return parameters.Length == 1 && parameters[0].ParameterType == typeof(string); }); processor.InsertBefore(first, Instruction.Create(OpCodes.Call, module.ImportReference(consoleWriteLine))); }
そして最後に編集したモジュールをかき出します。
static void Main(string[] args) { ... module.Write("WeavedTarget.exe"); }
読み込んだ編集対象のアセンブリは「WeaveTarget.exe」でしたが、書き出したあとは「WeavedTarget.exe」に名前を変えています。
それではWeavedTarget.exeを実行してみましょう。
正しくログが織り込まれていることが確認できます。
続いてWeavedTarget.exeをILSpyで覗いてみましょう。
想定通りのILが書き出されていることが見て取れます。C#コードにリバースした結果も見てみましょう。
完璧に想定通りのコードですね。
これで既存のアセンブリへ、ILを織り込むことができました。
今回は手動で織り込みを実行しましたが、次回はFodyを利用して自動的にコンパイル時に織り込まれるようFodyのアドイン化を解説したいと思います。
という訳で、今回はここまで！ 近いうちに続きでお会いしましょう！
今日、Visual Studio 2015の新しい更新（15.5）が来ましたね。
今回はXamarin関連でも非常に魅力的なアップデートが来ていますので簡単に紹介しておきたいと思います。
動的コード生成が絡むだろうし無理だろうと思ってたんですが、なぜかRealProxyクラスはあってコンパイルはできるので試してみました。
はい、ダメでした。bugzillaにも上がってますね。動的生成コードが多くなるからiOSじゃ無理だよと。
27847 – Linked away exception on CallContext.LogicalGetData("SomeString") on device not simulator
しかしなぜRealProxyクラスがあるんだろう？Xamarin.Macのため？？良く分かりません。まぁいっか。
AOPの手段を検討してたんですが、やっぱりIL弄るしかないですかね。 全部Commandパターンにするという荒業も無い訳ではないですが、それはやりたくないのでIL操作かな。 良く分かってないので辛いなあ。
