C言語におけるプログラム設計において、関数の引数にどのようにデータを渡すかは、実行速度やメモリ消費効率に直結する極めて重要な要素です。

長年親しまれてきたC言語ですが、最新のC23（ISO/IEC 9899:2024）規格の策定により、より安全で現代的な記述が可能になりました。

本記事では、C言語における「参照渡し」の概念を、ポインタを用いた実装手法と最新のC23規格の知見を交えて詳しく解説します。

目次 [ close ]
  1. C言語における引数渡しの基本構造
    1. 値渡しとポインタ渡しの違い
  2. ポインタを用いた参照渡しの実装方法
    1. 基本的な実装パターン
  3. C23規格で進化するポインタ操作と安全性
    1. nullptrの導入
    2. [[nodiscard]] 属性によるエラー抑制
  4. 効率的な実装：構造体の参照渡し
    1. 構造体ポインタの活用
    2. Const Correctness（constの適切な運用）
  5. メモリ管理と参照渡しのリスク管理
    1. ダングリングポインタの回避
    2. 動的メモリ確保との組み合わせ
  6. パフォーマンス最適化のためのテクニック
    1. restrictキーワードの活用
  7. まとめ

C言語における引数渡しの基本構造

C言語を学ぶ上でまず理解しておくべきは、C言語には言語仕様としての「参照渡し」は存在しないという点です。

C++などの言語には「参照型（&）」が存在しますが、C言語はあくまで「値渡し（Pass by Value）」のみをサポートする言語です。

では、なぜ「参照渡し」という言葉が使われるのでしょうか。

それは、変数のアドレス（ポインタ）を「値」として渡すことで、呼び出し先の関数から呼び出し元の変数を直接書き換える、「参照渡しと同等の振る舞い」をエミュレートできるからです。

これを一般的にC言語における参照渡しと呼びます。

値渡しとポインタ渡しの違い

値渡しと、ポインタを用いた参照渡しの違いを理解するために、以下の比較表を確認してください。

特徴値渡し（Pass by Value）ポインタ渡し（参照渡しのシミュレート）
渡されるデータ変数の値そのもののコピー変数が格納されている「メモリ番地」の値
メモリ消費引数のサイズ分だけスタックを消費ポインタ変数のサイズ（通常4〜8バイト）のみ
元の変数への影響関数内での変更は呼び出し元に影響しない関数内での変更が呼び出し元に直接反映される
主な用途小さなデータ（int, char等）の処理大きな構造体の転送や、複数の戻り値が必要な場合

ポインタを用いた参照渡しの実装方法

C言語で参照渡しを実現するには、&（アドレス演算子）と*（間接演算子）を組み合わせて使用します。

基本的な実装パターン

以下のコードは、2つの数値を入れ替える（swap）処理を例にした、標準的なポインタ渡しの実装です。

C言語
#include <stdio.h>

/* ポインタを受け取る関数（参照渡しのエミュレート） */
void swap(int* a, int* b) {
    if (a == NULL || b == NULL) return; // 安全性のためのチェック
    
    int temp = *a; // aの指すアドレスにある値を取得
    *a = *b;       // aの指す場所にbの値を代入
    *b = temp;     // bの指す場所にtempの値を代入
}

int main(void) {
    int x = 10;
    int y = 20;

    printf("交換前: x = %d, y = %d\n", x, y);

    /* 変数のアドレスを渡す */
    swap(&x, &y);

    printf("交換後: x = %d, y = %d\n", x, y);

    return 0;
}
実行結果
交換前: x = 10, y = 20
交換後: x = 20, y = 10

このプログラムでは、swap(&x, &y)とすることで、変数xとyのメモリ上の位置を関数に伝えています。

関数内部では*aのようにデリファレンスを行うことで、関数外にある実体に直接アクセスしています。

C23規格で進化するポインタ操作と安全性

2026年現在の開発現場では、C23規格に対応したコンパイラが主流となっています。

C23では、参照渡し（ポインタ渡し）をより安全、かつ明確に記述するための機能が強化されました。

nullptrの導入

これまでのC言語では、無効なアドレスを示すためにNULLマクロが使われてきました。

しかし、NULLは実装によって0（整数）として定義されていることがあり、型安全性に課題がありました。

C23では、ヌルポインタ専用のリテラルであるnullptrが導入されました。

C言語
/* C23形式のポインタチェック */
void process_data(int* data) {
    if (data == nullptr) { // 従来の NULL ではなく nullptr を使用
        return;
    }
    // 処理
}

nullptrはnullptr_t型を持ち、整数型への暗黙の変換が行われないため、意図しない計算ミスやオーバーロードの混乱を防ぐことができます。

[[nodiscard]] 属性によるエラー抑制

参照渡しを行う関数では、処理の成否を戻り値で返すことが一般的です。

C23から標準化された属性機能を用いることで、関数の戻り値が無視された場合にコンパイラが警告を出すよう設定できます。

C言語
[[nodiscard]]
int update_value(int* target) {
    if (target == nullptr) return -1;
    *target *= 2;
    return 0;
}

