Скорее всего в текущих процедурных макросах этого нет, так как они не имеют в своем контексте ничего кроме того что идёт аргументом.
А что ты хотел сделать, для чего тебе было важно чтоб внутренний макрос выполнился раньше?
У меня есть "асинхронный трейт" через процедурный макрос #[async_trait] impl BucketAdapter for Adapter { } И есть одна из его имплементаций, которая использует так называемый enum-dispatch. Т.е. это имплементация для enum-а, который содержит в себе "структуры", которые тоже имплементят этот трейт. И все реализации методов трейта для этого энума выглядят однообразно: match self { T1(adapter) => adapter.method(arg1, arg2).await, T2(adapter) => adapter.method(arg1, arg2).await, } Я хотел декларативным макросом генерить эти методы только по одной их декларации. Но из-за этого макрос async_trait не видит эти методы, и потому не делает свою магию, подменяя async fn на обычный fn.
Можешь руками развернуть определение функции.
На самом деле там не так всё просто, как в этом примере где у метода даже нет аргументов. Вот в такую кашу разворачивается метод с одним аргументом-ссылкой. Было: async fn get_file_content(&self, name: &str) -> Result<ByteStream, StorageError>; Развернулось в: #[must_use] fn get_file_content<'life0, 'life1, 'async_trait>( &'life0 self, name: &'life1 str, ) -> ::core::pin::Pin< Box< dyn ::core::future::Future<Output = Result<ByteStream, StorageError>> + ::core::marker::Send + 'async_trait, >, > where 'life0: 'async_trait, 'life1: 'async_trait, Self: 'async_trait; Я наверное убъюсь делать такое развёртывание самостоятельно в декларативном макросе
Обсуждают сегодня