Aleksey_M_T

запись sizeof(&C::foo()) - условная
для точности поясню:

C c;
sizeof(&c.foo()) = ...;

Та размерность, которую я указал, соответствует действительности (это легко проверить).