Como posso saber o endereço do objeto proprietário em C ++?
-
22-08-2019 - |
Pergunta
Eu gostaria de criar em C ++ uma classe Notifier que vou usar em outros objetos para notificar vários titulares quando o objeto é destruído.
template <class Owner>
class Notifier<Owner> {
public:
Notifier(Owner* owner);
~Notifier(); // Notifies the owner that an object is destroyed
};
class Owner;
class Owned {
public:
Owned(Owner* owner);
private:
Notifier<Owner> _notifier;
};
O meu ponto é que, como eu tenho uma densa e gráfico do objeto complicado, eu gostaria de evitar armazenar o endereço do objeto de propriedade do notificador. Existe uma maneira de mudar minha classe notificador para que ele possa deduzir o endereço do objeto de propriedade do seu próprio endereço e um deslocamento que seria calculado em tempo de compilação?
Note também que qualquer objeto pode ter que notificar vários 'donos', possivelmente a partir da mesma classe.
Graças.
Solução
Ou algo parecido com isto:
Herdar do seu notificador e adicionar Owned como parâmetro do modelo. Então você pode ter um método de propriedade disponível dentro do notificador:
template < class Owner , class Owned >
class Notifier
{
public:
Notifier(Owner* owner)
{}
Owned * owned()
{ return static_cast< Owned * >( this ); }
~Notifier()
{
// notify owner with owned()
}
};
class Owner
{};
class Owned : public Notifier< Owner , Owned >
{
public:
Owned( Owner * owner ) : Notifier< Owner , Owned >( owner )
{}
};
Outras dicas
Dê uma olhada na GoF Observer Projeto Patter .
Seria um desagradável cortar e provavelmente não garantido para o trabalho, mas aqui está um pensamento Eu não recomendo este .
Suponha que você tem a sua disposição como você descreveu assim:
template <class Owner>
class Notifier<Owner> {
public:
Notifier(Owner* owner);
~Notifier(); // Notifies the owner that an object is destroyed
};
class Owner;
class Owned {
public:
Owned(Owner* owner);
private:
Notifier<Owner> _notifier;
};
Se _notifier
sabe seu nome, ele poderia calcular o endereço de Owned
como este (que é executado no construtor do Notifier
):
Owned *p = reinterpret_cast<Owned *>(reinterpret_cast<char *>(this) - offsetof(Owned, _notifier));
Basicamente, o pressuposto é que _notifier é em algum deslocamento fixo dentro da classe Owned. Portanto, o endereço da propriedade é igual ao endereço de menos de _notifier
que mesmo deslocamento.
Mais uma vez, este é um comportamento indefinido, que eu não recomendo, mas poderia funcionar.
fa '. s resposta é um bom começo. No entanto, ele não resolver o problema de ter vários proprietários do mesmo tipo. Uma solução é ter a loja notificador uma lista de proprietários em vez de uma única. Aqui é uma implementação rápida, para mostrar a idéia:
template <typename Owner, typename Owned>
class Notifier
{
protected:
Notifier()
{}
// Constructor taking a single owner
Notifier(Owner & o)
{
owners.push_back(&o);
}
// Constructor taking a range of owners
template <typename InputIterator>
Notifier(InputIterator firstOwner, InputIterator lastOwner)
: owners(firstOwner, lastOwner) {}
~Notifier()
{
OwnerList::const_iterator it = owners.begin();
OwnerList::const_iterator end = owners.end();
for ( ; it != end ; ++it)
{
(*it)->notify(static_cast<Owned*>(this));
}
}
// Method for adding a new owner
void addOwner(Owner & o)
{
owners.push_back(&o);
}
private:
typedef std::vector<Owner *> OwnerList;
OwnerList owners;
};
Você pode usá-lo desta maneira:
class Owner;
class Owned : public Notifier<Owner, Owned>
{
typedef Notifier<Owner, Owned> base;
//Some possible constructors:
Owned(Owner & o) : base(o) { }
Owned(Owner & o1, Owner & o2)
{
base::addOwner(o1); //qualified call of base::addOwner
base::addOwner(o2); //in case there are other bases
}
Owned(std::list<Owner*> lo) : base(lo.begin(), lo.end()) { }
};
No caso em que você tem muitos tipos diferentes de Proprietários, esta solução pode se tornar bastante difícil de usar. Neste caso, você pode querer olhar para as bibliotecas boost metaprogramação ( MPL , Fusão ), com o qual você pode acabar com um código que permitem que você faça animais como esse:
class Owned : public Notifier<Owned, OwnerType1, OwnerType1, OwnerType2>
{
Owned(OwnerType1 & o1, OwnerType1 & o2, OwnerType2 & o3)
: base(o1,o2,o3)
};
No entanto, implementar esta solução seria um pouco mais do que o anterior.
Parte da solução seria ter possuído Herdar do Notifier. Desta forma, o endereço do objeto destruído é simplesmente 'isto' ...
class Owned : public Notifier<Owner> {
public:
Owned(Owner* owner)
: Notifier<Owner>(owner)
{}
};
Mas como lidar com vários 'donos' da mesma classe? Como alguém pode herdar várias vezes da 'mesma classe'?
Graças a fa de responder , aqui está a solução que eu estava procurando:
#include <iostream>
template <class Owner, class Owned, int = 0>
class Notifier {
public:
Notifier(Owner* owner)
: _owner(owner)
{}
~Notifier() {
_owner->remove(owned());
}
Owned * owned(){
return static_cast< Owned * >( this );
}
private:
Owner* _owner;
};
class Owner {
public:
void remove(void* any) {
std::cout << any << std::endl;
}
};
class Owned : public Notifier<Owner,Owned,1>, Notifier<Owner,Owned,2> {
public:
Owned(Owner* owner1, Owner* owner2)
: Notifier<Owner,Owned,1>(owner1)
, Notifier<Owner,Owned,2>(owner2)
{}
};
int main() {
std::cout << sizeof(Owned) << std::endl;
Owner owner1;
Owner owner2;
Owned owned(&owner1, &owner2);
std::cout << "Owned:" << (void*)&owned << std::endl << std::endl;
}
Obrigado!
Eu duvido muito. Não há nenhuma maneira para o Notifier saber que ele tem sido usado na composição. E se eu fizer
class Foo
{
private:
Notifier _a, _b, _c;
}
Eu adoraria ser provado que errado, mas eu realmente duvido que seja factível sem dar explicitamente mais informações para o Notifier.