QUIZ. What is wrong with this code that uses default arguments?

Size: px

Start display at page:

Download "QUIZ. What is wrong with this code that uses default arguments?"

Ilene Hodges
6 years ago
Views:

1 QUIZ What is wrong with this code that uses default arguments?

2 Solution The value of the default argument should be placed in either declaration or definition, not both!

3 QUIZ What is wrong with this code that uses default arguments?

4 Solution Non-trailing default arguments are illegal.

5 QUIZ What is wrong with this code that uses default arguments?

6 Solution Nothing is wrong, it compiles and runs fine

7 Ch. 8: Constants Note: Review the section on constants from ch.3!

8 BUFSIZE is a name that only exists during preprocessing, therefore it doesn t occupy storage and can be placed in a header file to provide a single value for all translation units that use it. Most of the time, BUFSIZE will behave like an ordinary variable, but not all the time. In addition, there s no type information. This can hide bugs that are very difficult to find. Because of subtle bugs that the preprocessor might introduce, you should always use const instead of #define value substitution in C++.

9 C++ uses const to eliminate these problems by bringing value substitution into the domain of the compiler: You can use bufsize anyplace where the compiler must know the value at compile time. The compiler can use bufsize to perform constant folding, which means the compiler will reduce a complicated constant expression to a simple one by performing the necessary calculations at compile time.

10 QUIZ Will any multiplications be performed at run-time in this program?

11 Will any multiplications be performed at run-time in this program? A: No, the compiler applies constant folding.

12 Important difference from C:

13 const in header files A const in C++ defaults to internal linkage; that is, it is visible only within the file where it is defined and cannot be seen at link time by other translation units. You must always assign a value to a const when you define it, except when you make an explicit declaration using extern:

14 Normally, the C++ compiler avoids creating storage for a const, but instead holds the definition in its symbol table. When you use extern with const, however, you force storage to be allocated. This is also true for certain other cases, such as: taking the address of a const complicated structs. With built-in types, which are used in the majority of cases involving constant expressions, the compiler can always perform constant folding.

15 Safety consts The use of const is not limited to replacing #defines at compile time. If you initialize a variable with a value that is produced at runtime and you know it will not change for the lifetime of that variable, it is good programming practice to make it a const so the compiler will give you an error message if you accidentally try to change it. example

16 Compile-time constants Run-time constants

17 Aggregates It s possible to use const for aggregates, but you re virtually assured that the compiler will not be sophisticated enough to keep an aggregate in its symbol table, so storage will be allocated. In these situations, const means a piece of storage that cannot be changed. However, the value cannot be used at compile time [for constant folding] b/c the compiler is not required to know the contents of the storage at compile time. example

18 QUIZ Which statements are illegal?

19 Solution Which statements are illegal?

20 Read the subsection Differences with C

21 Pointers can be made const. Pointers The compiler will still endeavor to prevent storage allocation and do constant folding when dealing with const pointers, but these features seem less useful in this case. More importantly, the compiler will tell you if you attempt to change a const pointer, which adds a great deal of safety.

22 When using const with pointers, there are two options: const can be applied to what the pointer is pointing to const can be applied to the address stored in the pointer itself. Image source:

23 Pointer to const vs. const pointer Compiler rule: const binds to the identifier closest to itself int * u; examples

24 Compiler rule: const binds to the identifier closest to itself Data is constant. Legal, but not recommended. Data is constant. const int * u; int const * u; int * u; Address is constant. int * const u; int * u const; Illegal

25 When the address is constant, it has to be initialized when it is declared (Why?) int a = 42, b = 100; int * const u = &a;

26 QUIZ Describe each pointer:

27 QUIZ Which statements are illegal?

28 Solution Which statements are illegal?

29 Formatting int* u; or int *u;? It only matters when we declare multiple pointers in one statement The * is actually attached to the name of the pointer: int *u, *v, *w;

30 Assignment and type checking C++ is very particular about type checking, and this extends to pointer assignments.

31 Assignment and type checking You can assign the address of a non-const object to a const pointer because you re simply promising not to change something that is OK to change.

32 However, you can t assign the address of a const object to a nonconst pointer because then you re saying you might change the object via the pointer. You can use a cast to force such an assignment, but this is bad programming practice b/c you are then breaking the constness of the object, along with any safety promised by the const.

33 We stop before the section Returning by const value Individual work for next time: End-of-chapter 1, 2, 4. EOL 1

