C trigraph

In the C family of programming languages, a trigraph is a sequence of three characters, the first two of which are both question marks, that represents a single character.

The reason for their existence is that the basic character set of C (a subset of the ASCII character set) includes nine characters which lie outside the ISO 646 invariant character set. This can pose a problem for writing source code when the keyboard being used does not support any of these nine characters. The ANSI C committee invented trigraphs as a way of entering source code using keyboards that support any version of the ISO 646 character set.

Trigraphs might also be used for some EBCDIC code pages that lack characters such as { and }.

Trigraphs are not commonly encountered outside compiler test suites ["The New C Standard: An Economic and Cultural Commentary" by Derek M. Jones, sentence 117] . Some compilers support an option to turn recognition of trigraphs off, or disable trigraphs by default and require an option to turn them on. Some can issue warnings when they encounter trigraphs in source files. Borland supplied a separate program, the trigraph preprocessor, to be used only when trigraph processing is desired (the rationale was to maximise speed of compilation).

Trigraph sequences

The C preprocessor replaces all occurrences of the following nine trigraph sequences by their single-character equivalents before any other processing.

Note that ??? is not a trigraph sequence.

Note also that the problematic characters are nevertheless required to exist within the implementation,in both the source and execution character sets.

The ??/ trigraph can be used to introduce an escaped newline for line splicing; this must be taken into account for correct and efficient handling of trigraphs within the preprocessor. It can also cause surprises, particularly within comments. For example:

// Will the next line be executed????????????????/ a++;

which is a single logical comment line, (used in C++ and C99), and

/??/ * A comment *??/ /

which is a correctly formed block comment.

Example

An example of a C program that uses all the defined trigraphs:??=include /* # */

int main(void)??< /* { */ char n??(5??); /* [ and ] */

n??(4??) = '0' - (??-0 ??' 1 ??! 2); /* ~, ^ and | */ printf("%c??/n", n??(4??)); /* , [ and ] */ return 0;??> /* } */

Disambiguation

A programmer may want to place two question marks together yet not have the compiler treat them as introducing a trigraph. The C grammar does not permit two subsequent ? tokens, so the only places in a C file where two question marks in a row may be used are in multi-character constants, string literals, and comments. To safely place two consecutive question marks within a string literal, the programmer can use string concatenation "...?""?..." or an escape sequence "...??...".

Alternatives

In 1994 a normative amendment to the C standard, included in C99, supplied so-called "digraphs" as more readable alternatives to six of the trigraphs. They are:

Unlike trigraphs, digraphs are handled during tokenization, and it must always represent a full token by itself. If a digraph sequence occurs inside another token, for example a quoted string, or a character constant, it will not be replaced.

References