[Effective C++] 상속된 이름을 숨기는 일은 피하자

항목 33 : 상속된 이름을 숨기는 일은 피하자

 

int x                // 전역 변수
 
void someFunc()
{
    double x;        // 지역 변수
 
    std::cin>>x;    // 입력을 받아, 지역 변수 x에 새 값을 읽어 넣습니다.    
}

 

-------------------------------------------------------------------------------------

|  전역 유효 범위                                                                   |

|        X                                                                                         |

|                                                 ___________________________|

|                                                 |    someFunc의 유효범위  |

|                                                 |                                                 |

|                                                 |                                                 |

-------------------------------------------------------------------------------------

 

class Base {
private :
    int x;
 
public :
    virtual void mf1() = 0;
    virtual void mf1(int);
    virtual void mf2();
 
    void mf3();
    void mf3(double);
    ...
};
 
class Derived:public Base {
public :
    virtual void mf1();
    void mf3();
    void mf4();
    ...
};

 

기본 클래스에 있는 함수들 중에 mf1 및 mf3이라는 이름이 붙은 것은 모두 파생 클래스에 들어 있는 mf1 및 mf3에 의해 가려지고 맙니다. 이름 탐색의 시점에서 보면, Base::mf1과 Base::mf3은 Derived가 상속한 것이 아니게 된다는 것입니다.

 

Derived d;
int x;
...
d.mf1;                // Derived::mf1을 호출합니다.
d.mf1(X);            // 에러입니다. Derived::mf1이 Base::mf1을 가립니다.
 
d.mf2();            // Base::mf2를 호출합니다.
 
d.mf3();            // Derived::mf3을 호출합니다.
d.mf3(x);            // 에러입니다. Derived::mf3이 Base::mf3을 가립니다.

 

class Base {
private :
    int x;
 
public :
    virtual void mf1() = 0;
    virtual void mf1(int);
    virtual void mf2();
 
    void mf3();
    void mf3(double);
    ...
};
 
class Derived:public Base {
public :
    using Base::mf1                // Base에 있는 것들 중 mf1과 mf3을 아름으로 가진 것들을    
    using Base::mf3                // Derived의 유효범위에서 볼 수 있도록(또 public 멤버로) 만듭니다.
 
    virtual void mf1();
    void mf3();
    void mf4();
    ...
};

 

이제 우리가 예상했던 대로 돌아가는 상속이 되었습니다.

 

Derived d;
int x;
...
d.mf1;                    // Derived::mf1을 호출합니다.
d.mf1(X);                // Base::mf1을 호출합니다.
 
d.mf2();                // Base::mf2를 호출합니다.
 
d.mf3();                // Derived::mf3을 호출합니다.
d.mf3(x);                // Base::mf3을 니다.

 

어떤 기본 클래스로부터 상속을 받으려고 하는데, 오버로드된 함수가 그 클래스에 들어 있고 이 함수들 중 몇 개만 재정의(다른 말로 오버라이드)하고 싶다면, 각 이름에 대해 using 선언을 붙여 주어야 한다는 것입니다.

 

기본 클래스가 가진 함수를 전부 상속했으면 하는 것이 아닌 경우도 있긴 합니다. 물론 이 경우와 public 상속은 함께 놓고 생각하지 말아야 합니다. 기본 클래스와 파생 클래스의 is-a 관계가 깨져 버리기 때문이죠.

하지만 private 상속을 사용한다면 이 경우가 말이 될 수 있습니다.

 

예를 들어보겠습니다.

Derived가 Base로부터 private 상속이 이루어졌다고 가정합시다. 그리고 Derived가 상속했으면 하는 mf1 함수는 매개변수가 없는 버전 하나밖에 없다고 가정하겠습니다. 이때는 using 선언으로 해결할 수 없습니다. 그 이유는 using 선언을 내리면 그 이름에 해당되는 것들이 모두 파생 클래스로 내려가 버리기 때문입니다. 다른 기법이 필요한 상황인 것이죠.

그 기법이란, 간단한 전달 함수를 만들어 놓는 것입니다.

 

class Base {
public :
    virtual void mf1() = 0;
    virtual void mf1(int);
    ...
};
 
class Derived : private Base {
public :
    virtual void mf1()                // 전달 함수입니다. 암시적으로 인라인 함수가 됩니다.
    {
        Base::mf1();
    }
    ...
};
 
...
Derived d;
int x;
 
d.mf1();                            // Derived::mf1(매개변수 없는 버전)을 호출합니다.
 
d.mf1(x);                            // 에러입니다! Base::mf1()은 가려져 있습니다.

 

꼭 잊지 말아야 할 것!

1. 파생 클래스의 이름은 기본 클래스의 이름을 가립니다. public 상속에서는 이런 이름 가림 현상은 바람직하지 않습니다.

2. 가려진 이름을 다시 볼 수 있게 하는 방법으로, using 선언 혹은 전달 함수를 쓸 수 있습니다.