Ошибка не соответствует ожиданию, почему?

Question

[Nightmare A]

Код ошибки.

In file included from ./Machinarium/Classes/Geometry/Vector2.cpp:1:
./Machinarium/Classes/Geometry/Vector2.h: In instantiation of ‘class Vector2D<int>’:
./Machinarium/Classes/Geometry/Vector2.cpp:102:16:   required from here
./Machinarium/Classes/Geometry/Vector2.h:8:23: error: invalid covariant return type for ‘Vector2D<T> Vector2D<T>::add_by_number(T) [with T = int]’
    8 | #define DVector(name) Vector ## name ## D
./Machinarium/Classes/Geometry/Vector2.cpp:37:15: note: in expansion of macro ‘DVector’
   37 | DVector(2)<T> DVector(2)<T>::add_by_number(T value)
      |               ^~~~~~~
In file included from ./Machinarium/Classes/Geometry/Vector2.h:10,
                 from ./Machinarium/Classes/Geometry/Vector2.cpp:1:
./Machinarium/Classes/Geometry/../../Interfaces/IVector.hpp:33:15: note: overridden function is ‘C IVector<C, T>::add_by_number(T) [with C = Vector2PD<int>; T = int]’
   33 |     virtual C add_by_number(T) = 0;
      |               ^~~~~~~~~~~~~

Декларация в классе

