Different возвращаемого значения из перегруженного класса

Question

Possible Duplicate:
c++ virtual function return type

У меня есть простой, но запутанный вопрос здесь. Является ли законным иметь другой тип возвращаемого значения для переопределенных методов, чем абстракты, определенные в базовом классе? Я сделал это, и компилятор не пожаловался ... может кто-нибудь объяснить?

class MyBaseClass 
{ 
    int value; 

public: 
    virtual int getValue() = 0; 
}; 

class MyClass : public MyBaseClass 
{ 
    double value; 

public: 
    virtual double getValue(); // here!!! return is double, not int 
}; 

double MyClass::getValue() 
{ 
    return this->value; 
} 

компилятор полностью принял что-то подобное (MSVC унд MinGW) ... может кто-нибудь, пожалуйста, exaplain в какой степени это законно?

Answer 1

Тип возврата разрешен для разных, но только ограниченным образом, и код является незаконным. Единственный способ, с помощью которого можно изменить тип возвращаемого значения переопределения, может быть ковариантным, если возвращаемый тип базы является указателем или ссылкой. Иначе говоря: если база возвращает указатель или ссылку на базовый класс, переопределению разрешено возвращать указатель или ссылку, соответственно, классу, полученному из базы.

Answer 2

Вы являетесь основным? похоже, вы написали метод и ничего больше.