Classes: Part 2 . Static vs. Dynamic Variables Global and local variables Locals are automatic variables from the ‘stack’ of the memory, therefore.

Classes: Part 2

Static vs. Dynamic Variables

Global and local variables Locals are automatic variables from the ‘stack’ of the memory,

therefore called ‘static’ Dynamic variables are from the ‘heap’ of the memory.

2

‘static’ variables are ‘global’ with the file scope

In C and C++, ‘static’ is well defined:

Generally speaking: ‘static’ is meant to be ‘non-dynamic’

Static Variables in C and C++ Static variables are put somewhere ‘permanently’ or ‘globally’ in memory The static variable ‘s’ can only be accessed within the function but it is not

deleted with the function A ‘local’ static variable is a ‘global’ variable for the function, not the others.

3

int f(){ static int s = 0; return s++;}

int main() { cout << f() << endl; cout << f() << endl;}

Don’t do it unless you have a good reason!

Static Class Members

A variable that is part of a class, yet not part of an object of that class, is called a static member. There is exactly one copy of a static member per class, instead of one copy per object, as for non-

static members. Only one copy of a variable shared by all objects of a class

“Class-wide” information A property of the class shared by all instances, not a property of a specific object of the class

A function that needs to access to members of a class, yet does not need to be invoked for a particular object, is called a static member function.

4

like a kind of global variables but they have class scope (outside the class, they cannot be accessed)

Static Class Members

Can be declared public, private or protected Primitive (Fundamental-type) static data members

Initialized by default to 0 If you want a different initial value, a static data member can be initialized

once (and only once) A const static data member of int or enum type can be initialized in

its declaration in the class definition Alternatively, you can also initialize it in file scope

All other static data members must be defined at file scope (i.e., outside the body of the class definition)

static data members of class types (i.e., static member objects) that have default constructors need not be initialized because their default constructors will be called

5

Static Class Members To access a public static class member when no objects of the

class exist: Prefix the class name and the binary scope resolution operator (::) to the

name of the data member Employee::count

Also accessible through any object of that class Use the object’s name, the dot operator and the name of the member Employee_object.count

static member function Is a service of the class, not of the object of the class

Example: SEmployee.h, SEmployee.cpp, static.cpp

6

Private ‘static’ members still can only be accessed by member functions!

Static Member functions

Declare a member function static It cannot access non-static data members or non-static member

functions of the class (because the object may not exist when the function is called)

A static member function does not have a this pointer static data members and static member functions exist

independently of any objects of a class, i.e., when a static member function is called, there might not be any objects of its class in memory

7

SEmployee.h Employee has a static function and a static data member

8

