付録 E ISO/IEC C90 の処理系定義の動作

『Programming Language - C (ISO/IEC 9899:1999)』規格には、C 言語で記述されたプログラムの構文と解釈が規定されています。この付録では、それらの動作を詳しく説明します。各項は ISO/IEC 9899:1990 規格そのものと簡単に比較できるようになっています。日本の対応規格は、JIS X 3010 - 1993 です。

• ISO 規格と同様の文を用いて各動作を説明しています。

• 各動作の説明の前に ISO 規格で対応するセクション番号を付けています。

E.1 ISO 規格との実装の比較

E.1.1 翻訳 (G.3.1)

括弧内の数は、ISO/IEC 9899/1990 規格のセクション番号に対応しています。

E.1.1.1 (5.1.1.3) 診断の認識

エラーメッセージは次の書式です。

filename, line line number: message

警告メッセージは次の書式です。

filename, line line number: warning message

ここで

• ファイル名とはエラーまたは警告があったファイルの名前です

• 行番号とはエラーまたは警告が検出された行の番号です

• メッセージとは診断メッセージです

E.1.2 環境 (G.3.2)

E.1.2.1 (5.1.2.2.1) main の引数の意味

int main (int argc, char *argv[])
{
....
}

argc はプログラムの呼び出しに伴うコマンド行引数の数です。シェルによって展開されたあとは、argc は必ず 1 以上、つまりプログラム名が 1 つ以上になります。

argv はコマンド行引数へのポインタ配列です。

E.1.2.2 (5.1.2.3) 対話型デバイスを構成するもの

対話型デバイスにはシステムライブラリコールの isatty() が 0 以外の値を返します。

E.1.3 識別子 (G.3.3)

E.1.3.1 (6.1.2) 外部リンケージのない識別子の先頭から (31 を超える) 有意文字の数

最初の 1,023 文字が有意です。識別子は大文字と小文字を別の文字として扱います。

(6.1.2) 外部リンケージのある識別子の先頭から (6 を超える) 有意文字の数

最初の 1,023 文字が有意です。識別子は大文字と小文字を別の文字として扱います。

E.1.4 文字 (G.3.4)

E.1.4.1 (5.2.1) ソースと実行の文字セットについて (規格に明確に規定されているものを除く)

どちらの文字セットも ASCII 文字セットやロケール固有の拡張文字と同一です。

E.1.4.2 (5.2.1.2) 複数バイト文字を符号化するためのシフト状態について

シフト状態はありません。

E.1.4.3 (5.2.4.2.1) 実行文字セットで 1 文字のビット数

ASCII 部分では、1 文字に 8 ビットです。ロケール固有の拡張文字部分では、ロケール固有の 8 ビットの倍数です。

E.1.4.4 (6.1.3.4) ソース文字セット (文字と文字列リテラル) メンバーの実行文字セットメンバーへの配置

ASCII 部分では、配置はソース文字と実行文字と同様です。

E.1.4.5 (6.1.3.4) 基本の実行文字セット、またはワイド文字定数用の拡張文字セットのどちらにも表現されていない文字や、エスケープシーケンスを含む整数文字定数の値

右端の文字が示す数値です。たとえば、 ’\q’ は ’q’ に等しくなります。このようなエスケープシーケンスが発生すると警告が発行されます。

E.1.4.6 (6.1.3.4) 2 つ以上の文字を含む整数文字定数の値、または 2 つ以上の複数バイト文字を含むワイド文字定数の値

エスケープシーケンスの発生しない複数バイト文字セットの値は、各文字の示す数値から派生しています。

E.1.4.7 (6.1.3.4) 複数バイト文字を対応するワイド文字 (コード) に変換するのに使用される現ロケール (locale)

有効なロケールは LC_ALL、LC_CTYPE、または LANG 環境変数のいずれかで指定されたものです。

E.1.4.8 (6.2.1.1) 何も付いていない char は、signed char と、unsigned char のどちらと同じ範囲の値を持つか

char は、signed char とみなされます。

E.1.5 整数 (G.3.5)

E.1.5.1 (6.1.2.5) 整数の型の表現と値について

E.1.5.2 (6.2.1.2) 値を表現できない場合に整数をより短い符号付き整数に変換した結果、また符号なしの整数を同じ長さの符号付き整数に変換した結果

整数がより短い signed 整数に変換される場合は、長い方の整数の下位ビットが短い方の signed 整数に複写されます。結果は負になることがあります。

符号なし整数が同サイズの signed 整数に変換される場合は、unsigned 整数の下位ビットが signed 整数に複写されます。結果は負になることがあります。

E.1.5.3 (6.3) 符号付き整数におけるビット単位演算の結果

