Почему работает разыменование пустого объекта?

Question

[Pashka23]

Добрый день!
Почему работает этот код? trash это указатель, который указывает на мусор - по идее при вызове trash->f() должно упасть. Но f() успешно вызывается. Есть предположение, что функции глобальны и связываются с классами только через this.

struct A
{
	void f() { std::cout << "Hello, world!" << std::endl };
};

void main()
{
	A * trash;
	trash->f();
}

Answer 1

[towin]

Указатель на объект действительно содержит мусор.
Но обращаясь таким образом к функции, вы как бы вызываете обычную функцию, которой передали в параметрах указатель this (который содержит мусор). Но т.к. функция this не использует, то и проблемы не возникает.
Попробуйте добавить член структуры и напечатать его в f() - все упадет.

Answer 2

[maaGames]

A * trash = nullptr;
Приучайся инициализировать переменные с молоду :)

Comments

[Pashka23]

Это задача с собеседования.

[maaGames]

Pashka23, Тем более! Само по себе название переменной намекает. В таких ситуациях говоришь: "в первую очередь инициализируем указатель нулём, а теперь давайте смотреть дальше..."