Chapter 97: Typedef and type aliases

The typedef and (since C++11) using keywords can be used to give a new name to an existing type.

Section 97.1: Basic typedef syntax

A typedef declaration has the same syntax as a variable or function declaration, but it contains the word typedef. The presence of typedef causes the declaration to declare a type instead of a variable or function.

Once a type alias has been defined, it can be used interchangeably with the original name of the type.

typedef int A[100];

// S is a struct containing an array of 100 ints struct S {

A data;

};

typedef never creates a distinct type. It only gives another way of referring to an existing type.

struct S {

int f(int);

};

typedef int I;

// ok: defines int S::f(int) I S::f(I x) { return x; }

Section 97.2: More complex uses of typedef

The rule that typedef declarations have the same syntax as ordinary variable and function declarations can be used to read and write more complex declarations.

void (*f)(int); // f has type "pointer to function of int returning void" typedef void (*f)(int); // f is an alias for "pointer to function of int returning void"

This is especially useful for constructs with confusing syntax, such as pointers to non-static members.

It is hard to remember the syntax of the following function declarations, even for experienced programmers:

void (Foo::*Foo::f(const char*))(int); int (&g())[100];

typedef can be used to make them easier to read and write:

typedef void (Foo::pmf)(int); // pmf is a pointer to member function type

Section 97.3: Declaring multiple types with typedef

The typedef keyword is a specifier, so it applies separately to each declarator. Therefore, each name declared refers to the type that that name would have in the absence of typedef.

int *x, (*p)(); // x has type int*, and p has type int(*)()

typedef int *x, (*p)(); // x is an alias for int*, while p is an alias for int(*)()

Section 97.4: Alias declaration with "using"

Version ≥ C++11

The syntax of using is very simple: the name to be defined goes on the left hand side, and the definition goes on the right hand side. No need to scan to see where the name is.

Creating a type alias with using has exactly the same e ect as creating a type alias with typedef. It is simply an alternative syntax for accomplishing the same thing.

Unlike typedef, using can be templated. A "template typedef" created with using is called an alias template.