The promise of static reflection in C++26: Type Traits without compiler intrinsics - Andrei Zissu скачать в хорошем качестве

The promise of static reflection in C++26: Type Traits without compiler intrinsics - Andrei Zissu

The promise of static reflection in C++26 Type: Traits without compiler intrinsics - Andrei Zissu - Meeting C++ 2025 Slides: https://slides.meetingcpp.com Type traits are a powerful feature of C++ that allows programmers to query and manipulate the properties of types at compile time. They are widely used in generic programming and metaprogramming to enable static polymorphism, type-based dispatching, and compile-time optimization. However, not all type traits can be implemented using the C++ language alone. Some type traits, such as std::is_class, require special support from the compiler in the form of compiler intrinsics or built-ins. These intrinsics are non-portable functions or variables that are recognized and handled by the compiler directly, rather than being defined in a library. In this talk, we will have a quick overview of the current state of type traits and of static reflection in C++. We will then see how these two worlds can join forces to give us a superior portable product, which no longer requires the use of compiler intrinsics. We will conclude by discussing a possible future where compiler and library are not necessarily mutually dependent.