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

Привет. Пытаюсь в импле трейта получить sizeof T, которым параметризована структура.

Не выходит (полный код):

impl<T> B for A<T> {
fn f(&self) {
const SIZE: usize = Self::SIZE; // SIZE ранее прописан в impl для A<T>
//const SIZE: usize = std::mem::size_of::<T>();
}
}

Оба варианта не компилятся с
use of generic parameter from outer function
use a type here instead
Что не так и как починить? Любопытно, что замена const на let всё чинит.

9 ответов

7 просмотров

rustc --explain E0401

Alexander-Karaev Автор вопроса
Roman
rustc --explain E0401

Спасибо. Я это читал, но всё же ответа на вопрос "как чинить" не нашёл. Вспомогательную функцию в impl трейта я сделать не могу. Сделать f generic'ом не могу - требование трейта. Да и в целом в этой справке про const почти не сказано, в основном про типы.

Alexander Karaev
Спасибо. Я это читал, но всё же ответа на вопрос "...

Хотя бы так: struct A<T>(T); impl<T> A<T> { fn get_sizeof_t() -> usize { std::mem::size_of::<T>() } } trait B { fn f(&self); } impl<T> B for A<T> { fn f(&self) { let size = A::<T>::get_sizeof_t(); dbg!(size); //const SIZE: usize = std::mem::size_of::<T>(); } }

Alexander-Karaev Автор вопроса
Roman
Хотя бы так: struct A<T>(T); impl<T> A<T> { ...

Перестаёт работать, если заменить let на const :)

Alexander-Karaev Автор вопроса
Roman
Зачем тебе конст?

Сделать [u8; size_of::<T>()]

Alexander-Karaev Автор вопроса
Roman
Зачем тебе varlena?

Он же не varlen, а вполне себе fixed

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

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

@MrMiscipitlick А можешь макрос написать, который будет вычислять смещение относительно переданных меток? Просто .label1-.label2, и вернуть значение.
КТ315
35
я не магистр хаскеля, но разве не может лейзи тип конвертнуться в не-лейзи запросив вычисление содержимого прям при инициализации?
deadgnom32 λ madao
100
А еще в перле можно уже @arr1 + @arr2?
Sergei Zhmylove
53
Подобного рода ;Следующие три строки это директивы ассемблера, ;которые можно не задавать, т.к.работаем в Visual Studio. ;Символ ";" - это начало однострочного комментария ...
Егор Анелькин
3
Привет всем. появился вопрос. Разрабатываю сайт, в данный момент он запущен. Хостинг beget. Добавляю на сайт яндекс метрику с помощью полей client-settings (взято отсюда http...
Andrew
2
еще вопрос, допустим мы создадим char массив из 10 элементов и присвоим ему через сканф 10 символов. и выведем все символы. Хотел спросить последний элемент /0 будет включать...
Anthem
10
Подскажите, где смотреть результат выполнения программы? Код: ;.686 ;Система команд процессора 686 ;.MODEL FLAT,stdcall ;Модель памяти плоская, станда...
Егор Анелькин
5
открыть папку в проводнике: 1 - ShellExecute 2 - ExecuteProcess 3 - OpenDocument что лучше выбрать?
Alexey Kulakov
12
Изменение типа с SomeException на String и правда удобней @cheese_hs . А вот такой вариант насколько некрасив еще? loadConfigDB :: IO (Either String ConfigDataBase) loadConfi...
Camara
7
Где в Астане можно купить мясо для шашлыков?
Dancing Іңұқәһүғө
21
Карта сайта