TweetFollow Us on Twitter

C++ Overview
Volume Number:5
Issue Number:9
Column Tag:Jörg's Folder

C++ Overview

By Jörg Langowski, MacTutor Editorial Staff

“An Overview Of C++”

MacHack ’89 brought me not only a colorful set of screwdrivers from APDA, but also a new assignment: yours truly is supposed to run a tutorial column on C++. C++ is a very interesting programming language. Supposedly, the new Finder was written in it. Also, it exists on a couple of Unix systems. In fact, shopping for a Unix system, we recently met a representative who assured us that C++ would be delivered with the system. Jordan Matthews, and other people from Apple, spoke very highly about C++ at the MacHack, and assured us that we would get our fingers on a pre-release of Apple’s C++ for MPW, supposedly to be delivered by the end of this year.

As you might have guessed, Apple hasn’t sent us the pre-release yet, and I have yet to use a working C++ compiler. So far my only ‘hands-on’ experience is Bjarne Stroustrup’s book, The C++ Programming Language (Addison-Wesley 1987), which I highly recommend.

The style of the book is rather terse, and you have to work your way through. A good example is that after the introduction, not much is said about ‘object-oriented’ programming, until you hit page 213:

“A list specified in terms of pointers to a class can hold objects of any class derived from that class. That is, it may be heterogeneous. This is probably the single most important and useful aspect of derived classes, and it is essential in the style of programming presented in the following example. That style of programming is often called object based or object oriented; it relies on operations applied in a uniform manner to objects on heterogeneous lists.”

So now you know what you’ve really done when you used MacApp The fact that Stroustrup refers to object-oriented programming in this rather abstract way made me dig out an old introduction to Simula 67, which was the first language to introduce object-oriented concepts. There, too (the book dates from 1973) no reference is made to OOP as we know it today. All the important constructs - classes, instances, methods, overriding - are already there, and one could have implemented today’s programming style in Simula; only computers were much smaller, and most programs did not demand OOP concepts.

The C++ Design

Stroustrup’s team designed C++ for dealing with simulation problems not unlike those that Simula was developed for. However, C++ is a much broader concept than simply a set of ‘object-oriented’ extensions to C; it is a redesign of the C language. To use another quotation from Stroustrup’s book, “C++ was designed to enable larger programs to be structured in a rational way so that it would not be unreasonable for a single person to deal with 25,000 lines of code”. To achieve such an ambitious goal, the most important point is to allow the user to extend the language to accommodate new ‘shorthand notations’ for things that have to be done over and over again. For instance, in a program that uses matrix algebra, given the 25-row by 35-column matrix C and 25-row by 15-column matrix B,

A = ^B*C

is much easier to read than

matmul (A,transpose(B),C,15,25,35).

To be able to use such a shorthand for matrix multiplication, we would need two features built into the language: a. data structures that carry additional information, such as row and column size for a matrix, but which is normally hidden to the user; and b. the capability to redefine operators - like ‘*’ or ‘^’ - depending on the context in which they are used. The latter feature would then cause a ‘*’ to behave differently depending on whether it is used to multiply two integers, reals, vectors or matrices. Some of this behavior is already built into most compilers: integer and real multiply generate different code. But this behavior cannot be modified. C++ allows you to modify your operators in any odd way.

Classes

Let’s assume we wanted to define an array structure, matrix, whose size is not defined at compile time and for which space will be dynamically allocated at run time. In C, one might write

typedef struct matrix
{
    int rows, cols;
    int *m;  /* pointer to matrix  data */
}
matrix a

and then write an indexing function elem(i,j) which refers to the (i,j)th element of the matrix a by

*(a.m + 2*(i*a.cols + j)).

Of course, it would be much easier to simply define a two-dimensional array and write a[i][j], but let’s stay with this definition for a while; unlike the usual array definition, this matrix is resizeable and space is allocated dynamically at run time. We would have to find a block of memory to hold the matrix data and put a pointer to it in m.

