2

Можно как-нибудь наследовать перегрузку операторов? Сейчас я повторно дублирую код, например как в нижеприведенном коде.

Базовый класс

using System;
namespace Test
{

public class Base
{
    public double Num { get; set; }

    public Base()
    {

    }

    public Base(Base num)
    {
        Num = num.Num;
    }


    // Перегрузим арифметические операции в базовом классе
    public static Base operator +(Base x, Base y)
    {
        Base base = new Base();
        return new Base(base.Addition(x, y));
    }


    // Какая-то реализация (для перегрузки в базовом классе)
    public virtual Base Addition(Base x, Base y)
    {
        Base base = new Base();
        base.Num = ((x.Num + y.Num) + 10) / 2;

        return base;
    }

    public override string ToString()
    {
        return String.Format($"{Num} ");
    }
  }
}

Производный класс

namespace Test
{

public class RealNumber : Base
{
    public RealNumber()
    {

    }


    public RealNumber(RealNumber num)
    {
        Num = num.Num;
    }

    // Какая-то реализация (для перегрузки в производном классе)
    public RealNumber Addition(RealNumber x, RealNumber y)
    {
        RealNumber realNumber = new RealNumber();
        realNumber.Num = x.Num + y.Num;

        return realNumber;
    }


    public static RealNumber operator +(RealNumber x, RealNumber y)
    {
        RealNumber realNumber = new RealNumber();
        return new RealNumber(realNumber.Addition(x, y));
    }
  }
}
4
  • Попробуйте дописать virtual, если это не поможет (недопустимо) - то прийдется из статики вызывать динамическую ф-цию, и ф-цию делать virtual
    – nick_n_a
    20 ноя 2019 в 12:42
  • технически наверное можно сделать что-то типа virtual MyType Add(MyType b) и вызывать ее в статике, но вызов все равно придется дублировать от класса к классу. Либо определять статику в абстрактном общем предке, но это тоже узкоспециализированная штука получится, в общем случае не пригодна.
    – rdorn
    20 ноя 2019 в 12:45
  • 1
    ru.stackoverflow.com/questions/561690/…
    – 4per
    20 ноя 2019 в 12:58
  • @rdorn ^^^^^^^^
    – 4per
    20 ноя 2019 в 13:01

3 ответа 3

4

В простом явном виде нельзя.

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

Есть обходные пути, для решения проблемы, один из них в соседнем ответе.

1

Наследование перегрузки операторов происходит само собой. Но все типы в сигнатуре останутся, как в предке. То есть при сложении двух RealNumber вы получите объект Base. Как с этим бороться описано здесь Наследование перегрузки операторов

А в следующем вопросе на эту тему (Генерация объектов наследников в коде предка и производительность) мне предложили отказаться от этой идеи. И в конечном итоге я выбрал этот вариант.

4
  • Видел, и даже отметился там в свое время. Но это решение все таки не является наследованием, что противоречит исходному вопросу. Согласно спецификации операторы как и любые статические методы не наследуются. А обходные маневры есть, каждый со своими тараканами и областью применимости. Минусовать не буду, но и корректным решением не считаю.
    – rdorn
    20 ноя 2019 в 16:01
  • @rdorn, Во дела.. я правда думал что наследуются. По поведению-то не отличишь. Пошел читать пруфы..
    – 4per
    21 ноя 2019 в 0:17
  • @rdorn Как и другие члены, операторы, объявленные в базовом классе, наследуются производными классами. docs.microsoft.com/ru-ru/dotnet/csharp/language-reference/…
    – 4per
    21 ноя 2019 в 0:38
  • мдя... че то это совсем грибами отдает. Спорить со спеками не буду, раз уж написали, но спеки пытаются спорить со здравым смыслом и концепциями ООП. Статика всегда была вне объектной модели, в том смысле что не привязана к объектам, следовательно и наследоваться не может, иначе почему отсутствует наследование у статических классов? Похоже такие же грибы как с наследованием у интерфейсов, которое ни разу не наследование, но объявляется одинаково - значит наследование... Мне категорически не понятно зачем называть одним и тем же термином разные по сути вещи. Не этого я ждал от 21-го века =(
    – rdorn
    21 ноя 2019 в 1:05
0

Используйте virtual методы. Я покажу на примере с IEquitable<T>

class Base : IEquitable<Base>
{
    public static readonly Base Default = new Base();

    public int BaseValue { get; }

    public Base(int value)
    {
        BaseValue = value;
    }

    public virtual bool Equals(Base? comparand) =>
        BaseValue == (comparand ?? Default).BaseValue;

    public static bool operator ==(Base? a, Base? b) =>
        a is null ? (b is null ? true : b.Equals(a)) : // у нас `null == Default` b `Default == null`
            a.Equals(b);
    public static bool operator !=(Base? a, Base? b) => !(a == b);
}
class Derived : Base, IEquitable<Derived>
{
    public new static readonly Derived Default = new Derived();

    public int DerivedValue { get; }

    public Derived(int baseValue, int value) : base(baseValue)
    {
        DerivedValue = value;
    }

    public virtual bool Equals(Derived? comparand) =>
        DerivedValue == (comparand ?? Default).DerivedValue &&
        base.Equals(comparand); // implicit case `Derived` -> `Base`
    public override bool Equals(Base? comparand) =>
        comparand is Derived derived ? Equals(derived) :
            base.Equals(comparand); // or `false`

    public static bool operator ==(Derived? a, Derived? b) =>
        a is null ? (b is null ? true : b.Equals(a)) : a.Equals(b);
    public static bool operator !=(Derived? a, Derived? b) => !(a == b);
}

Ваш ответ

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

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