C++ 가상함수 오버라이드가 안되는데 이유를 모르겠습니다.

phyljh의 이미지

C++ 가상함수 오버라이드 공부를 하려고 아래와 같은 코드를 짜봤는데요.
예상결과로 기대한것은 Derived foo 가 출력되는 것인데
Base foo 가 출력됩니다.
무엇이 잘못된것일까요?

#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:
    virtual void foo(const int* a)
    {
        cout << "Derived foo" << endl;
    }
};
 
 
 
int main() {
    int* t = nullptr;
    Base<int*> * p = new Derived();
    p->foo(t);
 
    return 0;
}
익명 사용자의 이미지

요즘 kldp에 재미있는 C++ 질문들이 많이 올라오는군요.

1. 네. override 안 됩니다.

Base<int*>::fooint * const a와 같이 매개변수를 받는 반면,
Derived::fooconst int *a와 같이 매개변수를 받고 있거든요.

그 둘의 차이를 모르시겠거든, C++이 C로부터 물려받은 toxic한 선언 문법을 좀 공부하셔야 됩니다.

int *p;
const int *p;
int * const p;
const int * const p;

위 4개 선언에 대해서 (1) p의 값을 바꿀 수 있는 경우와 (2) *p의 값을 바꿀 수 있는 경우를 각각 구분해보세요. 연습문제입니다.

요점은, 포인터에 const를 붙일 땐 (1) 포인터 자신이 상수인 경우와 (2) 포인터가 가리키는 대상이 상수인 경우를 구분해야 한다는 겁니다.

아무튼, 결국 Derive:fooBase<int*>::foo를 제대로 override하려면 아래와 같이 짜야 한다는 뜻이죠.

(그건 그렇고, C++11의 nullptr는 썼으면서 C++11의 override는 안 쓰신 거 실화입니까?!)

#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:
    virtual void foo(int* const a) override
    {
        cout << "Derived foo" << endl;
    }
};
 
 
 
int main() {
    int* t = nullptr;
    Base<int*> * p = new Derived();
    p->foo(t);
 
    return 0;
}

컴파일 잘 되고, 실행 예상대로 "Derived foo" 잘 찍혀 나올 겁니다.

2. 혼동의 원인 중 하나는, 템플릿 매개변수는 단순한 문자열 치환이 아니라는 겁니다.

예컨대 virtual void foo(const T a)에서 T를 그대로 int*로 치환해서 virtual void foo(const int* a)가 되는 게 아니라고요.

typename T에 대해서 당신이 const T a라고 썼으면, T가 무엇이었건 간에 consta를 상수로 만듭니다.

그래서 T가 포인터인 int*로 치환될 경우, 해당 매개변수 타입은 a가 상수가 되는 int * const a가 되는 것이죠.

생각해보면 아주 합리적입니다. 바로 이런 기능 때문에 전처리기 매크로 같은 것 대신 템플릿을 쓰는 거죠.

phyljh의 이미지

혼동의 원인을 정확히 지적해 주셔서 감사합니다.
foo 함수의 인자를 const int* 로 하려고 했었는데 그렇다면 아래처럼 짰어야 되는거였군요.

#include <iostream>
 
using namespace std;
template<typename T> 
class Base
{
public:
    virtual void foo( T a)
    {
        cout << "Base foo" << endl;
    }
 
};
 
class Derived : public Base<const int*>
{
public:
 
    virtual void foo(const int* a) override
    {
        cout << "Derived foo" << endl;
    }
};
 
 
 
int main() {
    int* t = nullptr;
    Base<const int*> * p = new Derived();
    p->foo(t);
 
    return 0;
}
HDNua의 이미지

좋은 답변으로 많이 배워갑니다.

저는 이렇게 생각했습니다.

댓글 달기

Filtered HTML

  • 텍스트에 BBCode 태그를 사용할 수 있습니다. URL은 자동으로 링크 됩니다.
  • 사용할 수 있는 HTML 태그: <p><div><span><br><a><em><strong><del><ins><b><i><u><s><pre><code><cite><blockquote><ul><ol><li><dl><dt><dd><table><tr><td><th><thead><tbody><h1><h2><h3><h4><h5><h6><img><embed><object><param><hr>
  • 다음 태그를 이용하여 소스 코드 구문 강조를 할 수 있습니다: <code>, <blockcode>, <apache>, <applescript>, <autoconf>, <awk>, <bash>, <c>, <cpp>, <css>, <diff>, <drupal5>, <drupal6>, <gdb>, <html>, <html5>, <java>, <javascript>, <ldif>, <lua>, <make>, <mysql>, <perl>, <perl6>, <php>, <pgsql>, <proftpd>, <python>, <reg>, <spec>, <ruby>. 지원하는 태그 형식: <foo>, [foo].
  • web 주소와/이메일 주소를 클릭할 수 있는 링크로 자동으로 바꿉니다.

