1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
|
/*
* This small program tests how IdentifiableObject works with multiple
* inheritance ("diamond" inheritance, more precisely, since all
* classes have there root in IdentifiableObject.)
*
* Current status: With virtual superclasses, you get a class
* hierarchie "root -> A -> B -> C", so that the first part of this
* example works actually (C is a subclass of A and of B), but the
* second fails (it should print "false", but it is erroneously
* assumed that B is a subclass of A.)
*/
#include "../lout/identity.hh"
using namespace lout::identity;
class A: virtual public IdentifiableObject
{
public:
static int CLASS_ID;
inline A () { registerName ("A", &CLASS_ID); }
};
class B: virtual public IdentifiableObject
{
public:
static int CLASS_ID;
inline B () { registerName ("B", &CLASS_ID); }
};
class C: public A, public B
{
public:
static int CLASS_ID;
inline C () { registerName ("C", &CLASS_ID); }
};
int A::CLASS_ID = -1, B::CLASS_ID = -1, C::CLASS_ID = -1;
int main (int argc, char *argv[])
{
printf ("A: %d, B: %d, C: %d\n", A::CLASS_ID, B::CLASS_ID, C::CLASS_ID);
C x;
assert (x.instanceOf (A::CLASS_ID));
assert (x.instanceOf (B::CLASS_ID));
assert (x.instanceOf (C::CLASS_ID));
printf ("x: %d\n", x.getClassId ());
B y;
printf ("y: %d; instance of A: %s\n",
y.getClassId (), y.instanceOf (B::CLASS_ID) ? "true" : "false");
return 0;
}
|
