Почему работает вызов нестатического метода в конструкторе класса?

Question

[MatveyGogolev]

Здравствуйте, есть класс дроби Fraction. В классе есть нестатический метод ShortenFraction, который сокращает дробь. Если при создании экземпляра класса нам ввели сократимую дробь, например 12/16, то ее надо сразу сократить. Приведенный код выполняет задачу. У меня вопрос: почему он работает? Мы вызываем нестатический метод в конструкторе, то есть экземпляра класса еще нет?

public Fraction(int numerator, int denominator)
    {
        if (denominator == 0)
            throw new ArithmeticException("Знаменатель = 0");
        this.numerator = numerator;
        this.denominator = denominator;
        ShortenFraction();       
    }

Comments

[Петр]

В .net конструктор выполняется, когда память уже вся выделена. Так что все норм.

Answer 1

[Василий Банников]

Мы вызываем нестатический метод в конструкторе, то есть экземпляра класса еще нет?

Место под него уже выделено, this есть => уже можно вызвать любой не статический метод.

Но это потенциальное пространство для ошибок, ведь компилятор не может проверить, что ты корректно всё инициализировал перед вызовом. На это даже многие инструменты для статического анализа выдадут предупреждение.

Comments

[MatveyGogolev]

Почему метод автоматически применяется к создаваемому экземпляру? Просто так работают методы в конструкторе?

[Василий Банников]

MatveyGogolev,

Почему метод автоматически применяется к создаваемому экземпляру?

А к какому ещё он должен применяться? Если не к создаваемому экземпляру, то тогда на что должен указывать this?

Просто так работают методы в конструкторе?

Так все методы работают, а конструктор - это частный случай метода (причём конструктор - это тоже метод экземпляра)