🚀 go-pugleaf

I wonder if the following is guaranteed to print 1:

#include <stream.h>
struct X {
	virtual f() { return 1; }
};
struct Y : X {
	f() { return 2; }
};

main()
{
	X x;
	Y * y = (Y *) &x;
	cout << y->f();
}

The ARM explains the usual case, that a call of f() for an object of
class Y invokes Y::f(), even if it is called via a pointer to X,
but I couldn't find anything about the above case. Zortech and g++
both yield 1 for this example. Is this considered to be the standard
behaviour?

Martin Hitz (hitz@csi.uottawa.ca)