Re: Virtual operator overloads don't seem to work?
This is a MIME GnuPG-signed message. If you see this text, it means that
your E-mail or Usenet software does not support MIME signed messages.
The Internet standard for MIME PGP messages, RFC 2015, was published in 1996.
To open this message correctly you will need to install E-mail or Usenet
software that supports modern Internet standards.
--=_mimegpg-commodore.email-scan.com-25797-1224714586-0003
Content-Type: text/plain; format=flowed; charset="US-ASCII"
Content-Disposition: inline
Content-Transfer-Encoding: 7bit
Stuart Brockman writes:
Hi,
I don't quite get what is going on in this code example:
---------------------------
#include <iostream>
using namespace std;
class Base{
public:
virtual void Test(){
cout << "Base" << endl;
}
virtual bool operator==(const Base &other){
cout << "Base Comparison" << endl;
return false;
}
};
class Derived : public Base{
public:
void Test(){
cout << "Derived" << endl;
}
bool operator==(const Derived &other){
cout << "Derived Comparison" << endl;
return true;
}
};
int main(int argc, char** argv) {
Base a; //Create a base object
a.Test(); //Outputs "Base" as expected
Derived b, c; //Create two derived objects
b.Test(); //Outputs "Derived" as expected
if(b==c) cout << "True" << endl; //Does derived comparison and
returns true as expected.
Base *d=&b, *e=&c; //Create two base pointers to derived objects
d->Test(); //Outputs "Derived" as expected
if(*d==*e) cout << "True" << endl; //Does base comparison and
returns false!?
return 0;
}
----------------------------
The output is:
Base
Derived
Derived Comparison
True
Derived
Base Comparison
Notice, that the line "d->Test()" works correctly, but the comparison
on the next line does not. The compiler (g++ (GCC) 4.2.3 (Ubuntu
4.2.3-2ubuntu7) ) seems to be ignoring the virtual-ness of
Base::operator== .
That's because "bool operator==(const Derived &)" does not polymorphically
overload "bool operator==(const Base &)". In a derived class, the function's
signature must match the base class's virtual function, in order for it to
be polymorphically overloaded (the function parameters must match). In your
case, above, you have two different functions, no different that void foo()
and void bar(). One does not overload the other.
Is this correct?
Yes.
Have I made a mistake?
Yes, but a very natural one.
--=_mimegpg-commodore.email-scan.com-25797-1224714586-0003
Content-Type: application/pgp-signature
Content-Transfer-Encoding: 7bit
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)
iEYEABECAAYFAkj/qVoACgkQx9p3GYHlUOIq5QCeMuRAAHRdVb8htxA7GiCB67Cu
s1wAnRdWTdTw2zlXsi8AOkW6HzEv8wSU
=ayEt
-----END PGP SIGNATURE-----
--=_mimegpg-commodore.email-scan.com-25797-1224714586-0003--