[Skip Navigation] [CSUSB] / [CNS] / [CSE] / [R J Botting] / [CSci202] / vectors
[Text Version] [Syllabus] [Schedule] [Glossary] [Resources] [Grading] [Contact] [Question] [Search ]
Notes: [01] [02] [03] [04] [05] [06] [07] [08] [09] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20]
Labs: [01] [02] [03] [04] [05] [06] [07] [08] [09] [10]
Thu May 31 14:05:23 PDT 2012

Contents


    C++ Vectors

      This is a short primer on vectors for CSE202 students.

      Basic Idea

      Vectors are a powerful yet simple data structure available as part of the standard library (STL) for the language C++.

      They should be used whenever you have an unknown number of items all of the same type that you need to be kept in sequence and we need to accesws them by their number in the sequence.

      Example: a roster of students in a class.

      Quick Reference

      Vectors are held in a special library and can be used in a file that has
       		#include <vector>
      at its beginning.
      Table
      Declare Empty vector<type> v;
      Declaration vector<type> v(initial_size);
      Accessors v.empty()v.size()v.front()v.back(),...
      Mutators v.push_back(T)v.pop_back(), ...
      Operators v[int]v.at(int) v1=v2;v1==v2, ...

      (Close Table)
      Other operators exist but they are inefficient.

      Key Facts

      You need to remember the following facts about vectors:
      1. A vector is an object that contains a sequence of other objects inside it.
      2. The objects inside must all take up the same amount of storage.
      3. They are numbered starting with 0.
      4. If the whole vector is called v then the items in it are written v[0], v[1], v[2], ...
      5. The last item is v[v.size()-1] NOT v[v.size()].
      6. New items can be "pushed" onto the end of the vector using push_back(item).
      7. The last item can be "popped" off of a vector using pop_back().
      8. Vectors can therefore change size.
      9. We can find out the current size of a vector v: v.size()
      10. Vectors can be empty. If v is empty then v.empty() is true.
      11. For-loops are used to access every item in turn
         		for( int i=0;  i < v.size(); i++) access(v[i]);
      12. If the items in a vector are pointers to objects you can save space (normally) and speed up insertion, sorting and deletion.
      13. Pointers are all the same size so you can store pointers to different types of object in one vector. Pointers are therefor polymorphic -- (multiple shapes).
      14. In real software development you put pointers in containers rather that the data
         		vector <*Data> v;

      Details

      Suppose that T is any type or class - say int, float, double, or the name of a class, then
       	vector<T> v;
      declares a new and empty vector called v.
       	vector<T> v(N);
      declares a new vector called v with N unknown elements in it.

      Given object v declared like the above:

      Example

      Suppose that we want to input an unknown number of numbers and then print them out forwards and then backwards, using a vector. We will push ints onto the back of a vector called v. We will then print each item in v in turn. Finally we will print the vector backwards. You can download the code from [ Vector.cpp ] but here are the highlights. First we must declare the facilities we want to use
       	#include <iostream.h>
       	#include <vector>
      
      
       	void print( vector<int> ) ;//utility function outputs a vector of ints
       	void print_backwards( vector<int>);
      Then we describe the main program:
       	int main()
       	{
       		vector<int> v;
       		int number;
      
      
       		cout <<"Input some numbers and then end the input\n";
       		while(cin>>number){
       			v.push_back(number);
       		}//while(more)
      
      
       		print(v);
       		print_backwards(v);
      
      
       	}//main
      Finally the two procedures that print out the data:
       	void print_backwards( vector<int> a)
       	{
       		for(int i=a.size()-1; i>=0; --i)
       			cout << a[i] << " ";
      
      
       		cout << endl;
       		cout << "----------------"<<endl;
      
      
       	}//print_backwards
      and
       	void print( vector<int> a)
       	{
       		for(int i=0; i<a.size(); ++i)
       			cout << a[i] << " ";
      
      
       		cout << endl;
       		cout << "----------------"<<endl;
      
      
       	}//print

      Exercise

      Down load (with a shift-click!) the above code from [ Vector.cpp ] , test it, and modify it to print out all the even numbered items (0,2,4,6,...) and then all the odd ones(1,3,5,...).

      Containers

      A vector is a special kind of Container. A Container is any data structure that holds a number of objects of the same type.

      Arrays

      The oldest example of a Container in C++ is an array. In C you had arrays and you would write code like this:
       	const int MAX = 10;
       	float a[MAX];
       	...
       	for(int i=0; i<MAX; ++i)
       		process(a[i]);
       	...
      Arrays are like vectors except that:
      1. They have a fixed size specified in the declaration.
      2. They are faster than vectors.
      3. You can not add or delete items from an array.
      4. The syntax is simpler.
      5. The absolutely no safety belt: if an index has wrong value, you crash.

      Rule -- use arrays only when you know the maximum size

      Strings

      The designers of the C++ library made sure that the <string> library shares a lot of common features with <vector> and other sequential containers. The main differences are (1) <string>s can only hold characters, and (2)<string>s have some useful extra operations available. See [ string ] which is a summary of the <string> library.

      Underneath the hood

      The way vectors and arrays work is best understood by looking at how they are implemented. This means knowing what really happens when the computer executes a piece of code which uses a vector or array. Recall that everything inside a computer is a number. The data are numbers stored in locations. These locations have addresses. These addresses are used by the computer to retrieve items and to store them. A single variable is given a piece of storage when it is declared. From then on the program uses the address in place of the symbolic name in the program. An array or vector is a block of similar pieces of storage. The block of storage starts at the start of the vector itself, the next block is one piece of storage later:
       		vector	first item	vector[0]
      			second item	vector[1]
      			third item	vector[2]
      and so on. The computer has a simple rule to find vector[i]. It looks at the item that starts at i*length_of_one_item + address_of_vector.

      Hint

      It helps to draw diagrams of vectors and work out by hand, on these diagrams what an algorithm, or your program is doing. Pretending to be a computer can teach you a lot about a complex computation.

      Glossary

    1. back::=a special item in a sequential container that has no items after it. the iterator end() is always the next place after the back item.

    2. container::=A data structure which contains a number of data items that can gain and lose items as the program runs. Examples include vectors, lists, stacks, ...

    3. contiguous::=a way of implementing data structures so that a continuous block of storage is used and items are found by calculating the address. Vectors are a type of contiguous data structure available to C++ programmers.

    4. front::=a special item in a sequential container that has no items before it.

    5. generic::code= a function or class that is a template and can be used for data of many different types depending on its parameters.

    6. increment::operation=moving an iterator/pointer/index on to the next iterator/pointer/index value commonly symbolized by ++ in C-like languages.

    7. operation::=something that can be applied to an object to extract information from it or to change its state.

    8. random_access::=being able to do things to items in a container in an unpredictable order typically by using an integer as an index or subscript.

    9. template::= See http://cse.csusb.edu/cs202/templates.html , notes on templates.

    10. vector::container=a vector is a sequential container that is optimized to allow efficient random_access of items by using an index. Vectors are are given in a contiguous block of storage space. Vectors are useful whenever data must be stored in one order accessed in a different one. A vector is a dynamic array - an array that can grow when needed. [ Vectors ]

      Errors

        You must always #include the header if you use the word vector.

        You must be sure that all indices or subscripts stay between 0 and size()-1 inclusive.

        Trying to change the size of an array does not work.

        If a program compiles, loads, crashes, and there is a subscript operator ([...]) then check to see if the subscripted item has been put into the container before the subscripted element is accessed. A very common error is to declare a vector with no length and to use [...] as if it created new elements. It doesn't. Use 'push_back(..)' to add new elements to a vector.

        If you are unable to show that a subscript is in range then use a condition like the following to guard thing[i] from errors:

         		0<= i && i < thing.size()

        If a program compiles, loads and crashes and it has a pop, pop_back, function than make sure that there is an item to be "popped"! In code you can use the empty function to guard statements that contain "pop" from blowing up.

        On some older compilers and libraries when you need a <string> as well as <vector> you need to

         		#include <string>
        before including <vector>. Obscure errors happened if they were in the reverse order! The older string library appeared to define some special versions of vector operators and the older compilers can not make up its mind which to use.

        If the standard <vector> is not found then you are using an older C++ compiler.

        You can have vectors of vectors:

         		vector < vector <int> > matrix;
        but you must put at least one space between the two ">" symbols. The following is wrong:
         		vector < vector <int>> matrix;

      . . . . . . . . . ( end of section Errors) <<Contents | End>>

    . . . . . . . . . ( end of section C++ Vectors) <<Contents | End>>

    Glossary

  1. accessor::=`A Function that accesses information in an object with out changing the object in any visible way". In C++ this is called a "const function". In the UML it is called a query.
  2. Algorithm::=A precise description of a series of steps to attain a goal, [ Algorithm ] (Wikipedia).
  3. class::="A description of a set of similar objects that have similar data plus the functions needed to manipulate the data".
  4. constructor::="A Function in a class that creates new objects in the class".
  5. Data_Structure::=A small data base.
  6. destructor::=`A Function that is called when an object is destroyed".
  7. Function::programming=A selfcontained and named piece of program that knows how to do something.
  8. Gnu::="Gnu's Not Unix", a long running open source project that supplies a very popular and free C++ compiler.
  9. mutator::="A Function that changes an object".
  10. object::="A little bit of knowledge -- some data and some know how". An object is instance of a class.
  11. objects::=plural of object.
  12. OOP::="Object-Oriented Programming", Current paradigm for programming.
  13. Semantics::=Rules determining the meaning of correct statements in a language.
  14. SP::="Structured Programming", a previous paradigm for programming.
  15. STL::="The standard C++ library of classes and functions" -- also called the "Standard Template Library" because many of the classes and functions will work with any kind of data.
  16. Syntax::=The rules determining the correctness and structure of statements in a language, grammar.
  17. Q::software="A program I wrote to make software easier to develop",
  18. TBA::="To Be Announced", something I should do.
  19. TBD::="To Be Done", something you have to do.
  20. UML::="Unified Modeling Language".
  21. void::C++Keyword="Indicates a function that has no return".

End