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

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
...
Кто-нибудь хаки для подобного знает?

13 ответов

25 просмотров

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

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

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

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

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

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

vile
такое себе

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

Evgeniy-Alexandrov Автор вопроса
Ilya Chernoudov
А зачем тебе такое?🤔

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

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

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

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

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

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

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

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

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

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

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

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

Обсуждают сегодня

Господа, а что сейчас вообще с рынком труда на делфи происходит? Какова ситуация?
Rꙮman Yankꙮvsky
29
А вообще, что может смущать в самой Julia - бы сказал, что нет единого стандартного подхода по многим моментам, поэтому многое выглядит как "хаки" и произвол. Короче говоря, с...
Viktor G.
2
30500 за редактор? )
Владимир
47
а через ESC-код ?
Alexey Kulakov
29
Чёт не понял, я ж правильной функцией воспользовался чтобы вывести отладочную информацию? но что-то она не ловится
notme
18
У меня есть функция где происходит это: write_bit(buffer, 1); write_bit(buffer, 0); write_bit(buffer, 1); write_bit(buffer, 1); write_bit(buffer, 1); w...
~
14
Добрый день! Скажите пожалуйста, а какие программы вы бы рекомендовали написать для того, чтобы научиться управлять памятью? Можно написать динамический массив, можно связный ...
Филипп
7
Недавно Google Project Zero нашёл багу в SQLite с помощью LLM, о чём достаточно было шумно в определённых интернетах, которые сопровождались рассказами, что скоро всех "ибешни...
Alex Sherbakov
5
Ребят в СИ можно реализовать ООП?
Николай
33
https://github.com/erlang/otp/blob/OTP-27.1/lib/kernel/src/logger_h_common.erl#L174 https://github.com/erlang/otp/blob/OTP-27.1/lib/kernel/src/logger_olp.erl#L76 15 лет назад...
Maksim Lapshin
20
Карта сайта