A Library Approach to Constant Template Parameters

C++26 Status Quo I’d previously written about how difficult it is to extend support for using class types as constant template parameters. These are the template parameters formerly known as non-type template parameters. But it turns out that since C++98, we had three kinds of template parameters: type template parameters, non-type template parameters, and template template parameters. Whi...