Sammenligning af pointere til virtuelle funktioner
I C++ standarden står (med reference til de to operanter) følgende under afsnit ”5.10 Equality operators”: Otherwise if either is a pointer to a virtual function, the result is unspecified.Jeg mener jeg har fundet en løsning, som gør at man kan sammenligne pointere til virtuelle funktioner. Dette spørgsmål beskriver denne løsning. Jeg ønsker blot at høre jeres kommentarer samt om i har nogen erfaring med noget lignende. Tak.
BESKRIVELSEN:
Jeg har lavet et bibliotek. En del af dets interface er nogle template klasser, der benytter funktions typer til deres specialisering samt tager en pointer til en funktion af den pågældende type. Da det er et bibliotek, har jeg ingen mulighed for at begrænse brugen af virtuelle funktioner.
IMPLEMENTERING
class ComparatorBase
{
public:
virtual ~ComparatorBase() {}
virtual bool equal(const ComparatorBase& base) const = 0;
};
template<class T>
class Comparator : public ComparatorBase
{
public:
Comparator(T pfn) : m_pfn(pfn) {}
bool equal(const ComparatorBase& base) const
{
const Comparator<T>* other = dynamic_cast<const Comparator<T>*>(&base);
if (!other) {
return false;
}
return m_pfn == other->m_pfn;
}
private:
T m_pfn;
};
Så vidt jeg kan forestille mig, så burde implementeringen af equal() kunne sammenligne vilkårlige funktions typer. Dette er baseret udelukkende på, at typen af funktionen bestemmes først. Kun member funktioner kan være virtuelle og to virtuelle funktioner fra samme klasse vil ikke kunne have samme adresse i denne her kontekst.
TEST
#include <assert.h>
class Base
{
public:
virtual void foo() = 0;
virtual void bar() = 0;
};
class Derived : public Base
{
public:
virtual void foo() {}
virtual void bar() {}
};
int main(int argc, char* argv[])
{
Derived d;
Comparator<void (Base::*)()> b_foo(&Base::foo);
Comparator<void (Base::*)()> b_bar(&Base::bar);
Comparator<void (Derived::*)()> d_foo(&Derived::foo);
Comparator<void (Derived::*)()> d_bar(&Derived::bar);
assert( b_foo.equal(b_foo) );
assert( !b_foo.equal(b_bar) );
assert( !b_foo.equal(d_foo) );
assert( !b_foo.equal(d_bar) );
}
