C and C++ also support the pointer to void type (specified as ), but this is an unrelated notion.

The void type may also appear as the sole argument of a function prototype to indicate that the function takes no arguments.

The bottom type is sometimes confused with the so-called "void type", which is actually a unit type, albeit one with no defined operations.

The "pointer to void" type can accept a pointer to any object, even though the void type itself is not the universal type but the unit type.

The usage of the void type in such context is comparable to that of the syntactic constructs which define subroutines in Visual Basic and procedures in Pascal.

The void type that is used in some imperative programming languages serves some of its functions, but because its carrier set is empty, there are some limitations (as detailed below).

The void type, in several programming languages derived from C and Algol68, is the type for the result of a function that returns normally, but does not provide a result value to its caller.

Kenny and Johnny from Type O Negative Seventh Void Pittsburgh Pa Rex Theater 5/19/09 Seventh Void Type O Negat...

It is also similar to the unit type used in functional programming languages and type theory; however, there are some differences in allowable usage, in that the void type is taken to be an empty type with no values.

Pointer arithmetic cannot be performed on pointers because the void type has no size, and thus the pointed address can not be added to, although gcc and other compilers will perform byte arithmetic on as a non-standard extension.

The first notable difference between a true unit type and the void type is that the unit type may always be the type of the argument to a function, but the void type cannot be the type of an argument in C, despite the fact that it may appear as the sole argument in the list.