ミックスインとトレイト

MixinsとTraitsの違いは何ですか？

Wikipediaによると、Rubyモジュールは一種の特性に似ています。どうして？

1. ミックスインには状態が含まれる場合がありますが、（伝統的な）特性には含まれません。
2. ミックスインは「暗黙の競合解決」を使用し、特性は「明示的な競合解決」を使用します
3. ミックスインは線形化に依存し、特性は平坦化されます。

特性についての講義

ad 1. ミックスインでは、インスタンス変数を定義できます。特性はこれを許可しません。状態は、構成クラス（=特性を使用するクラス）によって提供される必要があります。

ad 2. 名前が競合している可能性があります。2つのミックスイン（MAおよびMB）または特性（TAおよびTB）は、同じ定義でメソッドを定義しfoo():voidます。

Mixin MA {
    foo():void {
        print 'hello'
    }
}

Mixin MB {
    foo():void {
        print 'bye'
    }
}

Trait TA {
    foo():void {
        print 'hello'
    }
}

Trait TB {
    foo():void {
        print 'bye'
    }
}

ミックスインでは、クラスを作成する際の競合C mixins MA, MB が暗黙的に解決されます。

Class C mixins MA, MB {
    bar():void {
        foo();
    }
}

これはfoo():voidから呼び出しますMA

一方、トレイトを使用している間は、クラスを作成することで競合を解決する必要があります。

Class C mixins TA, TB {
    bar():void {
        foo();
    }
}

このコードは競合を引き起こします（の2つの定義foo():void）。

ad 3. メソッドのセマンティクスは、それが特性で定義されているか、特性を使用するクラスで定義されているかに依存しません。

つまり、クラスが特性で構成されているか、特性コードがクラスに「コピーして貼り付けられている」かは関係ありません。

これらのページでは、Dプログラミング言語の違いについて説明します。

http://dlang.org/mixin.html

http://dlang.org/traits.html

このコンテキストのミックスインは、オンザフライで生成されたコードであり、コンパイル時にコードのその時点で挿入されます。シンプルなDSLには非常に便利です。

特性は、（外部ソースから生成されたコードではなく）コンパイル時の外部値です。違いは微妙です。Mixinsはロジックを追加し、Traitsはコンパイル時の型情報などのデータを追加します。

Rubyについてはあまり知りませんが、これがある程度役立つことを願っています。