Доступ к приватному методу наследника через родителя

@stikkas · Регистрация: 26.01.2014

Студворк — интернет-сервис помощи студентам

Тут натолкнулся на интересную штуку.

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
#include <iostream>
using namespace std;
 
class A {
public:
 
    virtual void f() {
        cout << "A.f" << endl;
    }
};
 
class B : public A {
 
    void f() {
        cout << "B.f" << endl;
    }
};
 
/*
 *
 */
int main(int argc, char** argv) {
    A *a = new B();
    a->f();
    //    B *b = new B();
    //    b->f();
    return 0;
}

есть какие-то доводы в пользу такого поведения?
Или это зависит от реализации? У меня a->f() выдает B.f , а b->f(), как и положено не компилируется.

Ilot · 21.02.2014, 09:15

Сообщение от stikkas

а b->f(), как и положено не компилируется.

А в какой секции вы объявили f() в классе В?

@stikkas · 21.02.2014, 09:23 **[ТС]**

а что не заметно?
по-умолчанию у class - private
у struct - public
Этот вопрос возник по аналогии с Java, там запрещено сужать область доступа для переопределяемых методов.

Ilot · 21.02.2014, 09:27

Вот и подумайте об этом.
А в остальном не вижу ни чего удивительного или я просто не понял вашего вопроса...

@stikkas · 21.02.2014, 09:30 **[ТС]**

Вопрос в том, что получается С++ допускает возможность вызова закрытого метода потомка через указатель на базовый класс.

@mustimur · 21.02.2014, 09:34

Сообщение от stikkas

Или это зависит от реализации? У меня a->f() выдает B.f , а b->f(), как и положено не компилируется.

Ну правильно класс B наследник класса А, функция-член virtual void f() у него перегружаема и объявлена как public поэтому к ней и можно обратиться из main(). Но при таком обращении ей соответствует void f() класса B. Вот и Ваш ответ (т.е. она видна из класса А, но работает по процедуре класса B). А на прямую к ней не обратишься Вы сами пишите

Сообщение от stikkas

по-умолчанию у class - private

Но У Вас обращение к классу A...

Ilot · 21.02.2014, 09:43

Вы вызываете функцию f() посредством указателя на класс А где эта ф-я указана со спецификатором public. Однако так как эта функция виртуальная то вызываемая функция будет искаться по таблице виртуальных функций, а не как обращение к объекту класса В. Т.е. будет просто передан указатель на функцию f() из класса В.

ValeryS · 21.02.2014, 09:50

Сообщение от stikkas

Вопрос в том, что получается С++ допускает возможность вызова закрытого метода потомка через указатель на базовый класс.

да
если посмотришь на дизасемблированый код
то увидишь две таблицы виртуальных функций для класса A и для B
что то типа

Assembler
1
2
;A
offset  f_a;

Assembler
1
2
;B 
offset f_b;

имена я придумал свои, у каждого компилятора свое искажение имен
так в результате

Сообщение от stikkas

C++
1
2
A *a = new B();
   a->f();

идет обращение к таблице B
и вызывается f_b
и все в порядке на уровне исполнения
а уровень доступа это на этапе компиляции, в исполняемом коде уже нет ни publiс ни private

Добавлено через 2 минуты
обычно делают наоборот закрытый метод родительского класса открывают в классе наследнике

@mustimur · 21.02.2014, 09:50

Ilot,

Не по теме:

солидарность примите :)

@stikkas · 21.02.2014, 10:06 **[ТС]**

ValeryS,
Это я все прекрасно понимаю. Просто с логической точки зрения запрещенный метод должен быть с любой стороны запрещенным (я так думаю, не берем в расчет доступы по указателям и смещениям);
Вот и все.
А так можно сделать как в Python или Javascript - договориться, что то что начинается с подчеркивания - это закрытый (ну если очень хочется то обратиться и к нему напрямую).
Вопрос заключался в том, может кто знает, как на такую ситуацию смотрят создатели языка. Такое поведение считается нормальным? (не с точки зрения техники выполнения кода, здесь все внорме).
Если да, то вопросов нет.
А если нет, то есть какие-то сложности отслеживания данных ситуаций на стадии компилирования?

