Why don’t I need to specify “typename” before a dependent type in C++20?

by

One of the new features in C++20 is Down with typename.

In C++17, you had to provide the typename keyword in nearly all† dependent contexts to disambiguate a type from a value. But in C++20, this rule is relaxed a lot. In all contexts where you need to have a type, the typename keyword is no longer mandatory.

One such context is the return type of a function in class scope, as in your example. Others include the type in a member declaration, the type on the right-hand side of a using declaration, the parameter declaration of a lambda, the type you’re passing to static_cast, etc. See the paper for the full list.

† Nearly all because base-specifiers and mem-initializer-ids were always excluded, as in:

template <typename T> struct X : T::type  { }; // always ok

This is okay because, well, that needs to be a type. The paper simply extends this logic (well, it has to be a type, so let’s just assume it’s a type) to a lot more places that have to be types.

More Related Contents:

  1. Can class template constructors have a redundant template parameter list in c++20
  2. Use of typename keyword with typedef and new
  3. Where and why do I have to put the “template” and “typename” keywords?
  4. When is the “typename” keyword necessary? [duplicate]
  5. What exactly is the “immediate context” mentioned in the C++11 Standard for which SFINAE applies?
  6. Can I take the address of a function defined in standard library?
  7. C++ Get name of type in template
  8. static_assert dependent on non-type template parameter (different behavior on gcc and clang)
  9. Template partial ordering – why does partial deduction succeed here
  10. Explicit specialization in non-namespace scope does not compile in GCC
  11. Matching alias template as template argument
  12. Why does same_as concept check type equality twice?
  13. Deducing first template argument with other template parameters defaulted
  14. Class type non-type template parameter initialization does not compile
  15. Why is it not possible to overload class templates?
  16. Why is the keyword “typename” needed before qualified dependent names, and not before qualified independent names?
  17. Can the point-of-instantiation be delayed until the end of the translation unit?
  18. When instantiating a template, should members of its incomplete argument types be visible?
  19. Will consteval functions allow template parameters dependent on function arguments?
  20. Familiar template syntax for generic lambdas
  21. ‘auto’ as a template argument placeholder for a function parameter
  22. In which access control context are concepts evaluated?
  23. Why does the template-id in “A=0” not compile without space because of the greater-or-equal-than operator “>=”?
  24. Will I be able to declare a constexpr lambda inside a template parameter?
  25. Can I use the result of a C++17 captureless lambda constexpr conversion operator as a function pointer template non-type argument?
  26. C++ template typename iterator
  27. Is it still safe to delete nullptr in c++0x?
  28. Unsequenced value computations (a.k.a sequence points)
  29. What is the purpose of C++20 std::common_reference?
  30. What is the difference between std::quick_exit and std::abort and why was std::quick_exit needed?

Leave a Comment