Доступ к методам класса без создания объекта

@intern · Регистрация: 30.03.2014

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

Почему доступны методы foo() и bar() класса А, если нет ни одного объекта это класса?

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
#include <iostream>
 
class A
{
    int val;
public:
    void foo() {std::cout << "foo\n";}
    void bar() {std::cout << "bar\n";}
};
 
int main()
{
    A *pA;
    pA->foo();
    pA->bar();
    
    void *ptr = nullptr;
    static_cast<A*> (ptr)->foo();
 
    return 0;
}

http://ideone.com/drGImS

@HenryDukart · 22.01.2017, 16:33

intern, потому что вы не работаете с полями класса. Как только в метод вы добавите работу с каким-нибудь полем, программа рухнет.

Добавлено через 14 минут
Точнее не класса, а объекта.

@Undisputed · 22.01.2017, 16:46

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

Как только в метод вы добавите работу с каким-нибудь полем, программа рухнет.

Насколько я знаю, программа и без полей может рухнуть. Разве это не UB?

@zss · 22.01.2017, 16:52

В VS не прокатывает.
Ошибка исполнения - обращение к неинициализированной переменной.

@intern · 22.01.2017, 17:11 **[ТС]**

В Release работает и в VS

@HenryDukart · 22.01.2017, 17:15

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

В VS не прокатывает.
Ошибка исполнения - обращение к неинициализированной переменной.

Прокатывает. Тут дело в другом. Вижле надо так:

C++
1
A *pA = nullptr;

IGPIGP · 22.01.2017, 17:17

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

В Release работает и в VS

Ну и что? А если бы:
void foo() {std::cout<< val << "foo\n";}
?
Компилятор не должен это проверять. Он и такое пропустит:

C++
1
int* a; std::cout<<(*a);

и в принципе, этот случай похож на доступ к полю через не инициализированный указатель.

@Renji · 22.01.2017, 18:15

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

Почему доступны методы foo() и bar() класса А, если нет ни одного объекта это класса?

Примерно потому же, почему можно сунуть в нос зажженную петарду, даже если папа делать такое категорически запретил. "Папа" вам сказал что так делать нельзя, но постоянно дежурить рядом с вами и отбирать петарды не будет.

@intern · 23.01.2017, 15:13 **[ТС]**

Вопрос в том, почему такой код работает (ситуация с обращением к полю класса понятна)?
Указатель pA указывает на случайный адрес, ptr вообще нулевой.

@Mirmik · 23.01.2017, 15:20

Все становится на свои места, если код типа

C++
1
2
    A *pA;
    pA->foo();

считать синтаксическим сахаром и читать как

C++
1
2
    A *pA;
    A::__foo(pA);

Это, конечно, не до конца корректно, но тем не менее, при вызове метода указатель передается в качестве скрытого параметра. Указывает ли указатель при этом на что-то осмысленное неважно.

@DrOffset · 23.01.2017, 15:20

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

почему такой код работает

Распечатай и повесь себе над столом:

Работающая программа - частный случай неопределенного поведения (UB).

@Mirmik · 23.01.2017, 15:22

Вопрос в том, почему такой код работает

Дело в том, что после компиляции, в бинарном виде методы никак не связаны с данными в классе (если у объекта нет таблицы виртуальных методов).

В процессе компиляции методы становятся функциями с одним дополнительным параметром. И вы можете их вызывать. Если понимать реализацию, ничего странного в этом нет.

MrGluck · 23.01.2017, 15:48

UB в чистом виде.
Подробнее уже много раз обсуждалось, например тут:
Почему код корректро отрабатывает после обращения по разыменованному нулевому указателю?
Из стандарта:

8.3.2 References
5. <...> [ Note: in particular, a null reference cannot exist in a well-defined program, because the only way to create such a reference would be to bind it to the “object” obtained by dereferencing a null pointer, which causes undefined behavior.

Новые блоги и статьи Все статьи Все блоги /
Инструменты COM: Сохранение данный из VARIANT в файл и загрузка из файла в VARIANT bedvit 28.01.2026 Сохранение базовых типов COM и массивов (одномерных или двухмерных) любой вложенности (деревья) в файл, с возможностью выбора алгоритмов сжатия и шифрования. Часть библиотеки BedvitCOM Использованы. . .	Загрузка PNG с альфа-каналом на SDL3 для Android: с помощью SDL_LoadPNG (без SDL3_image) 8Observer8 28.01.2026 Содержание блога SDL3 имеет собственные средства для загрузки и отображения PNG-файлов с альфа-каналом и базовой работы с ними. В этой инструкции используется функция SDL_LoadPNG(), которая. . .	Загрузка PNG с альфа-каналом на SDL3 для Android: с помощью SDL3_image 8Observer8 27.01.2026 Содержание блога SDL3_image - это библиотека для загрузки и работы с изображениями. Эта пошаговая инструкция покажет, как загрузить и вывести на экран смартфона картинку с альфа-каналом, то есть с. . .	Влияние грибов на сукцессию anaschu 26.01.2026 Бифуркационные изменения массы гриба происходят тогда, когда мы уменьшаем массу компоста в 10 раз, а скорость прироста биомассы уменьшаем в три раза. Скорость прироста биомассы может уменьшаться за. . .
Воспроизведение звукового файла с помощью SDL3_mixer при касании экрана Android 8Observer8 26.01.2026 Содержание блога SDL3_mixer - это библиотека я для воспроизведения аудио. В отличие от инструкции по добавлению текста код по проигрыванию звука уже содержится в шаблоне примера. Нужно только. . .	Установка Android SDK, NDK, JDK, CMake и т.д. 8Observer8 25.01.2026 Содержание блога Перейдите по ссылке: https:/ / developer. android. com/ studio и в самом низу страницы кликните по архиву "commandlinetools-win-xxxxxx_latest. zip" Извлеките архив и вы увидите. . .	Вывод текста со шрифтом TTF на Android с помощью библиотеки SDL3_ttf 8Observer8 25.01.2026 Содержание блога Если у вас не установлены Android SDK, NDK, JDK, и т. д. то сделайте это по следующей инструкции: Установка Android SDK, NDK, JDK, CMake и т. д. Сборка примера Скачайте. . .	Использование SDL3-callbacks вместо функции main() на Android, Desktop и WebAssembly 8Observer8 24.01.2026 Содержание блога Если вы откроете примеры для начинающих на официальном репозитории SDL3 в папке: examples, то вы увидите, что все примеры используют следующие четыре обязательные функции, а. . .

@HenryDukart 125 / 125 / 44 Регистрация: 05.10.2013 Сообщений: 462
	22.01.2017, 16:33
	intern, потому что вы не работаете с полями класса. Как только в метод вы добавите работу с каким-нибудь полем, программа рухнет. Добавлено через 14 минут Точнее не класса, а объекта. 0

@zss Модератор 13771 / 10964 / 6491 Регистрация: 18.12.2011 Сообщений: 29,241
	22.01.2017, 16:52
	В VS не прокатывает. Ошибка исполнения - обращение к неинициализированной переменной. 0

@intern 15 / 15 / 8 Регистрация: 30.03.2014 Сообщений: 75
	22.01.2017, 17:11 [ТС]
	В Release работает и в VS 0

@intern 15 / 15 / 8 Регистрация: 30.03.2014 Сообщений: 75
	23.01.2017, 15:13 [ТС]
	Вопрос в том, почему такой код работает (ситуация с обращением к полю класса понятна)? Указатель pA указывает на случайный адрес, ptr вообще нулевой. 0