Search

6.x — Chapter 6 summary and quiz

Quick review

We covered a lot of material in this chapter. Good job, you’re doing great!

A compound statement or block is a group of zero or more statements that is treated by the compiler as if it were a single statement. Blocks begin with a { symbol and end with a } symbol, with the statements to be executed placed in between. Blocks can be used anywhere a single statement is allowed. No semicolon is needed at the end of a block. Blocks are often used in conjunction with if statements to execute multiple statements.

User-defined namespaces are namespaces that are defined by you for your own declarations. Namespaces provided by C++ (such as the global namespace) or by libraries (such as namespace std) are not considered user-defined namespaces.

You can access a declaration in a namespace via the scope resolution operator (::). The scope resolution operator tells the compiler that the identifier specified by the right-hand operand should be looked for in the scope of the left-hand operand. If no left-hand operand is provided, the global namespace is assumed.

Local variables are variables defined within a function (including function parameters). Local variables have block scope, meaning they are in-scope from their point of definition to the end of the block they are defined within. Local variables have automatic storage duration, meaning they are created at the point of definition and destroyed at the end of the block they are defined in.

A name declared in a nested block can shadow or name hide an identically named variable in an outer block. This should be avoided.

Global variables are variables defined outside of a function. Global variables have file scope, which means they are visible from the point of declaration until the end of the file in which they are declared. Global variables have static duration, which means they are created when the program starts, and destroyed when it ends. Avoid dynamic initialization of static variables whenever possible.

An identifier’s linkage determines whether other declarations of that name refer to the same object or not. Local variables have no linkage. Identifiers with internal linkage can be seen and used within a single file, but it is not accessible from other files. Identifiers with external linkage can be seen and used both from the file in which it is defined, and from other code files (via a forward declaration).

Avoid non-const global variables whenever possible. Const globals are generally seen as acceptable. Use inline variables for global constants if your compiler is C++17 capable.

Local variables can be given static duration via the static keyword.

Using statements (including using declarations and using directives) can be used to avoid having to qualify identifiers with an explicit namespace. These should generally be avoided.

Typedefs and Type aliases allow the programmer to create an alias for a data type. These aliases work identically to the aliased type. They can add legibility and reduce maintenance to code.

The auto keyword has a number of uses. First, auto can be used to do type inference / type deduction, which will infer a variable’s type from its initializer. Auto can also be used as a function return type to have the compiler infer the function’s return type from the function’s return statements, though this should be avoided for normal functions. Auto is used as part of the trailing return syntax. And finally, as of C++20, auto provides a shortcut for creating function templates. For now, you’ll generally use it for type deduction purposes.

Implicit type conversion is performed whenever one data type is expected, but a different data type is supplied. If the compiler can figure out how to do the conversion between the two types, it will. If it doesn’t know how, then it will fail with a compile error. Numeric promotion (or widening) occurs when a value from one fundamental data type is converted to a value of a larger fundamental data type from the same family (e.g. a short to an int). Numeric conversion occurs when we convert a value from a larger to a smaller type (e.g. int to short), or between different type families (int to double). Conversions that could cause loss of data are called narrowing conversions.

Explicit type conversion is performed when the programmer explicitly requests conversion via a cast. A cast represents a request by the programmer to do an explicit type conversion. C++ supports 5 types of casts: C-style casts, static casts, const casts, dynamic casts, and reinterpret casts. Generally you should avoid C-style casts, const casts, and reinterpret casts. static_cast is used to convert a value from one type to a value of another type, and is by far the most used-cast in C++.

Finally, C++ supports unnamed namespaces, which implicitly treat all contents of the namespace as if it had internal linkage. C++ also supports inline namespaces, which provide some primitive versioning capabilities for namespaces.

Quiz time

Question #1

Fix the following program:

Show Solution

Question #2

Write a file named constants.h that makes the following program run. If your compiler is C++17 capable, use inline constexpr variables. Otherwise, use normal constexpr variables. You can pick any value you like for max_class_size.

main.cpp:

Show Solution

Question #3

Complete the following program by writing the passOrFail() function, which should return true for the first 3 calls, and false thereafter.

Show Hint

The program should produce the following output:

User #1: Pass
User #2: Pass
User #3: Pass
User #4: Fail
User #5: Fail

Show Solution


S.4.4b -- An introduction to std::string
Index
6.17 -- Unnamed and inline namespaces

286 comments to 6.x — Chapter 6 summary and quiz

  • sami

    "Avoid dynamic initialization of static variables whenever possible."

    Shouldn't it be 'global' variables instead of 'static' variables?

  • Nahin

    I didn't get this sentence. Would you please clarify more?

    > Avoid dynamic initialization of static variables whenever possible.

  • AE35_Unit

    No 3.  I hope adding parameters was okay.

    • nascardriver

      The point was to use `static`. Make sure you understand the solution, then feel free to move on.

      You never need this. `<=` returns a `bool`, you can remove the conditional operator.

  • AE35_Unit

    Question 2: Solution

    Seemed petty straight forward. Here is my go at No. 2
    Thanks for the great lessons.

    constants.h

    main()

  • Raffaello

    I was told inline namespaces are considered optional, but the solution for question #2 features one! I feel betrayed! :D

  • Gabe

    My Question #3:

  • Thomas Kennings

    "First, auto can be used to do type inference / type deduction), which will infer a variable’s type from its initializer."

    The parenthesis after "deduction" has no other paired parenthesis. 'Tis a typo I believe!

    Thanks,
    Thomas Kennings

  • Lasha

    Provided answer to question #3 is incorrect. Line 6 says: return (passes-- >= 0);

    Should be: return (--passes >= 0)

  • Dudz

    Answer for question# 3

  • Ayrton Fithiadi Sedjati

    In the solution for question 2, I think as per best practice, #include "constants.h" should be put on top of #include <iostream>. I am referring to lesson 2.1 about header files.

  • Jimmy Hunter

    Typo = "The scope resolution operator tells the compiler that identifier specified by"
    Correction = "The scope resolution operator tells the compiler that the identifier specified by"

  • Jimmy Hunter

    May I suggest a sentence update?
    From
    "Blocks begin with a { symbol, end with a } symbol, with the statements to be executed are placed in between."
    to
    "Blocks begin with a { symbol and end with a } symbol with the statements to be executed placed in between."

    I'm not an english major but I think this is better.  I think the last "with" and the "are" conflict with each other in this usage.

  • Louis Cloete

    Two typos:

    Using statements (including using declarations and using directives) can be used to avoid having to quali*f*y identifiers with an explicit namespace.

    A cast represents *a* (not *an*) request by the programmer to do an explicit type conversion.

  • vie_man

    I've tried to follow best practices. Do you think this one is good enough?

  • Sejmou

    I implemented passOrFail() this way:

    In a previous chapter we learned that we should avoid post fix increment/decrement, also for performance reasons.
    is that solution much worse (performance-wise) than the suggested one?

  • An alternative version of passOrFail function:

    cheers,
    Gab

    • jobel

      i did that a similar way, though slightly less efficient.

      (the naming for counter is left over from when i tried a for loop implementation)

Leave a Comment

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