Peeking Safely at a Table with Concepts with Gabriel Dos Reis
C++ Concepts are the corner stone of C++20’s vigorous support for Generic Programming a la Stepanov, as exemplified by the Standard Library, and countless successful generic libraries. In this talk, I present a programming technique based on concepts where indexing into compile-time (read-only) tables is made safe without runtime invariant check of structural integrity. This family of techniques is especially useful for safely improving runtime efficiency, in particular for table-rich embedded programming.