=?windows-1252?Q?Re=3A_Abstract_classes_=93interfaces=94_and_const_meth?= =?windows-1252?Q?ods?=

Now I have a better idea what I want from the language.
Please don?t blame me if I change my mind later :)

I would like that non const virtual function were considered as the
same function if they were override as const or non const.
The rationale is that a non const pointer can be converted to a const
pointer automatically.

I think this should be the default behavior of the language, but it
isn?t. So it would be necessary an extra word to say what we want to
do.
Maybe mutable is not the best one, but just to exemplify the point:

struct base { virtual void f() const mutable = 0; }; //error
struct base { virtual void f() mutable = 0; }; //ok
struct derived1 : public base { virtual void f() {} }; // ok
struct derived2 : public base { virtual void f() const {} }; //ok

derived1 d1;
derived2 d2;
base *p1 = &d1; // ok
base *p2 = &d2; // ok

void (derived1::*PF)(void) mutable = &derived1::f; // ok

--
      [ See http://www.gotw.ca/resources/clcm.htm for info about ]
      [ comp.lang.c++.moderated. First time posters: Do this! ]