н
Литерал None тоже можно сунуть куда угодно
литерал None<T> (это важный момент)
Size: a a a
2020 July 29
AD
Но T же выводится
н
дело не в выводе
A
Но T же выводится
None<int> не тоже самое, что и None<string>
AD
Ты литерал null используешь в двух контекстах:
- при инициализации переменной (там неважно, потому что тип есть у самой переменной)
- при сравнении с переменной (та же история)
- при инициализации переменной (там неважно, потому что тип есть у самой переменной)
- при сравнении с переменной (та же история)
AD
И там и там нам не важен T в None<T> , потрму что он однозначен, и так же не важно какой у тебя null
A
да, всё это было бы круто, если бы null<string> не подставлялся в null<object>
A
а он подставляется
A
(и наоборот)
A
ну и моё любимое - со всеми этими флажками я всё ещё могу просунуть тебе null в non-nullable ref type и у тебя всё взорвётся
AD
ну и моё любимое - со всеми этими флажками я всё ещё могу просунуть тебе null в non-nullable ref type и у тебя всё взорвётся
В фшарпе тоже
AD
Ну тут thanks to dotnet в принципе
AD
да, всё это было бы круто, если бы null<string> не подставлялся в null<object>
ну во я не понимаю, что такое null<object> и null<string>. Хорошо бы видеть пример, где это происходит
AD
Это что ли?
object? o = null;
string? s = o?.ToString();
R
Не, А0 нужен! Кульман и вперде
Частичка Боинга живёт в тебе
н
И там и там нам не важен T в None<T> , потрму что он однозначен, и так же не важно какой у тебя null
это важно когда у тебя есть нулл и его надо проматчить/пройтись рефлексией/etc. и тебе надо знать, какой там был тип на самом деле
н
сериализация, построение запросов, что там ещё
н
еще на нулл не вешаются никакие расширения (или тайпклассы если они в языке есть), пока его явно не прибиндить к типу
M
Ну тут thanks to dotnet в принципе
И это расстраивает конечно
VK
В фшарпе тоже
Ты не можешь положить нулл в переменную класса или рекорда на фшарпе если они были написаны на фшарпе. Компилятор не даст без allownullliteral. В остальных случаях даст