Scopo delle sequenze di Trigraph in C ++?

Secondo C ++ '03 Standard 2.3 / 1:

Prima che avvenga qualsiasi altra elaborazione, ciascuna occorrenza di una delle seguenti sequenze di tre caratteri ("sequenze di trigrafia") è sostituita dal singolo carattere indicato nella Tabella 1.

----------------------------------------------------------------------------
| trigraph | replacement | trigraph | replacement | trigraph | replacement |
----------------------------------------------------------------------------
| ??=      | #           | ??(      | [           | ??<      | {           |
| ??/      | \           | ??)      | ]           | ??>      | }           |
| ??’      | ˆ           | ??!      | |           | ??-      | ˜           |
----------------------------------------------------------------------------

Nella vita reale ciò significa che il codice printf( "What??!\n" );comporterà la stampa What|perché ??!è una sequenza trigraph che viene sostituita dal |carattere.

La mia domanda è quale scopo dell'utilizzo delle trigrafi? C'è qualche vantaggio pratico nell'uso delle trigrafi?

UPD : Nelle risposte è stato menzionato che alcune tastiere europee non hanno tutti i caratteri di punteggiatura, quindi i programmatori non statunitensi devono usare le trigrafi nella vita di tutti i giorni?

UPD2 : Visual Studio 2010 ha il supporto trigraph disattivato per impostazione predefinita.

Questa domanda (sui digrafi strettamente correlati) ha la risposta.

Si riduce al fatto che il set di caratteri ISO 646 non ha tutti i caratteri della sintassi C, quindi ci sono alcuni sistemi con tastiere e display che non riescono a gestire i caratteri (anche se immagino che siano piuttosto rari al giorno d'oggi).

In generale, non è necessario utilizzarli, ma è necessario conoscerli esattamente per il problema riscontrato. Le trigrafi sono la ragione per cui il ?carattere " " ha una sequenza di escape:

'\?'

Quindi un paio di modi in cui puoi evitare il tuo problema di esempio sono:

 printf( "What?\?!\n" ); 

 printf( "What?" "?!\n" ); 

Ma devi ricordare quando stai digitando i due '?' personaggi a cui potresti iniziare una trigrafia (e di certo non è mai qualcosa a cui sto pensando).

In pratica, trigrafi e digrafi sono qualcosa di cui non mi preoccupo affatto su una base quotidiana. Ma dovresti esserne consapevole perché una volta ogni due anni ti imbatterai in un bug correlato a loro (e passerai il resto della giornata a maledire la loro esistenza). Sarebbe bello se i compilatori potessero essere configurati per avvisare (o errore) quando si imbatte in una trigrafia o un digraph, quindi potrei sapere di avere qualcosa con cui dovrei consapevolmente occuparmi.

E solo per completezza, i digrafi sono molto meno pericolosi poiché vengono elaborati come token, quindi un digrafo all'interno di una stringa letterale non verrà interpretato come un digrafo.

Per una buona educazione sui vari divertimenti con la punteggiatura nei programmi C / C ++ (incluso un bug trigraph che mi farebbe sicuramente perdere i capelli), dai un'occhiata all'articolo GOTW # 86 di Herb Sutter .

Addendum:

Sembra che GCC non elabori (e avvertirà) le trigrafi per impostazione predefinita. Alcuni altri compilatori hanno opzioni per disattivare il supporto trigraph (ad esempio IBM). Microsoft ha iniziato a supportare un avviso (C4837) in VS2008 che deve essere esplicitamente abilitato (usando -Wall o qualcosa del genere).

I bambini oggi! :-)

Sì, apparecchiature straniere, come un terminale IBM 3270. Il 3270 non ha, se ricordo, nessuna parentesi graffa! Se si voleva scrivere C su un IBM mini / mainframe, si doveva utilizzare i trigrammi miserabili per ogni confine di blocco. Fortunatamente, dovevo solo scrivere software in C per emulare alcune strutture di minicomputer IBM, non in realtà scrivere software C su System / 36.

Guarda accanto al tasto "P":

Hmmm. Difficile da dire. C'è un pulsante extra accanto a "ritorno a capo", e potrei averlo al contrario: forse era la coppia "[" / "]" che mancava. In ogni caso, questa tastiera ti causerebbe dolore se dovessi scrivere C.