このように記述することで、参照渡しの結果（副作用）が正しく処理されたかどうかを、開発者に強制的に確認させることが可能になります。

効率的な実装：構造体の参照渡し

参照渡しが最も力を発揮するのは、大規模な構造体を扱う場面です。

値渡しで構造体を渡すと、構造体の中身がすべてスタックメモリにコピーされるため、パフォーマンスの低下を招きます。

構造体ポインタの活用

C言語
#include <stdio.h>

typedef struct {
    double matrix[100][100];
    int id;
} LargeData;

/* 値渡し：全データがコピーされ、非常に非効率 */
void process_by_value(LargeData data) {
    printf("ID: %d\n", data.id);
}

/* 参照渡し（ポインタ渡し）：アドレスのみが渡され、極めて高速 */
void process_by_reference(const LargeData* data) {
    if (data == nullptr) return;
    printf("ID: %d\n", data->id);
}

上記の例で、LargeData構造体は非常に大きな配列を含んでいます。

process_by_valueを呼び出すたびに数万バイトのコピーが発生しますが、process_by_referenceであればわずか数バイト（ポインタのサイズ）の転送で済みます。

Const Correctness（constの適切な運用）

参照渡しを行う際の重要な作法として、「関数内で値を書き換えない場合はconstを付与する」というルールがあります。

  • void func(int* p) : 読み書き両方を行う（出力用引数）
  • void func(const int* p) : 読み取りのみを行う（入力用引数）

constを適切に指定することで、コンパイラの最適化を助けるとともに、意図しないデータの破壊を防ぐことができます。

これは「関数のインターフェース」そのものが仕様書としての役割を果たす、セルフドキュメンテーションの一環でもあります。

メモリ管理と参照渡しのリスク管理

参照渡し（ポインタ渡し）は強力ですが、一歩間違えると重大なバグの原因となります。

特に「メモリの寿命（ライフタイム）」には細心の注意を払う必要があります。

ダングリングポインタの回避

関数内で宣言されたローカル変数のアドレスを、関数の外に返してはいけません。

C言語
/* 非常に危険なコード */
int* get_invalid_pointer(void) {
    int local_val = 100;
    return &local_val; // 関数終了時に local_val は消滅するため、戻り値は無効なアドレスになる
}

このようなポインタは「ダングリングポインタ（吊り下げポインタ）」と呼ばれ、アクセスした瞬間にプログラムがクラッシュするか、不安定な動作を引き起こします。

参照渡しでデータをやり取りする場合、「そのメモリ領域がいつまで有効か」を常に意識することが不可欠です。

動的メモリ確保との組み合わせ

C23時代においても、動的なメモリ確保（malloc / free）と参照渡しの組み合わせは頻出します。

C言語
#include <stdlib.h>

void create_array(int** ptr, size_t size) {
    *ptr = (int*)malloc(size * sizeof(int));
}

int main(void) {
    int* my_array = nullptr;
    create_array(&my_array, 10);
    
    if (my_array != nullptr) {
        // 処理
        free(my_array);
    }
    return 0;
}

この例では、「ポインタのポインタ」を参照渡しすることで、関数内部で確保したメモリのアドレスを呼び出し元のポインタ変数に書き込んでいます。

パフォーマンス最適化のためのテクニック

現代のコンパイラ（GCC 15やClang 20など）は高度な最適化を行いますが、プログラマが明示的にヒントを与えることで、さらなる性能向上が見込めます。

restrictキーワードの活用

C言語にはrestrictというキーワードがあります。

これは「このポインタが指す領域には、他のポインタからはアクセスしない」ことを保証するものです。

C言語
void vector_add(int * restrict a, int * restrict b, int * restrict result, int n) {
    for (int i = 0; i < n; i++) {
        result[i] = a[i] + b[i];
    }
}

restrictを付与することで、コンパイラはメモリのエイリアシング（重複）を考慮する必要がなくなるため、ループのベクトル化などの強力な最適化を適用しやすくなります。

まとめ

C言語における「参照渡し」は、ポインタという強力なツールを用いたテクニックです。

C23規格の登場により、nullptrによる安全性の向上や属性によるエラー防止など、より堅牢な実装が可能となりました。

本記事の要点を振り返ります。

  1. C言語に真の参照渡しはなく、ポインタ渡しによって参照渡しをシミュレートする。
  2. &でアドレスを渡し、*で実体にアクセスする。
  3. C23からはnullptrを使用し、型安全性を高める。
  4. 大きな構造体は参照渡し（ポインタ渡し）にすることで、メモリコピーのコストを劇的に削減できる。
  5. constを適切に付与し、意図しない書き換えを防ぐ。
  6. ポインタの寿命（ライフタイム）管理を徹底し、ダングリングポインタを防止する。

ポインタをマスターすることは、C言語の真の力を引き出すことに他なりません。

C23という新しい基準を土台に、メモリ効率と安全性を両立させた高度なプログラム設計を目指しましょう。