AZ
А для рантайма это запущенный уровень ьсложности
лол, для рантайма запущенный уровень это 20кб имени типа. Если под рантаймом компиль подразумевать
Size: a a a
2020 March 27
DS
А для рантайма это запущенный уровень ьсложности
Это всё инлайнится полностью
p
Т-34 85
боже, никак не называй. А лучше вообще не юзай такое
да, лучше сишный асинк
DS
Там толком ничего не остается от этих штук
p
А для рантайма это запущенный уровень ьсложности
там остается mov eax 10
S
Там толком ничего не остается от этих штук
Если там 100 строк кода, а сям ничего не остаётся, то в какой области существует эта куча вложенных шаблонов?
G
да, лучше сишный асинк
Сишный асинк, кстати, более требователен к аллокациям на куче, чем растовский
p
Если там 100 строк кода, а сям ничего не остаётся, то в какой области существует эта куча вложенных шаблонов?
на уровне компилятора
p
в рантайме типы трутся все
DS
Если там 100 строк кода, а сям ничего не остаётся, то в какой области существует эта куча вложенных шаблонов?
Имеется в виду, что особой цены не будет от этой кучи типов.
Оно всё в основном нужно компилятору, а не тому, что будет происходить в рантайме
Оно всё в основном нужно компилятору, а не тому, что будет происходить в рантайме
S
значит вот там и запущен уровень сложности.
p
значит вот там и запущен уровень сложности.
ну нет
p
там просто много дженериков
p
это не сложно если разобратсья
DS
значит вот там и запущен уровень сложности.
А это в любом современном компиляторе подобной хрени много.
Тут она просто может быть видна
Тут она просто может быть видна
S
много _вложенныйх дженериков
DS
много _вложенныйх дженериков
Да, потому что там считай декораторы декораторов декораторов.
Это важно для того, чтобы у компилятора была информация что именно вызывалось и не было динамических вызовов
Это важно для того, чтобы у компилятора была информация что именно вызывалось и не было динамических вызовов
DS
Всё это можно спрятать за Box<dyn Future...>, но зачем, если оно всё прячется за impl Future
S
Да, потому что там считай декораторы декораторов декораторов.
Это важно для того, чтобы у компилятора была информация что именно вызывалось и не было динамических вызовов
Это важно для того, чтобы у компилятора была информация что именно вызывалось и не было динамических вызовов
Подобная сложность вызывает проблемы. Самая очевидная - размер debug-бинарников, тут уж врядли кто поспорит
p
бонусный вопрос - как в венгерской нотации нужно назвать переменную типа
futures::future::and_then::AndThen<futures::stream::concat::Concat2<hyper::body::body::Body>, futures::future::or_else::OrElse<futures::future::map::Map<futures::future::and_then::AndThen<futures::future::and_then::AndThen<futures::future::map_err::MapErr<futures::future::result_::FutureResult<contract::Update, serde_json::error::Error>, [closure@src\main.rs:139:22: 144:14]>, std::result::Result<(contract::User, std::string::String, i64, i64), http::response::Response<hyper::body::body::Body>>, [closure@src\main.rs:145:23: 162:14]>, futures::future::map_err::MapErr<futures::future::and_then::AndThen<impl futures::future::Future, futures::future::either::Either<futures::future::and_then::AndThen<impl futures::future::Future, futures::future::either::Either<futures::future::then::Then<impl futures::future::Future, futures::future::either::Either<impl futures::future::Future, futures::future::result_::FutureResult<(), telegram_client::TelegramClientError>>, [closure@src\main.rs:211:51: 224:46 telegram_client:_, chat_id:_, text:_]>, futures::future::result_::FutureResult<(), telegram_client::TelegramClientError>>, [closure@src\main.rs:173:90: 230:30 file_id:_, ext:_, user:_, message_id:_, dbs:_, chat_id:_, telegram_client:_]>, futures::future::result_::FutureResult<(), telegram_client::TelegramClientError>>, [closure@src\main.rs:166:31: 235:22 user:_, chat_id:_, message_id:_, telegram_client:_, file_id:_, dbs:_]>, [closure@src\main.rs:236:30: 242:22]>, [closure@src\main.rs:163:23: 243:14 telegram_client:_, dbs:_]>, [closure@src\main.rs:245:18: 248:14]>, std::result::Result<http::response::Response<hyper::body::body::Body>, hyper::error::Error>, fn(http::response::Response<hyper::body::body::Body>) -> std::result::Result<http::response::Response<hyper::body::body::Body>, hyper::error::Error> {std::result::Result<http::response::Response<hyper::body::body::Body>, hyper::error::Error>::Ok}>, [closure@src\main.rs:136:54: 250:6 telegram_client:_, dbs:_]>вот здесь тип
AndThen<Concat2<Body>, OrElse<Map<AndThen<AndThen<MapErr<FutureResult<Update, Error>, ...>