Форум программистов [Powered by Invision Power Board]

Версия для печати темы
Нажмите сюда для просмотра этой темы в оригинальном формате

Форум программистов > C/C++: Общие вопросы > Наследование методов

Автор: nuzzle 16.3.2009, 01:26

Здравствуйте.

Почему вызов переопределенного в классе-потомке абстрактного метода (в потомке уровень доступа к методу - private) из экземпляра базового класса не вызывает ошибки?

объявления классов:

Код


/***
*
*examclss.h
*
***/

#ifndef _EXAMCLSS_H_
#define _EXAMCLSS_H_

//
// Абстрактный базовый класс
//
class CBase
{
public:
    virtual void F() = 0;
};

// Потомок класса CBase
class CX : public CBase
{
    virtual void F(); // По-умолчанию private

public:
    CX();
    ~CX();
};

#endif /*_EXAMCLSS_H_*/

реализация:

Код


/***
*
*examclss.cpp
*
***/

#include <iostream>
#include "examclss.h"

// Конструктор
CX::CX() {
    std::cout << "CX: under construction..." << std::endl;
}

// Деструктор
CX::~CX() {
    std::cout << "Destructing an instance of CX..." << std::endl;
}

void CX::F()
{
    std::cout << "Executing F()...Ok" << std::endl;
}

программа:

Код


/***
*
*acctrl.cpp
*
***/

#include <iostream>
#include "examclss.h"

int main()
{
    /* Создание экземпляра класса CX и приведение указателя на него к
    типу указателя на абстрактный базовый класс */
    CBase *pBase = new CX; 
    
    // Создание второго экземпляра класса CX
    CX *pX = new CX;

    /* следующая строка кода вызывает,
    как и положено, ошибку компиляции:
    невозможно получить доступ к private-методу класса CX::F() */
    // pX->F();

    // Обращение к виртуальному методу класса CBase
    pBase->F(); /* Выполняется private-функция CX::F()
                Почему здесь не возникает ошибки?!! */
    
    delete pBase;
    delete pX;
    
    return 0;
}

Очень прошу, если возможно, привести источник, в котором разъяснен этот аспект наследования.

Автор: TiKKi 16.3.2009, 01:55

Цитата из стандарта ["Access to virtual functions"]...

Цитата

The access rules for a virtual function are determined by its declaration and are not affected by
the rules for a function that later overrides it.

Автор: nuzzle 16.3.2009, 02:01

TiKKi,
Большое спасибо!
Думаю, что тему можно считать закрытой.

Автор: Любитель 16.3.2009, 04:30

[придирки]
Зачем кастить к CBase* (компилер в состоянии сделать это сам smile

)? И тем более в C-style (фи!).
[/придирки]

Автор: nuzzle 16.3.2009, 12:18

Цитата(Любитель @ 16.3.2009, 04:30)

[придирки]
Зачем кастить к CBase* (компилер в состоянии сделать это сам smile

)? И тем более в C-style (фи!).
[/придирки]

Учел.