C文字列の静的バッファのバイトサイズ

Question

Cの文字列のISO C標準を読みましたが、c文字列が定義されているときにコンパイラが静的バッファのサイズをどのように決定するのか不思議です。以下の例のCの文字列が与えられた場合、

#include <stdio.h> 

int main(){ 
    char *str = "Jello, World\0"; 
} 

13文字の文字列は、おそらく13バイトになります。しかし、文字列リテラル用のISO C 07+標準の§6.5.4 903、

903に係るマルチバイト文字列は、静的記憶域期間と配列を含むようにちょうど十分な長さの配列を初期化するために使用されます。

私にとって「ちょうど十分な」という言葉はおかしな言葉です。これは、C文字列の静的バッファが、指定されたC文字列に必要な正確なサイズではないことを意味しますか？必要以上のスペースがある可能性があります。

私もISO C 2010の草案と§6.5.4 6 pg.71を見つけましたが、このバージョンではバッファが「十分な」ものであるとも言います。誰かがこのバッファが正確であるかどうかを判断することができますか、それとも他に賢明な情報を持っていますか？

Answer 1

文字列定数"Jello, World\0"のタイプはchar [14]です。これは、文字列内の各文字（明示的なNULLバイトを含む）に暗黙のヌル終了バイトを加えたものです。