eq: 等値比較とうちひかく capability を標準化ひょうじゅんかする trait 群ぐん

目的もくてき:

• 値あたいどうしが等ひとしいかを判定はんていする Eq trait を stdlib 側がわに置おきます。
• core/math にある具体的ぐたいてきな eq overload を、trait 経由けいゆで共通的きょうつうてきに使つかえるようにします。

注意ちゅうい:

• ここでいう Eq は「等値とうちかどうか」を返かえす capability です。
• 近似比較きんじひかくや順序比較じゅんじょひかくは別べつの trait / helper で扱あつかいます。

計算量けいさんりょう:

• 各 impl に依存いぞんします。ここで提供ていきょうする基本型きほんがた impl は O(1) です。

Eq: 等値比較とうちひかく capability

目的もくてき:

• Eq::eq x y の形かたちで、2つの値あたいが等ひとしいかを判定はんていできるようにします。

注意ちゅうい:

• 型かたごとの意味論いみろんに応おうじて impl する必要ひつようがあります。
• 利用者りようしゃは Stringify と違ちがい、「表示ひょうじが同おなじ」ことと「等値とうち」を混同こんどうしないでください。

eq_by_trait: trait 経由けいゆで等値比較とうちひかくする

目的もくてき:

• Eq trait を generic bound 経由けいゆで利用りようする入口いりぐちを提供ていきょうします。

#entry main
#target core
#import "core/test" as *
#import "core/traits/eq" as *
fn main <()*>i32> ():
    assert eq_by_trait 10 10;
    assert not eq_by_trait 10 11;
    0

実装じっそう:

• Eq::eq をそのまま呼よび出だします。

計算量けいさんりょう:

• impl に依存いぞんします。

ne_by_trait: trait 経由けいゆの非等値ひとうち比較

目的もくてき:

• Eq だけを用もちいて「等ひとしくない」ことを判定はんていします。

実装じっそう:

• Eq::eq の結果けっかを not で反転はんてんします。

計算量けいさんりょう:

• impl に依存いぞんします。