trait NewAtomic { default new() // runtime } static impl NewAtomic { static new() // compile-time }

лол

Очень даже про то

ты издеваешься?

это ж будут две разные по сигнатуре функции

перегрузка ж

в расте такого нет

это не специализация

Дааа что ты

Давно в сигнатуру начало входить что-то кроме параметров и возвращаемого значения?

если это разные функции

то это сигнатура разная

Эм

Если бы это было так

То у тебя бы трейты не работали

Как можно вызвать функцию из трейта, реализованную для разных типов

Реализация то разная

Функции разные

СИгнатура одна

Специализация — аналогично

Сигнатура одна, трейтбаунды и реализация разные

Ты мб с замыканиямя путаешь? Вот там да, сигнатура одна, но тип разный и не совместимый

Ну точнее сигнатура только на вид одна

Потому что там еще захваченные переменные

У тебя есть объект, куда ты хочешь добавлять данные из екстерн функции?

да

именно

у меня вообще очень много подобных "тривиальных" архитектурных вопросов, и вопросов по реализации

это в принципе довольно банальные вещи, но как это сделать в расте нихуя не понятно

также я не знаю как бы красиво заворачивать различные контексты в оболочки вьюх

вот например один из важных вопросов в gui приложении это локализация, и нужно иметь возможность эту локализщацию пробрасывать в вьюхи, если делать просто импорт функции которая создает новый контекст перевода - то она с нуля каждый раз обрабатывает все строки, если единовременно создать контекст - получается каша с инициализациями и вечными пробросками локалей в глуб каждой вьюхи из навигатора

gtk rs не имеет и десятой толики возможностей байдингов например того же gtk для python

и получается что ты делаешь костыли

То у тебя бы трейты не работали

Еще раз - Сигнатура функции - это то, что определяет "тип" функции. Если ты хочешь разделения на const/static, то это будет часть твоей сигнатуры, так как нужно разделение. Но тип состоит не только из сигнатуры, так например лямбды содержат свой тег, обычные функции тоже. Теперь насчет трейтов. Сигнатура под каждый тип одна, причем тут перегрузка? Теперь насчет специализации: Специализация - это способ изменить реализацию функции, для более конкретного типа. Т.е. ты не можешь специализацию задать для равнозначных вещей, к примеру impl Trait for u32 и impl Trait for i32 это реализуется без специализации

К тому же зачем делать такое разделение как ты описал? Если тело статик и не статик методов будет одинаково.

Явность как смысл жизни?

придется на го писать

Явность как смысл жизни?

Да

ну сорян, вон раст в implicity идёт

эргономики эти ваши

непонятно где лайфтаймы заканчиваются

да

в куте это полуше, конечно, делается — посредством сигналов

в куте это полуше, конечно, делается — посредством сигналов

а как эти сигналы хендлятся

каким-то ивентлупом?

а как эти сигналы хендлятся

Да, ивентлупом в куте. А слоты привязаны к слотам

Хотя вру

т.е. по сути переход к динамической диспетчерезации

Ивентлупом подписка слотов на сигналы делается

с статической, но не валидированной

а сигналы напрямую слоты вызывают через куте

ну если напрямую

тогда не понятно в чем разница

тот же колбек

как такое сделать на расте?

специализация темплейтов - редкая штука

ну на макросах наверное это легко, но ты ведь не про макросы спрашиваешь?

разве на макрокомандах можно в компайл тайме проверить?

кроме плагинов компилятора

как такое сделать на расте?

пока нет константных женериков - никак

ну разве что извращениями вида is_even<Four>

вообще мне кажется такое должен компилятор оптимизировать а не человек

is_even(4)

сигналы не всегда напрямую вызывают слоты в куте

все это работает через накостыленную рефлексию

при соединении сигнала со слотом ты указываешь способ вызова

если объект сигнала и объект слота принадлежат разным потокам - то рекомендуется соединять их так, чтобы они не напрямую вызывались

да, у каждого потока может быть свой ивентлуп

Ну короче херня, понятно

с куте5 есть синтаксис соединения через шаблоны, т.е. статически валидировано, если я тебя правильно понял

с куте5 есть синтаксис соединения через шаблоны, т.е. статически валидировано, если я тебя правильно понял

Да, именно оно

как такое сделать на расте?

c++20

Сильно сомневаюсь, что концепты в 20 будут.

Но в Rust к 20 году const generics точно запилят

пока нет константных женериков - никак

Подтверждаю, всё остальное уже готово https://play.rust-lang.org/?gist=f4cdf7786360b7471dd168b5f91972d3&version=nightly

Но в Rust к 20 году const generics точно запилят

Обещают сделать топ приорити после нг

как такое сделать на расте?

Хотя тут смысл другой, тут будет ошибка компиляции для не-четных чисел

концепты это короче как трайтбоунд только в шаблонах, да?

Вроде как

Не?

концепты это короче как трайтбоунд только в шаблонах, да?

Похоже, да. Только мощнее и намного сложнее

я тоже подумал про ошибку