А знаете ли вы, что gcc такое понимает:

class C {
public:
  virtual void * f () const = 0;
};

class D: public C {
public:
  virtual int * f () const { return 0; }
};

Хоть и выдает предупреждение:

deprecated covariant return type for ‘virtual int* D::f() const'