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

Выносишь лейаут в аутпут трейта

01:28пожаловаться #1

Dima in rust_offtopic

Делаешь трейт, пишешь у него where size < n, делаешь у трейта output

струтура то одна

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

Dima

струтура то одна

struct Smth<T> {
    inner: <(T, usize) as Compare<IfLess, IfEqual, IfGreater>>::Output,
}

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

Dima in rust_offtopic

Contribute to twissel/clht-rs development by creating an account on GitHub.

struct Smth<T> {
    inner: <(T, usize) as Compare<IfLess, IfEqual, IfGreater>>::Output,
}

это же ненастоящий синтаксис, ифами на уровне компилятора я бы тоже смог разрулить, ладно это все было в контексте https://github.com/twissel/clht-rs , она и так более чем быстра

GitHub

twissel/clht-rs

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

Contribute to twissel/clht-rs development by creating an account on GitHub.

Dima

GitHub

twissel/clht-rs

Синтаксис-то настоящий

01:40пожаловаться #5

Вопрос в том, как реализовать трейт Compare

01:40пожаловаться #6

Если бы в where можно было написать сравнение, то остальное понятно

01:41пожаловаться #7

Dima in rust_offtopic

Если бы в where можно было написать сравнение, то остальное понятно

мне не совсем

01:43пожаловаться #8

Dima

мне не совсем

Пишем

impl<T1, T2, L, E, R> Compare<L, E, R> for (T1, T2) where {size_of::<T1>() < size_of::<T2>()} {
    type Output = L;
}

01:44пожаловаться #9

И дальше как я написал

01:44пожаловаться #10

Dima in rust_offtopic

Пишем

impl<T1, T2, L, E, R> Compare<L, E, R> for (T1, T2) where {size_of::<T1>() < size_of::<T2>()} {
    type Output = L;
}

нет, если я тебя правтльно понял, мне нужно, if T < N then struct Mstruct<T> { fields : ... } else Mstruct<otherfields: ...>

01:49пожаловаться #11

Dima

нет, если я тебя правтльно понял, мне нужно, if T < N then struct Mstruct<T> { fields : ... } else Mstruct<otherfields: ...>

Ну дык
Ты делегируешь через Output в полностью разные структуры

01:50пожаловаться #12

И дальше там делаешь что хочешь

01:50пожаловаться #13

Dima in rust_offtopic

Ну дык
Ты делегируешь через Output в полностью разные структуры

я не очень понимаю как код мою либу будет использовать

01:52пожаловаться #14

Dima

я не очень понимаю как код мою либу будет использовать

У тебя в интерфейсе будет просто Smth<T>, у которой в единственном поле лежит настоящая структура

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

Внешнему коду пофиг

01:53пожаловаться #16

Dima in rust_offtopic

У тебя в интерфейсе будет просто Smth<T>, у которой в единственном поле лежит настоящая структура

ладно, давай как для даунов

01:55пожаловаться #17

У нас есть трейт Compare<L, E, R>

01:55пожаловаться #18

У него есть ассоциированный тип Output

01:55пожаловаться #19

Dima in rust_offtopic

у меня нету трейтов