コンテンツにスキップ

C言語/const

リンクを追加
出典: フリー教科書『ウィキブックス（Wikibooks）』

はじめに

[編集]

C言語におけるconstキーワードは、プログラム内で変数や関数の性質を修飾するために使用されます。主に値の不変性を宣言するためのものですが、文脈によって異なる意味を持ちます。C23（ISO/IEC 9899:2024）では、constの機能と使用法がさらに強化されています。

定数変数の宣言

[編集]

constの最も基本的な用途は、変数を定数として宣言することです。これにより、その変数の値はプログラム実行中に変更できなくなります。 

const int MAX_USERS = 100;  // 変更不可能な整数定数
MAX_USERS = 200;            // コンパイルエラー: 変更不可能な変数への代入

定数変数は通常、宣言時に初期化する必要があります。初期化がない場合、その変数は不定値を持ちますが、その値は変更できません。 

const int UNINITIALIZED;  // 警告: 初期化されていない定数

ポインタとconst

[編集]

constとポインタを組み合わせる場合、その位置によって意味が変わります。この違いを理解することは非常に重要です。 

const int *p1;      // ポインタが指す値を変更できない（値が定数）
int const *p2;      // 上と同じ：ポインタが指す値を変更できない
int * const p3 = &x;  // ポインタ自体を変更できない（ポインタが定数）
const int * const p4 = &y;  // ポインタ自体も指す値も変更できない

これらの違いを実践的なコード例で示します： 

void constPointerDemo(void) {
    int x = 10, y = 20;
    
    // ポインタが指す値を変更できない
    const int *p1 = &x;
    // *p1 = 30;       // エラー: 指している値を変更できない
    p1 = &y;           // OK: ポインタ自体を変更できる
    
    // ポインタ自体を変更できない
    int * const p2 = &x;
    *p2 = 30;          // OK: 指している値を変更できる
    // p2 = &y;        // エラー: ポインタ自体を変更できない
    
    // ポインタ自体も指す値も変更できない
    const int * const p3 = &x;
    // *p3 = 30;       // エラー: 指している値を変更できない
    // p3 = &y;        // エラー: ポインタ自体を変更できない
}

関数パラメータにおけるconst

[編集]

関数のパラメータにconstを使用すると、関数内でその引数が変更されないことを保証します。これはコードの安全性を高め、関数の意図を明確にします。 

// 文字列を表示するだけで変更しない関数
void printString(const char *str) {
    printf("%s\n", str);
    // str[0] = 'X';  // エラー: const char を変更しようとしている
}

// 配列を変更せずに処理する関数
int sumArray(const int arr[], int size) {
    int total = 0;
    for (int i = 0; i < size; i++) {
        total += arr[i];
        // arr[i] = 0;  // エラー: const int を変更しようとしている
    }
    return total;
}

構造体とconst

[編集]

構造体とconstを組み合わせて使用する場合、構造体全体またはそのメンバーを不変にすることができます。 

typedef struct {
    char name[50];
    int age;
} Person;

void displayPerson(const Person *p) {
    printf("名前: %s, 年齢: %d\n", p->name, p->age);
    // p->age = 30;  // エラー: const 構造体のメンバーを変更しようとしている
}

void constStructDemo(void) {
    Person person = {"田中太郎", 25};
    const Person constPerson = {"鈴木花子", 30};
    
    person.age = 26;           // OK: 通常の構造体は変更可能
    // constPerson.age = 31;   // エラー: const 構造体は変更不可
    
    displayPerson(&person);    // OK: 非constポインタをconstポインタに渡す（暗黙の型変換）
    displayPerson(&constPerson); // OK: constポインタをconstポインタに渡す
}

返り値に対するconst

[編集]

関数の返り値にconstを使用することで、戻り値の使用方法を制限できます。特にポインタを返す関数で役立ちます。 

const char* getVersion(void) {
    return "C23 (ISO/IEC 9899:2024)";
    // 返された文字列は変更できません
}

void returnValueDemo(void) {
    const char *version = getVersion();
    printf("バージョン: %s\n", version);
    // version[0] = 'D';  // エラー: const char を変更しようとしている
}

constと型修飾子の互換性

[編集]

C言語では、非constポインタをconstポインタに変換することは安全ですが、その逆は危険であり、明示的なキャストが必要です。 

void compatibilityDemo(void) {
    int value = 42;
    int *regular_ptr = &value;
    const int *const_ptr;
    
    const_ptr = regular_ptr;  // OK: 非constから constへの変換は安全
    
    // regular_ptr = const_ptr;  // エラー: constから非constへの暗黙の変換は不可
    regular_ptr = (int *)const_ptr;  // 危険だが明示的キャストで可能
}

C23におけるconstの拡張

[編集]

C23（ISO/IEC 9899:2024）では、constの機能が拡張され、より多くのコンテキストで使用できるようになりました。以下に主な拡張点を示します。

型修飾子の強化

[編集]

C23では、型修飾子（const、volatile、restrict、_Atomic）の組み合わせに関するルールが明確化されました。 

// C23では以下のような複雑な型修飾子の組み合わせがより明確に定義されている
const volatile int *restrict p;  // 制限付きポインタで、変更不可かつ最適化対象外の整数を指す

アトミック操作とconst

[編集]

C23では、_Atomic修飾子とconstの相互作用に関するルールが拡張されています。 

_Atomic const int atomic_const_value = 100;  // アトミックな定数

メモリモデルとの相互作用

[編集]

C23では、メモリモデルが更新され、constがメモリの可視性に与える影響がより明確に定義されています。

修飾子の組み合わせ 値の変更 ポインタの変更 スレッド間の可視性保証
int * 可能 なし
const int * 不可 可能 可能（C23で強化）
int * const 可能 不可 なし
const int * const 不可 可能（C23で強化）
_Atomic int * 可能 アトミック操作に依存
_Atomic const int * 不可 可能 アトミック操作とconstの両方

最適化におけるconstの役割

[編集]

コンパイラはconst変数を最適化の対象として扱うことができます。これにより、コードの効率が向上する可能性があります。 

void optimizationExample(void) {
    const int MAGIC_NUMBER = 42;
    
    // コンパイラは以下のループを最適化できる可能性がある
    for (int i = 0; i < MAGIC_NUMBER; i++) {
        // 処理
    }
}

まとめ

[編集]

C23におけるconstキーワードは、プログラムの不変性を確保し、開発者の意図を明確に表現するための強力なツールです。適切に使用することで、コードの安全性、可読性、保守性を高めることができます。

constキーワードは文脈によって異なる意味を持ちますが、基本的には「変更不可能」という概念を表します。変数、ポインタの値、ポインタ自体、関数パラメータ、構造体など、さまざまな場面で効果的に使用できます。

C23では、型修飾子の取り扱いの明確化、メモリモデルとの相互作用の改善など、さらなる拡張が行われています。これらの改善により、constキーワードの使用がより柔軟で強力になっています。

"https://ja.wikibooks.org/w/index.php?title=C言語/const&oldid=271020" より作成