Tulosba · 21.02.2014, 10:17

Сообщение от ValeryS

обычно делают наоборот закрытый метод родительского класса открывают в классе наследнике

Обычно уровень видимости вообще не меняют. Какой смысл в открытии ранее закрытого метода? Так же не получится воспользоваться радостями полиморфизма (использовать базовый класс, где подразумевается производный). Если уж хочется запретить вызов виртуальной функции из базового класса, сделайте ее чистой (pure virtual).

ValeryS · 21.02.2014, 10:45

Сообщение от Tulosba

Обычно уровень видимости вообще не меняют.

простой пример
MFC класс CFormView метод Create для создания окна
зарыт
я делаю свой производный класс
как я должен создать окно?
переопределить метод и объявить его открытым
ты предлагаешь что то другое?

Сообщение от Tulosba

Если уж хочется запретить вызов виртуальной функции из базового класса,

речь идет о уже готовых библиотеках классов

Сообщение от stikkas

Просто с логической точки зрения запрещенный метод должен быть с любой стороны запрещенным (я так думаю, не берем в расчет доступы по указателям и смещениям);

компилятор делает код понятный процессору, а на уровне процессора пока нет закрытых функций

Сообщение от stikkas

А так можно сделать как в Python или Javascript

эти программы работают на виртуальных машинах, видать в них есть закрытые участки кода

Сообщение от stikkas

Вопрос заключался в том, может кто знает, как на такую ситуацию смотрят создатели языка.

раз разрешили значит нормально смотрят, но это мое мнение

Tulosba · 21.02.2014, 10:53

Сообщение от stikkas

Такое поведение считается нормальным?

Такое поведение чем то сродни привязке параметра по умолчанию во время компиляции для виртуальных функций. Может быть Вы слышали выражение:

C makes it easy to shoot yourself in the foot. C++ makes it harder, but when you do, it blows away your whole leg.

Сейчас правда речь не о сравнении C и C++, а о том, что в этих языках есть тонкие места, с которыми рано или поздно сталкивается любой разработчик. Надо их просто знать. И да, всё, что соответствует стандарту языка, считается нормальным.
C++11 §11.5

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

И приведен практически Ваш пример:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
class B {
public:
   virtual int f();
};
class D : public B {
private:
   int f();
};
void f() {
   D d;
   B* pb = &d;
   D* pd = &d;
   pb->f(); // OK: B::f() is public,
            // D::f() is invoked
   pd->f(); // error: D::f() is private
}

Добавлено через 8 минут

Сообщение от ValeryS

речь идет о уже готовых библиотеках классов

Согласен. Но ты же не будешь отрицать, что:

Сообщение от Tulosba

Обычно уровень видимости вообще не меняют.

@stikkas · 21.02.2014, 10:54 **[ТС]**

Сообщение от Tulosba

C makes it easy to shoot yourself in the foot. C++ makes it harder, but when you do, it blows away your whole leg.

yeap, it's right

ValeryS · 21.02.2014, 11:28

Сообщение от Tulosba

Но ты же не будешь отрицать, что:

не буду

но ООП в С++ имеет столько дырок
тот же MFC создал какой то свой ООП

и мое выражение

Сообщение от ValeryS

обычно делают наоборот

