8.15 — Nested types in classes

Consider the following short program:

There’s nothing wrong with this program. But because enum FruitType is meant to be used in conjunction with the Fruit class, it’s a little weird to have it exist independently from the class itself.

Nesting types

Unlike functions, which can’t be nested inside each other, in C++, types can be defined (nested) inside of a class. To do this, you simply define the type inside the class, under the appropriate access specifier.

Here’s the same program as above, with FruitType defined inside the class:

First, note that FruitType is now defined inside the class. Second, note that we’ve defined it under the public access specifier, so the type definition can be accessed from outside the class.

Classes essentially act as a namespace for any nested types. In the prior example, we were able to access enumerator APPLE directly, because the APPLE enumerator was placed into the global scope (we could have prevented this by using an enum class instead of an enum, in which case we’d have accessed APPLE via FruitType::APPLE instead). Now, because FruitType is considered to be part of the class, we access the APPLE enumerator by prefixing it with the class name: Fruit::APPLE.

Note that because enum classes also act like namespaces, if we’d nested FruitType inside Fruit as an enum class instead of an enum, we’d access the APPLE enumerator via Fruit::FruitType::APPLE.

Other types can be nested too

Although enumerations are probably the most common type that is nested inside a class, C++ will let you define other types within a class, such as typedefs, type aliases, and even other classes!

Like any normal member of a class, nested classes have the same access to members of the enclosing class that the enclosing class does. However, the nested class does not have any special access to the “this” pointer of the enclosing class.

Defining nested classes isn’t very common, but the C++ standard library does do so in some cases, such as with iterator classes. We’ll cover iterators in a future lesson.

8.16 -- Timing your code
8.14 -- Anonymous objects

13 comments to 8.15 — Nested types in classes

  • You should mention that you can forward declare enums. It could look like this:

  • Rohde Fischer

    A common quite useful example of using nested classes (at least in the Java world) is builders.  The basic idea is that some classes can get a lot of constructor arguments, and if you got a constructor signature looking like: Foo(string, string, string, string, string) it will be really hard knowing which string is which.  If I’m not much mistaken in C++ it would look roughly like this:

    This is a lot of work when creating the class, but it tends to pay off in the long run, and especially if one is creating an api this is a lot nicer to use, since now the user can just:

    Making this a lot more readable, it’s independent of order and it makes creating factories a lot easier.  Of course as in one of my other comments, it’s worth discussing the tradeoffs.  Because on any modern machine using this paradigm is of no consequence, unless one is doing something specifically intensive.  However, on things like embedded devices this might be a very bad design.  It is also an example utilizing the trick you present at: with returning the class itself for creating a fluent API.

    • Alex

      This is a great example. Thanks for sharing!

      • Rohde Fischer

        You're welcome, thanks for a great tutorial. Of course as everything else this is matter of taste 🙂 I've also seen people make containers for every singly type in question, basically simulating a typedef, but in a typesafe and quite bloated way. Not sure I'm a fan, but I can see the idea, as long as one use an IDE that helps with the types.

    • Udit

      Hi sir,
      I dont understand, how this example is working

      According to my understanding there is only one way to call member function without creating an object, i.e. using 'static'. But how in this case we can explain that we are able to call 'get_info' without using object.

  • John Halfyard

    Hi Alex,

    I'm not the best on the ol' "Passing by Reference, Const" and all that jazz (will have to review 7.1-7.4 a few times I guess).  But in the code above:

    why do you not place 'const' after the () for each function?


    • Alex

      Because it wasn't needed for the example. But you're right, these should be flagged as const functions so they could be called with a const object.

  • James

    Good job Alex, but here am wondering how none static const private variable of the class Fruit "int m_percentageEaten = 0;" get to be initalized directly inside the class while you thought me in the previous lesson that only static const int and enum variable can be initialized inside the class that way. please Teacher tell me how this work.

    • Alex

      Initialization for static and non-static members works differently. Static members can only be initialized in the class if they are ints or enums. Non-static members can be initialized inside the class regardless of the type.

  • john

    Hi Alex! In the lesson on enumerators you mentioned we should prefer enum classes over enumerators if we have a C++11 compatible compiler since they are strongly typed and strongly scoped. What is the preferred way of using enumerations inside the class (using enum class complicates the access and we already limit the scope by having it inside the class)?

    • Alex

      Personally, I tend to use normal enumerations inside classes, since the double-namespacing from the class and the enum class seems overkill. But it's really up to you. Enum classes have some additional advantages (e.g. you don't have to worry about enumerator naming collisions if you have multiple nested enum classes).

Leave a Comment

Put all code inside code tags: [code]your code here[/code]