Als Digraph bezeichnet man in der Informatik eine Kombination aus zwei Zeichen, welche als Ersatz für ein einzelnes Zeichen stehen, welches nicht im verwendeten Zeichensatz zur Verfügung steht. Verschiedene Programmiersprachen machen hiervon Gebrauch.

Bei vielen Compilern wird (* und *) jedoch nicht als Digraph interpretiert, sondern sie kennzeichnen einen eigenen Kommentarblock-Stil. Ein Kommentar, der durch (* begonnen wird, kann somit nicht mit } beendet werden und umgekehrt.

^[1][2]

Die Verwendung von Digraphen (wie auch von Trigraphen) gilt heutzutage als überholt, da inzwischen auf nahezu allen Plattformen der komplette ASCII-Zeichensatz unterstützt wird.

Da die Digraphen jedoch noch immer in der Sprache definiert sind, kann dies zu subtilen und bisweilen schwer zu findenden Fehlern führen, welche jedoch von aktuellen Compilern angezeigt werden.

Beispiel:

std::vector<::std::size_t> v;

Dies lässt sich lösen, indem ein Leerzeichen eingefügt wird:

std::vector<␣::std::size_t> v;

Seit C++11 ist dieses Leerzeichen nicht mehr nötig. Die Syntaxdefinition wurde entsprechend angepasst, dass o. g. Code auch ohne Leerzeichen korrekt geparst wird.^[3]

Mit dem Makro

#define PROC_CAT(l, r) l ## r

lassen sich alle Digraphen zusammenfügen zu den entsprechenden Zeichen, nur die Raute nicht:

PROC_CAT(<, :) //Wird zu "{"
PROC_CAT(new int <, :10:>) //Wird zu new int [10]
PROC_CAT(%, :) define NOT_POSSIBLE //Erzeugt Fehler "stray '%:' in program

1. ↑ British Standards Institute (Hrsg.): The C Standard – Incorporating TC1 – BS ISO/IEC 9899:1999. John Wiley & Sons, 2003, ISBN 0-470-84573-2, 6.4.6. 
2. ↑ Rationale für C99, Revision 5.10. (PDF; 898 kB) Abgerufen am 17. Oktober 2010 (englisch, Kapitel 5.2.1.1). 
3. ↑ en.cppreference.com