MK
Ща сформулирую
..varSize: a a a
2020 March 15
А⚙
Почему не
Синтаксис неоднозначный получается
MK
У меня есть функции которые через nom что-то там парсят. nom нынче позволяет пользователю указывать свой тип ошибки. Чтобы настраивать поведение - от полного игнора, до очень подробной информации. Поэтому я тоже возвращаю
Но вот для модульных тестов я бы хотел, чтобы
Сейчас ругается на то что не смог E вывести:
Result<T, E>.Но вот для модульных тестов я бы хотел, чтобы
E = (), и следующий код компилировался:assert_eq!(Ok(types::PowerUSB::On), decode(&x));
Сейчас ругается на то что не смог E вывести:
error[E0283]: type annotations required: cannot resolve `_: nom::error::ParseError<&[u8]>`
В
А как мне заставить Rust выводить тип тогда?
fun::<T>()?MK
А вот чтобы руками не вписывать
p
А вот чтобы руками не вписывать
Почему не хочешь руками писать?
В
У меня есть функции которые через nom что-то там парсят. nom нынче позволяет пользователю указывать свой тип ошибки. Чтобы настраивать поведение - от полного игнора, до очень подробной информации. Поэтому я тоже возвращаю
Но вот для модульных тестов я бы хотел, чтобы
Сейчас ругается на то что не смог E вывести:
Result<T, E>.Но вот для модульных тестов я бы хотел, чтобы
E = (), и следующий код компилировался:assert_eq!(Ok(types::PowerUSB::On), decode(&x));
Сейчас ругается на то что не смог E вывести:
error[E0283]: type annotations required: cannot resolve `_: nom::error::ParseError<&[u8]>`
Ok::<_, ()>(types::PowerUSB::On)В
А вот чтобы руками не вписывать
Можно сделать макрос на замену
assert_eq, который будет устанавливать тип ошибки, но такоеА⚙
red75prime
std::thread::sleep в асинхронном коде не нужен никогда, от слова совсемДа и в синхронном на самом деле тоже редко нужен
В
Можно сделать макрос на замену
assert_eq, который будет устанавливать тип ошибки, но такоеили
fn ok<T>(val: T) -> Result<T, ()> {
val
}Э
Когда в расте появится возможность определять размер для &(mut) T, где T: !Sized ? Прямо сейчас ссылки на безразмерный тип константно захаркожены в качестве двух usize'ов.
Э
Даже Deref не накодить для ссылок отличных от стандарта.
В
Когда в расте появится возможность определять размер для &(mut) T, где T: !Sized ? Прямо сейчас ссылки на безразмерный тип константно захаркожены в качестве двух usize'ов.
Что значит "определять размер", в чём проблема?
r
Когда в расте появится возможность определять размер для &(mut) T, где T: !Sized ? Прямо сейчас ссылки на безразмерный тип константно захаркожены в качестве двух usize'ов.
Это только для слайсов толстая ссылка (или указатель) является парой из (указатель на начало, размер). Для трейт-объектов - это (указатель на данные, указатель на vtable)
Э
Что значит "определять размер", в чём проблема?
Делаешь struct Yoba { _marker: PhantomData<_>, unsized: [()] }, но size_of::<&Yoba>() выдаст тебе size_of::<usize>() * 2, независимо от того, как ты хочешь определить ссылку для своего !Sized типа.
Э
red75prime
Это только для слайсов толстая ссылка (или указатель) является парой из (указатель на начало, размер). Для трейт-объектов - это (указатель на данные, указатель на vtable)
Но мне не нужны трейтовые объекты, мне нужен толстый указатель, но не из двух юсайзов.
p
Когда в расте появится возможность определять размер для &(mut) T, где T: !Sized ? Прямо сейчас ссылки на безразмерный тип константно захаркожены в качестве двух usize'ов.
Ссылка имеет константый размер
p
А, неправильно прочитал.
Зачем тебе дереференсить !Sized тип?
Зачем тебе дереференсить !Sized тип?
Э
Ссылка имеет константый размер
&i32 == size_of<usize>
&[i32] == (size_of<usize> * 2)
И где тут константа?
&[i32] == (size_of<usize> * 2)
И где тут константа?
В
&i32 == size_of<usize>
&[i32] == (size_of<usize> * 2)
И где тут константа?
&[i32] == (size_of<usize> * 2)
И где тут константа?
2 константы