C ++ 가상 함수를 안전하게 재정의

가상 함수가있는 기본 클래스가 있고 파생 클래스에서 해당 함수를 재정의하고 싶습니다. 파생 클래스에서 선언 한 함수가 실제로 기본 클래스의 함수를 재정의하는지 컴파일러에서 확인하는 방법이 있습니까? 이전 함수를 재정의하는 대신 실수로 새 함수를 선언하지 않았는지 확인하는 매크로 또는 무언가를 추가하고 싶습니다.

이 예를 보자 :

class parent {
public:
  virtual void handle_event(int something) const {
    // boring default code
  }
};

class child : public parent {
public:
  virtual void handle_event(int something) {
    // new exciting code
  }
};

int main() {
  parent *p = new child();
  p->handle_event(1);
}

자식의 메서드가 선언을 놓치고 새 메서드를 선언 하기 때문에 parent::handle_event()대신 여기 가 호출됩니다 . 이것은 함수 이름의 오타이거나 매개 변수 유형의 사소한 차이 일 수도 있습니다. 기본 클래스의 인터페이스가 변경되고 일부 파생 클래스가 변경 사항을 반영하도록 업데이트되지 않은 경우에도 쉽게 발생할 수 있습니다.child::handle_event()const

이 문제를 피할 수있는 방법이 있습니까? 어떻게 든 컴파일러 나 다른 도구에 이것을 확인하도록 지시 할 수 있습니까? 유용한 컴파일러 플래그 (g ++ 권장)가 있습니까? 이러한 문제를 어떻게 피할 수 있습니까?

g ++ 4.7부터는 새로운 C ++ 11 override키워드를 이해합니다 .

class child : public parent {
    public:
      // force handle_event to override a existing function in parent
      // error out if the function with the correct signature does not exist
      void handle_event(int something) override;
};

C #의 override키워드 와 같은 것은 C ++의 일부가 아닙니다.

gcc에서 -Woverloaded-virtual이름은 같지만 서명이 충분히 다른 기본 클래스 가상 함수를 숨기지 않도록 경고합니다. 그러나 함수 이름 자체의 철자를 잘못 입력하여 함수를 재정의하는 데 실패하지 않도록 보호하지는 않습니다.

내가 아는 한, 추상적으로 만들 수 없나요?

class parent {
public:
  virtual void handle_event(int something) const = 0 {
    // boring default code
  }
};

나는 www.parashift.com에서 실제로 추상적 인 방법을 구현할 수 있다고 읽었다 고 생각했습니다. 개인적으로 이해가되는 것은 하위 클래스가이를 구현하도록 강제하는 것뿐입니다. 아무도 구현 자체를 허용하지 않는다고 말한 사람은 없습니다.

MSVC에서는 CLR override용으로 컴파일하지 않더라도 CLR 키워드를 사용할 수 있습니다 .

g ++에서는 모든 경우에이를 강제하는 직접적인 방법이 없습니다. 다른 사람들은를 사용하여 서명 차이를 포착하는 방법에 대해 좋은 답변을 제공했습니다 -Woverloaded-virtual. 향후 버전에서는 누군가 __attribute__ ((override))C ++ 0x 구문을 사용하여 유사 하거나 동등한 구문을 추가 할 수 있습니다 .

MSVC ++에서는 키워드 를 사용할 수 있습니다.override

class child : public parent {
public:
  virtual void handle_event(int something) <b>override</b> {
    // new exciting code
  }
};

override MSVC ++의 네이티브 및 CLR 코드 모두에서 작동합니다.

함수를 추상화하여 파생 클래스가 재정의하는 것 외에 다른 선택이 없도록합니다.

@Ray 코드가 유효하지 않습니다.

class parent {
public:
  virtual void handle_event(int something) const = 0 {
    // boring default code
  }
};

추상 함수는 본문을 인라인으로 정의 할 수 없습니다. 수정해야합니다.

class parent {
public:
  virtual void handle_event(int something) const = 0;
};

void parent::handle_event( int something ) { /* do w/e you want here. */ }

나는 당신의 논리에 약간의 변화를 제안 할 것입니다. 수행해야 할 작업에 따라 작동하거나 작동하지 않을 수 있습니다.

handle_event ()는 여전히 "지루한 기본 코드"를 수행 할 수 있지만 가상 대신 "새로운 흥미로운 코드"를 수행하려는 지점에서 기본 클래스가 추상 메서드 (예 : 재정의해야 함) 메서드를 호출하도록합니다. 하위 클래스에서 제공합니다.

편집 : 그리고 나중에 일부 하위 클래스가 "새로운 흥미로운 코드"를 제공 할 필요 가 없다고 결정 하면 추상을 가상으로 변경하고 "삽입 된"기능의 빈 기본 클래스 구현을 제공 할 수 있습니다.

컴파일러는 기본 클래스 함수가 ​​숨겨지면 생성 할 수 있다는 경고를 표시 할 수 있습니다. 그렇다면 활성화하십시오. 그러면 매개 변수 목록에서 const 충돌과 차이점이 발견됩니다. 불행히도 이것은 철자 오류를 발견하지 못할 것입니다.

예를 들어, 이것은 Microsoft Visual C ++의 경고 C4263입니다.

C ++ 11 override키워드를 파생 클래스 내에서 함수 선언과 함께 사용하면 컴파일러가 선언 된 함수가 실제로 일부 기본 클래스 함수를 재정의하는지 확인하도록합니다. 그렇지 않으면 컴파일러에서 오류가 발생합니다.

따라서 override지정자를 사용 하여 동적 다형성 (함수 재정의)을 보장 할 수 있습니다 .

class derived: public base{
public:
  virtual void func_name(int var_name) override {
    // statement
  }
};