ビット単位演算を signed の型に適用すると、sign ビットを含むオペランドのビット単位演算となります。その結果の各ビットは、両オペランドの対応するビットが設定されていた場合にのみ設定されます。

E.1.5.4 (6.3.5) 整数の除算における剰余の符号について

結果は被除数と同じ符号になります。たとえば、-23/4 の剰余は -3 となります。

E.1.5.5 (6.3.7) 負の値を持つ符号付き整数型を右シフトした結果

右シフトの結果は signed の右シフトとなります。

E.1.6 浮動小数点 (G.3.6)

E.1.6.1 (6.1.2.5) 浮動小数点数の型の表現と値

E.1.6.2 (6.2.1.3) 整数値が元の値を完全には表現できない浮動小数点数に変換された場合の切り捨ての指示

数値は元の値の近似値に丸められます。

E.1.6.3 (6.2.1.4) 浮動小数点数が短い浮動小数点数に変換された場合の切り捨てまたは丸めの指示

数値は元の値の近似値に丸められます。

E.1.7 配列とポインタ (G.3.7)

E.1.7.1 (6.3.3.4, 7.1.1) 配列の最大サイズを維持するのに必要な整数型。すなわち、sizeof 演算子の size_t の型

stddef.h において定義されている unsigned int です (—m32 の場合)。

unsigned long (-m64 の場合)

E.1.7.2 (6.3.4) ポインタを整数に cast で型変換した結果、またはその逆の結果

ポインタおよび int、long、unsigned int、unsigned long 型の値ではビットパターンは変わりません。

E.1.7.3 (6.3.6, 7.1.1) 同じ配列のメンバーへの 2 つのポインタの相違 ptrdiff_t を維持するのに必要な整数型

stddef.h において定義されている int です (—m32 の場合)。

long (-m64 の場合)

E.1.8 レジスタ (G.3.8)

E.1.8.1 (6.5.1) register 記憶クラス指定子を使用して、オブジェクトを実際に入れることのできるレジスタの数

有効なレジスタ宣言の数は使用パターンおよび各関数における定義に依存し、割り当て可能なレジスタ数に制限されます。コンパイラやオプティマイザは、レジスタ宣言に従う必要はありません。

E.1.9 構造体、共用体、列挙型、およびビットフィールド (G.3.9)

E.1.9.1 (6.3.2.3) 共用体のオブジェクトのメンバーはほかの型のメンバーを使用してアクセスされる

共用体のメンバーに記憶されているビットパターンがアクセスされ、アクセスしたメンバーの型に従って値が解釈されます。

E.1.9.2 (6.5.2.1) 構造体のメンバーのパディングと整列条件

各要素が適切な境界上に並ぶように、構造体のメンバーが自動的に埋め込まれます。

構造体自身の整列条件はそのメンバーの整列条件と同一です。たとえば、chars 型だけの struct は整列の制限がありませんが、—m64 を使用してコンパイルされた double 型を含む struct は 8 バイトの境界上に並びます。

E.1.9.3 (6.5.2.1) 単なる int のビットフィールドは signed int ビットフィールドとみなされるか、unsigned int ビットフィールドとみなされるか

unsigned int とみなされます。

E.1.9.4 (6.5.2.1) int 内のビットフィールドの割り当て順序

ビットフィールドは、記憶装置内で高位から低位の順に割り当てられます。

E.1.9.5 (6.5.2.1) ビットフィールドは記憶装置の境界を越えることができるか

ビットフィールドは記憶装置の境界を越えません。

E.1.9.6 (6.5.2.2) 列挙型の値を表現するための整数型

int 型です。

E.1.10 修飾子 (G.3.10)

E.1.10.1 (6.5.5.3) volatile 修飾子型を持つオブジェクトへのアクセス方法

オブジェクト名を参照するたびに、そのオブジェクトへアクセスされます。

E.1.11 宣言子 (G.3.11)

E.1.11.1 (6.5.4) 算術演算、構造体、または共用体の型が修正可能な宣言子の最大数

コンパイラによる制限はありません。

E.1.12 文 (G.3.12)

E.1.12.1 (6.6.4.2) switch 文中の case 値の最大個数

コンパイラによる制限はありません。

E.1.13 プリプロセッサ指令 (G.3.13)

E.1.13.1 (6.8.1) 条件付きのインクルードを制御する定数式のシングルキャラクタ文字定数の値は、実行文字セット中の同一の文字定数の値に一致するか

前処理命令内の文字定数はほかの式のものと同一の数値を持ちます。

E.1.13.2 (6.8.1) そのような文字定数は負の値をとり得るか

