재정의 규칙- 240305 추가.

: 6번은 c++11에서 참조한정사가 추가됨에 따라 재정의 규칙에도 추가되었다고 함.

• 1. 기반 클래스 함수는 반드시 virtual 선언되어 있어야 함.
• 2. 기반함수와 파생함수의 이름이 반드시 동일해야 함.
     - 소멸자는 제외
• 3. 기반함수와 파생함수의 매개변수 형식들이 반드시 동일해야 함.
• 4. 기반함수와 파생함수의 const 성이 반드시 동일해야 함.
• 5. 기반함수와 파생함수의 반환형식과 예외 명세가 반드시 호환되어야 함.
• 6. 참조 한정사들시 반드시 동일해야 함.

컴파일러는 위의 규칙에 관해서 알지 못함.

• 예시코드
  : 지금의 경우는 Base 의 함수를 재정의하는 것이 아니라 숨기고 있는 거임.
  -> 컴파일러는 알지 못한다....
  

• 위의 코드에서 override 키워드를 작성해보면, 컴파일러가 어??? 문제가 있는데
  라는 것을 출력함.
  

override 키워드

: 가상 함수 재정의 시 override를 붙여서 안전한 코드를 작성할 수 있게 함.
-> 방어 코드
- 이펙티브 모던 c++ 항목 12

작성해야 하는 이유
: 기반 클래스에 있는 가상 함수 시그니처를 재정의해야 하는데,
override를 통해서 시그니처가 맞는지를 확인할 수 있다.

problem

• 아래의 Derived 클래스는 Base를 기반으로 했을때, virtual한 의도와는 다르게, 동일한 함수의 이름에 다른 인자시그니처들을 사용함..
  

  • 결과
    : 컴파일 하면 에러가 없음...
  • 이유
    : 컴파일러 입장에서는 Derived에서 새로운 가상함수를 만들었나보네? 이렇게 판단하기 때문임.

• Derived 클래스에서 f1,f2,f3,f4 함수에 override를 작성해보아라..
  - override 키워드를 통해 재정의 함수 시그니처 검사를 함.

---

final

정의

: 가상함수 재정의를 못하게 하거나, 파생클래스를 만들 수 없게 함.

사용법.

• 가상함수 뒤에 붙이면
  : 파생이의 가상함수에서는 재정의 불가함.

• 클래스 뒤에 붙이면
  : 파생 클래스를 만들 수 없음.

언제 사용할까?

: 파생 클래스 쪽에서 이제 더는 나말고 재정의 못하게 할 때

problem

• 가상함수 func을 가지고 있는 a클래스를 만들어라.

  • 1번) b는 a를 물려 받고, func 뒤에 final을 작성하라.
    • c는 b를 물려 받고 , func를 재정의하라.
  • 2번) final 을 지우고, 이제는 b 클래스 뒤에 final을 작성하라.

• 실행결과
  : main에서 객체 사용하지도 않았는데, final로 인해 컴파일 에러 발생하는 것을
  확인할 수 있다.

Quiz

• 문제!!

#include <iostream>
using namespace std;

template<typename T> class Base
{
public:
	virtual void foo(const T a)
	{
		cout << "Base foo" << endl;
	}
};
class Derived : public Base<int*>
{
public:
	// 가상 함수 foo를 재정의해서
	// "Derived foo" 라고 출력해 보세요.
	// override 사용하지 말고.
};

int main()
{
	Base<int*>* p = new Derived;
	p->foo(0);	// "Derived foo"
}

• 결과
  : const 안 붙였더니 결과 나옴..
  

  • 내 생각
    : 아무래도 const 와 template이 결합되면서 const가 제거 되지 않았을까?
    생각이 듦.
    https://www.devoops.kr/80