이것은 불순한 가상 함수를 구현하는 합법적 인 방법입니까?

Question

"불순한 가상 함수"는 진단 목적으로 (http://www.gotw.ca/gotw/031.htm에 설명 된대로) 구현 된 순수 가상 함수를 의미합니다.

을 구현하는 산뜻한 방법은하는 것입니다 :

class Foo 
{ 
public: 
    ... 
    virtual void Bar() = 0; 
}; 

void Foo::Bar() { assert(false); } 

을하지만이 클래스가 순수 가상 메소드를 가지고 특히 들어 가지 지루한입니다. 또한 누군가가 실수로 해당 구현을 추가하지 않고 새로운 순수 가상 함수를 추가하지 않도록하는 것은 어렵습니다.

class Foo 
{ 
public: 
    ... 
    virtual void Bar() = 0 
    { 
     assert(false); 
    } 
}; 

하지만 C++ 표준은 명시 적으로합니다 (ISO C++ 2003 표준 섹션 10.4/2)을 허용하지 :

이상적으로 내가 뭘하려는 것입니다.

대신 다음과 같은 해킹을 생각해 보았습니다. 해당 Foo.cpp 소스 파일에서 다음

#ifndef ABSTRACT_METHOD 
#define ABSTRACT_METHOD = 0 
#endif 

class Foo 
{ 
public: 
    ... 
    virtual void Bar() ABSTRACT_METHOD; 
}; 

과 : 그것은 하나의 컴파일 된 구현을 얻을 수 있도록

#define ABSTRACT_METHOD { assert(false); } 

#include "Foo.h" 

... 

Foo.h 헤더합니다.

그렇게 합법적일까요?

Answer 1

아니요, 유효하지 않습니다. 하나의 정의 규칙은 클래스가 여러 번역 단위의 프로그램에 여러 개의 정의를 가질 수 있지만 이러한 정의는 모두 동일한 토큰 시퀀스 (3.2/5)로 구성되어야한다고 말합니다. ABSTRACT_METHOD은 매크로 교체 이전의 사전 처리 토큰이지만 충분하지 않습니다.

따라서 .cpp 파일은 헤더가 포함 된 다른 .cpp와 같은 프로그램에서 유효하게 사용할 수 없습니다.

Answer 2

유효한지 여부는 알 수 없습니다. 그러나 클래스 사용자가 소스 파일에서 파생 클래스를 선언하면 컴파일러에서 이 표시되지 않으므로 Bar()을 해당 파생 클래스에 구현해야한다고 강요하지 않습니다. 나는 이것이 혼자서 이렇게하지 않을 이유라고 생각한다.