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
|
The class template tt(MultiBase) is tt(Multi)'s base class. It
defines a class that, eventually, is derived from the list of tt(Policy)
types that, in turn, were created by tt(Multi) using any additional types that
were passed to it.
tt(MultiBase) itself has no concept of a tt(Policy). To tt(MultiBase) the
world appears to consist of a simple template pack whose types are used to
define a class from. In addition to the tt(PolicyTypes) template pack,
tt(MultiBase) also defines a tt(size_t nr) non-type parameter that is used to
create unique tt(UWrap) types. Here is tt(MultiBase)'s generic class
declaration:
verbinclude(//MULTIBASE examples/multi.h)
Two specializations handle all possible tt(MultiBase) invocations. One
specialization is a recursive template. This template handles the first type
of tt(MultiBase)'s template parameter pack and recursively uses itself to
handle the remaining types. The second specialization is invoked once the
template parameter pack is exhausted and does nothing. Here is the definition
of the latter specialization:
verbinclude(//MULTIBASEDONE examples/multi.h)
The recursively defined specialization is the interesting one. It performs
the following tasks:
itemization(
it() It is derived from a unique tt(UWrap) type. The uniqueness is
guaranteed by using tt(MultiBase)'s tt(nr) parameter when defining
tt(UWrap). In addition to tt(nr) the tt(UWrap) class receives the first type
of the template parameter pack made available to tt(MultiBase);
it() It is also recursively derived from itself. The recursive
tt(MultiBase) type is defined using as its first template argument an
incremented tt(nr) value (thus ensuring the uniqueness of the tt(UWrap) types
defined by recursive tt(MultiWrap) types). Its second template argument is the
tail of the template parameter pack made available to tt(MultiBase)
)
An illustration showing the layout of the tt(MultiBase) class
hierarchy is provided in figure ref(MultiBaseFig).
figure(advancedtemplates/multibase)
(Layout of a MultiBase class hierarchy)
(MultiBaseFig)
tt(MultiBase)'s constructor simply receives the initialization values that
were (originally) passed to the tt(Multi) object. Perfect forwarding is used
to accomplish this. tt(MultiBase)'s constructor passes its first parameter
value to its tt(UWrap) base class, also using perfect forwarding.
tt(MultiBase)'s recursive definition is:
verbinclude(//MULTIBASEREC examples/multi.h)
|
