Skip to content

Latest commit

 

History

History
127 lines (114 loc) · 4.15 KB

ITEM12.md

File metadata and controls

127 lines (114 loc) · 4.15 KB
Raw

동영상 보기

ITEM12: 함수 overriding을 할 때 override 키워드를 사용해야 함!

우리는 이미 C++에서 overriding을 할 때 virtual 키워드를 사용해야 한다는 사실을 알고 있다.

1. 함수가 overriding 되려면 다음과 같은 조건을 만족해야 한다.

  1. 부모 클래스의 함수가 virtual일 것.
  2. 함수 이름이 반드시 같아야 할 것. (소멸자 제외)
  3. 함수 인자의 타입이 반드시 같아야 할 것.
  4. 함수의 상수성이 일치해야 할 것.
  5. 리턴타입(return type)과 예외지정(exception specification)이 호환가능해야 할 것.
  6. 멤버함수들의 참조한정사(reference qualifier)가 동일해야 한다. (C++ 11부터 적용)

위 조건들의 핵심은 부모의 함수와 자식의 함수가 완벽하게 같아야 한다는 것이다.

조건을 만족하지 않으면 함수가 overriding 되지 않는다! 그럼에도 불구하고 아무 문제도 발생하지 않는 것이 더 문제!

class Base {
 public:
  virtual void mf1() const;
  virtual void mf2(int x);
  virtual void mf3() &;
  void mf4() const;
};

class Derived : public Base {
 public:
  virtual void mf1();                // 4. 상수성이 다름
  virtual void mf2(unsigned int x);  // 3. 인자 타입 다름
  virtual void mf3() &&;             // 6. 참조한정사 다름
  void mf4() const;                  // 1. virtual 없음
};

2. 그러므로 우리는 override 키워드를 써야한다!

class Base {
 public:
  virtual void mf1() const;
  virtual void mf2(int x);
  virtual void mf3() &;
  void mf4() const;
};

class Derived : public Base {
 public:
  void mf1() override;                // 4. 상수성이 다름, 그래서 에러
  void mf2(unsigned int x) override;  // 3. 인자 타입 다름, 그래서 에러
  void mf3() && override;             // 6. 참조한정사 다름, 그래서 에러
  void mf4() const override;          // 1. virtual 없음, 그래서 에러
};

만약 override가 없었다면, 부모의 함수의 모양이 바뀌었더라도 문제가 안됨!

class Base {
 public:
  virtual void yaho();
};

class Derived : public Base {
 public:
  virtual void yaho();
};
class Base {
 public:
  virtual void yaho() const;
};

class Derived : public Base {
 public:
  virtual void yaho();  // overriding이 풀려버림. 그러나 우리는 이 에러를 알기 힘들다.
};

3. 참조한정사(reference qualifier)란 무엇인가?

lvalue, rvalue를 구분해서 함수를 오버로딩(overloading) 할 수 있다.

다음과 같은 Widget 클래스가 있다고 가정하자.

class Widget {
 public:
  std::vector<double>& data() { return values_; }
  
 private:
  std::vector<double> values_;
};

w.data()를 호출하면 std::vector<double>에 대한 복사생성자를 호출하게 될 것이다.

Widget w;
auto vals1 = w.data();  // std::vector<double>&을 return하여 복사 생성자를 호출하게 됨. 복사 1회 발생.

다음과 같은 factory 함수를 정의한다.

Widget makeWidget() {
  return Widget();
}

이번에는 makeWidget()을 호출하여 객체를 생성한 후 복사한다.

auto vals2 = makeWidget().data();

뭘 하고 싶은걸까요?

auto vals2 = makeWidget()  // 이거슨 rvalue, 즉, 임시객체, 쓰고 버려짐.
             .data();

쓰고 버려질 놈인데 굳이 복사가 필요한가? 참조 한정사를 사용해보자!

class Widget {
 public:
  std::vector<double>& data() & { return values_; }              // 얘가 1번
  std::vector<double>& data() && { return std::move(values_); }  // 얘가 2번
  
 private:
  std::vector<double> values_;
};

그리고 다음의 코드를 살펴보면..

Widget w;
auto vals1 = w.data();             // 1번 함수 호출
auto vals2 = makeWidget().data();  // 2번 함수 호출; 복사생성자 호출 안됨.