Cプログラミング言語は、異なるシステム間でコードがどのように動作すべきかを規定する一連の標準によって定義されています。しかし、これらの正式な仕様と、GCCやClangといった主要なコンパイラを使用する際の実際の実装の間には、大きな乖離が存在します。この不一致が生じる理由は、コンパイラが最新の標準への厳格な準拠よりも、パフォーマンス、レガシーな互換性、あるいは特定のプラットフォーム固有の動作を優先することが多いためです。多くの開発者にとって、C言語の「実世界」のバージョンは、標準の条文そのものではなく、これらのツールの動作によって定義されています。

いくつかの具体的な技術的不一致が、この隔たりを浮き彫りにしています。例えば、`asm`キーワードは標準Cにおいて有効な非予約識別子ですが、GCCとClangはデフォルトでこれを拡張機能として扱います。これは、技術的には標準に準拠しているコードであっても、特定のフラグを使用しない限りコンパイルに失敗する可能性があることを意味します。同様に、標準では浮動小数点演算を制御するための5つのpragma（`STDC FP_CONTACT`や`STDC FENV_ACCESS`など）を規定しています。これらは27年以上前のC99標準の一部であるにもかかわらず、GCCは依然としてこれらのpragmaをno-op（何もしない操作）として扱い、コンパイラの動作に影響を与えません。Clangは一部のC99pragmaに対して部分的なサポートを提供していますが、より新しいC23のpragmaはサポートしていません。

その他の不一致には、コンパイラやライブラリが環境固有の詳細をどのように処理するかが含まれます。`FLT_ROUNDS`の場合、標準ではその値が実行時の浮動小数点環境に基づいて動的に変化することを要求しています。しかし、GCCは実行時の状態に関わらず、`FLT_ROUNDS`を定数（1）として定義しています。さらに、`musl`Cライブラリは独自の`stdarg.h`を提供しており、コンパイラが提供するヘッダーと競合する可能性があります。具体的には、その`va_start`の定義は、第2引数の省略を許容するC23標準と互換性がありません。これらの不一致は、標準が理論的な枠組みを提供している一方で、Cの実際の実装は開発者が選択する特定のツールチェーンやライブラリに強く影響されることを示しています。

最終的に、これらの逸脱は移植性において複雑な状況を作り出します。標準は、コードが異なるマシン間で同一に動作することを保証することを目指していますが、現実は、プログラムの動作がコンパイラの特定の癖や基礎となるシステムライブラリに結びついていることが多いということです。多くの現代の開発者にとって、「標準」と「実用的」なCの区別は、理論的な一貫性と、最も広く普及しているツールによって提供される最適化されたプラットフォーム固有の機能との間のトレードオフなのです。