トレイト (英: Trait) は、コンピュータープログラミングでの概念であり、専らオブジェクト指向プログラミングで用いられている。トレイトはメソッドの集合体であり、クラスの機能を拡張するために使われる[1][2]。

特徴

トレイトは、(1)自身が定義＋実装しているメソッドを継承先クラスに注入する役割と、(2)自身が定義だけしているメソッドを継承先クラスに叙述してそこで実装させる役割の双方を持っている。定義＝メソッドシグネチャ、実装＝メソッドコードである。トレイトの継承は、インクルードと言われることが好まれるがそうでない言語もある。トレイトのインクルードを扱う作法はミックスイン（mixin）と言われることが多いがそうでない言語もある。なお、ミックスインでもトレイトを扱っていない言語もある。

トレイトは2000年代にSmalltalk方言のSqueakで最初に実装が試されてから、各言語で様々な形態に解釈されて導入されている。トレイトは多重継承されることから、同様の機能であるインターフェースとよく対比されて説明される。インターフェースとの違いは以下のようになる。

  1. インターフェースがメソッドシグネチャのみを持つのに対して、トレイトはメソッド（定義＋実装）とメソッドシグネチャの双方を持ち、またデータメンバを持つこともある。
  2. インターフェースはサブタイピングでクラスに継承させるのに対して、トレイトはサブタイピングでクラスに継承させるか、アドホック多相（英語版）でクラスにインクルードさせるの二通りに分かれる。
  3. インターフェースは記名的型付け（英語版）で識別されるのに対し、トレイトは構造的型付け（英語版）で識別されることが多い。

トレイトは合成（union）と交差（intersection）ができる。これも大きな特徴である。

  1. トレイトの合成は交換法則が成り立つ。即ちS = A + BとT = B + AとしてのSとTは同型トレイトと判定される。
  2. トレイトの合成は平坦化される。即ちX = B + CとしてS = A + Xとし、またT = A + B + Cとすると、SとTは同型トレイトと判定される[3]。

また、専用の書式でメソッドを列挙しての”その場トレイト”を作成できる言語もある。”その場トレイト”は構造型（structural type）とも呼ばれており、合成と交差に利用できる。

トレイトは任意の数だけクラスに継承/インクルードさせることができる。ここでクラスの多重継承と同様に名前衝突や菱形継承問題が発生するが、それをより柔軟に解決できる方法をトレイトは備えている。それは以下のようなものである。

  1. 対称和（symmetric sum）- トレイトは合成できるので、多重継承を”その場合成トレイト”に置換できる。
  2. 非対称和（override / asymmetric sum）- トレイトのメソッドを継承/インクルード先のメソッドでオーバーライドして、メソッド実体を任意に入れ替えることができる。
  3. 別名化（alias）- 各メソッドをリネームした”その場トレイト”を継承対象に置換できる。
  4. 排除（exclusion）- トレイトは交差できるので、必要メソッド群を切り抜いて不要メソッド群を除外した”その場トレイト”を多重継承に置換できる。

冒頭で述べた通り、トレイトはメソッドの集合体なので、合成と交差と構造型を用いての要素メソッドの自由な組み替えによって多重継承問題に対応できる。

導入している言語

トレイトを採用

トレイトの類似品/派生品を採用

Rustの他にもトレイトと称する言語機能を有する静的型言語もあるが、その本質は従来のミクスインのままである（平坦化されない）。ただし平坦なトレイトを模したりミクスインの問題点を回避する拡張を施すなどの工夫により、トレイトに近い使い勝手を実現している場合もある。

脚注

  1. ↑ Nathanael Schärli、Stéphane Ducasse、Oscar Nierstrasz、Andrew P. Black 共著、Traits: Composable Units of Behaviour. Proceedings of the European Conference on Object-Oriented Programming （ECOOP）. Lecture Notes in Computer Science 誌、2743巻、Springer-Verlag、2003年、pp. 248-274
  2. ↑ Stéphane Ducasse、Oscar Nierstrasz、Nathanael Schärli、Roel Wuyts、Andrew P. Black 共著: Traits: A mechanism for fine-grained reuse. ACM Trans. Program. Lang. Syst. 誌、28(2): 331-388 (2006)
  3. ↑ Schärli, Nathanael; Ducasse, Stéphane; Nierstrasz, Oscar; Black, Andrew P. (2003). “Traits: Composable Units of Behaviour”. Proceedings of the European Conference on Object-Oriented Programming (ECOOP).. Lecture Notes in Computer Science 2743: 248–274.
  4. ↑ Nathanael Schärli, Stéphane Ducasse, Oscar Nierstrasz, and Andrew P. Black. Traits: Composable Units of Behavior. Technical Report -2, Institut für Informatik, Universität Bern, Switzerland, November 2002
  5. ↑ Andrew P. Black, Nathanael Schärli, and Stéphane Ducasse. Applying Traits to the Smalltalk Collection Hierarchy. Technical Report -2, Institut für Informatik, Universität Bern, Switzerland, November 2002
  6. ↑ Marr, Stefan. “Request for Comments: Horizontal Reuse for PHP”. The PHP.net wiki. The PHP Group. 31 January 2011閲覧。
  7. ↑ http://marc.info/?l=ruby-cvs&m=130685857122161
  8. ↑ http://www.rubyist.net/~matz/20100617.html
  9. ↑ https://ruby-trunk-changes.hatenablog.com/entry/20111003/ruby_trunk_changes_33379_33380
  10. ↑ “Mixins and Traits in Swift 2.0”. 2022年2月10日閲覧。
  11. ↑ http://www.scala-lang.org/node/126 A Tour of Scala: Traits
  12. ↑ http://www.ibm.com/developerworks/java/library/j-scala04298.html The busy Java developer's guide to Scala: Of traits and behaviors
  13. ↑ http://docs.groovy-lang.org/next/html/documentation/core-traits.html Groovy Language Documentation

関連項目

外部リンク

⌬ Phoenix Mesh CID: 未登録 IPFS未登録 📡 0ピア N=1 CRITICAL PQS D34