Inoltre, questi terminali visualizzano EBCDIC, il set di caratteri mainframe "nativo" di IBM, non ASCII (grazie, Pavel Minaev, per il promemoria).

D'altra parte, come dice la guida GNU C: "Non hai bisogno di questo danno cerebrale". Il compilatore gcc lascia questa "caratteristica" disabilitata per impostazione predefinita.

Dall'edizione The C++ Programming Languagespeciale, pagina 829

I caratteri ASCII speciali [, ], {, }, |, e\ occupano posizioni di set di caratteri alfabetici indicati come da ISO. Nella maggior parte dei set di caratteri ISO-646 nazionali europei, queste posizioni sono occupate da lettere che non si trovano nell'alfabeto inglese.

Viene fornito un set di trigrafi per consentire ai caratteri nazionali di essere espressi in modo portatile utilizzando un set di caratteri minimo veramente standard. Questo può essere utile per lo scambio di programmi, ma non facilita la lettura dei programmi da parte delle persone. Naturalmente, la soluzione a lungo termine a questo problema è che i programmatori C ++ ottengano apparecchiature che supportino bene sia la loro lingua madre che C ++. Sfortunatamente, questo sembra essere impossibile per alcuni, e l'introduzione di nuove attrezzature può essere un processo frustrantemente lento.

Sono da utilizzare su sistemi che mancano di alcuni caratteri nel set di caratteri di base di C ++. Inutile dire che tali sistemi sono estremamente rari.

Trigraphs sono stati proposti per la rimozione in C ++ 0x. Detto questo, sembra esserci ancora una forte argomentazione a sostegno di questi - vedi il documento del comitato C ++ N2910 che ne discute. Apparentemente, EBCDIC è una delle roccaforti principali dove sono necessarie.

Ho visto trigrafi usati nei primi anni '90 per aiutare a convertire i programmi PL / 1 da un mainframe da eseguire / compilare / eseguire il debug su un PC.

Si stavano dilettando con l'editing di PL / I sul PC usando un compilatore da PL / I a C e volevano che il codice funzionasse quando tornarono al mainframe che non supportava parentesi graffe. Ho suggerito che potrebbero usare macro come

#def BEGIN {    
#def END }  

o come alternativa PL / I più amichevole

#def BEGIN ??<
#def END ??>

e se volessero davvero essere fantasiosi, potrebbero provare

#ifdef MAINFRAME
    #def BEGIN ??<
    #def END ??>
#else
    #def BEGIN {    
    #def END }  
#endif

e quindi il programma sembrerebbe come se fosse stato scritto in Pascal. Mi hanno solo guardato in modo strano e non mi hanno parlato per il resto della giornata. Non credo di incolparli. :)

Ciò che ha ucciso lo sforzo e non i tri-grafici, sono state le differenze del sistema IO tra le piattaforme. L'apertura dei file sul PC era molto diversa dal mainframe che avrebbe introdotto troppi kludge per mantenere lo stesso codice in esecuzione su entrambi.

Principalmente perché lo standard C li ha introdotti nel 1989, quando c'erano problemi con la presenza dei personaggi su cui trigrafi mappano su alcune macchine. Quando lo standard C ++ fu pubblicato nel 1998, la necessità di trigrafi non era grande. Sono una verruca su C; sono altrettanto una verruca su C ++. C'era la necessità per loro - specialmente al di fuori del mondo di lingua inglese - motivo per cui sono stati aggiunti a C.

Alcune tastiere europee non hanno (non avevano?) Tutti i caratteri di punteggiatura che avevano le tastiere statunitensi, perché avevano bisogno dei tasti per i loro insoliti caratteri alfabetici. Quindi, per esempio (inventando), la tastiera svedese avrebbe un anello A dove si trovava la parentesi graffa.

Per soddisfare tali utenti, le trigrafi sono un modo per inserire la punteggiatura utilizzando solo i caratteri ASCII più comuni.

Sono lì principalmente per motivi storici. Al giorno d'oggi, le tastiere più moderne per la maggior parte delle lingue consentono l'accesso a tutti quei caratteri, ma questo era un problema una volta con alcune tastiere europee. Ecco perché sono state inventate le trigrafi.

Se non sai a cosa servono, non dovresti usarli.

È comunque bene esserne consapevoli, dal momento che potresti usarne uno accidentalmente e involontariamente nel tuo codice.