Re: Undefined behaviour with Non-static, non-polymorphic + null pointer?
Alan Woodland wrote:
I'm fairly sure this is undefined behaviour, despite the fact that
it compiles and 'runs' (prints "this doesn't exist") on all my
platforms:
#include <iostream>
class foo {
public:
void bar() {
std::cout << "hello evil world!" << std::endl;
if (this) {
std::cout << "this exists" << std::endl;
}
else {
std::cout << "this doesn't exist!" << std::endl;
}
}
};
int main() {
foo *inst = 0;
inst->bar();
Here you're "using" the pointer that has an invalid value (does not
point to any object). That's undefined behavour. I could not quickly
locate the exact passage in the Standard that says that it is, but I
am sure you can find a mention of it in the archives, just search for
"dereference null pointer".
return 0;
}
Can someone please quote chapter and verse on this one and help me win
my current "this is a very bad idea" argument I'm having? I'd have
expected it to be forbidden under some general rule, and no exceptions
to have been made for it? Or is it actually really legal and defined
because nothing ever dereferences the this pointer?
The expression
inst->bar()
is in fact
(*inst).bar()
which already dereferences the null pointer 'inst'.
V
--
Please remove capital 'A's when replying by e-mail
I do not respond to top-posted replies, please don't ask