The following list contains successful (i.e., already adopted for C++20, C++23, or C++26 by the  ISO C++ standard committee) C++ feature proposals that I have authored, or co-authored and significantly contributed to.

  • P2900 “Contracts for C++” (pre, post, contract_assert)
  • P2674 “A trait for implicit lifetime types” (std::is_implicit_lifetime)
  • P2590 “Explicit lifetime management” (std::start_lifetime_as, std::start_lifetime_as_array)
  • P2582 “Class template argument deduction from inherited constructors”
  • P2552 “On the ignorability of standard attributes”
  • P2082 “Fixing CTAD for aggregates”
  • P1816 “Class template argument deduction for aggregates”
  • P1774 “Portable assumptions” ([[assume]])
  • P1021 “Filling holes in Class Template Argument Deduction”
  • P1009 “Array size deduction in new-expressions”
  • P1008 “Prohibit aggregates with user-declared constructors”
  • P1007 “std::assume_aligned“
  • P0969 “Allow structured bindings to accessible members”
  • P0887 “The identity metafunction” (std::type_identity)
  • P0843 “std::inplace_vector“