Функциональная подпись и наследование в C++

Question

Предположим, у меня есть два класса: A и B и B - A.

Класс A:

class A 
{ 
public: 
    virtual const unsigned char* getArray() 
    { 
     return array; 
    } 

protected: 
    unsigned char array[250]; 
}; 

Класс B:

class B : public A 
{ 
public: 
    virtual unsigned char* getArray() 
    { 
     return array; 
    } 
}; 

Могу ли я создать класс C, который будет делать это?

class C 
{ 
public: 
    const unsigned char* getArrayMiddle(A &a) 
    { 
     return (a.getArray() + 125); 
    } 

    unsigned char* getArrayMiddle(B &b) 
    { 
     return (b.getArray() + 125); 
    } 
}; 

С помощью этого простого примера, я пытаюсь узнать, если я могу создать два метода в классе C, один из них возвращается константный указатель, если требуется по типу объекта он получает.

Будет ли компилятор автоматически вызывать правильный метод в C в зависимости от типа параметра, даже если B получает A?

Чтобы уточнить, если у меня есть

A* obj = new B(); 
C c; 
c.getArrayMiddle(*obj); 

, какая функция будет называться? Может ли это создать непредвиденные ситуации?

Answer 1

Будет ли компилятор автоматически вызывать соответствующий метод C в зависимости от типа параметра, даже если B происходит A?

Компилятор интерпретирует вызов метода как являющиеся ни к одному из двух способов в зависимости от типа статического (во время компиляции) выражения аргумента. Считаете ли вы, что это , правильный метод определяется, я полагаю, по которому вы хотите быть вызванным.

Если статический тип аргумента равен B &, тогда будет вызываться второй вариант (возврат unsigned char *). Если это не B &, а A &, тогда будет вызываться первый вариант (возврат const unsigned char *).

Точные правила, определяющие, какой перегруженный метод вызывается, в которых обстоятельства являются довольно сложными, но обычно предпочтительным является подходящий кандидат . В этом случае B & более конкретно, чем A &, поэтому он будет вызываться, если аргумент равен B &, хотя он в этом случае тривиально конвертируется в A & из-за иерархии наследования.

Однако, стоит отметить, что (согласно комментарию от cpplearner) ваш код, как опубликовано, не должен компилироваться. B не может переопределить getArray с версией, которая отбрасывает квалификатор const. G ++ 5.4 диагностирует это как ошибку. Вместо этого вы можете не использовать один метод для другого: отпустите спецификатор virtual или укажите им разные имена или отметьте метод в A как метод const.