относилось скорей к нему, чем например к Qt

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Desktop (MinGW): Создаём пустое окно с нуля для 2D-графики на SDL3, Си и C++ 8Observer8 10.03.2026 Содержание блога Финальные проекты на Си и на C++: hello-sdl3-c. zip hello-sdl3-cpp. zip Результат:	Установка CMake и MinGW 13.1 для сборки С и C++ приложений из консоли и из Qt Creator в EXE 8Observer8 10.03.2026 Содержание блога MinGW - это коллекция инструментов для сборки приложений в EXE. CMake - это система сборки приложений. Здесь описаны базовые шаги для старта программирования с помощью CMake и. . .	Как дизайн сайта влияет на конверсию: 7 решений, которые реально повышают заявки Neotwalker 08.03.2026 Многие до сих пор воспринимают дизайн сайта как “красивую оболочку”. На практике всё иначе: дизайн напрямую влияет на то, оставит человек заявку или уйдёт через несколько секунд. Даже если у вас. . .	Модульная разработка через nuget packages DevAlt 07.03.2026 Сложившийся в . Net-среде способ разработки чаще всего предполагает монорепозиторий в котором находятся все исходники. При создании нового решения, мы просто добавляем нужные проекты и имеем. . .
Модульный подход на примере F# DevAlt 06.03.2026 В блоге дяди Боба наткнулся на такое определение: В этой книге («Подход, основанный на вариантах использования») Ивар утверждает, что архитектура программного обеспечения — это структуры,. . .	Управление камерой с помощью скрипта OrbitControls.js на Three.js: Вращение, зум и панорамирование 8Observer8 05.03.2026 Содержание блога Финальная демка в браузере работает на Desktop и мобильных браузерах. Итоговый код: orbit-controls-threejs-js. zip. Сканируйте QR-код на мобильном. Вращайте камеру одним пальцем,. . .	SDL3 для Web (WebAssembly): Синхронизация спрайтов SDL3 и тел Box2D 8Observer8 04.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-sync-physics-sprites-sdl3-c. zip На первой гифке отладочные линии отключены, а на второй включены:. . .	SDL3 для Web (WebAssembly): Идентификация объектов на Box2D v3 - использование userData и событий коллизий 8Observer8 02.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-collision-events-sdl3-c. zip Сканируйте QR-код на мобильном и вы увидите, что появится джойстик для управления главным героем. . . .

@stikkas 20 / 20 / 8 Регистрация: 26.01.2014 Сообщений: 56
	21.02.2014, 09:23 [ТС]
	а что не заметно? по-умолчанию у class - private у struct - public Этот вопрос возник по аналогии с Java, там запрещено сужать область доступа для переопределяемых методов. 0

Ilot $Эксперт по математике/физике$ 2224 / 1426 / 420 Регистрация: 16.05.2013 Сообщений: 3,646 Записей в блоге: 6
	21.02.2014, 09:27
	Вот и подумайте об этом. А в остальном не вижу ни чего удивительного или я просто не понял вашего вопроса... 0

@stikkas 20 / 20 / 8 Регистрация: 26.01.2014 Сообщений: 56
	21.02.2014, 09:30 [ТС]
	Вопрос в том, что получается С++ допускает возможность вызова закрытого метода потомка через указатель на базовый класс. 0

Ilot $Эксперт по математике/физике$ 2224 / 1426 / 420 Регистрация: 16.05.2013 Сообщений: 3,646 Записей в блоге: 6
	21.02.2014, 09:43
	Вы вызываете функцию f() посредством указателя на класс А где эта ф-я указана со спецификатором public. Однако так как эта функция виртуальная то вызываемая функция будет искаться по таблице виртуальных функций, а не как обращение к объекту класса В. Т.е. будет просто передан указатель на функцию f() из класса В. 0

@mustimur 320 / 225 / 74 Регистрация: 22.11.2013 Сообщений: 867 Записей в блоге: 1
	21.02.2014, 09:50
	Ilot, Не по теме: солидарность примите :) 0

@stikkas 20 / 20 / 8 Регистрация: 26.01.2014 Сообщений: 56
	21.02.2014, 10:06 [ТС]
	ValeryS, Это я все прекрасно понимаю. Просто с логической точки зрения запрещенный метод должен быть с любой стороны запрещенным (я так думаю, не берем в расчет доступы по указателям и смещениям); Вот и все. А так можно сделать как в Python или Javascript - договориться, что то что начинается с подчеркивания - это закрытый (ну если очень хочется то обратиться и к нему напрямую). Вопрос заключался в том, может кто знает, как на такую ситуацию смотрят создатели языка. Такое поведение считается нормальным? (не с точки зрения техники выполнения кода, здесь все внорме). Если да, то вопросов нет. А если нет, то есть какие-то сложности отслеживания данных ситуаций на стадии компилирования? 0

Доступ к приватному методу наследника через родителя

Решение