Обьясните пожалуйста

@HardMorg · Регистрация: 29.08.2010

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

C++
1
2
3
4
5
6
7
8
9
10
struct Test {
    
   void test();
};
 
int main() {
 
    Test *ptr = NULL;
    ptr->test();
}

и тут программа падает, а если

C++
1
2
3
4
5
int main() {
 
    Test *ptr = (Test*)NULL;
    ptr->test();
}

все норм

@nexen · 10.07.2012, 04:13

Насколько я знаю, во втором случае вызывается конструктор класса, а так как функция не обращается к полям (которых нет), то всё впорядке. В первом же случае не вызывается конструктор, а инициализируется указатель "напрямую", из-за чего и не к чему обращаться.

silent_1991 · 10.07.2012, 06:56

nexen, ни в первом, ни во втором случае конструктор не вызывается.
HardMorg, дайте пример, который действительно падает и действительно не падает. Пока оба ваших кода (с минимальными изменениями)отрабатывают (хотя оба, конечно же, не верны).

@nexen · 10.07.2012, 07:56

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

nexen, ни в первом, ни во втором случае конструктор не вызывается.
HardMorg, дайте пример, который действительно падает и действительно не падает. Пока оба ваших кода (с минимальными изменениями)отрабатывают (хотя оба, конечно же, не верны).

Разве конструкции типа :

C++
1
2
3
4
5
6
7
8
9
10
class A
{...*парочка конструкторов*...};
void main()
{
A a = A(0);
A b = (A)0;
A c = A(NULL);
int k = 10;
A d = A(k);
A e = (A)k;

Не будут в каждом случае вызывать конструктор для правой части, а затем уже инициализировать левую часть тем же типом? О_о

@novi4ok · 10.07.2012, 11:21

а где тело ф-ии test? что там?

@CheshireCat · 10.07.2012, 11:37

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

[...] и тут программа падает, а если [...] все норм

А все и так норм в обоих вариантах. :-)
Разыменование NULL-указателя - это гарантированное UB по Стандарту языка. Программа может "падать", может "не падать" - в твоем случае любое поведение программы является правильным, т.е. не противоречащим Стандарту языка. Неопределенное поведение - оно такое неопределенное.... :-)

@nexen · 10.07.2012, 12:38

