Pointer

: This article is about the computer data type. For other meanings of pointer, see pointer (disambiguation).

In computer science, a pointer is a programming language Datatype whose value refers directly to ( points to ) another value stored elsewhere in the computer memory using its address. Obtaining the value that a pointer refers to is called dereferencing the pointer. A pointer is a simple implementation of the general reference (computer science) datatype (although it is quite different from the facility referred to as a reference (C Plus Plus) in C++).

Pointers are so commonly used as references that sometimes people use the word pointer to refer to references in general; however, if you are seeking general information on a small piece of data used to find an object, see reference (computer science).

= Architectural roots =

Pointers are a very thin abstraction on top of the addressing capabilities provided by most modern architectures. In the simplest scheme, an memory address, or a numeric index, is assigned to each unit of memory in the system, where the unit is typically either a byte or a word, effectively transforming all of memory into a very large array. Then, if we have an address, the system provides an operation to retrieve the value stored in the memory unit at that address. Pointers are Datatypes which hold addresses. See reference (computer science).

In the usual case, a pointer is large enough to hold more different addresses than there are units of memory in the system. This introduces the possibility that a program may attempt to access an address which corresponds to no unit of memory, called a segmentation fault. On the other hand, some systems have more units of memory than there are addresses. In this case, a more complex scheme such as memory segmentation or paging is employed to use different parts of the memory at different times.

In order to provide a consistent interface, some architectures provide memory-mapped I/O, which allows some addresses to refer to units of memory while others refer to device registers of other devices in the computer. There are analogous concepts such as file offsets, array indices, and remote object references that serve some of the same purposes as addresses for other types of objects.

= Uses =

Pointers are directly supported without restrictions in C programming language, C plus plus, Pascal programming language and most assembly languages. They are primarily used for constructing references, which in turn are fundamental to constructing nearly all data structures, as well as in passing data between different parts of a program.

When dealing with arrays, the critical lookup operation typically involves a stage called address calculation which involves constructing a pointer to the desired data element in the array. In other data structures, such as linked lists, pointers are used as references to explicitly tie one piece of the structure to another.

Pointers are used to pass parameters by reference. This is useful if we want a function s modifications to a parameter to be visible to the function s caller. This is also useful for returning multiple values from a function.

= Typed pointers and casting =

In many languages, pointers have the additional restriction that the object they point to has a specific type. For example, a pointer may be declared to point to an integer; the language will then attempt to prevent the programmer from pointing it to objects which are not integers, such as floating-point numbers, eliminating some errors.

However, few languages strictly enforce pointer types, because programmers often run into situations where they want to treat an object of one type as though it were of another type. For these cases, it is possible to typecasting (programming), or cast, the pointer. Some casts are always safe, while other casts are dangerous, possibly resulting in incorrect behavior. Although it s impossible in general to determine at compile-time which of these casts are safe, some languages store run-time type information which can be used to confirm that these dangerous casts are valid at runtime. Other languages merely accept a conservative approximation of safe casts, or none at all.

= Making pointers safer =

Because pointers are so close to the hardware, they enable a variety of error#Computer_programming. However, the power they provide is so great that it can be difficult to do some programming tasks without them. To help deal with their problems, many languages have created objects that have some of the useful features of pointers, while avoiding some of their pitfalls.

One major problem with pointers is that, as long as they can be directly manipulated as a number, they can be made to point to unused addresses or to data which is being used for other purposes. Many languages, including most functional programming languages and recent imperative languages like Java programming language, replace pointers with references, which can only be used to refer to objects and not manipulated as numbers, preventing this type of error. Array indexing is handled as a special case.

Before any address has been assigned to it, a pointer is called a wild pointer. Any attempt to use such uninitialized pointers can cause unexpected behaviour, either because the initial address is not a valid address, or because using it may damage the runtime system and other unrelated parts of the program.

In systems with explicit memory allocation, it s possible to create a dangling pointer, by deallocating the memory region it points into. This type of pointer is dangerous and subtle, because a deallocated memory region looks the same as it did before, but can be reused at any time by unrelated code. Languages with garbage collection (computer science) prevent this type of error.

Some languages, like C++, support smart pointers, which use a simple form of reference counting to help track allocation of dynamic memory in addition to acting as a reference. In the absence of reference cycles, where an object refers to itself indirectly through a sequence of smart pointers, these eliminate the possibility of use of dangling pointers and memory leaks.

= The null pointer =

A null pointer has a reserved value, often but not necessarily the value zero, indicating that it refers to no object. Null pointers are used routinely, particularly in C and C++, to represent exceptional conditions such as the lack of a successor to the last element of a linked list, while maintaining a consistent structure for the list nodes. This use of null pointers can be compared to the use of null values in relational databases. In C, each pointer type has its own null value, and sometimes they have different representations.

