QUIZ. What are 3 differences between C and C++ const variables?

Transcription

1 QUIZ What are 3 differences between C and C++ const variables?

2 Solution

3 QUIZ Source:

4 Solution The C/C++ preprocessor substitutes mechanically, from top to bottom inside the file. On the left, the occurrences of i inside main are both replaced by 20, whereas on the right they are both replaced by 30. Note that the compiler sees and empty function fun in both cases!

5 QUIZ: Pointer to function What is wrong in this program?

6 Solution The compiler expects ptr to point to a specific type of function one with a char as the first argument. Instead, when ptr is used to access func, the first argument is an int! Note below that the C++ compiler is more strict than the C compiler (as expected):

7 Ch. 4: Data Abstraction

8 text The only way to get massive increases in productivity is to leverage off other people s code. That is, to use libraries. One of the primary design goals of C++ is to make library use easier.

9 QUIZ What abstract data types are available in C?

10 Solution The abstract types in C, are: arrays, structs, unions, enums.

11 Review of C structs: EoC problem #4 Named foo Named bar

12 Remember to employ using instead of typedef in C++ 11 and later! Solution

13 Solution

14 Solution

15 Solution

16 A tiny C-like library text Most C libraries have a set of structs and a set of functions that act on those structs. las an example, consider a programming tool that acts like an array, but whose size can be established at runtime, when it is created. li ll call it a CStash. lalthough it s written in C++, it has the style of what you d write in C:

17 currently allocated The index of the next empty element. It also means the number of elements currently stored. Note that every function takes a pointer to the struct as argument!

18 Explained on the next slides

19 What is assert.h (cassert in C++) used for? example

20 The actual message is implementation-dependent Note that cout wasn t executed assert caused the program to exit!

21 Implementation continued

22 QUIZ Why are structure arguments generally passed as pointers in C?

23 Why are structure arguments generally passed as pointers in C? If passed by value: A copy of the struct is made, wasting memory (think big structs!) Changes made by the function are not visible outside.

24 What does this mean? QUIZ

25 element is a pointer to void, i.e. to a yet-unknown piece of data. The function will find how many bytes the data has from the size field of s The data pointed to by element is constant, i.e. it cannot be changed (for safety)

26 Implementation continued

27 Implementation continued

28 To do for next time: Read and thoroughly understand the text section A Tiny C-like library

29 Remember from ch.2: separate compilation For each translation unit (.cpp file), the compiler creates an object file, with an extension of.o or.obj or something similar. These object files, along with the necessary start-up code, must be collected by the linker into the executable program (.exe). During linking, all the external references must be resolved.

30 Separate compilation For example, in CLibTest.cpp, functions such as initialize( ) and fetch( ) are declared (that is, the compiler is told what they look like) and used, but not defined. They are defined elsewhere, in CLib.cpp. Thus, the calls in CLib.cpp are external references. The linker must, when it puts all the object files together, take the unresolved external references and find the addresses they actually refer to. Those addresses are put into the executable program to replace the external references.

31 Problem: Name clash Labels in assembly language In C, the external references are simply function names, generally with an underscore in front of them. So all the linker has to do is match up the function name where it is called and the function body in the object file, and it s done. If you accidentally made a call that the compiler interpreted as func(int) and there s a function body for func(float) in some other object file, the linker will see _func in one place and _func in another, and it will think everything s OK.

32 How a name clash can lead to a bug The func( ) at the calling location will push an int onto the stack, and the func( ) function body will expect a float to be on the stack. If the function only reads the value and doesn t write to it, it won t blow up the stack. (In fact, the float value it reads off the stack might even make some kind of sense. That s worse because it s harder to find the bug. )

33 Manual name decoration To solve this problem, C library vendors will often prepend a sequence of unique characters to the beginning of all their function names. So initialize( ) and cleanup( ) might become CStash_initialize( ) and CStash_cleanup( ). This is a logical thing to do because it decorates the name of the struct the function works on with the name of the function, but it creates redundancy: void CStash_cleanup(CStash *s);

34 A better solution! [ ] the first step toward creating classes in C++. Variable names inside a struct do not clash with global variable names. So why not take advantage of this for function names, when those functions operate on a particular struct? That is, why not make functions members of structs?

35 In a C program (extension.c), we cannot have functions as members of a struct however, in a C++ program (extension.cpp), functions members are OK!

36 No typedef needed this is already a type!

37 Decoration is done with the scope resolution operator Not S -> size No more Stash *s as first argument!

38 QUIZ Named Foo Named bar EOL 1

39 QUIZ: C libraries What is the typical structure of a C library?

40 Most C libraries have a set of structs and a set of functions that act on those structs. The first argument of such a function is usually a struct pointer.

41 QUIZ What are two differences between structs in C and C++?

42 What are two differences between structs in C and C++? C++ structs may contain function members (a.k.a. methods) The tag of a C++ struct is a name by itself we don t precede it with struct when declaring objects (and no need for typedef!)

