使用NULL指针调用非静态类方法：未定义的行为？

Question

使用空指针调用非静态方法是否有效？我有一个下面的例子，它完全正常。

#include <iostream>

class foo
{
public:
   void printMessage()
   {
      std::cout<<"Hello World";
   }
};

int main()
{
   foo *a = NULL;
   a->printMessage();
   return 0;
}

我也想知道它是如何工作的？并且，它是未定义行为的一个例子吗？