Неинициализированный указатель и вызов функции

С неинициализированными указателями на экземпляр класса связан один неприятный момент. Допустим, у нас есть класс CBase, в котором есть функция, которая не обращается к переменным класса. То есть указатель this не использует.

class CBase
{
    int i;
public:
    void f() { std::cout<<"CBase::f"<<std::endl;}
};

И если где-то дальше вы написали код вроде такого:

CBase* p = NULL;
p->f();

То по стандарту это undefined behavior. Однако очень часто функция отрабатывает нормально. Visual Studio 2008, например, генерит вполне себе работающий код. А чего, вызов этой функции был разрешен на этапе компиляции, указатель this не нужен. И довольно долго может создаваться ощущение, что все нормально работает. Можно даже привести более страшно выглядящий пример

((CBase*)0)->f();

Но на самом деле далеко не все нормально. Как только появляется обращение к this, то программа начинает "падать". Примеры:

class CBase
{
    int i;
public:
    virtual void f() { std::cout<<"CBase::f"<<std::endl;}
};

class CBase
{
    int i;
public:
    void f() { std::cout<<"CBase::f"<<std::endl; i=0;}
};

Все это приводит к очень интересным трудно отлавливаемым багам.

Ссылка по теме:
comp.lang.c++.moderated - Functions that don't use this, called with uninitialized pointers