43 QUIZ Declare a struct named Aaa with the following members: Float member f Integer member p Function member power that returns the number f p (declaration and definition) Create, initialize and use and object a of type Aaa in the main program.

44 solution

45 solution

46 solution

47

48 Stronger type checking in C++ While C++ allows the assignment of any type of pointer to a void* (this was the original intent of void*, which is required to be large enough to hold a pointer to any type), it will not allow you to assign a void pointer to any other type of pointer. A cast is always required to tell the reader and the compiler that you really do want to treat it as the destination type.

49 QUIZ Use a typecast in the last line to make it legal in C++: C-style typecast C++-style typecast

50 OOP lingo: object

51 Abstract data typing The definition of Stash creates a new data type. You create one by saying Stash s, just as you create a float by saying float f. A Stash also has characteristics and behavior. Even though it acts like a real, built-in data type, we refer to it as an abstract data type (ADT), perhaps because it allows us to abstract a concept from the problem space into the solution space. ADTs are sometimes called user-defined types.

52 Abstract data typing The C++ compiler treats an abstract type like any data type. E.g. if you say a function expects a Stash, the compiler makes sure you pass a Stash to that function. The same level of type checking happens with abstract data types as with built-in types.

53 You can immediately see a difference, however, in the way you perform operations on objects. You say object.memberfunction(arglist). This is calling a member function for an object. But in object-oriented parlance, this is also referred to as sending a message to an object. So for a Stash s, the statement s.add(&i) sends a message to s saying, add( ) this to yourself.

54 OOP can be summed up in a single phrase: sending messages to objects. The trick, of course, is figuring out what your objects and messages are, but once you accomplish this the implementation in C++ is surprisingly straightforward.

55 Object details A question that often comes up in seminars is, How big is an object, and what does it look like? The answer is about what you expect from a C struct. In fact, the code the C compiler produces for a C struct (with no C++ adornments) will usually look exactly the same as the code produced by a C++ compiler.

56 Object details The size of a struct is the combined size of all of its members. Sometimes when the compiler lays out a struct, it adds extra bytes to make the boundaries come out neatly this may increase execution efficiency.

57 We can determine the size of a struct using the sizeof operator:

58 Header file etiquette Why do we need header files? text When you create a struct containing member functions, you are creating a new data type. In general, you want this type to be easily accessible to yourself and others. In addition, you want to separate the interface (the declaration) from the implementation (the definition of the member functions) so the implementation can be changed without forcing a re-compile of the entire system. You achieve this end by putting the declaration for your new type in a header file.

59 Three rules for header files 1. What can we put into header files? The basic rule is only declarations, i.e. nothing that allocates storage by generating code or creating variables. This is because the header file will typically be included in several translation units in a project, and if storage for one identifier is allocated in more than one place, the linker will come up with a multiple definition error (this is C++ s one definition rule: You can declare things as many times as you want, but there can be only one actual definition for each thing).

60 Three rules for header files 2. How are multiple declarations handled? It is possible for the.h file to be included more than once in a complicated program. Both C and C++ allow you to redeclare a function, as long as the two declarations match, but neither will allow the redeclaration of a structure.

61 2. How are multiple declarations handled? The compiler considers the redeclaration of a structure (this includes both structs and classes) to be an error, since it would otherwise allow you to use the same name for different types. To prevent this error when multiple header files are included, you need to build some intelligence into your header files using the preprocessor (Standard C++ header files like <iostream> already have this intelligence ).

62 The preprocessor directives #define, #ifdef, and #endif The name HEADER_FLAG can be any unique name, but a reliable standard to follow is to capitalize the name of the header file and replace periods with underscores (leading underscores, however, are reserved for system names). Here s an example:

63 These preprocessor statements that prevent multiple inclusion are often referred to as include guards.

64 3. How are using directives handled? The using directive eliminates the protection of that particular namespace, and the effect lasts until the end of the current compilation unit. If you put a using directive (outside of a scope) in a header file, it means that this loss of namespace protection will occur with any file that includes this header, which often means other header files. It s very easy to end up turning off namespaces practically everywhere, and thereby neutralizing the beneficial effects of namespaces.

65 3. How are using directives handled? Do not put using in header files!

66 Nested structures Both C and C++ allow declaration of a struct inside another. Here is a simple example (not in text):

67 Nested structure example? Draw memory diagram! Note that there are two functions initialize!

68 Nested structure example

69 Read and understand the full implementation and test files for the stack

70 Global scope resolution The scope resolution operator gets you out of situations in which the name the compiler chooses by default (the nearest name) isn t what you want. For example, suppose you have a structure with a local identifier a, and you want to select a global identifier a from inside a member function. The compiler would default to choosing the local one, so you must tell it to do otherwise.

71

72 QUIZ What does this program output?

73 QUIZ What does this program output?

74 QUIZ What does this program output?

75 QUIZ What does this program output?

76 No homework assigned yet for ch. 4 EOL 2