연산자

연산자 오버로드는 std::ops에 있는 다양한 트레잇들을 통해 구현됩니다:

XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX

Speaker Notes

 This slide should take about 10 minutes.

논의점:

  • You could implement Add for &Point. In which situations is that useful?
    • 답: Add:add는 self를 소모합니다. 만약 타입 T가 Copy트레잇을 구현하고 있지 않다면 &T에 대해서도 연산자 오버로딩을 고려해야 합니다. 이렇게 하면 호출부에서 불필요한 복사를 피할 수 있습니다.
  • 왜 Output이 연관된 타입인가요? 타입 파라메터로 만들 수 있을까요?
    • Short answer: Function type parameters are controlled by the caller, but associated types (like Output) are controlled by the implementer of a trait.
  • Add를 이용해서 서로 다른 두 개의 타입을 더할 수도 있습니다. 예를 들어 impl Add<(i32, i32)> for Point는 튜플을 Point에 더할 수 있게 해 줍니다.