Чудеса nightly, часть 2: ключи, которые есть только у std

В сфере искусственного интеллекта произошло заметное событие. В стандартной библиотеке лежит макрос pin!. Стабильный с версии 1. 68, живёт в core, зовёт его каждый, кто хоть раз закреплял футуру на стеке.

Значащая для нашего разговора строчка внутри у него одна, и повторить её у себя не выйдет: конструкции, на которой она держится, в языке официально нет. Случай не единственный, второй лежит вообще на виду. Откройте объявление Vec и посмотрите внимательно: там не Vec, а Vec, два параметра.

Технические детали

Попробуйте назвать второй своими руками, и на пять строк кода прилетят три ошибки, потому что Global нестабилен. Прикол в том, что на фичах, которых в стабильном Rust как бы нет, держится куча всего, чем мы пользуемся каждый день. В первой части так вышло с gen-блоками, pattern types, специализацией, become и #.

Сегодня разберёмся, зачем pin! выписал себе особый пропуск. Почему второй параметр Vec сидит под замком дольше всех остальных.

Как компилятор посчитает вашу корзину до копейки ещё до запуска программы. Что лежит внутри толстого указателя, если раскрутить его на запчасти. И почему SIMD руками обгоняет автовекторизацию только до того момента, пока вы не разрешите компилятору лишнего.

Этот прогресс даёт важные сигналы о будущем отрасли, и технологический мир внимательно наблюдает.