When we access an array, we are often not interested in its actual dimensions, as long as the indices are not out of range. In C++ we can define the matrix type in such a way that only certain functions have access to information ‘private’ to the array (such as its dimensions), and all access to the array’s data is done through these access functions, called methods. Data structures that may carry private information are called classes in C++. (According to the manual, classes are ‘user-defined types’ - the most general definition that one might imagine!). A class is just like a struct in which some of the fields cannot be ‘seen from the outside’, and in which the interface to these private fields is defined through method declarations. The C++ class definition for the matrix type would look very similar to a struct declaration, with some additions. The syntax of the class declaration is:

/* 1 */

class matrix
{
     int rows, cols;
     int *m;  /* pointer to matrix  data */
public:
     int rowsize() { return rows}
     int colsize() { return cols }
     void set_size(int,int);
     int& elem(int,int);
     matrix(int,int); 
     ~matrix;
     }
matrix a

Those of you who have had some experience with NEON [let’s make the point again that it is a shame that NEON has disappeared ] might recall that its class definition looked similar:

:class matrix <super object
     2 <indexed
     int rows
     int cols
   :M rowsize    ;M
  
etc 
;class

NEON, however, did not have the label public: for separating the private and public parts of the class declaration. In NEON, all variables were private and all the methods were public.

The C++ class declaration is similar to a C struct declaration, with the possibility to include functions and to hide parts of the declaration from the outside. The public functions in a class that constitute the interface to the outside world are called methods.

There are two principal ways to define a method. One can write the method code inside the class declaration (as for rowsize and colsize in the example above), or one can just declare the method and write the method code later, as for set_size or elem. elem returns the reference to an integer that is the (i,j)th element of the matrix and might be defined as follows:

/* 3 */

int& matrix::elem(int i, int j)  { return m[i*cols + j] };

There is a fundamental difference between methods defined inside and outside of a class declaration. The methods defined outside will be called through a subroutine call, while inside-defined methods are inline-expanded by the compiler. Writing a.rowsize will not generate a JSR to the function code, but code that will directly reference the hidden field a.row. However, any method that is defined outside a class declaration may also be defined as an inline method by prefixing it with the keyword inline:

/* 4 */

inline int& matrix::elem(int i, int j)  { return m[i*cols + j] };

There are two more special methods in the class declaration which carry the name of the class, or respectively the class name prefixed with a tilde (~). These are the so-called constructor and destructor methods; they are called when a new object is declared (as in matrix a;) or deleted (when one leaves the block that the object was declared in). Constructors and destructors are important when heap space has to be allocated for an object (our matrix will need it) and deallocated when the object is no longer defined.

Operators

Our dynamically sized matrix might be defined in a slightly different way which allows to access the elements in the usual way, writing a[i][j] instead of a.elem(i,j). One first defines a one-dimensional array class (as in Stroustrup’s book):

/* 5 */

class vector 
{
     int* v;
     int sz;
public:
     vector(int); ~vector();
     int size () { return sz; }
     void set_size(int);
     int& operator[](int);
     int& elem(int i) { return v[i] };
};

and then builds the two-dimensional class on top of it:

/* 6 */

 class matrix : vector
{
     vector*& mv;
     int rows, cols;
public:
     matrix(int,int); ~matrix;
     int rowsize () { return rows; }
     int colsize () { return cols; }
     void set_size(int,int);
     vector*& operator[](int);
     int& elem(int i, int j) { return mv[i][j] };
};

(I hope this is approximately correct while I’m waiting for the C++ system to try this out and get ready for your embarrassing remarks). In the program, one would declare matrix a(10,20) and access the (i,j)th element by writing a[i][j]. The array indexing operator [] has been re-declared in the class declaration, and will now support checking of index bounds, if we wish so.

The actual implementation of the operators has of course to be done separately. We would write

/* 6 */

 int& vector::operator[](int i) { /* body of code */ }

and

/* 7 */

 vector*& matrix::operator[](int i) { /* body of code */ }

to implement the new definitions.

The matrix multiplication operator may now be defined easily. We write

/* 8 */

matrix operator*(matrix& a, matrix& b)
{
     matrix c(a.colsize,b.rowsize);
     if (a.rowsize != b.colsize) error “index mismatch”;
     for (int i=1 ; i<a.colsize ; i++)
          for (int j=1 ; j<b.rowsize ; j++)
          {
               int sum = 0;
               for (int k=1 ; k<a.rowsize ; k++)  
                    sum = sum + a[i][k]*b[k][j];
               c[i][j] = sum;
          };
     return c;
};

