3

В общем, интереса ради залез в исходники Nullable<T> и увидел вот такое:

public static implicit operator Nullable<T>(T value) {
    return new Nullable<T>(value);
}
internal T value;

    public Nullable(T value) {
        this.value = value;
        this.hasValue = true;
    }       

Я же правильно понимаю, что CLR сама как-то особенно работает с этим типом? Так как иначе я не понимаю, как оно работает в этом случае:

float? nullabe=null

По логике null должен передастся в конструктор и пристроится типу T, который из себя представляет значимый тип => падение.

8
  • А откуда уверенность, что вызовется этот конструктор?
    – yolosora
    8 окт 2019 в 11:59
  • @yolosora там там, вроде, только 1 конструктор.
    – iluxa1810
    8 окт 2019 в 12:00
  • У всех структур есть конструктор без параметров 8 окт 2019 в 12:01
  • @АндрейNOP, да, но неявное преобразование ведь переопределено. Разве он может быть вызван в этом случае?
    – iluxa1810
    8 окт 2019 в 12:03
  • 2
    Неявное преобразование из T, но null это не T 8 окт 2019 в 12:07

1 ответ 1

7

В данном случае, CLR тут ни при чём, это компилятор видит что ожидается тип Nullable<float> и сам подставляет default-значение вместо null. И особое поведение операторов is/as точно так же реализуется компилятором.

Однако, Nullable<> - и правда особенный для CLR тип. Его особенностью является тот факт, что вы никогда не увидите его упакованную версию:

int? i = 5;
object o = i;
Console.WriteLine(o.GetType()); // System.Int32
int j = (int)o; // работает

Ваш ответ

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

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