Because it refers to nothing, an attempt to dereference a null pointer causes a run-time error that usually terminates the program immediately. In safe languages a possibly null pointer can be replaced with a tagged union which enforces explicit handling of the exceptional case; in fact, a possibly-null pointer can be seen as a tagged union with a computed tag.

A null pointer should not be confused with an uninitialized pointer: a null pointer is guaranteed to compare unequal to a pointer to any object or function, whereas an uninitialized pointer might have any value. Two separate null pointers are guaranteed to compare equal.

=Wild pointers=

Wild pointers are pointers that have not been initialized (set to point to a valid address) and can make a program crash or behave oddly. This is due to the fact that in the C programming language, pointers that are not specifically initialized point to unpredictable addresses in memory.

==Examples==

The following example code shows a wild pointer:

#include #include int main(void) { char *p1 = (char *)malloc(sizeof(char *));// allocate memory and initialized pointer printf( p1 points to: %p , p1); // points to some place in the heap printf( Value of *p1: %c , *p1); // (undefined) value of some place in the heap char *p2; // wild (uninitialized) pointer printf( Address of p2: %p , p2); // undefined value, may not be a valid address // if you are LUCKY, this will cause an addressing exception printf( Value of *p2: %c , *p2); // random value at random address return 0; }

The problems with invalid pointers include more than simply uninitialized values.

For instance, pointers can still exist after the variables that they point to no longer exist. This can happen if the pointer still exists after the variable it points to has gone out of scope, as in the example below. If such an invalid pointer is used, the program will probably not immediately crash, but the result will still probably be incorrect, and the failure will probably be hard to track down.

#include #include int badIdea(int **p) // p is a pointer to a pointer to an int { int x = 1; // allocate an int on the stack **p = x; // assign value of x to int that pointer p points to *p = &x; // make the pointer that p points to point to x return x; // after return x is out of scope and undefined } int main(void) { int y = 0; int *p1 = &y; // initialized pointer to y int *p2 = NULL; // a good habit to form printf( Address of p1: %p , p1); // prints address of y printf( Value of *p1: %d , *p1); // prints value of y y = badIdea(&p1); // changes y and changes p1 // p1 now points to where x was // The place where x was will get clobbered, // for instance, on the next interrupt, or on // the next subroutine call, as below.... // some other code that also uses the stack p2 = (int *)malloc(5*sizeof(int)); // this probably will NOT crash, but value printed is unpredictable printf( Value of *p1: %p , *p1); // prints value of where x was return 0; }

A very common problem is using a pointer to the heap after that memory has been deallocated, as in this example. The invalid copies of the pointer are usually much harder to find than here.

#include #include int main(void) { int *p1 = (int *)malloc(sizeof(int)); // initialized pointer to heap int *p2 = p1; // make a copy *p1 = 0; // initialize the heap printf( Address of p2: %p , p2); // points into the heap printf( Value of *p2: %d , *p2); // should print zero free(p1); // deallocate the memory .... // other code, possibly using the heap // p2 still points to the original allocation, but who knows what is there printf( Value of *p2: %d , *p2); // invalid use of p2 return 0; }

A third way that pointers can be misused is to access outside the data structure they point to. Here is a simple example.

#include #include int main(void) { int y = 5; // create a variable int *p1 = &y; // initialized pointer to y printf( Address of p1: %p , p1); // address of y printf( Value of *p1: %d , *p1); // value of y p1 = p1 + y; // allowed pointer arithmetic printf( Value of *p1: %p , *p1); // p1 no longer points to y return 0; }

If a pointer is used to write beyond the end of a local buffer, the stack can be destroyed. In the case below, the problem will probably manifest when the main program returns.

#include #include // copy source to destination, no check on sizes void strcopy(char *d, char *s) { while (*d++ = *s++) // copy until encountered ; } int main(void) { char y[3]; // create a local buffer char *p1 = (char *)malloc(10*sizeof(char)); // another buffer on heap p1[9] = ; // terminate the larger buffer strcopy(y, p1); // overflow the local buffer free(p1); return 0; // now bad stuff happens }

= Support in various programming languages =

== Ada ==

Ada programming language is a strongly typed language where all pointers are typed and only safe type conversions are permitted. All pointers are by default initialized to null , and any attempt to access data through a null pointer causes an Exception handling to be raised. Pointers in Ada are called access types . Ada-83 did not permit arithmetic on access types (although many compiler vendors provided for it as a non-standard feature), but Ada-95 supports safe arithmetic on access types via the package System.Storage_Elements.

== C/C++ ==

