イディオム・メタプログラミング

Question

WebにはGroovyの無数のメタプログラミング機能を紹介するリソースが豊富にありますが、実際にこのような機能を実際に使用するための包括的な「ベスト・プラクティス」ガイドの近くには何も見つかりません。

別に、過剰な使用方法の典型的な買主の危険負担警告から、私が読んだ助言の最も具体的な作品は本当に古いイディオムを補強するもうひとつの方法である（可能な場合メタクラスを増大させるのに有利なカテゴリを使用することを提案しています「限定された範囲」）。

私の些細なプロジェクトには常識は十分でしたが、私はますます野心的な仕事に取り組む際に、貧弱な/矛盾した先例からの構築にますます関心を寄せています。

Groovyのアドバイス、リソース、具体例（または言語に依存しない - Rubyについての私の短い経験から、同様にしたいと思っていた）メタプログラミングのベストプラクティスが大いにありがたいです。 3*new Rational(num:1, den:2)は明らかにMissingMethodExceptionを生み出す試みて、それでも

@Immutable class Rational{ 
    int num, den 

    Rational multiply(Integer v){ 
     new Rational(num:num*v, den:den) 
    } 
} 
assert new Rational(num:1, den:2) * 3 == new Rational(num:3, den:2) 

：

トピックを明確にするために、私は（非常に）を提供しますが、いくつかの異なる方法でメタプログラミングを採用する可能性が合理的な数のプロジェクトを簡素化。

static { 
    Integer.metaClass.multiply = {Rational fraction -> fraction*delegate} 
} 
... 
assert 3*new Rational(num:1, den:2) == new Rational(num:3, den:2) 

しかし、これは実際には、結果として、グローバル、むしろ剛性である：コミュニケーションプロパティを追加の

最も簡単、かつおそらく最も脆弱な手段は、Rationalクラスの静的初期化子ブロックとなるであろう。

より汎用性、そしておそらくより組織的なアプローチは、オプションのブートストラップのいくつかの種類を次のようになります。今、私たちは、機能（複数可）を有効にするオプションを持っている

class BootStrap{ 
    static void initialize(){ 
     Integer.metaClass.multiply = {Rational fraction -> fraction*delegate} 
    } 
} 

我々は持っていることを望みます。しかし、これにより、すべての依存関係の問題が発生する可能性があります。

そして正確に便利...安全明示的ではなく、カテゴリがあります：一般的に

@Category(Integer) class RationalCategory{ 
    Rational multiply(Rational frac){ 
     frac*this 
    } 
} 
use(RationalCategory){ 
    assert 3*new Rational(num:1, den:2) == new Rational(num:3, den:2) 
} 

が、私は私が新しい動作を追加しているとき、メタクラスを変更するが、私はかもしれたときにカテゴリを使用見つけますが変更されました。既存の動作。たとえば、除算演算子をオーバーライドして分数を生成すると、カテゴリ内に含まれることが最適です。したがって、通常の使用法を変更するのではなく、単にIntegerクラスに振る舞いを追加するだけなので、ソリューション1または2は「受け入れ可能」になります。

誰もその感想に同意していますか？または、おそらくいくつかの優れた方法論を知っていますか？ （ここではミックスインは省略しています。）

Answer 1

Groovyのアクションでメタプログラミングに関する章があります。第1版は非常に古くなっているため、特にメタプログラミングの対象であるため、第2版を入手してください（印刷版はまだ入手できませんが、電子形式で早期のアクセス権を得ることができます）。