Un patrón de diseño no excesivamente conocido es el patrón PassKey que se usa principalmente para restringir el acceso a determinadas funciones públicas (la opción sería usar friend en las clases principales y eso produce demasiado acoplamiento).
Una implementación básica podría ser:
template<class T>
class PassKey
{
friend T;
PassKey()
{ }
PassKey(PassKey const&)
{ }
PassKey& operator=(PassKey const&) = delete;
};
Nota que todos los elementos son privados... la gracia está en que únicamente el tipo T
será capaz de crear objetos de este tipo. Un ejemplo de uso para verlo mejor:
class Objeto
{
public:
// Puede ser llamada por cualquiera
void FuncionPublica()
{ }
// Solo Autorizado puede llamar a esta funcion
void FuncionRestringida(PassKey<Autorizado>)
{ }
private:
// Nadie puede llamar a esta funcion
void FuncionPrivada()
{ }
};
class Autorizado
{
public:
void Func(Objeto& obj)
{
obj.FuncionPublica(); // ok
obj.FuncionRestringida(PassKey<Autorizado>()); // ok
obj.FuncionPrivada(); // error de compilacion -> esperado
}
};
class Espia
{
public:
void Func(Objeto& obj)
{
obj.FuncionPublica(); // ok
obj.FuncionRestringida(PassKey<Autorizado>()); // error de compilacion
obj.FuncionRestringida(PassKey<Espia>()); // error de compilacion
obj.FuncionPrivada(); // error de compilacion -> esperado
}
};
Pues bien, ahora que ya está explicado el contexto vamos al lío. Ahora resulta que Objeto.FuncionRestringida()
tiene que ser accedido por dos clases diferentes:
class Objeto
{
public:
// Solo Autorizado y OtraClase pueden llamar a esta funcion
void FuncionRestringida(PassKey<Autorizado,OtraClase>);
};
... en teoría el problema no reviste demasiada dificultad... basta con ampliar la plantilla. veamos:
version1
La plantilla ahora admite dos tipos:
template<class T1, class T2 = void>
class PassKey
{
friend T1;
friend T2;
PassKey()
{ }
PassKey(PassKey const&)
{ }
PassKey& operator=(PassKey const&) = delete;
};
Problema... el constructor copia requiere que el objeto recibido sea de tipo PassKey<Autorizado,OtraClase>
, lo cual obliga a modificar tanto Autorizado
como OtraClase
para que creen el objeto del tipo correcto... demasiado engorroso:
class Autorizado
{
public:
void Func(Objeto& obj)
{
obj.FuncionRestringida(PassKey<Autorizado,OtraClase>()); // ok pero engorroso..
obj.FuncionRestringida(PassKey<OtraClase,Autorizado>()); // error de compilacion
}
};
La idea debería ser que cada uno se preocupe de crear una llave con su tipo y crear algun mecanismo que haga las conversiones pertinentes:
PassKey<T1> -> PassKey<T1,T2>
PassKey<T2> -> PassKey<T1,T2>
version 2
Intentamos sobrecargar los constructores para hacer las conversiones:
template<class T1, class T2 = void>
class PassKey
{
friend T1;
friend T2;
PassKey()
{ }
PassKey(PassKey const&)
{ }
PassKey(PassKey<T1> const&)
{ }
PassKey(PassKey<T2> const&)
{ }
PassKey& operator=(PassKey const&) = delete;
};
Problema... se producen errores de compilación:
error: multiple overloads of 'PassKey' instantiate to the same signature 'void (const PassKey<Autorizado> &)'
PassKey(PassKey<T1> const&)
^
note: in instantiation of template class 'PassKey<Autorizado, void>' requested here
obj.FuncionRestringida(PassKey<Autorizado>());
^
note: previous declaration is here
PassKey(PassKey const&)
^
error: multiple overloads of 'PassKey' instantiate to the same signature 'void (const PassKey<OtraClase> &)'
PassKey(PassKey<T1> const&)
^
note: in instantiation of template class 'PassKey<OtraClase, void>' requested here
obj.FuncionRestringida(PassKey<OtraClase>());
^
note: previous declaration is here
PassKey(PassKey const&)
error: 'PassKey<T1, T2>::PassKey(const PassKey<T2>&) [with T1 = void; T2 = void]' cannot be overloaded
error: with 'PassKey<T1, T2>::PassKey(const PassKey<T1>&) [with T1 = void; T2 = void]'
In member function 'void Autorizado::Func(Objeto&)':
error: initializing argument 1 of 'void Objeto::FuncionRestringida(PassKey<Autorizado>)'
Llegados a este punto... ¿hay solución al problema?