Trait (计算机つくえ科学かがく)

Trait在ざい面めん向こう对象程ほど序じょ设计中なか，是ぜ一个不可实例化（uninstantiable）的てき方法ほうほう与あずか类型的てき集合しゅうごう，为一个对象或算法提供了策略（policy）或ある实现自身じしん接せっ口こう的てき细节功こう能のう。trait为类提供ていきょう了りょう一いち套方法ほう，同どう时也意味いみ着ぎ类必须实现这么一套方法ほう。

在ざい面めん向こう对象程ほど序じょ设计中なか，protocol、interface、trait、mixin具有ぐゆう类似的てき涵义。protocol/interface定てい义了函数かんすう原型げんけい；trait还定义了方法ほうほう的てき完全かんぜん实现；mixin除じょ了りょう方法ほうほう的てき完かん整せい实现，还可以通过成员变量りょう保存ほぞん了りょう状じょう态信息いき，而trait通常つうじょう不ふ会かい如此。理り论上，traits支持しじ一いち批組合くみあい（composition）操作そうさ：

合ごう并不相しょう交的traits（symmetric sum）产生一いち个新的てきtrait
覆くつがえ盖（asymmetric sum）:对一个已有ゆう的てきtrait增加ぞうか方法ほうほう，可か以覆盖已有ゆう的てき方法ほうほう
别名（alias）: 对已有ゆう方法ほうほう增加ぞうか别名，从而产生一いち个新的てきtrait
排除はいじょ（exclusion）：从已有ゆうtrait中ちゅう删除方法ほうほう从而产生一いち个新的てきtrait
嵌はま套的trait自じ动平面めん化か。例れい如给定trait S = A + X, 其中 X = B + C, 那な么trait T = A + B + C 等とう价于 S

C++编程中ちゅう的てきtraits[编辑]

C++语言标准没ぼつ有定ありさだ义"traits"，但ただし定てい义了"traits class"：

17.3.25 [defns.traits] traits class
一いち个类，封ふう装そう了りょう一いち套对类模板ばん和わ函数かんすう模も板ばん实例化か时操纵对象ぞう类型是ぜ必须的てき类型和わ函数かんすう [ 注ちゅう释: 定てい义在Clauses 21, 22 和わ 27的てきtraits class是ぜ字じ符ふtraits, 提供ていきょう了りょうstring和わiostream类所需的字じ符ふ处理支持しじ。]

C++标准模も板ばん库中大量たいりょう使用しよう了りょうtraits。将はた因いん为模板いた形がた参さん（包括ほうかつ类型形がた参さん、非ひ类型形がた参まいり）不同ふどう而导致的不同ふどう抽取到いた新しん的てき模も板ばん（即そくtraits）中ちゅう去さ；然しか后きさき通どおり过traits的てき模も板ばん特とく化か来き实现针对具体ぐたい情じょう况的优化实现。Traits作さく为模板ばん类，既すんで声明せいめい了りょう统一的てき接せっ口こう（包括ほうかつ类型、枚まい举、函数かんすう方法ほうほう等とう），又また可か以通过模板ばん特とく化か，针对不ふ同数どうすう据すえ类型或ある其他模も板ばん参さん数すう，为类、函数かんすう或ある者もの通用つうよう算法さんぽう在ざい因いん为使用しよう的てき数すう据すえ类型不同ふどう而导致处理り逻辑不同ふどう时，提供ていきょう了りょう区分くぶん不同ふどう类型的てき具体ぐたい细节，从而把わ这部分ぶぶん用ようTraits实现的てき功こう能のう与あずか其它共同きょうどう的てき功こう能のう区分くぶん开来。例れい如，容器ようき的てき元素げんそ的てき不同ふどう数すう据すえ类型，或ある者ものiostream是ぜ使用しようchar还是wchar_t。一いち个traits包括ほうかつ了りょうenum、typedef、模も板ばん偏へん特とく化か（template partial specialization）。其中，enum定てい义了各かく种类的てき标识的てき统一表示ひょうじ；typedef定てい义了各かく个类的てき各自かくじ不同ふどう的てき类型定てい义，这对于使用しよう模も板元はんもと编程（template meta-programming）的てき灵活性せい非常ひじょう重要じゅうよう；模も板ばん偏へん特とく化か用よう于实现各个类的てき不同ふどう功こう能のう。

示しめせ例れい[编辑]

假かり设有一个容器模板类，其包含ほうがん元素げんそ的てき值类型がた可か以是内ない生せい（built-in）的てき数すう据すえ类型，也可以是自じ定てい义的类。因よし此，有ゆう的てき值类型がた支持しじmove操作そうさ，有ゆう的てき值类型がた不ふ支持しじmove操作そうさ。该容器き模も板ばん类具有ぐゆう统一的てき界面かいめん，但ただし对不同ふどう的てき值类型がた实现了りょう不同ふどう的てき语义功こう能のう。为此：

#include <iostream>

struct no_move{};//两个marker类型
struct has_move{};

struct myValueType{
  public: void move(){std::cout<<"move a myValueType obj."<<std::endl;}
};

template <typename T> struct traits{
  typedef no_move move_method; //对于traits模も板ばん类，默だま认为无move方法ほうほう
  void move(T* p){}//默だま认为无move方法ほうほう
};

template <> struct traits<myValueType>{
  typedef has_move move_method;//对于myValueType，traits模も板ばん偏へん特とく化か，定てい义了有ゆうmove方法ほうほう
  void move(myValueType* p){p->move();} //模も板ばん特とく化か，有ゆうmove方法ほうほう
};

template <typename T> struct Container{
  void move(T* p){traits<T>().move(p);};
};

int main()
{
  int i=101;
  int *p1=&i;
  myValueType v1;
  myValueType *pv=&v1;
  Container<int> c1;
  Container<myValueType> c2;
  c1.move(p1);
  c2.move(pv);
}

C#的てき支持しじ[编辑]

从C# 8.0开始，支持しじ“缺かけ省しょう接せっ口こう方法ほうほう”（ default interface methods）。

using System;

namespace CSharp8NewFeatures
{
    interface ILogger
    {
        // Traditional interface methods
        void Log(string message);
        void LogError(Exception exception);

        // Default interface method
        void LogWarning(string message)
        {
            Console.WriteLine(message);
        }        
    }

    class Logger : ILogger
    {
        public void Log(string message)
        {
            Console.WriteLine(message);
        }

        public void LogError(Exception exception)
        {
            Console.WriteLine(exception.ToString());
        }
    }

    class Program
    {
        static void Main(string[] args)
        {
            ILogger logger = new Logger();

            logger.LogWarning("Some warning message");
        }
    }
}

Haskell[编辑]

Haskell中ちゅう，traits称しょう作さく类型类（Type classes）.

Java[编辑]

从Java 8开始，支持しじ缺かけ省しょう方法ほうほう（default method）

JavaScript[编辑]

可か以通过functions与あずかdelegations实现，或ある者もの通どおり过支持しじtraits的てき库。

Python[编辑]

通つう过第三さん方ぽう库py3traits，或ある者もの高だか阶mixin类。