T* _ptr{nullptr};

size_t _length;

size_t _offset;

operator T*()const {return _ptr;};

operator sized_ptr<T>() {sized_ptr<T>res(_ptr,size()); _ptr=NULL;return res;};

size_tlength() {return _length;};

size_tsize() {returnsizeof(T) + _length *sizeof(ArrayT);};

VLATO_ptr(size_t length);

VLATO_ptr(T* ptr,size_t length): _ptr{ptr}, _length{length} {};

size_toffset() {return _offset;};

size_tsize() {return _offset + _length *sizeof(ArrayT);};

VLATO_ptr(size_t offsrt,size_t length);

VLATO_ptr(T* ptr,size_t offset,size_t length): _ptr{ptr}, _offset{offset}, _length{length} {};

~VLATO_ptr() {if (_ptr)free(_ptr);}

};

template<classT,classArrayT>

VLATO_ptr<T,ArrayT>::VLATO_ptr(size_t length)

VLATO_ptr<T,ArrayT>::VLATO_ptr(size_toffset,size_tlength)

{

_ptr = (T*)malloc(sizeof(T) +sizeof(ArrayT) * length);

_ptr = (T*)malloc( offset +sizeof(ArrayT) * length);

_length = length;

_offset = offset;

}

intmain() {

TEST_START(10);

TEST_START(9);

{/* 1..3*/

}

{/* 4..10*/

is(sizeof(FixedLengthObject),sizeof(VariableLengthObject),"sizes sainity check VLATO_prt expects this to be true");

VLATO_ptr<VariableLengthObject,shortint>vp(5);

VLATO_ptr<VariableLengthObject,shortint>vp(offsetof(VariableLengthObject,arr),5);

is(vp.length(),5,"Number of elements is ok");

is(vp.size(),sizeof(VariableLengthObject) +sizeof(shortint) *5,"Size of object is ok");

is(vp.size(),offsetof(VariableLengthObject,arr) +sizeof(shortint) *5,"Size of object is ok");

VariableLengthObject *p1 = vp;

p1->arr[4]=100;

sized_ptr<VariableLengthObject> sp = vp;// from now on vp does not exit

VariableLengthObject *p2 = vp;

ok(!p2,"now vp should not point anywere");

is(sp.size(),sizeof(VariableLengthObject) +sizeof(shortint) *5,"Size of sized object is ok");

is(sp.size(),offsetof(VariableLengthObject,arr) +sizeof(shortint) *5,"Size of sized object is ok");

VariableLengthObject *p3 = sp;

ok(p1 == p3,"Still same object");