演算子
演算子のオーバーロードは、std::ops
内のトレイトを介して実装されます。
Speaker Notes
This slide should take about 5 minutes.
議論のポイント:
&Point
にAdd
を実装できます。これはどのような状況で役に立ちますか?- 回答:
Add:add
はself
を使用します。演算子をオーバーロードする型T
がCopy
でない場合は、&T
の演算子もオーバーロードすることを検討する必要があります。これにより、呼び出し箇所での不要なクローン作成を回避できます。
- 回答:
Output
が関連型であるのはなぜですか?これをメソッドの型パラメータにできるでしょうか?- 短い回答: 関数型のパラメータは呼び出し元によって制御されますが、関連型(
Output
など)はトレイトの実装者によって制御されます。
- 短い回答: 関数型のパラメータは呼び出し元によって制御されますが、関連型(
- 2 種類の型に対して
Add
を実装できます。たとえば、impl Add<(i32, i32)> for Point
はPoint
にタプルを追加します。
The Not
trait (!
operator) is notable because it does not “boolify” like the same operator in C-family languages; instead, for integer types it negates each bit of the number, which arithmetically is equivalent to subtracting it from -1: !5 == -6
.