Connected features
Papers
10 · Virtual 2020 → Brno 2026Generalizes the wording for partial specializations of class and variable templates.
Specifies non-type template parameter initialization as copy-initialization from the argument, fixing class-type NTTP edge cases (DR).
Allows a friend declaration to expand a parameter pack: friend Ts...;.
Fixes constraint ordering involving fold expressions so (C<Ts> && ...) subsumes as expected.
Deprecates the comma-less variadic form void f(int...) in favour of void f(int, ...).
Allows concepts and variable templates as template template parameters.
Reconsiders CWG1395 so partial ordering handles a trailing parameter pack consistently (DR).
Defines the term 'immediate context' used by SFINAE rules (DR).
Clarifies the language linkage of templates and their specializations (DR).
Allows conditional noexcept(expr) in compound requirements of a requires-expression.