A data structure is a group of data elements grouped together under one name. These data elements, known asmembers, can have different types and different lengths. Data structures can be declared in C++ using the following syntax:
struct type_name { member_type1 member_name1; member_type2 member_name2; member_type3 member_name3; . . } object_names;
Where type_name
is a name for the structure type, object_name
can be a set of valid identifiers for objects that have the type of this structure. Within braces {}
, there is a list with the data members, each one is specified with a type and a valid identifier as its name.
For example:
struct product { int weight; double price; } ; product apple; product banana, melon;
This declares a structure type, called product
, and defines it having two members: weight
and price
, each of a different fundamental type. This declaration creates a new type (product
), which is then used to declare three objects (variables) of this type: apple
, banana
, and melon
. Note how once product
is declared, it is used just like any other type.
Right at the end of the struct
definition, and before the ending semicolon (;
), the optional field object_names
can be used to directly declare objects of the structure type. For example, the structure objects apple
, banana
, and melon
can be declared at the moment the data structure type is defined:
struct product { int weight; // 声明 属性 。structure type name double price; } apple, banana, melon; // 声明 物品。object of this type
In this case, where object_names
are specified, the type name (product
) becomes optional: struct
requires either atype_name
or at least one name in object_names
, but not necessarily both.
It is important to clearly differentiate between what is the structure type name (product
), and what is an object of this type (apple
, banana
, and melon
). Many objects (such as apple
, banana
, and melon
) can be declared from a single structure type (product
).
Once the three objects of a determined structure type are declared (apple
, banana
, and melon
) its members can be accessed directly. The syntax for that is simply to insert a dot (.
) between the object name and the member name. For example, we could operate with any of these elements as if they were standard variables of their respective types:
apple.weight apple.price banana.weight banana.price melon.weight melon.price
Each one of these has the data type corresponding to the member they refer to: apple.weight
, banana.weight
, andmelon.weight
are of type int
, while apple.price
, banana.price
, and melon.price
are of type double
.
Here is a real example with structure types in action:
// example about structures #include <iostream> #include <string> #include <sstream> using namespace std; struct movies_t { string title; int year; } mine, yours; void printmovie (movies_t movie); int main () { string mystr; mine.title = "2001 A Space Odyssey"; mine.year = 1968; cout << "Enter title: "; getline (cin,yours.title); cout << "Enter year: "; getline (cin,mystr); stringstream(mystr) >> yours.year; cout << "My favorite movie is:\n "; printmovie (mine); cout << "And yours is:\n "; printmovie (yours); return 0; } void printmovie (movies_t movie) { cout << movie.title; cout << " (" << movie.year << ")\n"; }
|
Enter title: Alien Enter year: 1979 My favorite movie is: 2001 A Space Odyssey (1968) And yours is: Alien (1979)
|
The example shows how the members of an object act just as regular variables. For example, the member yours.year
is a valid variable of type int
, and mine.title
is a valid variable of type string
.
But the objects mine
and yours
are also variables with a type (of type movies_t
). For example, both have been passed to function printmovie
just as if they were simple variables. Therefore, one of the features of data structures is the ability to refer to both their members individually or to the entire structure as a whole. In both cases using the same identifier: the name of the structure.
Because structures are types, they can also be used as the type of arrays to construct tables or databases of them:
// array of structures #include <iostream> #include <string> #include <sstream> using namespace std; struct movies_t { string title; int year; } films [3]; void printmovie (movies_t movie); int main () { string mystr; int n; for (n=0; n<3; n++) { cout << "Enter title: "; getline (cin,films[n].title); cout << "Enter year: "; getline (cin,mystr); stringstream(mystr) >> films[n].year; } cout << "\nYou have entered these movies:\n"; for (n=0; n<3; n++) printmovie (films[n]); return 0; }
|
Enter title: Blade Runner Enter year: 1982 Enter title: The Matrix Enter year: 1999 Enter title: Taxi Driver Enter year: 1976 You have entered these movies: Blade Runner (1982) The Matrix (1999) Taxi Driver (1976)
|
Like any other type, structures can be pointed to by its own type of pointers:
struct movies_t { string title; int year; }; movies_t amovie; movies_t * pmovie;
|
Here amovie
is an object of structure type movies_t
, and pmovie
is a pointer to point to objects of structure typemovies_t
. Therefore, the following code would also be valid:
pmovie = &amovie;
The value of the pointer pmovie
would be assigned the address of object amovie
.
Now, let's see another example that mixes pointers and structures, and will serve to introduce a new operator: the arrow operator (->
):
// pointers to structures #include <iostream> #include <string> #include <sstream> using namespace std; struct movies_t { string title; int year; }; int main () { string mystr; movies_t amovie; movies_t * pmovie; pmovie = &amovie; cout << "Enter title: "; getline (cin, pmovie->title); cout << "Enter year: "; getline (cin, mystr); (stringstream) mystr >> pmovie->year; cout << "\nYou have entered:\n"; cout << pmovie->title; cout << " (" << pmovie->year << ")\n"; return 0; }
|
Enter title: Invasion of the body snatchers Enter year: 1978 You have entered: Invasion of the body snatchers (1978)
|
The arrow operator (->
) is a dereference operator that is used exclusively with pointers to objects that have members. This operator serves to access the member of an object directly from its address. For example, in the example above:
pmovie->title
(*pmovie).title
Both expressions, pmovie->title
and (*pmovie).title
are valid, and both access the member title
of the data structure pointed by a pointer called pmovie
. It is definitely something different than:
|
|
which is rather equivalent to:
|
|
This would access the value pointed by a hypothetical pointer member called title
of the structure object pmovie
(which is not the case, since title
is not a pointer type). The following panel summarizes possible combinations of the operators for pointers and for structure members:
Expression | What is evaluated | Equivalent |
---|---|---|
a.b |
Member b of object a |
|
a->b |
Member b of object pointed to by a |
(*a).b |
*a.b |
Value pointed to by member b of object a |
*(a.b) |
Structures can also be nested in such a way that an element of a structure is itself another structure:
struct movies_t { string title; int year; }; struct friends_t { string name; string email; movies_t favorite_movie; } charlie, maria; friends_t * pfriends = &charlie;
After the previous declarations, all of the following expressions would be valid:
charlie.name maria.favorite_movie.title charlie.favorite_movie.year pfriends->favorite_movie.year
(where, by the way, the last two expressions refer to the same member).