Again, I hope this would work in an actual example. It is not the most efficient way to program the matrix multiplication; the good way to do it would be using friend definitions. This concept is explained in Stroustrup’s book, and I’m going to come back to it in the next column, where I can supply some examples.

The expression a*b, where a and b are of type matrix, would return a pointer to another object of class matrix, which contains the product of a and b. To make sense of the expression c = ^a*b, we would also have to define the transpose operator, ‘^’, and the assignment operator, ‘=’. I won’t write these definitions down here; you might try to work them out, or better, test them if you have a C++ system available.

Operator redefinition is one of the most important concepts of C++, since it makes the code much more readable. The redefinition of an existing operator (like +, *, etc.) is called operator overloading; when such a redefined operator is used, the compiler will automatically search the existing definitions to find one that works on the data types provided. Thus, even if one redefined * for matrices, integer and real multiplications would still work as before. I have not found out yet whether dynamic binding is possible for operators by declaring them virtual (see below), but I’m sure I’ll soon be able to test that.

Class Hierarchies

We have seen the syntax of a class definition which was derived from another class, class matrix : vector { }. If we define a derived class this way, none of the methods in the superclass will be accessible through an object of the subclass; all subclass methods have to be explicitly defined in the subclass declaration. If we write, on the other hand, class matrix : public vector { }, any method from class vector that is not redefined in class matrix is usable on objects of class matrix as well. This is the way we very often wish objects to behave; methods that are redefined in a subclass should override the superclass definition, but if an object does not ‘know’ about a method it should look for a definition higher up in the hierarchy.

In a class hierarchy we should therefore be able to apply a method to an arbitrary object whose exact type is not known at compile time. If the object’s type is known at compile time, the compiler will simply generate a JSR to the appropriate method code, passing arguments as required. This is known as early binding in object-oriented jargon. If the type is not known, we must check at run time what type of object is given the method call, and see whether the method is defined in the object’s class declaration or somewhere higher up in the hierarchy. This is called late binding; a run time error message will be generated if the method can’t be found for a particular object.

Late binding is important if we have a list of objects to which the same method should be applied, for instance a list of shapes - rectangles, circles, polygons - to be drawn on a screen. If the list is kept in an array shapelist[i], we could then simply write

/* 9 */

for (i=1;i<=N;i++) shapelist[i].draw;

to draw all the objects. This is very similar to Object Pascal, where we would write analogously

{10}

for i :=1 to N do shapelist[i].draw;

However, in Object Pascal late binding is always used when early binding can’t be applied. In C++, we have to tell the compiler that a method could be used for late binding by declaring it virtual:

/* 11 */

class TShape {
    TShape* Next, Prev;
    Rect boundRect;
    RgnHandle ShapeRgn;
public:
    virtual void Create(rect *theRect); 
    virtual void Track(rect *oldRect,*newRect);
    virtual void Draw();
    virtual void Erase();
    virtual void Free();
}

This is the generic definition of a shape for which methods for drawing, erasing, etc. exist, but may or may not be defined in the top class; they may be overridden in the descendant classes, and the actual binding may be known only at run time. The figure illustrates the definition of a class hierarchy of shapes in C++ and in Object Pascal.

This more or less concludes my quick overview of the main characteristics of C++ (of course, all the features of C are still present in the language). Don’t laugh at the mistakes that are probably still in the examples; this happens when one writes programs without a compiler. There are many details I haven’t gone into here; we’ll get to know them in the following columns, with corresponding examples. Forth friends, don’t despair; you’ll get your share soon again, too.

 

Community Search:
MacTech Search:

Software Updates via MacUpdate

