Телеграмм чат группы compilerdev страница 2296

Size: a a a

Compiler Development

2021 June 20

Например в C# можно сделать генерик метод и передать в него тип-структуру

struct A
{
    int a;
    int b;
}

struct B
{
    int a;
    double d;
}

class Main
{
    public static (T, T) Twice<T>(T value)
    {
        return (value, value);
    }

    public static void Main()
    {
        F<A>(new A());
        F<B>(new A());
    }
}

Так как у структур A и B разный размер и разный лейаут, виртуальная машина .NET должна будет мономорфизировать методы C.Twice<A> и C.Twice<B>

источник

22:51пожаловаться #1

Andrei Kurosh in Compiler Development

Вы наверное имели в виду F(new B()) во второй строке в Main

источник

23:01пожаловаться #2

Kir in Compiler Development

У меня есть подозрение, что в C# мономорфизации не происходит вообще

источник

23:01пожаловаться #3

Kir in Compiler Development

Это в F# есть statically-resolved type parameters, а в до-диезе нет

источник

23:01пожаловаться #4

Andrei Kurosh in Compiler Development

На уровне CIL нет, но на уровне джита происходит

источник

23:02пожаловаться #5

а это кто in Compiler Development

А, да

источник

23:09пожаловаться #6

а это кто in Compiler Development

ну и не F(new A()), а Twice(new A())

источник

23:10пожаловаться #7

hazer_hazer in Compiler Development

а я думал, что шарпы как и джава не делают мономорфизацию... но я не шарю, так что 🤷‍♂️

источник

23:14пожаловаться #8

а это кто in Compiler Development

В джаве нет структур поэтому мономорфизация методов не обязательна

источник

23:17пожаловаться #9

а это кто in Compiler Development

В C# есть структуры и, как я понимаю, существует всего два способа реализовать вызов генерик метода со структурой: боксинг или мономорфизация. C# (.NET) использует мономорфизацию потому что боксинг ударяет по производительности

источник

23:17пожаловаться #10

Iaroslav Postovalov in Compiler Development

В джаве raw types есть, мономорфизация не возможна

источник

23:19пожаловаться #11

hazer_hazer in Compiler Development

я тоже подобное хочу делать.
но меня кое-что настораживает:
- Какой тип возвращаемого значения? Если это массив (raw), то мы не знаем его размер
- Если это не массив, то тогда это какая-то heap-alloc структура, vector, например, чтобы функцию можно было в рантайме вызвать
- Если эта функция не расчитана на вызов в рантайме, то тогда получается, это compile-time массив?

источник

23:19пожаловаться #12

а это кто in Compiler Development

Хотя боксинг тоже можно использовать, правда в таком случае это уже будет не генерик функция, а функция принимающая на вход Object:

struct A
{
    int a;
    int b;
}

struct B
{
    int a;
    double d;
}

class Main
{
    public static (Object, Object) Twice(Object value)
    {
        return (value, value);
    }

    public static void Main()
    {
        Twice(new A());
        Twice(new B());
    }
}

источник

23:20пожаловаться #13

hazer_hazer in Compiler Development

не. ну да. я о том, что вы с этой структурой только в ct получается можете работать? или у вас в любой массив обычный ([]) также длина заложена?

источник

23:21пожаловаться #14

а это кто in Compiler Development

typename... это variadic template?

источник

23:23пожаловаться #15

а это кто in Compiler Development

Есть технология позволяющая реализовать N-арные кортежи через 2-арные кортежи

источник

23:27пожаловаться #16

а это кто in Compiler Development

Её плюс в том что она не требует от языка поддержки variadic templates

источник

23:27пожаловаться #17

Kir in Compiler Development

> мы не знаем его размер

зачем второй раст-то делать, одного уже много

источник

23:27пожаловаться #18

hazer_hazer in Compiler Development

Я не понимаю что со мной происходит.

Раст очень странное влияние оказывает на мозг, после него почему-то все решения в других япах кажутся не продуманными. Я кажется схожу с ума

источник

23:28пожаловаться #19

Kir in Compiler Development

наверни хаскелля, должно отпустить

источник

23:28пожаловаться #20