class CrazyFactory {
E>    struct CSeed { };
E>    template<typename T> class RealObject : public T {
E>        CSeed CheckSeed( CSeed s ) { return s; }
E>    };
E>public:
E>    class Root {
E>    public:
E>        virtual ~Root() {};
E>    private:
E>        virtual CSeed CheckSeed( CSeed ) = 0;
E>    };

E>    template<typename T> static T* CreateNewObject() { return new RealObject<T>(); }
E>};
E>

struct CTest : CrazyFactory::Root {
E>//    Раскомментируешь -- сломается!
E>//   CrazyFactory::CSeed CheckSeed( CrazyFactory::CSeed s ) { return s; }
E>};

E>void foo()
E>{
E>//    CTest t1;    //    Раскомментируешь -- сломается!
E>    delete CrazyFactory::CreateNewObject<CTest>();
E>}

class NoStackObject {
E>    enum { MaxDiff = sizeof( void* ) * 16 };
E>    void checkThis() const
E>    {
E>        char a;
E>        int diff = &a - (const char*)this;
E>        assert( -MaxDiff <= diff && diff <= MaxDiff );
E>    }

E>public:
E>    NoStackObject() { checkThis(); }
E>    NoStackObject( const NoStackObject& ) { checkThis(); }
E>};
E>

S>int APIENTRY _tWinMain(HINSTANCE hInstance,
S>                     HINSTANCE hPrevInstance,
S>                     LPTSTR    lpCmdLine,
S>                     int       nCmdShow)
S>{
S>    NoStackObject nsto;//diff = -500
S>    NoStackObject* nsto_heap = new NoStackObject;//diff = -1804585
S>}
S>

RB>#include "winnt.h"
RB>.............
RB>void* stackBase = ((NT_TIB*)::NtCurrentTeb())->StackBase;
RB>