Calling member function through a null pointer

Asked May 25 '14 at 07:24

Active May 25 '14 at 07:24

Viewed 33 times

So I was wondering how concepts lite could be implemented in the language. After some digging in boost/concept's headers I came across this struct:

template <class Model>
struct user_requirements 
{
    ~user_requirements() { ((Model*)0)->~Model(); }
}

I thought that calling a member function through a null pointer is undefined behavior. Even if the destructor doesn't use any member variables, should this be relied on?

asked May 25 '14 at 07:24

Veritas

2,150
3
16
40

1

I'm pretty sure that will go horribly wrong if `~Model` is virtual. – Mats Petersson May 25 '14 at 07:26
1

calling a member function through a null pointer **is** undefined behavior – πάντα ῥεῖ May 25 '14 at 07:28

Calling member function through a null pointer

0 Answers0

Linked