5

как я могу перегрузить оператор "+", чтобы можно было получить сумму двух узлов двоичного дерева поиска, учитывая то, что тип я у них сделал произвольным, но если будет тип Int у узлов, то тогда можно сложить, а если другой тип, то нельзя.

Вот код:

class Node<T>
{
    internal T value;

    public static Node<int> operator +(Node<int> A, Node<int> B)
    {
        return new Node<int>(A.value + B.value);
    }

    public int Balance
    {
        get
        {
            if (Left == null && Right == null)
                return 0;
            else if (Left == null && Right != null)
                return 0 - Right.Height;
            else if (Left != null && Right == null)
                return Left.Height;
            return (Left.Height - Right.Height);
        }
        private set { }
    }
    public int Height
    {
        get
        {
            if (Left == null && Right != null)
                return 1 + Right.Height;
            else if (Left != null && Right == null)
                return 1 + Left.Height;
            else if (Left != null && Right != null)
            {
                if (Left.Height >= Right.Height)
                    return Left.Height + 1;
                else
                    return Right.Height + 1;
            }
            else
                return 0;
        }

        private set
        {
        }

    }

Я хочу

  1. сделать так, чтобы эти оператором можно было воспользоваться только если тип значения узла Int
  2. не использовать для этого отдельный новый класс IntNode : Node<int> , а сделать это прямо в Node<T>

Мне выводит такую ошибку:

Тип одного из параметров бинарного оператора должен быть вмещающим.

7
  • Частично это можно сделать на основе IConvertible, но с runtime проверкой и кучей кода stackoverflow.com/a/756995/698589 Не думаю это будет сколько нибудь эффективно.
    – dlxeon
    Commented 18 мая 2018 в 15:23
  • Вам нужно что бы проверка на int была во время компиляции?
    – Zergatul
    Commented 18 мая 2018 в 15:32
  • 1
    Много предложений такого рода поэтому возможно в следующих версиях языка будет реализовано
    – Grundy
    Commented 18 мая 2018 в 18:06
  • Сложение, операция специфичная для T, а не для Node, нет смысла её туда пытаться пихать, реализуйте её как extention для Node<int> Commented 19 мая 2018 в 7:01
  • Вообще, вы пытаетесь сделать довольно странную вещь, у вас есть дерево<T>, и дерево<T>, вы делаете операцию их сложения, в результате которого структура обоих деревьев теряется, и получается новое дерево с одним узлом с содержимом T+T от корневых узлов дерева, выглядит сомнитель Commented 19 мая 2018 в 10:08

1 ответ 1

2

сделать так, чтобы эти оператором можно было воспользоваться только если тип значения узла Int

Невозможно. Это невозможно даже в C++ с его текстовыми шаблонами формата "найти-заменить" (оператор будет доступен, но при компиляции вывалится 10КБ текста ошибок в потрохах инклюдов).

Если класс имеет разные члены в зависимости от параметров, то это не один класс. Вряд ли от этого принципа отступятся.

не использовать для этого отдельный новый класс IntNode : Node<int>, а сделать это прямо в Node<T>

Много вариантов:

  1. Построить Expression с оператором, скомпилировать.
  2. Сгенерировать IL в рантайме.
  3. Воспользоваться отражениями.
  4. Воспользоваться dynamic, который воспользуется отражениями.

Чистого варианта нет. Возможно, когда-нибудь будет, но я бы не сильно надеялся, что это случится скоро: у задачи Exploration: Shapes and Extensions нет ни статуса, ни майлстона (даже "X.0").

Ваш ответ

Нажимая «Отправить ответ», вы соглашаетесь с условиями пользования и подтверждаете, что прочитали политику конфиденциальности.

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