"Jonas Meyer" <a@b.c> wrote
[8<8<8<]
> Er der mere i mønstret?
Brugen af curiously recurring template pattern med en static i template
basisklassen er også beskrevet i den glimrende bog
C++ Templates, The Complete Guide
Daveed Vandevoorde, Nicolai M. Josuttis
ISBN 0-201-73484-2
Men en mere spændende indgangsvinkel er som alternativ til anvendelse af
virtuelle metoder.
Virtuelle metoder giver run-time polymorfi.
Templates giver compile-time polymorfi, og curiously recurring template
pattern er et forholdsvis simpelt alternativ til virtuelle metoder.
Det kan nemt illustreres med "Template Method" design patternet (fra GoF),
som er beskrevet run-time polymorfisk.
<Run-time polymorfi>
class abstract_base
{
public:
void template_method()
{
primitive_operation_1();
primitive_operation_2();
primitive_operation_3();
}
private:
virtual void primitive_operation_1() = 0;
virtual void primitive_operation_2() = 0;
virtual void primitive_operation_3() = 0;
};
class concrete_class : public abstract_base
{
private:
virtual void primitive_operation_1();
virtual void primitive_operation_2();
virtual void primitive_operation_3();
};
int main()
{
concrete_class cc;
cc.template_method();
}
<Run-time polymorfi/>
<Compile-time polymorfi>
template <typename concrete_derived>
class abstract_base
{
public:
void template_method()
{
static_cast<concrete_derived*>(this)->primitive_operation_1();
static_cast<concrete_derived*>(this)->primitive_operation_2();
static_cast<concrete_derived*>(this)->primitive_operation_3();
}
};
class concrete_class : public abstract_base<concrete_class>
{
private:
friend abstract_base<concrete_class>;
void primitive_operation_1()
{ }
void primitive_operation_2()
{ }
void primitive_operation_3()
{ }
};
int main()
{
concrete_class cc;
cc.template_method();
}
<Compile-time polymorfi/>
Bemærk at compile-time polymorfi giver mulighed for optimal performance med
inlining af funktionerne, og samtidig udtrykker det meget klart bindings
tidspunktet for den tilladelige varians.
Venlig hilsen
Mogens Hansen