[RUST vs C++] 17. Standard Library Traits

https://google.github.io/comprehensive-rust/std-traits.html

Standard Library Traits - Comprehensive Rust 🦀

Rust는 일반적인 여러 계산에 대해 Trait으로 구현한다.

더하기를 하고 싶으면, add Trait을 구현하면 더하기 연산이 됨.

+=를 하고 싶으면 AddAssign Trait을 구현하면 += 연산이 됨.

 

17.1 Comparisons

---

그럼 이런 애들은 어떤 애들이던 간에 Type이 한결같다. 두가지만 빼고.

 

- Eq
: PartialEq

- Ord
: PartialOrd

 

이렇게 두가지로 나뉜 이유를 설명하려면 이산수학을 해야 한다.

거기서 Relation이 있다. 그럼 이제 Equivalence라는 이야기가 나온다.

 

거기서 Equivalence Relation(동치관계)의 조건은 3가지.

- Reflexive : A = A
- Symmetric : A = B 이면 B = A 이다.
- Transitive : A = B 이고, B = C 이면, A = C 이다.

 

이때, 요 3가지를 전부 만족하면 우리는 Full Equivalence Relation이라 하면,

아래꺼 두개만 만족하면 Partial Equivalence Relation이라 한다.

 

- Eq 이건 Full Equivalence Relation.

: PartialEq 이건 Partial Equivalence Relation.

---

이번엔 Ord. f32, f64가 대표적인 예시이다.

A = A에서 NaN.

 

부동소수점엔 NaN라는게 있다.

그런데, NaN = NaN이라 정의할 수 없음. 숫자가 아닌 것들이 같다고 나타낼 방법이 없음.

그래서, 대부분의 타입은 Eq와 Ord가 구현되어 있으나, f32, f64는 PartialEq와 PartialOrd만 구현되어 있음.

 

여기서 이렇게 나뉨에 따라 생기는 나비효과?

- Sorting을 한다 치자. 둘이 같은지 비교해야 하는데, f32와 f64는 A = A비교가 안되므로

f32, f64는 Sorting이 불가하다.

 

Eq의 return type은 bool, Ord의 return rype은 Ordering(Less, Eq, Greater) 타입이다.

 

PartialEq의 return type은 Option<bool>

PartialOrd의 return type은 Option<Ordering>

그럼 이런 Partial들은 어떻게 sort할까?

sort_by{| | _ } 이런 식으로, 각각에 대해 나뉘어야 함. "직접" 구현 필요.

 

 

17.2 Operations

연산자 오버로딩도 다 되어 있지만, 보통은 derive 쓰는게 편하다.

 

17.3 From and Into는 이미 해던 얘기.

 

17.4 Casting

Rust는 암시적 형변환 존재X. 오직 명시적 형변환만 제공.

 

17.5 Read and Write

- 어떤 값을 읽거나 쓰고 싶다면, Read Trait과 Write Trait을 구현하면 된다.

- Read Trait이 정의되어 있다면, 읽는 동작이 가능하다는 뜻.(Write도 마찬가지)

 

17.6 Default, struct update syntax

Default는 어떤 구조체의 기본 구조를 정의하고자 하는 Trait.

 

17.7 Closures

---

Closure는 C++에서 Lambda Expression이다.

- 익명함수 라고도 불리는 람다 표현식. 왜 쓰냐? 그때만 쓸라고 쓴다.

 

람다함수에서 가장 큰 배울 점은 Capture.

 

*Capture

[&, =a]
[=, &a]
[&]
[=]
[&a]
[=a]


🎁 여섯개의 차이가 뭘까?

 

일단 종류는 =, &만 있다.

=는 copy capture. &은 reference capture.

 

암튼 C++의 람다 표현식 같은게, Rust에선 Closure.

: 이름을 명명하지 않고, type이 있는 것들.

 

여기서 재밌는게, 람다 표현식도 엄밀히 Type이 있고, Closure도 Type이 있을 것이다.

Fn / FnOnce / FnMut

=> Closure, 일회용 Closure, 값 변경 가능한 Closure

 

 

일단 Closure는 할게 워낙 많아서 나중에 따로 설명..