А я не прав все-таки? : (

@Chelioss · 10.07.2012, 14:09

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

А я не прав все-таки? : (

=T(NULL) и =T*(NULL) - не одно и тоже.
В первом создается объект типа T, а во втором создается указатель на тип T и это указатель = 0.
Класс даже может быть не определен( или быть не правильным), но указатель на этот класс всегда можно создать.

@alex_x_x · 10.07.2012, 14:13

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

Test *ptr = (Test*)NULL;
ptr->test();

такое вообще может работать для статических методов и в случае, если компилятор сам решит, что метод ведет себя как статический

@Nick Alte · 10.07.2012, 15:14

В общем-то, вызов метода - ещё не разыменование, при этом лишь происходит неявная передача адреса объекта через this. Если вызываемый метод обратится к данным класса - вот это уже будет разыменование, UB и всякие ужасы. А если не обратится (как отметил предыдущий оратор, "ведёт себя как статический") и нет каких-то дополнительных неявных проверок, которые могут быть встроены в отладочном режиме в месте вызова - так и проблем возникнуть не должно.

@CheshireCat · 10.07.2012, 15:22

Дык, в том-то и дело, что "компилятор сам решит" или там "проблем возникнуть не должно".... А что будет при переносе кода на другой компилятор? На другую ось? Или на другую аппаратную архитектуру? Никаких гарантий не дается. То есть, полагаться на то, что "проблем возникнуть не должно" - это все равно что закладывать мину замедленного действия в свой собственный код.

(PS: и да, бывает, что программисты заболевают, увольняются, а то и умирают.... вот прикинь, каково удовольствие искать подобный баг, да еще и "плавающий", этак в полумиллионе-миллионе строк исходного кода, полученного в наследство от нескольких поколений программистов до тебя.... ась?)

silent_1991 · 10.07.2012, 15:36

CheshireCat, да вроде никто и не говорил, что так делать можно. Суть в том, что данный код с минимальными правками (добавление пустого тела к test) не позволяет в общем случае воспроизвести падение/непадение кода.

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

Не будут в каждом случае вызывать конструктор для правой части

Будут. Только в приведённом коде создаётся не объект, а указатель. Если бы создавался объект, код бы не компилировался вообще, потому что ни один из конструкторов (который и так всего один, сгенерированный компилятором) не принимает никаких указателей.

@Nick Alte · 10.07.2012, 15:37

CheshireCat
Вот потому-то изначально следует изо всех сил избегать обычных указателей. Если в C++ так старательно вводятся средства, позволяющие избежать "стрельбы в ногу" и вообще повышающие одновременно надёжность и удобство написания программ, надо ими пользоваться. А чтобы грамотно ими пользоваться, надо представлять себе, какие механизмы тут задействованы. Для чего как раз очень полезны темы вроде этой, наглядно на простых примерах разъясняющие такие тонкости. Ведь тут никто на самом не призывает: "Ребята, смело пользуйтесь вызовом методов на нулевых указателях, это прикольно!". Я рекомендовал бы трижды подумать, прежде чем вообще использовать указатель. В подавляющем большинстве случаев куда уместнее будет unique_ptr, vector или array.

silent_1991 · 10.07.2012, 15:40

Сообщение от Nick Alte

unique_ptr, vector или array.

В данном конкретном случае это не выход, поскольку следующий код ведёт себя так же, как и код ТСа:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
#include <memory>
 
struct Foo
{
    void meth()
    {
    }
};
 
int main()
{
    std::unique_ptr<Foo> ptr(nullptr);
    
    ptr->meth();
    
    return 0;
}

http://liveworkspace.org/code/... 16625d5ab9

@xADMIRALx · 10.07.2012, 16:17

Интересная тема,раз уж на то пошло кто посоветует какую литературу о тонкостях использвании указателей ?

@Nick Alte · 10.07.2012, 16:28

Данный конкретный случай - вообще тестовый пример для иллюстрации некоторых особенностей указателей. Я говорил об использовании указателей (вернее, о том, чтобы этого избегать) в обычной повседневной работе.
Если нам нужны указатели, не позволяющие разыменование nullptr, можно пользоваться ссылками или специальными разновидностями смарт-указателей, в зависимости от ситуации и того, какими средствами мы хотим добиться такого эффекта (чисто compile-time приёмы, запрещающие "залить" нолик в указатель, или runtime-проверка перед каждым разыменованием).

silent_1991 · 10.07.2012, 16:31

xADMIRALx, конкретно по указателям вряд ли что-то есть, но по тонкостям плюсов в принципе могу посоветовать Саттера (две книги "Сложные задачи") и Мейерса (три книги "Эффективное использование").

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Web (WebAssembly): Реализация движения на Box2D v3 - трение и коллизии с повёрнутыми стенами 8Observer8 20.02.2026 Содержание блога Box2D позволяет легко создать главного героя, который не проходит сквозь стены и перемещается с заданным трением о препятствия, которые можно располагать под углом, как верхнее. . .	Конвертировать закладки radiotray-ng в m3u-плейлист damix 19.02.2026 Это можно сделать скриптом для PowerShell. Использование . \СonvertRadiotrayToM3U. ps1 <path_to_bookmarks. json> Рядом с файлом bookmarks. json появится файл bookmarks. m3u с результатом. # Check if. . .	Семь CDC на одном интерфейсе: 5 U[S]ARTов, 1 CAN и 1 SSI Eddy_Em 18.02.2026 Постепенно допиливаю свою "многоинтерфейсную плату". Выглядит вот так: https:/ / www. cyberforum. ru/ blog_attachment. php?attachmentid=11617&stc=1&d=1771445347 Основана на STM32F303RBT6. На борту пять. . .	Камера Toupcam IUA500KMA Eddy_Em 12.02.2026 Т. к. у всяких "хикроботов" слишком уж мелкий пиксель, для подсмотра в ESPriF они вообще плохо годятся: уже 14 величину можно рассмотреть еле-еле лишь на экспозициях под 3 секунды (а то и больше),. . .
И ясному Солнцу zbw 12.02.2026 И ясному Солнцу, и светлой Луне. В мире покоя нет и люди не могут жить в тишине. А жить им немного лет.	«Знание-Сила» zbw 12.02.2026 «Знание-Сила» «Время-Деньги» «Деньги -Пуля»	SDL3 для Web (WebAssembly): Подключение Box2D v3, физика и отрисовка коллайдеров 8Observer8 12.02.2026 Содержание блога Box2D - это библиотека для 2D физики для анимаций и игр. С её помощью можно определять были ли коллизии между конкретными объектами и вызывать обработчики событий столкновения. . . .	SDL3 для Web (WebAssembly): Загрузка PNG с прозрачным фоном с помощью SDL_LoadPNG (без SDL3_image) 8Observer8 11.02.2026 Содержание блога Библиотека SDL3 содержит встроенные инструменты для базовой работы с изображениями - без использования библиотеки SDL3_image. Пошагово создадим проект для загрузки изображения. . .

@nexen 187 / 180 / 25 Регистрация: 27.01.2012 Сообщений: 1,335
	10.07.2012, 04:13
	Насколько я знаю, во втором случае вызывается конструктор класса, а так как функция не обращается к полям (которых нет), то всё впорядке. В первом же случае не вызывается конструктор, а инициализируется указатель "напрямую", из-за чего и не к чему обращаться. 0

silent_1991 5058 / 3118 / 271 Регистрация: 11.11.2009 Сообщений: 7,044
	10.07.2012, 06:56
	nexen, ни в первом, ни во втором случае конструктор не вызывается. HardMorg, дайте пример, который действительно падает и действительно не падает. Пока оба ваших кода (с минимальными изменениями)отрабатывают (хотя оба, конечно же, не верны). 0

@novi4ok 556 / 510 / 25 Регистрация: 23.07.2009 Сообщений: 2,359 Записей в блоге: 1
	10.07.2012, 11:21
	а где тело ф-ии test? что там? 0

@nexen 187 / 180 / 25 Регистрация: 27.01.2012 Сообщений: 1,335
	10.07.2012, 12:38
	А я не прав все-таки? : ( 0

@Nick Alte 1675 / 1047 / 174 Регистрация: 27.09.2009 Сообщений: 1,945
	10.07.2012, 15:14
	В общем-то, вызов метода - ещё не разыменование, при этом лишь происходит неявная передача адреса объекта через this. Если вызываемый метод обратится к данным класса - вот это уже будет разыменование, UB и всякие ужасы. А если не обратится (как отметил предыдущий оратор, "ведёт себя как статический") и нет каких-то дополнительных неявных проверок, которые могут быть встроены в отладочном режиме в месте вызова - так и проблем возникнуть не должно. 2

@CheshireCat 2924 / 1274 / 114 Регистрация: 27.05.2008 Сообщений: 3,465
	10.07.2012, 15:22
	Дык, в том-то и дело, что "компилятор сам решит" или там "проблем возникнуть не должно".... А что будет при переносе кода на другой компилятор? На другую ось? Или на другую аппаратную архитектуру? Никаких гарантий не дается. То есть, полагаться на то, что "проблем возникнуть не должно" - это все равно что закладывать мину замедленного действия в свой собственный код. (PS: и да, бывает, что программисты заболевают, увольняются, а то и умирают.... вот прикинь, каково удовольствие искать подобный баг, да еще и "плавающий", этак в полумиллионе-миллионе строк исходного кода, полученного в наследство от нескольких поколений программистов до тебя.... ась?) 0

@Nick Alte 1675 / 1047 / 174 Регистрация: 27.09.2009 Сообщений: 1,945
	10.07.2012, 15:37
	CheshireCat Вот потому-то изначально следует изо всех сил избегать обычных указателей. Если в C++ так старательно вводятся средства, позволяющие избежать "стрельбы в ногу" и вообще повышающие одновременно надёжность и удобство написания программ, надо ими пользоваться. А чтобы грамотно ими пользоваться, надо представлять себе, какие механизмы тут задействованы. Для чего как раз очень полезны темы вроде этой, наглядно на простых примерах разъясняющие такие тонкости. Ведь тут никто на самом не призывает: "Ребята, смело пользуйтесь вызовом методов на нулевых указателях, это прикольно!". Я рекомендовал бы трижды подумать, прежде чем вообще использовать указатель. В подавляющем большинстве случаев куда уместнее будет unique_ptr, vector или array. 0

@xADMIRALx 70 / 64 / 5 Регистрация: 09.06.2012 Сообщений: 291
	10.07.2012, 16:17
	Интересная тема,раз уж на то пошло кто посоветует какую литературу о тонкостях использвании указателей ? 0

@Nick Alte 1675 / 1047 / 174 Регистрация: 27.09.2009 Сообщений: 1,945
	10.07.2012, 16:28
	Данный конкретный случай - вообще тестовый пример для иллюстрации некоторых особенностей указателей. Я говорил об использовании указателей (вернее, о том, чтобы этого избегать) в обычной повседневной работе. Если нам нужны указатели, не позволяющие разыменование nullptr, можно пользоваться ссылками или специальными разновидностями смарт-указателей, в зависимости от ситуации и того, какими средствами мы хотим добиться такого эффекта (чисто compile-time приёмы, запрещающие "залить" нолик в указатель, или runtime-проверка перед каждым разыменованием). 0

silent_1991 5058 / 3118 / 271 Регистрация: 11.11.2009 Сообщений: 7,044
	10.07.2012, 16:31
	xADMIRALx, конкретно по указателям вряд ли что-то есть, но по тонкостям плюсов в принципе могу посоветовать Саттера (две книги "Сложные задачи") и Мейерса (три книги "Эффективное использование"). 0