MB
В обобщенном виде:
Foo::bar: Foo -> WrappedFoo
И все функции определены на WrappedFoo
Foo::bar: Foo -> WrappedFoo
И все функции определены на WrappedFoo
Size: a a a
2020 October 31
MB
И непонятно, почему ты не хочешь использовать пин для самоссылающихся структур, казалось бы это то что доктор прописал
p
И непонятно, почему ты не хочешь использовать пин для самоссылающихся структур, казалось бы это то что доктор прописал
не хочу потому что мувать эту структуру никто не собирается, и единственное ради чего нужен пин - это вызов одного метода.
D
"никто не собирается" и "гарантии" — это имхо несовместимые вещи
MB
То есть структура будет самоссылающейся только во время работы этого метода?
MB
Тогда непонятно, какие внутренние гарантии могут нарушиться без его вызова
p
То есть структура будет самоссылающейся только во время работы этого метода?
нет, она всегда самоссылающаяся
D
есть какой-то линтер по типу must_use только для функции? У меня есть конструктор Foo::new() и мне нужно чтобы пользователь обязательно вызвал функцию foo.bar() после создания Foo::new(), иначе нарушатся внутренние гарантии.
ну в общем отвечая на оригинальный вопрос,
must_use можно повесить и на функциюMB
А тогда нужно гарантировать так или иначе, что она не будет мувнута
D
тогда будет линт на возвращаемое ею значение
MP
Почему не создать временный объект который бы оборачивал все параметры внутри себя и по вызову метода возвращал бы новый объект
MB
И Pin это максимально эргономичный для пользователя вариант
MP
Типа прокси
D
но ваще, если структура вида
то тут даже пин не поможет
struct Kek {
field1: usize,
field2: *const usize, // ссылка на field1
}то тут даже пин не поможет
D
потому что ничто не помешает замувать объект до того, как ты сделаешь
Pin::newD
разве что макросом создавать, который будет на стеке создавать объект и тут же его пинить
p
тогда будет линт на возвращаемое ею значение
так мне нужно чтобы вызвалась конкретная функция после создания объекта
p
А тогда нужно гарантировать так или иначе, что она не будет мувнута
это гарантируется лайфтаймами уже
D
это гарантируется лайфтаймами уже
никак это лайфтаймами не гарантируешь
p
то есть объект вполне себе в определенном скоупе спокойно используется