Рефлексию таки приняли в C++26. Кто-нибудь уже щупал в компиляторах?

[infern]

Новость не вчерашняя, P2996 проголосовали ещё прошлым летом в Софии, но руки потрогать дошли только сейчас. На годболте лежит форк clang-p2996 от Bloomberg, там работает почти всё из пейпера.

Написал enum_to_string без единого макроса: берёшь ^^MyEnum, идёшь по enumerators_of, сплайсишь через [: :]. Выглядит инопланетно, но это compile-time и без хаков. Потом собрал сериализацию структуры в json по членам, тоже чистый consteval, никакой кодогенерации.

Синтаксис с двумя каретами конечно на любителя. Но по сути это самое крупное изменение языка со времён C++11, имхо. Интересно, кто что уже пробовал и когда по вашим прикидкам это доедет до боевых gcc/clang/msvc.

[lawlorg]

у нас на проде gcc 9 и стандарт C++14, переезд на 17 обсуждают второй год. рефлексию я увижу на пенсии. так что радуйтесь там у себя в будущем

[elixirpro]

Самое интересное что будет с Qt. moc как отдельный шаг сборки всех бесил лет двадцать, на рефлексии QMetaObject напрашивается сам собой. Если Qt 7 это сделает, плюс один гигантский костыль уйдёт из индустрии.

[allyssa]

два карета бл. ^^T. кто это придумал и почему не reflexpr как в старых пейперах. теперь до конца жизни писать операторы как в брейнфаке

[Manuelriere]

По срокам: в clang это пока ветка, в gcc 16 рефлексии нет, реально жди 17-18, msvc вообще тёмная лошадка. То есть прод-код с рефлексией это 2028-2029 минимум, а массово 2030.

Зато список того что она убьёт, греет душу: magic_enum (который сейчас парсит __PRETTY_FUNCTION__, это же стыд если задуматься), Boost.PFR, половина самописных кодогенераторов для сериализации. Всё это станет обычным constexpr кодом.

[tommee]

туда же ещё контракты вкатили, c++26 вообще жирнейший стандарт выходит. посмотрим что комитет успеет довести, а что как обычно отложат в 29й

[python5]

потыкал этот clang-p2996 на годболте после треда. enum_to_string ладно, игрушка, а вот define_aggregate реально выносит мозг: генеришь структуру прямо в compile-time и обычный код ее видит. собрал маппинг конфига в структуру за вечер, ни кодогена, ни макросов. но компиляция ощутимо тяжелеет, мой пример с рефлексией собирался секунды три против полсекунды без нее. на проекте в миллион строк будет весело

[silentsegfault]

@allyssa, reflexpr выкинули не от хорошей жизни. одиночный ^ конфликтует с блоками Apple в objective-c++, поэтому и удвоили до ^^. а reflexpr(T) комитет забраковал как слишком многословный: мол, рефлексию будут писать часто, нужен короткий оператор. так что брейнфак осознанный. после operator<=> уже ничего не страшно, привыкнешь

[cronk]

magic_enum (который сейчас парсит __PRETTY_FUNCTION__, это же стыд если задуматься)

стыд стыдом, а этот хак шесть лет в проде у половины индустрии и никто не жалуется. вот что рефлексия реально починит, так это его ограничения: MAGIC_ENUM_RANGE в 128 значений, на котором народ регулярно ловит молчаливые сюрпризы с большими енумами. хоронить рано, но новый код на нем начинать после 26го уже странно