BBCode

  • 텍스트에 BBCode 태그를 사용할 수 있습니다. URL은 자동으로 링크 됩니다.
  • 다음 태그를 이용하여 소스 코드 구문 강조를 할 수 있습니다: <code>, <blockcode>, <apache>, <applescript>, <autoconf>, <awk>, <bash>, <c>, <cpp>, <css>, <diff>, <drupal5>, <drupal6>, <gdb>, <html>, <html5>, <java>, <javascript>, <ldif>, <lua>, <make>, <mysql>, <perl>, <perl6>, <php>, <pgsql>, <proftpd>, <python>, <reg>, <spec>, <ruby>. 지원하는 태그 형식: <foo>, [foo].
  • 사용할 수 있는 HTML 태그: <p><div><span><br><a><em><strong><del><ins><b><i><u><s><pre><code><cite><blockquote><ul><ol><li><dl><dt><dd><table><tr><td><th><thead><tbody><h1><h2><h3><h4><h5><h6><img><embed><object><param>
  • web 주소와/이메일 주소를 클릭할 수 있는 링크로 자동으로 바꿉니다.

Textile

  • 다음 태그를 이용하여 소스 코드 구문 강조를 할 수 있습니다: <code>, <blockcode>, <apache>, <applescript>, <autoconf>, <awk>, <bash>, <c>, <cpp>, <css>, <diff>, <drupal5>, <drupal6>, <gdb>, <html>, <html5>, <java>, <javascript>, <ldif>, <lua>, <make>, <mysql>, <perl>, <perl6>, <php>, <pgsql>, <proftpd>, <python>, <reg>, <spec>, <ruby>. 지원하는 태그 형식: <foo>, [foo].
  • You can use Textile markup to format text.
  • 사용할 수 있는 HTML 태그: <p><div><span><br><a><em><strong><del><ins><b><i><u><s><pre><code><cite><blockquote><ul><ol><li><dl><dt><dd><table><tr><td><th><thead><tbody><h1><h2><h3><h4><h5><h6><img><embed><object><param><hr>

Markdown

  • 다음 태그를 이용하여 소스 코드 구문 강조를 할 수 있습니다: <code>, <blockcode>, <apache>, <applescript>, <autoconf>, <awk>, <bash>, <c>, <cpp>, <css>, <diff>, <drupal5>, <drupal6>, <gdb>, <html>, <html5>, <java>, <javascript>, <ldif>, <lua>, <make>, <mysql>, <perl>, <perl6>, <php>, <pgsql>, <proftpd>, <python>, <reg>, <spec>, <ruby>. 지원하는 태그 형식: <foo>, [foo].
  • Quick Tips:
    • Two or more spaces at a line's end = Line break
    • Double returns = Paragraph
    • *Single asterisks* or _single underscores_ = Emphasis
    • **Double** or __double__ = Strong
    • This is [a link](http://the.link.example.com "The optional title text")
    For complete details on the Markdown syntax, see the Markdown documentation and Markdown Extra documentation for tables, footnotes, and more.
  • web 주소와/이메일 주소를 클릭할 수 있는 링크로 자동으로 바꿉니다.
  • 사용할 수 있는 HTML 태그: <p><div><span><br><a><em><strong><del><ins><b><i><u><s><pre><code><cite><blockquote><ul><ol><li><dl><dt><dd><table><tr><td><th><thead><tbody><h1><h2><h3><h4><h5><h6><img><embed><object><param><hr>

Plain text

  • HTML 태그를 사용할 수 없습니다.
  • web 주소와/이메일 주소를 클릭할 수 있는 링크로 자동으로 바꿉니다.
  • 줄과 단락은 자동으로 분리됩니다.
댓글 첨부 파일
이 댓글에 이미지나 파일을 업로드 합니다.
파일 크기는 8 MB보다 작아야 합니다.
허용할 파일 형식: txt pdf doc xls gif jpg jpeg mp3 png rar zip.
CAPTCHA
이것은 자동으로 스팸을 올리는 것을 막기 위해서 제공됩니다.