Type traits & metaprogramming (C++17)
_v variable templates, logical traits, is_invocable, swappable traits, void_t, bool_constant, has_unique_object_representations.
Connected features
Papers
11 · Urbana 2014 → Issaquah 2016Adds std::void_t.
Makes reference_wrapper trivially copyable.
Adds the missing SFINAE rule for unique_ptr (LWG 2228).
Adds bool_constant.
Adds the _v variable templates for type traits.
Adds conjunction, disjunction and negation.
Adds is_invocable and is_invocable_r (originally is_callable).
Adds is_swappable, is_nothrow_swappable and friends.
Adds has_unique_object_representations.
Resolves the LWG issues on common_type.
Corrects the library's use of the term 'literal type'.