1

Хочу реализовать класс Vector как сущность линейного пространства, а затем от него наследовать обычный DoubleVector и Matrix. Для этого мне бы хотелось определить метод сложения 2х объектов у родителя, но чтобы у наследника возвращался объект класса наследника. Проблема в том, что при наследовании тип возвращаемого объекта остаётся как у объекта класса родителя, но мне хотелось бы, чтобы метод наследника сразу возвращал объект класса наследника. Пример:

class A {
public:
    int n{0};
    A(int n) { this->n = n; }

    void operator+=(const A& other) { n += other.n; }
    A operator+(const A& other) {
        auto res = A(this->n);
        res += other;
        return res;
    }
};

class B: public A {
public:
    B(int n): A(n) {}

    void operator-=(const B& other) { n -= other.n; }
    B operator-(const B& other) {
        auto res = B(this->n);
        res -= other;
        return res;
    }
};

int main() {
    auto a = (B(5) + B(6)) - B(4);
    std::cout << a.n << std::endl;
}

Сумма двух объектов класса B является классом A, для которого операция вычитания не определена, поэтому код упадёт. Вопрос: можно ли не переписывая методы решить эту проблему?

8
  • Матрица, как наследник вектора? Это вектор - матрица, которая..., а не матрица - вектор, который... По-моему, решение в корне неверное.
    – Harry
    22 сен 2019 в 6:05
  • вы запутались в понятиях класса и обьекта. Что вы хотите, я так и не понел... 22 сен 2019 в 6:06
  • Вектор суть элемент линейного пространства, для которого определены базовые операции линейной алгебры, поэтому для меня вектор первичнее матрицы. 22 сен 2019 в 6:22
  • Я хочу сказать, что при наследовании оператор + будет возвращать объект класса родителя, а мне хотелось бы, чтобы он возвращал объект класса наследника 22 сен 2019 в 6:27
  • Так ведь наследование - не первично-вторично, а отношение ЯВЛЯЕТСЯ. Кто мешает вам использовать композицию или еще что? Если можно ответить на вопрос "A - это B, но такой, что..." - то о наследовании можно думать (это еще не 100%, что оно имеет смысл). Если этого нет - говорить о наследовании практически бессмысленно. Итак, продолжите - "Матрица - это вектор, который..."?
    – Harry
    22 сен 2019 в 6:55

3 ответа 3

0

В вашем варианте надо просто вынести оператор -, сделав его свободным, а не привязывать жестко к классу, и конструктор для приведения типов:

class A {
public:
    int n{0};
    A(int n) { this->n = n; }

    void operator+=(const A& other) { n += other.n; }
    A operator+(const A& other) {
        auto res = A(this->n);
        res += other;
        return res;
    }
};

class B: public A {
public:
    B(int n): A(n) {}
    B(const A& a):A(a){}

    void operator-=(const B& other) { n -= other.n; }
};


B operator-(const B& that, const B& other) {
    auto res = B(that.n);
    res -= other;
    return res;
}


int main() {
    auto a = (B(5) + B(6)) - B(4);
    std::cout << a.n << std::endl;
}
1
  • Но получается, что если бы у меня, допустим, в классе A лежал массив, то он бы сначала скопировался в приведении типов, а затем уже я его ещё раз копировал в res = B(that)? 22 сен 2019 в 7:19
0

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

Чтобы наследник возвращал себя нужно всё-таки переопределить метод. Вот так:

class B: public A {
public:
    B(int n): A(n) {}

    void operator-=(const B& other) { n -= other.n; }
    B operator-(const B& other) {
        auto res = B(this->n);
        res -= other;
        return res;
    }
    B operator+(const A& other) {

      // здесь работает метод родительский
      A::operator+=(other);

      // возвращаем себя (наследника)
      return  *this; }
};
1
  • Так мы скорее переопределяем оператор +=, но для оператора + придётся писать тот же код, что и был. 22 сен 2019 в 12:14
0

Проблема в том, что хотя и класс B имеет оператор +, но он возвращает обьект типа А, а этот тип не имеет ни operator-(B), ни оператор преобразования в В, для того, чтобы выполнить (B(5) + B(6)) - B(4). Чтобы это было возможно, оператор, определенный в базовом классе, нужно выполнить последным:

A a = B(5) + (B(6) - B(4))

Или же оператор базового класса должен возвращать другой тип, который может неявно преобразоваться в В( вариантов можно предложить много). Вот пример на основе написанной вами:

class A {   
public:
    int n{ 0 };
    A(int n) : n(n) { }
    //возвращайте содержащийся обьект(или ссыльку)  
    int operator+=(const A& other)
    { 
        n += other.n; 
        return n;
    }
    int operator+(const A& other) {
        A a = *this += other;       
        return a.n;
    }   
};

class B : public A {
public:
    B(int n) : A(n) {}
    B operator-=(const B& other)
    {
        n -= other.n;
        return *this;
    }
    // лучше оператор определить как не член класса
    //она ничего не делает с данным обьектом
    B operator-(const B& other) {               
       B b = *this -= other;      
       return b;
    }
    operator int() { return n; }
};


int main()
{   
    B b = (B(5) + B(6)) - B(4); 
    A& a = b;
    std::cout << a.n << std::endl;  
    return exec();
}

P.S. Базовый класс никак не нужен пользователью наследника, поэтому тут уместнее закрытое(защищенное) наследование

3
  • Я использовал int для краткости записи, так-то там массив, а для него приём преобразования в int не прокатит. А в целом проблему я понимаю (и скобки были специально поставлены). 22 сен 2019 в 12:18
  • повторюсь, вариантов много, и важно, чтобы операция базового класса возвращала тип, который может неявно преобразоваться в тип наследника, чтобы выполнить приведенный вами цепочку операций. Вот и решайте как сделать. Я бы вообше не пользовалься наследованием. 22 сен 2019 в 12:52
  • решение Harry в этом и состоит. 22 сен 2019 в 13:19

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.