34 QUIZ Where does constant folding fail in this example? Explain!

35 Solution Where does constant folding fail in this example? Explain!

36 Follow-up Interestingly, if the aggregate is inside a function scope, the program compiles and runs OK: Not recommended!

37 QUIZ Which constants are run-time and which compile-time in this program?

38 Solution Compile-time constants Run-time constants

39 QUIZ Will this program compile correctly?

40 Solution Will this program compile correctly?

41 QUIZ Will this program compile correctly? Can we force it (if we really wanted to)?

42 Solution Yes, through typecasting: but it s not recommended! Just find a better code design

43 Extra-credit:

44 The problem of character array literals C.A.L. are arrays with constant data, so the correct declaration should be

45 The compiler lets you get away with treating them as nonconst because there s so much existing C code that relies on this but this works only in the declaration line! Fix:

46 If you want to be able to modify the string, put it in an array: Output

47 Function arguments & return values

49 QUIZ Do the same with a pointer

50 Solution

52 A const return value can only make a difference when the function call is an lvalue, i.e. it appears on the left-hand side of an assignment! example

53 In C we re never allowed to use the returned object as an lvalue! In C++: When the return type is one of the built-ins, this is the end of the story, since we re not allowed to use the returned object as lvalue: However, when the returned object is user-defined or a reference, in C++ it is allowed to use it as lvalue: example

54 In C++, return value can be used as lvalue, but only if it s user-defined Non-const built-in value Non-const user-defined value Quite useless, isn t it? But see the next slide Not in text

55 or a reference! Non-const reference! Non-const reference! Now the returned object is changed! Not in text

56 Quote from The Design and Evolution of C++ [by Bjarne Stroustrup]: [ ] ideal for the design of C++: User-defined and built-in types should behave the same relative to the language rules and receive the same degree of support from the language and its associated tools. When the ideal was formulated built-in types received by far the best support, but C++ has overshot that target so that built-in types now receive slightly inferior support compared to user-defined types. Source: Not in text

57 but we can prevent this by using const Const reference!

58 Remember from C that structs can be assigned to each other (unlike arrays)!

59 But, wait a second, what use could this be? Why does C++ even allow to use the returned object as lvalue?

60 For a concrete example, consider std::cout << "Hello, world" << std::endl; The first operator<< () returns an lvalue on which you can call the second operator<< (). So this practice of calling methods on return values is more common than many people would think. MSalters Source: Not in text

61 Temporaries Sometimes, during the evaluation of an expression, the compiler must create temporary objects. These are objects like any other: they require storage and they must be constructed and destroyed [ ] They re automatically const. Because you usually won t be able to get your hands on a temporary object, telling it to do something that will change that temporary is almost certainly a mistake because you won t be able to use that information. By making all temporaries automatically const, the compiler informs you when you make that mistake. example

62 Simplified example with temporary (temporaries are created for built-in data types, too!) The class X from C08:ConstReturnValues.cpp is replaced here by int. The compiler creates a temporary object to hold the return value of f5( ) so it can be passed to f7( )

63 Passing and returning addresses pointers and references Rule of thumb: Unless we have a reason to do otherwise, both passing and returning should be done by: Constant reference, or Pointer to constant OK, I get this, but which one should I use, pointer or reference? Answer follows

64 Passing and returning addresses Rule of thumb: pointers and references Use reference unless the value passed or returned : can be NULL, or points to a block of dynamically allocated memory whose ownership is thereby transferred (we cannot delete references, only pointers)

65 Passing and returning addresses pointers and references Read and understand: C08:ConstPointer.cpp C08:ConstTemporary.cpp

66 Advantages of passing arguments by const reference To the client programmers, the syntax is identical to that of passing by value, so there s no confusion about pointers they don t even have to think about pointers. For the creator of the function, passing an address is virtually always more efficient than passing an entire class object If you pass by const reference it means your function will not change the destination of that address, so the effect from the client programmer s point of view is exactly the same as pass-by-value. EOL 2

67 QUIZ What is an lvalue?

68 QUIZ Compare C and C++: Is is possible to use the value returned by a function as an lvalue?

69 Solution Compare C and C++: Is is possible to use the value returned by a function as an lvalue? Built-in data types (int, char, float, etc.) and any pointers User-defined data types (struct, class, union) and any references C No No C++ No Yes

70 QUIZ What is a temporary?