この場合の文字定数は負の値を取ることがあります。

E.1.13.3 (6.8.2) インクルード可能なソースファイルの位置を知る方法

最初に、ファイル名が < > によって区切られたファイルを、-I オプションによって指定されたディレクトリの中で検索します。次に、標準ディレクトリの中を検索します。異なるデフォルト位置を指定するのに -YI オプションが使用されていないかぎり、標準ディレクトリは /usr/include です。

最初に、ファイル名が引用符によって区切られたファイルを、#include 文のあるソースファイルのディレクトリ内で検索します。次に、-I オプションによって指定されたディレクトリの中を検索し、最後に標準ディレクトリ内を検索します。

< > や二重引用符で囲まれたファイル名が / で始まっている場合は、そのファイル名はルートディレクトリで始まるパス名であると解釈されます。このファイルの検索はルートディレクトリの中でのみ行われます。

E.1.13.4 (6.8.2) インクルード可能なソースファイルの引用符付きの名前のサポート

include 命令の引用符付きのファイル名はサポートされます。

E.1.13.5 (6.8.2) ソースファイルの文字シーケンスの配置

ソースファイルの文字は対応する ASCII の値に配置されます。

E.1.13.6 (6.8.6) 認識された #pragma 命令の動作

次に示すプラグマがサポートされています。詳細は、「2.11 プラグマ」 を参照してください。

• align integer (variable[, variable])

• c99 (“implicit” | “no%implicit”)

• does_not_read_global_data (funcname [, funcname])

• does_not_return (funcname[, funcname])

• does_not_write_global_data (funcname[, funcname])

• error_messages (on|off|default, tag1[ tag2... tagn])

• fini (f1[, f2..., fn])

• hdrstop

• ident string

• init (f1[, f2..., fn])

• inline (funcname[, funcname])

• int_to_unsigned (funcname)

• MP serial_loop

• MP serial_loop_nested

• MP taskloop

• no_inline (funcname[, funcname])

• no_warn_missing_parameter_info

• nomemorydepend

• no_side_effect (funcname[, funcname])

• opt_level (funcname[, funcname])

• pack(n)

• pipeloop(n)

• rarely_called (funcname[, funcname])

• redefine_extname old_extname new_extname

• returns_new_memory (funcname[, funcname])

• unknown_control_flow (name[, name])

• unroll (unroll_factor)

• warn_missing_parameter_info

• weak symbol1 [= symbol2]

E.1.13.7 (6.8.8) 翻訳の日付と時間がわからないときの __DATE__ と __TIME__ の定義

これらのマクロは常に使用できます。

E.1.14 ライブラリ関数 (G.3.14)

E.1.14.1 (7.1.6) マクロの NULL を拡張した null ポインタ定数

NULL は 0 になります。

E.1.14.2 (7.2) assert 関数によって出力される診断と assert 関数の終了動作

診断は次のようになります。

Assertion failed: statement. file filename, line number

ここで

• statement は表明に失敗した文です

• filename は障害を持ったファイルの名前です

• line number は障害が発生した行の番号です

E.1.14.3 (7.3.1) isalnum、isalpha、iscntrl、islower、isprint、および isupper 関数によってテストされる文字セット

E.1.14.4 (7.5.1) ドメインエラーの数値演算関数によって返される値

E.1.14.5 (7.5.1) アンダーフローエラーの場合に、数値演算関数が整数式 errno をマクロ ERANGE の値に設定するかどうか

アンダーフローが検出された場合、scalbn を除いた数値演算関数は errno を ERANGE に設定します。

E.1.14.6 (7.5.6.4) fmod 関数の第 2 引数が 0 を持つ場合に、ドメインエラーとなるか、0 が返されるか

この場合は、ドメインエラーとして第 1 引数が返されます。

E.1.14.7 (7.7.1.1) signal 関数に対するシグナルの設定

次の表に signal 関数が認識する各シグナルの意味を示します。

E.1.14.8 (7.7.1.1) signal 関数によって認識される各 signal のデフォルトの取扱い、およびプログラムのスタートアップ時における取扱い

上記を参照してください。

E.1.14.9 (7.7.1.1) シグナルハンドラを呼び出す前に signal(sig, SIG_DFL); 相当のものが実行されない場合は、どのシグナルがブロックされるか

signal(sig,SIG_DFL) 相当のものは、常に実行されます。

E.1.14.10 (7.7.1.1) SIGILL 関数に指定されたハンドラにより SIGILL シグナルが受信された場合は、デフォルト処理はリセットされるか

SIGILL ではデフォルト処理はリセットされません。

E.1.14.11 (7.9.2) テキストストリームの最終行で、改行文字による終了を必要とするか