template<class C, typename T> class IVector {
public:

...

    virtual C add_by_number(T) = 0;

...

template<typename T>
class DVector(2) : public DVector(2P)<T>, public IVector<DVector(2P)<T>, T>
{
public:

...

        virtual DVector(2) add_by_number(T);

...

template<typename T>
DVector(2)<T> DVector(2)<T>::add_by_number(T value)
{
    return DVector(2)<T>(this->x() + value, this->y() + value);
}

Почему возникает ошибка?

Answer 1

[Wataru]

В родительском классе у вас DVector(2P), а в наследнике DVector(2).

Несовподают типы, об этом вам компилятор и говорит.

Comments

[Nightmare A]

Да, но в наследнике реализуется этот метод.

[Wataru]

Вадим Ушаков, Но в наследнике у него другой тип возвращаемого значения! А имя то же самое. Вот тут компилятор и офигивает. Вообще, говоря, можно иметь несколько функций с одним и тем же именем, но разными входными параметрами (перегрузка имен), но такой же фишки с типом возвращаемого значения нет. Если уж параметры и имя у виртуальной функции такие же, то извольте и возвращаемый тип не менять.

[Nightmare A]

Wataru, Перегрузки нет, есть имплементация интерфейса.

[jcmvbkbc]

Если уж параметры и имя у виртуальной функции такие же, то извольте и возвращаемый тип не менять.

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

[Wataru]

Вадим Ушаков, ну вот вы имплиментируете интерфейс, но возвращаете другой класс: 2 вместо 2P в vectord. Опечатка, похоже.

[Nightmare A]

Wataru, А, понял. А есь возможность как то в шаблоне указать текущий класс? Т.е. не 2P а DVector(2)

[Wataru]

Вадим Ушаков, Есть. Вместо DVector(2P), надо написать DVector(2).

[Nightmare A]

Wataru,

[with T = int]’:
./Machinarium/Classes/Geometry/Vector2.cpp:102:16:   required from here
./Machinarium/Classes/Geometry/Vector2.cpp:27:36: error: passing ‘const Vector2D<int>’ as ‘this’ argument discards qualifiers [-fpermissive]
   27 |     return DVector(2)<T>(this->x() + vector2d.x(), this->y() + vector2d.y());

Как понять ошибку?

[Wataru]

Вадим Ушаков, Создайте другой вопрос со всем кодом. Судя по всему, где-то не стоит const. Вы должны пометить все методы, вызываемые на const объектах, что они const.

Например x, y и add_by_number, похоже, не меняют объект.

[Nightmare A]

Wataru, Там ни одна функция не менает объект. Убрал модификатор const со всех аргументов, скомпилировалось.

[Wataru]

Вадим Ушаков, Если функция не меняет объект, то правило хорошего тона - поставить у функции const:
int f(int x) const {

Тогда ее можно будет вызывать и у const объектов. У вас же получается, что нельзя почти нигде использовать константные объекты, потому что вы на них пытаетесь вызывать не меняющие их функции, но компилятору это не видно. Вот чтобы ему было видно и надо руками проставлять const.

[Nightmare A]

Wataru, Не меняет собственный объект или объект аргумента?

[Wataru]

Вадим Ушаков, Может быть и то и другое. Нужен код целиком. Вся функция, где она вызывается. И ошибка компилятора целиком. Она там может в соседней строчке подчеркнула и стрелочку нарисовала, где именно ошибка.

Но факт в том, что вы у какого-то константного объекта const Vector2D вызываете некотнстантную функцию

[Nightmare A]

Wataru, Странно, имело бы место смотреть на изменчивость / не изменчивость объекта . Неконстантная функция, функция без модификатора в конце const?

In file included from ./Machinarium/Classes/Geometry/Vector2.h:10,
                 from ./Machinarium/Classes/Geometry/Vector2.cpp:1:
./Machinarium/Classes/Geometry/../../Interfaces/IVector.hpp: In instantiation of ‘class Vector2D<int>’:
./Machinarium/Classes/Geometry/Vector2.cpp:99:16:   required from here
./Machinarium/Classes/Geometry/../../Interfaces/IVector.hpp:25:15: error: invalid abstract return type ‘Vector2D<int>’
   25 |     virtual C add_by_vector(const C&) = 0;

Ещё одна ошибка.

[Wataru]

Вадим Ушаков,

Неконстантная функция, функция без модификатора в конце const?

Да. Этим вы говорите, что можно ее вызывать у константного объекта.

Ещё одна ошибка.

"abstract". У класса наследника не определен какой-то из virtual = 0 методов предка.

У всех методов, которые по вашей задумке должны реализовывать интерфейс, вы должны поставить override. Тогда компилятор вам сразу скажет, что вы где-то опечатались или ошиблись. Вы или где-то параметры напутали, или опечатались в названии или еще что-то. В итоге что-то не то переопределили в наследнике.

[Nightmare A]

Wataru, Получается нельзя имплементировать виртуальне функции в .cpp файлах?

In file included from ./Machinarium/Classes/Geometry/Vector2.h:10,
                 from ./Machinarium/Classes/Geometry/Vector2.cpp:1:
./Machinarium/Classes/Geometry/../../Interfaces/IVector.hpp: In instantiation of ‘class Vector2D<int>’:
./Machinarium/Classes/Geometry/Vector2.cpp:99:16:   required from here
./Machinarium/Classes/Geometry/../../Interfaces/IVector.hpp:27:15: error: invalid abstract return type ‘Vector2D<int>’
   27 |     virtual C add_by_vector(const C&) = 0;
      |               ^~~~~~~~~~~~~

template<typename T>
class DVector(2) : public IVector<DVector(2)<T>, T>, public BaseGUISegmentClass
{
/**
  * @brief Класс вектора с двумя членами.
  * 
  */

    ParameterGetSetTyped(T, x);
    ParameterGetSetTyped(T, y);

public:
   ~DVector(2)();

    /**
     * @brief Construct a new Vector 2 object
     * 
     * @param x Параметр Y дублируется из параметра Х.
     */
    DVector(2)(T x);
    
    /**
     * @brief Construct a new Vector 2 object
     * 
     * @param x Значение параметра Х
     * @param y Значение параметра У
     */
    DVector(2)(T x, T y);


public:
    virtual float length();
    virtual DVector(2) add_by_vector(const DVector(2)&) const;
    virtual DVector(2) add_by_number(T);
    virtual DVector(2) sub_by_number(T);
    virtual DVector(2) sub_by_vector(const DVector(2)&);
    virtual DVector(2) multiple_by_number(T);
    virtual DVector(2) divide_by_number(T);
    virtual DVector(2) multiple_by_vector(const DVector(2)&);
    virtual DVector(2) divide_by_vector(const DVector(2)&);
    virtual float calculate_angle(const DVector(2) &);
    virtual float calculate_projection(const DVector(2)&);
    virtual bool equals_to(const DVector(2)&);
    virtual float distance_to(const DVector(2)&);
    virtual T scalar_multiply(const DVector(2)&);
};

[Wataru]

Вадим Ушаков, Можно. Только надо чтобы сигнатура метода совпадала. Опять у вас где-нибудь опечатка.

Создайте новый вопрос с кодом целиком.

[Nightmare A]

Wataru, https://qna.habr.com/q/1161630