class Employee {public: Employee(const char *const, const char *const); ~Employee(); const char* getFirstName() const; const char* getLastName() const; static int getCount(); private: char* firstName; char* lastName; static int count; // number of objects instantiated};

Static data member keeps track of number of Employee objects that currently exist;

Static member function may be called even the object does not exist.

SEmployee.cpp (1/3)

static data member is defined and initialized at file scope in the .cpp file

static member function can access only static data, because the function might be called when no objects exists

9

// define and initialize static data member at file scopeint Employee::count = 0; // cannot include keyword static

int Employee::getCount() { return count; }

Even static count is private!

SEmployee.cpp (2/3)

Non-static member function (e.g., constructor) can modify the class’s static data members

10

Employee::Employee(const char *const first, const char *const last){ firstName = new char[ strlen( first ) + 1 ]; strcpy(firstName, first);

lastName = new char[ strlen( last ) + 1 ]; strcpy( lastName, last );

count++;

cout << "Employee constructor for " << firstName << ' ' << lastName << " called." << endl;}

SEmployee.cpp (3/3)

Remember to deallocate memory reserved for arrays

11

Employee::~Employee(){ cout << "~Employee() called for " << firstName << ' ' << lastName << endl;

delete[] firstName; delete[] lastName;

count--;}

static.cpp (1/2)

Calling static member function using class name and binary scope resolution operator

Calling a static member function through a pointer to an object returns the value of the static variable Same as getting the value of Employee::count or calling Employee::getCount()

12

cout << "Number of employees before instantiation of any objects is " << Employee::getCount() << endl;

Employee* e1Ptr = new Employee( "Susan", "Baker" );Employee* e2Ptr = new Employee( "Robert", "Jones" );

cout << "Number of employees after objects are instantiated is “ << e1Ptr->getCount();

static.cpp (2/2)

Even when no object exists, we can still call static member function getCount()

13

cout << "\n\nEmployee 1: " << e1Ptr->getFirstName() << " " << e1Ptr->getLastName() << "\nEmployee 2: " << e2Ptr->getFirstName() << " " << e2Ptr->getLastName() << "\n\n";

delete e1Ptr; e1Ptr = 0; // e1Ptr = NULL;delete e2Ptr; e2Ptr = 0;

cout << "Number of employees after objects are deleted is " << Employee::getCount() << endl;

static.cpp Sample Output

14

Number of employees before instantiation of any objects is 0Employee constructor for Susan Baker called.Employee constructor for Robert Jones called.Number of employees after objects are instantiated is 2 (same as calling Employee::getCount() = 2) Employee 1: Susan BakerEmployee 2: Robert Jones ~Employee() called for Susan Baker~Employee() called for Robert JonesNumber of employees after objects are deleted is 0

Constant Static Variable

15

#include <iostream>

using namespace std;

class F {public: static int getcount(); // static member function cannot have `const' method qualifierprivate: const static int count;};

// initialization of constant static variable: must be here; not in main()const int F::count = 2;

int F::getcount() { cout << count;}

int main() { F::getcount(); // print out 2 F::getcount(); // print out 2 cout << F::count; // wrong as 'const int F::count' is private return 0;}

Constructors with Member Initializers

How to initialize a ‘const’ private member?

const data member increment must be initialized using a member initializer

17

class Increment {public: Increment(int c=0, int i=1); void addIncrement(){ count += increment; } void print() const; // prints count and incrementprivate: int count; const int increment; // const data member};

Colon (:) marks the start of a member initializer list c is the initial count, increment is the increment step Member initializer for non-const member count Required member initializer for const member increment Not providing a member initializer for a const data member is

a compilation error See Increment.h, Increment.cpp and const2.cpp

18

Increment::Increment(int c, int i) : count(c), // initializer for non-const member increment(i) // required initializer for const member { // empty body}

Constructors with Member Initializer

Required for initializing ‘reference’ data members ‘const’ data members

Member initializer list Appears between a constructor’s parameter list and the left brace that begins the

constructor’s body Separated from the parameter list with a colon (:) Each member initializer consists of the data member name followed by

parentheses containing the member’s construction and its initial value Multiple member initializers are separated by commas Executes before the body of the constructor executes

19

X::X(parameter_list) : member_initializer_list{

// body of constructor definition}

20

class F {public: F() : i(j), m(3), k(m), j(4) { cout << i << j << k << m << endl; }private: const int& i; const int j; // ANSI C++ cannot have const int j = 4; int& k; int m; // ANSI C++ cannot have int m = 3;};

class F {public: F() : i(j), k(m), j(4) { m=3; cout << i << j << k << m << endl; }private: const int& i; const int j; int& k; int m;};

class F {public: F() : i(j), k(m) { m=3; j = 4; // compiler complains: assignment of read-only member `F::j' cout << i << j << k << m << endl; }private: const int& i; const int j; int& k; int m;};

OK OK

NOT OK

4433

Examples of member initialization

Example: Time Class

21

Information hiding (Time.h and Time.cpp) Two types of constructors

class Time { public: Time(); Time(unsigned initHours, unsigned initMinutes, char initAMPM);

void set(unsigned hours, unsigned minutes, char am_pm);

void display(ostream& out) const; ... private: unsigned myHours, myMinutes; char myAMorPM; // 'A' or 'P' unsigned myMilTime; // military time equivalent};

Default Constructor

22

Time::Time() : myHours(12), myMinutes(0), myAMorPM('A'), myMilTime(0){

// void}

mealTime

myHours 12

myMinutes 0

myAMorPM A

myMilTime 0

Time mealTime = Time();

Explicit-Value Constructor

23

Time::Time(unsigned initHours, unsigned initMinutes, char initAMPM){ set(initHours, initMinutes, initAMPM); //a member function}

bedTime

myHours 11

myMinutes 30

myAMorPM P

myMilTime 2330

Time bedTime = Time(11,30,’P’);

(a random value if myMilTime is not set in set())

Constructors with Default Arguments

Constructors can specify default arguments Can initialize data members to a consistent state

Even if no values are provided in a constructor call

Constructor that defaults all its arguments is also a default constructor Can be invoked with no arguments Maximum of one default constructor per class

24

25

Possible to specify default values for constructor arguments

t1

myHours 12

myMinutes 0

myAMorPM A

myMilTime 0

t2

myHours 5

myMinutes 0

myAMorPM A

myMilTime 500

t3

myHours 6

myMinutes 30

myAMorPM A

myMilTime 630

t4

myHours 8

myMinutes 15

myAMorPM P

myMilTime 2015

Time(unsigned initHours = 12, unsigned initMinutes = 0, char initAMPM = 'A');

Time t1, t2(5), t3(6,30), t4(8,15,'P');

Copy Operations

26

During initialization

Time t = bedTime;

During assignment

t = midnight;

bedTime

myHours 11

myMinutes 30

myAMorPM P

myMilTime 2330

t

myHours 11

myMinutes 30

myAMorPM P

myMilTime 2330

midnight

myHours 12

myMinutes 0

myAMorPM A

myMilTime 0

t

myHours 12

myMinutes 0

myAMorPM A

myMilTime 0

Same as: Time t(bedTime); and calls ‘copy constructor’.

‘assignment’, by default, memberwise copy of the left into the right object.

Other Class Operations

27

Accessors: "get" functions

unsigned Time::getMinutes() const {return myMinutes;

}

unsigned Time::getHours() const { return myHours;}

unsigned Time::getAMPM() const { return myAMorPM;}

unsigned Time::getMilTime() const { return myMilTime;}

28

Mutators: "set" functions

void Time::set(unsigned hours, unsigned minutes, char am_pm){ // Check class invariant if (hours >= 1 && hours <= 12 && minutes >= 0 && minutes <= 59 && (am_pm == 'A' || am_pm == 'P')) { myHours = hours; myMinutes = minutes; myAMorPM = am_pm; myMilTime = toMilitary(hours, minutes, am_pm); } else cerr << "*** Can't set time with these values ***\n"; }

Display and Operator Overloading: do it later …

29

Explicit constructors (not explicit-value constructor

Initialization T t = v; // assignment syntax

Where v is of type V, the t is initilized by calling the constructor T::T(V v).

T t(v); // explicit syntax If v is not of type T, convert v to a temporary T object temp_t; Initialize t using the copy constructor T::T(const T&) with temp_t

as argument.

In most cases, the compiler may optimize such that the effect of the two is the same. This is the case, e.g. if there exisit a (non-explicity) constructor T::T(V), where v has type V.

31

class IntCell{public:

explicit IntCell(int initialValue = 0) : storedValue(initialValue) {}

int read( ) const {return storedValue;}void write(int x) {storedValue = x;}

private:int storedValue;

}

32

Avoid implicit type conversion

An explicit constructor will be invoked only explicitly. Where a copy constructor is needed, an explicit constructor will not be implicitly invoked.

main(){ int x = 4; // same as int x(4); IntCell z(5); // now 5 (call explicit-value constructor) IntCell t; // now 0 (call default constructor) IntCell u = IntCell(x); // now 4 (call explicit-value constructor, // then copy constructor) IntCell y = x; // invalid implicit conversion: y = IntCell(x)…}

33

Try to implicitly call IntCell (x), which is ‘explicit’!

If no ‘explicit’ keywork, IntCell y = x; is OK.

Objects as class members

Objects as Members of Classes A class can have objects of other classes as members

Sometimes referred to as a ‘has-a’ relationship Example: Date.h, Date.cpp, Employee.h, Employee.cpp and

composition.cpp

35

class Employee{public: Employee(const char *const, const char *const, const Date&, const Date&); ~Employee();

void print() const;private: char firstName[25]; char lastName[25]; const Date birthDate; const Date hireDate; };

const char *const: see ‘pointer’ slides.

Employee’s constructor

Member initializers pass arguments to Date’s implicit copy constructor (equivalent to const Date birthDate = dateOfBirth;)

A compilation error occurs if a const member object is not initialized with a member initializer in the constructor

36

Employee::Employee(const char *const first, const char *const last, const Date& dateOfBirth, const Date& dateOfHire) : birthDate(dateOfBirth), hireDate(dateOfHire){ ...}

Initializing member objects Member initializers pass arguments from the object’s constructor to member-object constructors Before the enclosing class object (host object) is constructed If a member initializer is not provided, the member object’s default constructor will be called

implicitly

Object reference and self-reference: the this pointer

Pointers to Class Objects

38

Possible to declare pointers to class objects

Access with

or

Call delete to free the memory

t

myHours 12

myMinutes

0

myAMorPM

A

myMilTime

0

timePtr

Time* timePtr = &t;

Time* timePtr = new Time(12, 0, ‘A’, 0);

timePtr->getMilTime()

(*timePtr).getMilTime()

delete timePtr; // call destructor

A Member Function Returning a Reference

We can have a member function which returns a reference. For example, if a member function returns an integer reference, there are 4

possibilities. int& f();

This is for non-constant objects. It returns an integer reference and hence can be subsequently changed.

E.g., for a non-constant object ncfoo, we can call ncfoo.f() = 10; or i = ncfoo.f(); const int& f();

This is for non-constant objects. It has to be a rvalue. i = ncfoo.f(); // good ncfoo.f() = 10; // wrong: compilation error

const int& f() const; This is for both constant and non-constant objects (constant object can call it only). It returns a constant

reference and hence can only be rvalue. i = cfoo.f(); // good; or i= ncfoo.f(); cfoo.f() = 10; //wrong; and nor ncfoo.f() = 10;

int& f() const; This returns a reference which can be a lvalue. However, because it can be called by a constant object

(which should never be a lvalue), this should not be used. Therefore, you can have

Either first or second for non-constant objects depending on what you want on the return value; and The third one for constant objects The compiler will make the call depending on whether the object is constant or not.

39

The this Pointer

40

Every class has a keyword, this a pointer whose value is the address of the object Value of *this would be the object itself

Function members

Data members

Class Object

this

*this

Using the this Pointer when you want to return the modified object:

Every object has access to its own address through a pointer called this (a C++ keyword)

Objects use the this pointer implicitly or explicitly Implicitly when accessing members directly Explicitly when using keyword this Type of the this pointer (i.e., whether it can be modified or not) depends on the

type of the object and whether the executing member function is declared const

41

F& F::f(){ // … return *this;}

Members of the class, not that of the objects member data, non-static, so far belong to ‘objects’ or ‘instances’ of the class member data, static, are ‘variables’ of the class, not the objects.

Summary: static and non-static members

class A {…int l;static int g;

}

A::g

A a,b,c,d, … ;

a.lb.lc.ld.l (multiple copies)

a.g = b.g = c.g = d.g = … = A::g (one copy)

Have to use ‘member initializers’ for ‘reference’ data members ‘const’ data members

43

X::X(…) : …{ …}

General form of ‘constructors’

class A {…int& r;const int c;

}

Separate compilation

Interface and Implementation

In C++ it is more common to separate the class interface from its implementation. Abstract data type

The interface lists the class and its members (data and functions).

The implementation provides implementations of the functions.

45

What to do?

How to do?

Interface Describes what services a class’s clients can use and how to

request those services But does not reveal how the class carries out the services A class definition that lists only member function names, return types

and parameter types Function prototypes

A class’s interface consists of the class’s public member functions (services)

46

Separate File for Reusability

.cpp source-code files .h header files

Separate files in which class definitions are placed Allow compiler to recognize the classes when used elsewhere Generally have .h filename extensions

Driver files Program used to test software (such as classes) Contains a main function so it can be executed

See GradeBook4.h and Gradebook4.cpp

47

#include preprocessor directive

#include "GradeBook.h" include header files

Instructs C++ preprocessor to replace directive with a copy of the contents of the specified file

Quotes for user-defined header files Preprocessor first looks in current directory If the file is not found, looks in C++ Standard Library directory

Angle brackets for C++ Standard Library Preprocessor looks only in C++ Standard Library directory #include <iostream>

48

class IntCell {

public:

explicit IntCell(int initialValue = 0 );

int read( ) const;

void write( int x );

private:

int storedValue;

}

IntCell::IntCell(int initialValue)

: storedValue(initialValue)

{ }

int IntCell::read( ) const

{return storedValue;}

void IntCell::write(int x)

{storedValue = x;}

The interface is typically placed in a file that ends with .h. The implementation file typically ends with .cpp, .cc, or .C.

IntCell.h IntCell.cpp

49

Separate Class Interface from Implementation

Client code should not break if the implementation changes, as long as the interface stays the same

Define member functions outside the class definition, in a separate source-code file

In source-code file for a class Use binary scope resolution operator (::) to “tie” each member function

to the class definition

Implementation details are hidden Client code does not need to know the implementation

In the header file for a class Function prototypes describe the class’s public interface

50

Class Libraries

51

Class declarations placed in header file Given .h extension Contains data items and prototypes

Implementation file Same prefix name as header file Given .cpp extension

Programs which use this class library called client programs

Reality: the separation is not perfect

Header files do contain some portions of the implementation and hint about others

private members are listed in the class definition in the header file

52

Typical C++ Development Environment

Edit Programmer writes program (and

stores source code on disk) Preprocess

Perform certain manipulations and file I/O before compilation

Compile Compiler translates C++ programs into

machine languages in object codes Link

Link object codes with missing functions and data

Load Transfer executable image to memory

Execute Execute the program one instruction at

a time

53

The Compilation and Linking Process Source-code file is compiled to

create the class’s object code (source-code file must #include header file) Class implementation

programmer only needs to provide header file and object code to client

Client must #include header file in their own code So compiler can ensure that the

main function creates and manipulates objects of the class correctly

54

Translating a Library

55

Program Source File

Library Header File

Library Implementation File

C++ Compiler

C++ Compiler

Linker

Program Object File

Library Object File

Program Executable File

g++ -c

g++ -c

.o

.o e.g., g++ foo.cpp bar.o fb.o

56

#include <iostream>#include "library.h"using namespace std;int TestInt=99;

int main(){ cout << "Hello"<<endl; cout << functionA(100) << endl; return 0;}

#include "library.h"

int functionA( int i ){ return TestInt* i;}

#ifndef ABC#define ABC

int TestInt = 99;

int functionA( int ); #endif

> g++ main.cpp source.cppld: fatal: symbol `TestInt' is multiply-defined: (file /var/tmp/ccvkmxE2.o type=OBJT; file /var/tmp/ccgj1SDu.o type=OBJT);ld: fatal: File processing errors. No output written to a.outcollect2: ld returned 1 exit status

main.cppsource.cpp

--------------- extern int TestInt;

Output:Hello9900

library.h

Why #ifndefine #define #endif Statement?

It is ok to have multiple declarations of a function prototype, but not for its definition In the .h file, put the prototypes there .h files are likely to be multiply-included

In creating the .o file, there may be nested #include statement The nested #include statement may be recursive

In main.cpp, #include “foo.h” In foo.h, #include “bar.h” In bar.h, #include “foo.h”

To break the infinite “recursive” inclusion, use #ifndefine #define to define a “variable” in the compilation process of .o file

If a variable has been defined, the compiler will skip the code segment between #ifndefine and #endif.

57

Data Integrity Data integrity are not automatic by putting data members

as private The programmer must provide appropriate validity checking and

report the errors Member functions that set the values of private data

should verify that the intended new values are proper They should place the private data members into an appropriate

state set functions can be used to validate data besides simply

setting the value Known as validity checking Keeps object in a consistent state

The data member contains a valid value Can return message indicating that attempts were made to assign

invalid data

58

Gradebook6.h (with Validity Checking)

Same as Gradebook4.h, but with the interface, implementation and driver separated into three files

Interface contains data members and member function prototypes only Note the #ifndef statements to prevent multiple inclusions 59

#ifndef GRADEBOOK_H #define GRADEBOOK_H

class GradeBook{public: GradeBook( string ); void setCourseName( string ); string getCourseName(); void displayMessage();

private: string courseName;};

#endif

Gradebook6.cpp

set functions perform validity checking to keep courseName in a consistent state

GradeBook implementation is placed in a separate file Include the header file to access the class name GradeBook Binary scope resolution operator :: “ties” a function to its class 60

#include "GradeBook6.h" // include definition of class GradeBook

void GradeBook::setCourseName( string name ){ // if name has 25 or fewer characters if ( name.length() <= 25 ) courseName = name;

// if name has more than 25 characters if ( name.length() > 25 ) { // set courseName to first 25 characters of parameter name courseName = name.substr( 0, 25 );

cout << "Name \"" << name << "\" exceeds maximum length (25).\n" << "Limiting courseName to first 25 characters."; }}

driver6.cpp (1/2)

Include the header file to use the class GradeBook

61

#include "GradeBook6.h" // include definition of class GradeBook

int main(){ // initial course name of gradeBook1 is too long GradeBook gradeBook1( "COMP104 Introduction to Programming in C++" ); GradeBook gradeBook2( "COMP152 OOP and Data Structures" ); cout << "gradeBook1's initial course name is: " << gradeBook1.getCourseName() << "\ngradeBook2's initial course name is: " << gradeBook2.getCourseName() << endl;

driver6.cpp (2/2)

Call set function to perform validity checking directly In Linux, compile them all together using g++ Gradebook6.cpp driver6.cpp Or using object files: g++ -c Gradebook6.cpp; g++ -c driver6.cpp; g++ driver6.o driver6.o

62

// modify myGradeBook's courseName (with a valid-length string) gradeBook1.setCourseName( "COMP104 C++ Programming" );

// display each GradeBook's courseName cout << "\ngradeBook1's course name is: " << gradeBook1.getCourseName() << "\ngradeBook2's course name is: " << gradeBook2.getCourseName() << endl; return 0;}

driver6.cpp Sample Output

63

Name "COMP104 Introduction to Programming in C++" exceeds maximum length (25).Limiting courseName to first 25 characters.gradeBook1's initial course name is: COMP104 Introduction to PgradeBook2's initial course name is: COMP152 OOP and Data StrugradeBook1's course name is: COMP104 C++ ProgramminggradeBook2's course name is: COMP152 OOP and Data Stru