Generics в дотнете конечно прекрасны, но когда нужно хоть как-то

Question

Generics в дотнете конечно прекрасны, но когда нужно хоть как-то

ветвиться по этому типу - постоянно натыкаешься на подводные камни и мины
И если в ситуации
Foo<T>(T value) {
if (typeof(T) == typeof(int)){
int number = (int) value // compilation error!
...
Можно закостылить через (int)(object) value или Unsafe.As<T,int>(ref value)
То при работе не с переменными конкретных типов, а самими generic constrains я даже не знаю как костылить
Foo<T>() {
typeof(T).IsValueType
? return FooStruct<T>() // FooStruct<T>() where T: struct
: return FooClass<T>() // FooClass<T>() where T: class
...
Кто-нибудь хаки для подобного знает?

#net #programming #russian

0

17.02.2022

13 ответов

22 просмотра

Andrii Kurdiumov

А что с typeof не так?

0

17.02.2022

Ilya Chernoudov

А зачем тебе такое?🤔

0

17.02.2022

Evgeniy Alexandrov Автор вопроса

Вообще никакого вывода типа на уровне codeflow во время компиляции if (typeof(T).IsValueType) { // Внутри данного блока T остается тем же самым, // вызвать метод с ограничением T:struct компилятор не даст } Причем на уровне рантайма то было бы все норм из-за генерации конкретной специализации на каждый структурный тип, ограничение чисто на уровне компиляции

0

17.02.2022

Ayrat Hudaygulov

они или могут, или не компилится

0

17.02.2022

vile

Ayrat Hudaygulov
они или могут, или не компилится

такое себе

0

17.02.2022

Ayrat Hudaygulov

vile
такое себе

А какое ещё надо если это инлайн функция и существует только в компайл тайме?

0

17.02.2022

Evgeniy Alexandrov Автор вопроса

Ilya Chernoudov
А зачем тебе такое?🤔

В данный момент столкнулся - делаю IdentityEqualityComparer<T> Хочу что б нем было свойство IEqualityComparer<T> Instance, и оно возвращало ReferenceEqualityComparer<T>,Instance для ссылочных типов, а для структур другую, более тяжелую реализацию, с сравнением битиков для Equals и невиртуальным ValueType.GetHashCode для GetHashCode

0

17.02.2022

vile

Ayrat Hudaygulov
А какое ещё надо если это инлайн функция и существ...

нужна гарантия, что компилятор выведет тип. Что значит "не компилится"? Это значит, что валидный код отсечётся?

0

17.02.2022

Ayrat Hudaygulov

vile
нужна гарантия, что компилятор выведет тип. Что зн...

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

0

17.02.2022

vile

Ayrat Hudaygulov
не компилится это значит кто компилятор не может с...

ну если мнение компилятора может не совпадать с реальностью, то это и есть "такое себе"

0

17.02.2022

Ilya Chernoudov

Evgeniy Alexandrov
В данный момент столкнулся - делаю IdentityEqualit...

А чем не устраивает твоя реализация через typeof и isvaluetype? 🤔 Всё равно девиртуализация не сработает

0

17.02.2022

Alexey Tkachenko

Evgeniy Alexandrov
Вообще никакого вывода типа на уровне codeflow во ...

Кстати pattern matching с выпихиванием переменной должен прокатить. По идее инлайнер должен выпилить все неподходящие ветви как минимум для значимых типов

0

17.02.2022

Alexey Tkachenko · Accepted Answer

Alexey Tkachenko

dynamic и кодогенерация выражений

0

17.02.2022

170 похожих чатов

Generics в дотнете конечно прекрасны, но когда нужно хоть как-то

13 ответов

Похожие вопросы