Why is there an injected class name?

by

The injected class name means that X is declared as a member of X, so that name lookup inside X always finds the current class, not another X that might be declared at the same enclosing scope, e.g.

void X() { }
class X {
public:
  static X create() { return X(); }
};

Is the create() function creating a temporary X object or calling the function X? At namespace scope it would call the function, so the purpose of the injected-class-name is to ensure that within the body of X the name always finds the class itself (because name lookup starts in the class’ own scope before looking in the enclosing scope).

It’s also helpful inside class templates, where the injected class name can be used without a template argument list, e.g. using simply Foo instead of the full template-id Foo<blah, blah, blah>, so it’s easy to refer to the current instantiation. See DR 176 for a change between C++98 and C++03 that clarified that.

The idea of the injected class name was present in C++98, but the terminology was new for C++03.

C++98 says:

A class-name is inserted into the scope in which it is declared immediately after the class-name is seen. The class-name is also inserted into the scope of the class itself.

The second sentence was changed by DR 147 so C++03 says in [class]/2:

A class-name is inserted into the scope in which it is declared immediately after the class-name is seen. The class-name is also inserted into the scope of the class itself; this is known as the injected-class-name.

Even before C++98, the ARM has roughly equivalent wording that means the class’ name can always be used in the class body to refer to the class itself:

The name of a class can be used as a class-name even within the member-list of the class specifier itself.

  • For example,

    class link { link* next; };

More Related Contents:

  1. Why should I use a pointer rather than the object itself?
  2. How to add additional libraries to Visual Studio project?
  3. How can a Windows service execute a GUI application?
  4. Can I implement an autonomous `self` member type in C++?
  5. Incrementing in C++ – When to use x++ or ++x?
  6. Why does int pointer ‘++’ increment by 4 rather than 1?
  7. C++ template constructor
  8. Can a recursive function be inline?
  9. How would you implement your own reader/writer lock in C++11?
  10. Mixing C++11 atomics and OpenMP
  11. Which C++ standard is the default when compiling with g++?
  12. c++ exception : throwing std::string
  13. Recursive typedef function definition : std::function returning its own type
  14. *.h or *.hpp for your class definitions
  15. Why cannot a non-member function be used for overloading the assignment operator?
  16. How to generate all permutations of an array in sorted order?
  17. Visual Studio 2012 C++ Standard Output
  18. Scope vs life of variable in C
  19. Spinlock versus Semaphore
  20. Calling the base class constructor from the derived class constructor
  21. Should I pass a shared_ptr by reference? [duplicate]
  22. How to detect whether Windows is shutting down or restarting
  23. How to increment an iterator by 2?
  24. Extra leading zeros when printing float using printf?
  25. Why isn’t std::array::size static?
  26. How to get CMake to recognize pthread on Ubuntu?
  27. How to convert a string of hex values to a string?
  28. Forward declaration & circular dependency
  29. Why is there no multiple definition error when you define a class in a header file?
  30. Problems using member function as custom deleter with std::shared_ptr

Leave a Comment