最終行を改行文字で終了する必要はありません。

E.1.14.12 (7.9.2) 改行文字の直前でテキストストリームに書き出されたスペース文字は読み込みの際に表示されるか

ストリームが読み込まれるときにはすべての文字が表示されます。

E.1.14.13 (7.9.2) バイナリストリームに書かれたデータに追加することのできる null 文字の数

バイナリストリームには null 文字を追加しません。

E.1.14.14 (7.9.3) アペンドモードのストリームのファイル位置指示子は、最初にファイルの始まりと終わりのどちらに置かれるか

ファイル位置指示子は最初にファイルの終わりに置かれます。

E.1.14.15 (7.9.3) テキストストリームへの書き込みを行うと、書き込み点以降の関連ファイルが切り捨てられるか

ハードウェアの命令がないかぎり、テキストストリームへの書き込みによって書き込み点以降の関連ファイルが切り捨てられることはありません。

E.1.14.16 (7.9.3) ファイルのバッファリングの特徴

標準エラーストリーム (stderr) を除く出力ストリームは、デフォルトでは、出力が ファイルの場合にはバッファリングされ、出力が端末の場合にはラインバッファリングされます。標準エラー出力ストリーム (stderr) は、デフォルトではバッファリングされません。

バッファリングされた出力ストリームは多くの文字を保存し、その文字をブロックとして書き込みます。バッファリングされなかった出力ストリームは宛先ファイルあるいは端末に迅速に書き込めるように情報の待ち行列を作ります。行バッファリングされた出力は、その行が完了するまで (改行文字が要求されるまで) 行単位の出力待ち行列に入れられます。

E.1.14.17 (7.9.3) ゼロ長ファイルは実際に存在するか

ディレクトリエントリを持つという意味ではゼロ長ファイルは存在します。

E.1.14.18 (7.9.3) 有効なファイル名を作成するための規則

有効なファイル名は 1 から 1,023 文字までの長さで、null 文字とスラッシュ (/) 以外のすべての文字を使用することができます。

E.1.14.19 (7.9.3) 同一のファイルを何回も開くことができるか

同一のファイルを何回も開くことができます。

E.1.14.20 (7.9.4.1) 開いたファイルへの remove 関数の効果

ファイルを閉じる最後の呼び出しによりファイルが削除されます。すでに除去されたファイルをプログラムが開くことはできません。

E.1.14.21 (7.9.4.2) rename 関数を呼び出す前に新しい名前を持つファイルがあった場合、そのファイルはどうなるか

そのようなファイルがあれば削除され、新しいファイルが元のファイルの上に書き込まれます。

E.1.14.22 (7.9.6.1) fprintf 関数における %p 変換の出力

%p の出力は %x と等しくなります。

E.1.14.23 (7.9.6.2) fscanf 関数における %p 変換の入力

%p の入力は %x と等しくなります。

E.1.14.24 (7.9.6.2) fscanf 関数における %[ 変換のための走査リストで最初の文字でも最後の文字でもないハイフン文字 - の解釈

- 文字は包含的範囲を意味します。すなわち、[0-9] は [0123456789] に等しくなります。

E.1.15 ロケール固有の動作 (G.4)

E.1.15.1 (7.12.1) 現地時間帯と夏時間の設定

現地時間帯は環境変数 TZ で設定します。

E.1.15.2 (7.12.2.1) clock 関数の経過時間

clock 関数の経過時間は、プログラム実行開始時を原点とする時間経過として表現されます。

ホスト環境については次のようなロケール固有の性質があります。

E.1.15.3 (5.2.1) 必要なメンバー以外の実行文字セットの内容

ロケール依存です。C ロケールでは、文字セットの拡張はありません。

E.1.15.4 (5.2.2) 印刷方向

常に左から右に印刷されます。

E.1.15.5 (7.1.1) 10 進小数点を表わす文字

ロケール依存です (C ロケールでは、ピリオド「.」)。

E.1.15.6 (7.3) 処理系ごとに定義される文字テストおよびケース配置関数の項目

「4.3.1」と同義です。

E.1.15.7 (7.11.4.4) 実行文字セットの照合シーケンス

ロケール依存です。C ロケールでは、照合順序は ASCII の照合シーケンスと同じです。

E.1.15.8 (7.12.3.5) 時間と日付の書式

ロケール依存です。C ロケールでの形式を次の表にまとめます。月の名前は次のとおりです。

曜日の名前は次のとおりです。

時間の書式は次のとおりです。

%H:%M:%S

日付の書式は次のとおりです。

%m/%d/%y

午前/午後を指定する書式は、次のとおりです。AM PM