Use of typename keyword with typedef and new

by

C++ syntax is more crazy than that. 

// typedef NOT followed by a type!
int typedef A;

// new NOT followed by a type!
new (0) int;

Others have commented about your example. The typename specifier does not yield to lookup ignoring non-type names. So if you say new typename T::X, and there is an object name X in T, it will still be found instead of the type name X (GCC however ignores non-type names in looking up a name after a typename. But that’s not Standards compliant).

Answers to edits:

Consider this,

T::X typedef *x;

So from the context, it’s still clear enough to the compiler that T::X is a type, no matter whether it appears before typedef,or after typedef.

The compiler has to know when the declaration specifiers and (i.e the “type section” and when the declarator section start (i.e the “names” section). There are declarations where the type section is empty:

// constructor definitions don't need a type section
MyClass::MyClass() { }

// conversion function definitions don't need a type section
MyClass::operator int() { }

If the first name you specify is not a type, the type section ends, and the name section starts. Saying T::X tells the compiler:

Now I want to define T::X.

It reads from left to right, so it will think you forgot a semicolon when it then encounters the typedef. Inside classes the interpretation is slightly different but much like this too. That’s a simple and effective parse.

Same argument holds true for new as well.

I tend to agree with you here. Syntactically it should be unambiguous if you leave off parentheses. As I’ve never written a C++ parser, there may be hidden pitfalls I’m not seeing, though.

Every addition of typename in corner cases of the language like in new will potentially require substantial amount of design for both compilers and standards writers, while still requiring typename for the vast majority of other cases where it’s needed. I don’t think that this pays off.

More Related Contents:

  1. Why don’t I need to specify “typename” before a dependent type in C++20?
  2. Where and why do I have to put the “template” and “typename” keywords?
  3. C++ template typedef
  4. C++ static polymorphism (CRTP) and using typedefs from derived classes
  5. When is the “typename” keyword necessary? [duplicate]
  6. Propagating ‘typedef’ from based to derived class for ‘template’
  7. What exactly is the “immediate context” mentioned in the C++11 Standard for which SFINAE applies?
  8. C++ Get name of type in template
  9. static_assert dependent on non-type template parameter (different behavior on gcc and clang)
  10. Why do I need to use typedef typename in g++ but not VS?
  11. Template partial ordering – why does partial deduction succeed here
  12. Explicit specialization in non-namespace scope does not compile in GCC
  13. Matching alias template as template argument
  14. Repeated typedefs – invalid in C but valid in C++?
  15. Deducing first template argument with other template parameters defaulted
  16. Can class template constructors have a redundant template parameter list in c++20
  17. Why is it not possible to overload class templates?
  18. Why is the keyword “typename” needed before qualified dependent names, and not before qualified independent names?
  19. Can the point-of-instantiation be delayed until the end of the translation unit?
  20. When instantiating a template, should members of its incomplete argument types be visible?
  21. invalid use of incomplete type
  22. How to typedef a template class? [duplicate]
  23. templated typedef?
  24. Why does the template-id in “A=0” not compile without space because of the greater-or-equal-than operator “>=”?
  25. Will I be able to declare a constexpr lambda inside a template parameter?
  26. Can I use the result of a C++17 captureless lambda constexpr conversion operator as a function pointer template non-type argument?
  27. C++ template typename iterator
  28. Accessing inactive union member and undefined behavior?
  29. C++ templates that accept only certain types
  30. Are C++ Templates just Macros in disguise?

Leave a Comment