In C programming language and C plus plus, pointers are variables that store addresses and can be null pointer. Each pointer has a type it points to, but one can freely cast between pointer types. A special pointer type called the void pointer points to an object of unknown type and cannot be dereferenced. The address can be directly manipulated by casting a pointer to and from an integer.

C Plus Plus fully supports C pointers and C typecasting. It also supports a new group of typecasting operators to help catch some unintended dangerous casts at compile-time. The C++ standard library also provides autoptr, a sort of smart pointer which can be used in some situations as a safe alternative to primitive C pointers. C++ also supports another form of reference, quite different from a pointer, called simply a reference (C Plus Plus) or reference type .

=== Pointer arithmetic ===

Pointer arithmetic is unrestricted; adding or subtracting from a pointer moves it by a multiple of the size of the Datatype it points to. For example, adding 1 to a pointer to 4-byte integer values will increment the pointer by 4. This has the affect of incrementing the pointer to point at the next element in a contiguous array of integers -- which is often the intended result. Pointer arithmetic cannot be performed on void pointers.

Pointer arithmetic provides the programmer with a single way of dealing with different types: adding and subtracting the number of elements required instead of the actual offset in bytes. In particular, the C definition explicitly declares that the syntax a[n] , which is the n-th element of the array pointed by a , is equivalent to *(a+n) , which is the content of the element pointed by a+n .

While powerful, pointer arithmetic can be a source of addresses many of the issues with pointers.

== C# ==

In the C Sharp, pointers are supported only under certain conditions: any block of code including pointers must be marked with the unsafe keyword. Such blocks usually require higher security permissions than pointerless code to be allowed to run. The syntax is essentially the same as in C++, and the address pointed can be either managed or unmanaged memory. However, pointers to managed memory (any pointer to a managed object) must be declared using the fixed keyword, which prevents the Garbage collection (computer science) from moving the pointed object as part of memory management while the pointer is in scope, thus keeping the pointer address valid.

The .NET framework includes many classes and methods in the System and System.Runtime.InteropServices namespaces (such as the Marshal class) which convert .NET types (for example, System.String) to and from many unmanaged types and pointers (for example, LPWSTR or void*) to allow communication with unmanaged code.

== D ==

D programming language is a derivative of C and C++ which fully supports C pointers and C typecasting. But D also offers numerous constructs such as foreach loops, out function parameters, reference types, and advanced array handling which replace pointers for most routine programming tasks.

== Fortran ==

A Fortran pointer is best thought of as an alias of another object, such as a scalar variable or a row or column of an array. A Fortran pointer is thus not implemented as just an address. There is no syntax to dereference the pointer or manipulate the contents of the descriptor directly. In most cases, a pointer refers to its target. A pointer can be null, indicating it has no target. As in other languages, pointers facilitate the processing of dynamic structures, such as linked lists, queues, and trees.

==Modula-2==

Pointers are implemented very much as in Pascal, as are VAR parameters in procedure calls. Modula-2 programming language is even more strongly typed than Pascal, with fewer ways to escape the type system. Some of the variants of Modula 2 (such as Modula-3) include garbage collection.

==Oberon==

Much as with Modula-2, pointers are available. There are still fewer ways to evade the type system and so Oberon programming language and its variants are still safer with respect to pointers than Modula-2 or its variants. As with Modula-3, garbage collection is a part of the language specification.

==Pascal==

Pascal programming language implements pointers in a straightforward, limited, and relatively safe way. It helps catch mistakes made by people who are new to programming, like dereferencing a pointer into the wrong Datatype; however, a pointer can be cast from one pointer type to another. Pointer arithmetic is unrestricted; adding or subtracting from a pointer moves it by that number of bytes in either direction, but using the Inc or Dec standard procedures on it moves it by the size of the Datatype it is declared to point to. Trying to dereference a null pointer, named nil in Pascal, or a pointer referencing unallocated memory, raises an Exception handling in protected mode. Parameter (computer science)s may be passed using pointers (as VAR parameters) but are automatically handled by the runtime system.

==ML Family==

In mechanism. The programmer is then able to enjoy certain properties (such as the guarantee of immutability) while programming, even though the compiler often uses machine pointers under the hood .

== Java ==

Java programming language does not provide any construct like pointers to programmers. This increases the security of the code and avoids a lot of programming errors (as outlined above). A JVM implementation may use pointers internally, but this is not exposed to the programmers.

= See also =

*Buffer management *Buffer overflow *Hazard pointer *Opaque pointer *Pointer swizzling *Static code analysis

= External links =

*[http://cslibrary.stanford.edu/104/ Pointer Fun With Binky] Introduction to pointers in a 3 minute educational video - Stanford Computer Science Education Library (this link has crashed some browsers -- use with caution)