another childish 'exception' question

[mclark]

if...

int main(void) {
int * p(some_value);

p = new int;

...

return 0;
}


Assume that the 'new' invocation fails generating a 'bad_alloc' exception... is the value of p modified? if so, is the value undefined? My gut feel would be that p is not modified and (p == some_value) still holds true but I'd like some confirmation on this.

[Kheun]

I believe that the exception should be thrown from within the new operator or any underlying function. Thus it shoudn't be affecting the pointer, p.

[Graham]

Remember that you have two operators in that expression: the new operator and the assignment operator. Assignment operators for fundamental types do not throw exceptions, so only the new operator could throw, which will happen before the assignment operator is invoked.