Bookends 12.7.8 - Reference management a...
Bookends is a full-featured bibliography/reference and information-management system for students and professionals. Bookends uses the cloud to sync reference libraries on all the Macs you use.... Read more
VirtualBox 5.1.14 - x86 virtualization s...
VirtualBox is a family of powerful x86 virtualization products for enterprise as well as home use. Not only is VirtualBox an extremely feature rich, high performance product for enterprise customers... Read more
FileZilla 3.24.0 - Fast and reliable FTP...
FileZilla (ported from Windows) is a fast and reliable FTP client and server with lots of useful features and an intuitive interface. Version 3.24.0: New The context menu for remote file search... Read more
BusyContacts 1.1.6 - Fast, efficient con...
BusyContacts is a contact manager for OS X that makes creating, finding, and managing contacts faster and more efficient. It brings to contact management the same power, flexibility, and sharing... Read more
BusyCal 3.1.4 - Powerful calendar app wi...
BusyCal is an award-winning desktop calendar that combines personal productivity features for individuals with powerful calendar sharing capabilities for families and workgroups. Its unique features... Read more
Duplicate Annihilator 5.8.3 - Find and d...
Duplicate Annihilator takes on the time-consuming task of comparing the images in your iPhoto library using effective algorithms to make sure that no duplicate escapes. Duplicate Annihilator detects... Read more
MarsEdit 3.7.10 - Quick and convenient b...
MarsEdit is a blog editor for OS X that makes editing your blog like writing email, with spell-checking, drafts, multiple windows, and even AppleScript support. It works with with most blog services... Read more
WALTR 2 2.0.9 - $39.95
WALTR 2 helps you wirelessly drag-and-drop any music, ringtones, videos, PDF, and ePub files onto your iPhone, iPad, or iPod without iTunes. It is the second major version of Softorino's critically-... Read more
Paperless 2.3.9 - $49.95
Paperless is a digital documents manager. Remember when everyone talked about how we would soon be a paperless society? Now it seems like we use paper more than ever. Let's face it - we need and we... Read more
Adobe After Effects CC 2017 14.1 - Creat...
After Effects CC 2017 is available as part of Adobe Creative Cloud for as little as $19.99/month (or $9.99/month if you're a previous After Effects customer). The new, more connected After Effects CC... Read more

Super Mario Run dashes onto Android in M...
Super Mario Run was one of the biggest mobile launches in 2016 before it was met with a lukewarm response by many. While the game itself plays a treat, it's pretty hard to swallow the steep price for the full game. With that said, Android users... | Read more »
WarFriends Beginner's Guide: How to...
Chillingo's new game, WarFriends, is finally available world wide, and so far it's a refreshing change from common mobile game trends. The game's a mix of tower defense, third person shooter, and collectible card game. There's a lot to unpack here... | Read more »
Super Gridland (Entertainment)
Super Gridland 1.0 Device: iOS Universal Category: Entertainment Price: $1.99, Version: 1.0 (iTunes) Description: Match. Build. Survive. "exquisitely tuned" - Rock Paper Shotgun No in-app purches, and no ads! | Read more »
Red's Kingdom (Games)
Red's Kingdom 1.0 Device: iOS Universal Category: Games Price: $4.99, Version: 1.0 (iTunes) Description: Mad King Mac has kidnapped your father and stolen your golden nut! Solve puzzles and battle goons as you explore and battle your... | Read more »
Turbo League Guide: How to tame the cont...
| Read more »
Fire Emblem: Heroes coming to Google Pla...
Nintendo gave us our first look at Fire Emblem: Heroes, the upcoming mobile Fire Emblem game the company hinted at last year. Revealed at the Fire Emblem Direct event held today, the game will condense the series' tactical RPG combat into bite-... | Read more »
ReSlice (Music)
ReSlice 1.0 Device: iOS Universal Category: Music Price: $9.99, Version: 1.0 (iTunes) Description: Audio Slice Machine Slice your audio samples with ReSlice and create flexible musical atoms which can be triggered by MIDI notes or... | Read more »
Stickman Surfer rides in with the tide t...
Stickson is back and this time he's taken up yet another extreme sport - surfing. Stickman Surfer is out this Thursday on both iOS and Android, so if you've been following the other Stickman adventures, you might be interested in picking this one... | Read more »
Z-Exemplar (Games)
Z-Exemplar 1.4 Device: iOS Universal Category: Games Price: $3.99, Version: 1.4 (iTunes) Description: | Read more »
5 dastardly difficult roguelikes like th...
Edmund McMillen's popular roguelike creation The Binding of Isaac: Rebirth has finally crawled onto mobile devices. It's a grotesque dual-stick shooter that tosses you into an endless, procedurally generated basement as you, the pitiable Isaac,... | Read more »

Price Scanner via MacPrices.net

Twelve South Releases RelaxedLeather Cases fo...
Inspired by the laid-back luxury of burnished leather boots and crafted in rich tones of taupe, herb and marsala, RelaxedLeather cases deliver smart, easy protection for the iPhone 7. Each genuine... Read more
Week’s Best Deal: New 2016 13-inch 2.0GHz Mac...
Amazon has the new 2016 13″ 2.0GHz non-Touch Bar MacBook Pros on sale for a limited time for $225 off MSRP including free shipping: - 13″ 2.0GHz MacBook Pro, Space Gray (MLL42LL/A): $1274.99 $225 off... Read more
Back in stock: Apple refurbished Mac minis fr...
Apple has Certified Refurbished Mac minis available starting at $419. Apple’s one-year warranty is included with each mini, and shipping is free: - 1.4GHz Mac mini: $419 $80 off MSRP - 2.6GHz Mac... Read more
Apple Ranked ‘Most Intimate Brand’
The top ranked ‘”intimate” brands continued to outperform the S&P and Fortune 500 indices in revenue and profit over the past 10 years, according to MBLM’s Brand Intimacy 2017 Report, the largest... Read more
B-Eng introduces SSD Health Check for Mac OS
Fehraltorf, Switzerland based independant Swiss company- B-Eng has announced the release and immediate availability of SSD Health Check 1.0, the company’s new hard drive utility for Mac OS X. As the... Read more
Apple’s Education discount saves up to $300 o...
Purchase a new Mac or iPad using Apple’s Education Store and take up to $300 off MSRP. All teachers, students, and staff of any educational institution qualify for the discount. Shipping is free: -... Read more
4-core 3.7GHz Mac Pro on sale for $2290, save...
Guitar Center has the 3.7GHz 4-core Mac Pro (MD253LL/A) on sale for $2289.97 including free shipping or free local store pickup (if available). Their price is a $710 savings over standard MSRP for... Read more
128GB Apple iPad Air 2, refurbished, availabl...
Apple has Certified Refurbished 128GB iPad Air 2s WiFis available for $419 including free shipping. That’s an $80 savings over standard MSRP for this model. A standard Apple one-year warranty is... Read more
13-inch 2.7GHz Retina MacBook Pro on sale for...
B&H Photo has the 2015 13″ 2.7GHz/128GB Retina Apple MacBook Pro on sale for $100 off MSRP. Shipping is free, and B&H charges NY tax only: - 13″ 2.7GHz/128GB Retina MacBook Pro (MF839LL/A): $... Read more
Laptop Market – Flight To Quality? – The ‘Boo...
Preliminary quarterly PC shipments data released by Gartner Inc. last week reveal an interesting disparity between sales performance of major name PC vendors as opposed to that of less well-known... Read more

Jobs Board

*Apple* & PC Desktop Support Technician...
Apple & PC Desktop Support Technician job in Manhattan, NY Introduction: We have immediate job openings for several Desktop Support Technicians with one of our most Read more
Senior Workstation Administrator - *Apple*...
…with extraordinary HR. QualificationsJOB SUMMARY/OVERVIEWThe Senior Workstation Administrator - Apple supports the mission of TriNet by providing advanced level Read more
Intermediate *Apple* macOS Systems Integrat...
**Position Summary:** SC3 is actively seeking an Intermediate Apple macOS systems integration administrator that will be responsible for providing Apple Mac Read more
*Apple* & PC Desktop Support Technician...
Apple & PC Desktop Support Technician job in Los Angeles, CA Introduction: We have immediate job openings for several Desktop Support Technicians with one of our Read more
*Apple* Retail - Multiple Positions - Apple,...
SalesSpecialist - Retail Customer Service and SalesTransform Apple Store visitors into loyal Apple customers. When customers enter the store, you're also the Read more
All contents are Copyright 1984-2011 by Xplain Corporation. All rights reserved. Theme designed by Icreon.