71 text Solution What is a temporary? Sometimes, during the evaluation of an expression, the compiler must create temporary objects. These are objects like any other: they require storage and they must be constructed and destroyed. The difference is that you never see them the compiler is responsible for deciding that they re needed and the details of their existence. Example: f7(f5()); the compiler must manufacture a temporary object to hold the return value of f5( ) so it can be passed to f7( ).

72 QUIZ Are temporaries const or non-const? Explain why.

73 text Solution Are temporaries const or non-const? Explain why. [ ] temporaries [are] automatically const. Because you usually won t be able to get your hands on a temporary object, telling it to do something that will change that temporary is almost certainly a mistake because you won t be able to use that information. By making all temporaries automatically const, the compiler informs you when you make that mistake.

74 Using const with classes One of the places you d like to use a const for constant expressions is inside classes. Typical example: creating an array inside a class. We want to use a const instead of a #define to establish the array size The array size is something we d like to keep hidden inside the class, so if we used a name like size, we could use that name in another class without a clash. (The preprocessor treats all #defines as global!)

75 Problem: Different objects of this class should be allowed to have different array sizes! Thus, when we create an ordinary (non-static) const inside a class, we cannot give it an initial value. This initialization must occur in the constructor, so each object instantiated can have its own value for the const. but it cannot be as normal, executable code, because this would contradict its constness!

76 Solution: Inside the constructor, there is a special initialization point, called the constructor initializer list. It is a list of constructor calls that occur after the function argument list, but before the opening brace of the constructor body. example

77 constructor initializer list This particular constructor has no executable body size is of type int, so it seems that we re using a constructor for a built-in type!

78 Extra-credit

79 In the constructor initializer list, we can treat a built-in type as if it had a constructor.

80 In the constructor initializer list, we can treat a built-in type as if it has a constructor. This rule was extended to non-const data members! (But it is the only option for const data members!)

81 Practice: Instantiate an object of this class in the main program.

83 In the constructor initializer list, we can treat a built-in type as if it has a constructor. This rule was also extended (for consistency) to all built-in types: but be careful: Source:

84 Compile-time constants in classes The static keyword inside a class means there s only one instance, regardless of how many objects of the class are created User-defined types will be addressed soon! A static const of a built-in type can be treated as a compile-time constant. static consts must be initialized when they are defined (all other data members must be initialized in the constructor or in other member functions) example

85 Initialized at the point of definition!

86 QUIZ Draw a memory diagram for a StringStack object.

87 solution

88 The enum hack in old code No tag! Like in C, we can tell the compiler what integer we want.

89 QUIZ Run-time or compile-time constant? Why is it not possible to initialize size inside the body of the constructor? What is this called?

90 QUIZ How can we make it a run-time constant? What else would change in the program?

91 const member functions Since f( ) is a const member function, if it attempts to change i in any way or to call another member function that is not const, the compiler flags it as an error.

92 const member functions Note the position of the const specifier: after the argument list, in both declaration and definition.

93 Practice: Create a class Foo with one const and one non-const member function named f_con and f_non_con. Both functions return void, have no arguments, and their bodies are empty. Create: one const object of type Foo named f1 one non-const objects of type Foo named f2 Try calling both member functions for each object; which calls are legal?

94 solution

95 solution

96 solution

97 solution

98 const objects If an object of a class is declared const, then it is only legal to call const member functions of that class with the object. example

100 The compiler does not look inside the function!

101 Read and the code example C08:Quoter.cpp and the text explanations. SKIP the subsections mutable: bitwise vs. logical const ROMability

102 volatile volatile means This data may change outside the knowledge of the compiler. Somehow, the environment is changing the data (possibly through multitasking, multithreading or interrupts), and volatile tells the compiler not to make any assumptions about that data, especially during optimization.

103 volatile The syntax of volatile is identical to that of const, so the two are often treated together. The two are referred to in combination as the c-v qualifier. You can also create const volatile objects, which can t be changed by the client programmer but instead change through some outside agency.

104 Read the code example C08:Volatile.cpp and the text explanations.

105 No homework is assigned now for ch.8. One will be assigned for chs. 8 and 9 together. EOL 3

QUIZ How do we implement run-time constants and. compile-time constants inside classes?

QUIZ How do we implement run-time constants and compile-time constants inside classes? Compile-time constants in classes The static keyword inside a class means there s only one instance, regardless of