Я завелся (значит не прав), но проделал полезную работу в рамках тестирования IAR 5.10.
Привожу тексты.
Это тестовые классы.
#ifndef Class_TestH
#define Class_TestH
void Test_Classes(void);
// проверка С++ 5.10
class TZero {
protected:
unsigned char var_char;
public:
TZero(void) {var_char=0; cout << "Created class TZero\n";};
~TZero(){cout<<"Delete TZero\n";};
void Show(void) { cout <<"var_char=" << (int)var_char <<"\n";};
};
class TOne : public TZero
{
protected:
unsigned short var_short;
unsigned int var_int;
public:
TOne(void) {var_char=5;};
TOne (char i) {
var_char=i;
var_short=0; var_int=0;
cout << "Created class TOne" << (int)var_char << "\n";
};
~TOne(){cout<<"Delete TOne\n";};
void Show(void) {
cout << "var_char="<< (int)var_char <<" var_short="\
<<var_short <<" var_int="<<var_int <<"\n";
};
void Inc_Short(void) {var_short++;};
void Inc_Int(void) {var_int++;};
};
class TAdd {
public:
TAdd(void) {cout << "Created TAdd\n";};
~TAdd(){cout<<"Delete TAdd\n";};
};
class TTwo : public TOne, public TAdd
{
public:
TTwo (void) { cout << "Created class TTwo" << "\n";};
~TTwo(){cout<<"Delete TTwo\n";};
void Show(void) {
cout << "var_char="<< (int)var_char <<" var_short="<<var_short\
<<" var_int="<<var_int <<"\n";
};
};
//------------------------------------------------------------------------
//#define Variant
void Test_Classes(void) {
#ifdef Variant
TZero *ptr_0=new TZero();
TOne *ptr_1=new TOne(1);
TOne *ptr_2=new TOne(2);
TTwo *ptr_3=new TTwo();
ptr_1->Inc_Short();
ptr_2->Inc_Int();
ptr_0->Show(); //TZero
ptr_1->Show(); //TZero>TOne
ptr_2->Show(); //TZero>TOne
ptr_3->Show(); //TZero>TOne+TAdd >TTwo
cout<<"ptr_0="<<ptr_0 \
<<" ptr_1="<<ptr_1 \
<<" ptr_2="<<ptr_2 \
<<" ptr_3="<<ptr_3 <<"\n";
delete ptr_2;
delete ptr_1;
delete ptr_0;
delete ptr_3;
#else
TZero Zero;
TZero *ptr_0=&Zero;
TOne One1(1);
TOne *ptr_1=&One1;
TOne One2(2);
TOne *ptr_2=&One2;
TTwo Two;
TTwo *ptr_3=&Two;
ptr_1->Inc_Short();
ptr_2->Inc_Int();
ptr_0->Show(); //TZero
ptr_1->Show(); //TZero<TOne
ptr_2->Show(); //TZero<TOne
ptr_3->Show(); //TZero<TOne+TAdd <TTwo
cout<<"ptr_0="<<ptr_0 \
<<" ptr_1="<<ptr_1 \
<<" ptr_2="<<ptr_2 \
<<" ptr_3="<<ptr_3 <<"\n"\
<<" SizeOf Zero="<<sizeof(Zero) <<"\n"\
<<" SizeOf One1="<<sizeof(One1) <<"\n"\
<<" SizeOf One2="<<sizeof(One2) <<"\n"\
<<" SizeOf Two="<<sizeof(Two) <<"\n";
#endif
}
#endif
и кусок main тестирующий
//---------
while (TRUE) {
Test_Classes();
for(unsigned int a=0;a<0x100000;a++);
}
}
Результаты: ptr не ползут нигде.
Created class TZero
Created class TOne1
Created class TZero
Created class TOne2
Created class TZero
Created TAdd
Created class TTwo
var_char=0
var_char=1 var_short=1 var_int=0
var_char=2 var_short=0 var_int=1
var_char=5 var_short=0 var_int=1073763204
ptr_0=40001fc0 ptr_1=40001fd4 ptr_2=40001fcc ptr_3=40001fc4
SizeOf Zero=1
SizeOf One1=8
SizeOf One2=8
SizeOf Two=8
Delete TTwo
Delete TAdd
Delete TOne
Delete TZero
Delete TOne
Delete TZero
Delete TOne
Delete TZero
Delete TZero
и т.д.
Created class TZero
Created class TZero
Created class TOne1
Created class TZero
Created class TOne2
Created class TZero
Created TAdd
Created class TTwo
var_char=0
var_char=1 var_short=1 var_int=0
var_char=2 var_short=0 var_int=1
var_char=5 var_short=0 var_int=0
ptr_0=40002068 ptr_1=40002078 ptr_2=40002088 ptr_3=40002098
Delete TOne
Delete TZero
Delete TOne
Delete TZero
Delete TZero
Delete TTwo
Delete TAdd
Delete TOne
Delete TZero
и т.д.
PS. Я менял delete местами - не придраться, все ОК.
Все логично. P.J.P. молодец.
Но к кучам я все равно отношусь с недоверием.
Да, множественное наследование работает в eec++
, но где-то они есть. Еще один вариант: пошагово зайти внутрь ??operator new и пытаться понять что же там происходит.
