C言語の関数呼び出し：引数の渡し方と戻り値の処理を分かりやすく解説

2026年5月7日

関数

C言語によるソフトウェア開発において、関数の理解と適切な呼び出しは、プログラムの構造化と再利用性を高めるための最も重要なステップです。

大規模なシステムから組み込みデバイスの制御まで、あらゆるプログラムは機能ごとに分割された関数の集合体として構成されています。

しかし、関数の定義自体は理解していても、「引数がどのようにメモリ上で扱われるのか」や「ポインタを介した値の書き換え」といった詳細な挙動については、曖昧な理解のまま実装を進めてしまうケースも少なくありません。

本記事では、C言語における関数呼び出しの基礎から、引数の渡し方（値渡しとポインタ渡し）の違い、戻り値の適切な処理、そしてメモリ管理の観点から見たスタックの挙動までを詳しく解説します。

プログラミングの初心者から、より堅牢なコードを書きたい中級者の方まで、実践で役立つ知識を体系的に整理していきましょう。

目次 [ close ]

関数の定義と呼び出しの基本構造

C言語における関数とは、特定の処理をひとまとめにしたプログラムの単位です。

関数を利用することで、同じコードを何度も記述する必要がなくなり、プログラム全体の可読性と保守性が劇的に向上します。

関数の基本構文

一般的な関数の定義は、以下の構成要素で成り立っています。

戻り値の型
関数名
引数リスト（パラメータ）
関数本体（ブロック）

C言語

#include <stdio.h>

// 関数の定義
int add(int a, int b) {
    int result = a + b;
    return result; // 戻り値を返す
}

int main() {
    int x = 10;
    int y = 20;
    
    // 関数の呼び出し
    int sum = add(x, y);
    
    printf("合計値: %d\n", sum);
    return 0;
}

実行結果

合計値: 30

この例では、add という名前の関数を定義し、main 関数の中でそれを呼び出しています。

関数を呼び出す際、実引数として渡された x と y の値が、関数の仮引数である a と b にコピーされます。

プロトタイプ宣言の重要性

C言語のコンパイラは、コードを上から下へと読み込んでいきます。

そのため、main 関数よりも後に関数を定義する場合、事前にその関数の存在をコンパイラに知らせる必要があります。

これをプロトタイプ宣言と呼びます。

C言語

#include <stdio.h>

// プロトタイプ宣言
int multiply(int a, int b);

int main() {
    int product = multiply(5, 4);
    printf("積: %d\n", product);
    return 0;
}

// 関数の実体
int multiply(int a, int b) {
    return a * b;
}

プロトタイプ宣言を行うことで、引数の数や型が正しいかどうかをコンパイル時にチェックできるようになり、予期せぬバグの混入を防ぐことができます。

引数の渡し方：値渡し（Call by Value）

C言語における引数の受け渡しの基本は値渡しです。

これは、関数を呼び出す際に変数の値そのものではなく、その「コピー」が関数内の仮引数に渡される仕組みを指します。

値渡しの挙動と特徴

値渡しでは、関数内部で引数の値を変更しても、呼び出し元の変数の値には一切影響を与えません。

これは、関数の独立性を保つという点において非常に安全な仕組みです。

C言語

#include <stdio.h>

void increment(int n) {
    n = n + 1; // 関数内のコピーを更新
    printf("関数内での値: %d\n", n);
}

int main() {
    int num = 10;
    increment(num);
    printf("メイン関数での値: %d\n", num);
    return 0;
}

実行結果

関数内での値: 11
メイン関数での値: 10

上記の結果からわかるように、increment 関数の中で n の値を増やしても、main 関数の num は元のままです。

これは num の「値（10）」だけがコピーされ、別のメモリ領域にある n に代入されたためです。

値渡しのメリットとデメリット

特徴	内容
メリット	呼び出し元のデータが保護され、意図しない変更を防げる。
デメリット	大きな構造体などを渡す場合、データのコピーコスト（メモリと時間）が発生する。

引数の渡し方：ポインタ渡し（アドレス渡し）

関数の中から呼び出し元の変数を直接操作したい場合や、コピーコストを抑えたい場合には、変数のアドレスを渡すポインタ渡しを利用します。

厳密にはC言語において「参照渡し」という言葉は使いませんが、動作としては他言語の参照渡しに近い挙動を示します。

ポインタによる値の書き換え

ポインタ渡しでは、変数のメモリ上の住所（アドレス）を関数に伝えます。

関数側ではそのアドレスを辿って、元のメモリ領域にあるデータを直接書き換えます。

C言語

#include <stdio.h>

void actual_increment(int *p) {
    // ポインタが指す先の内容を更新
    *p = *p + 1; 
}

int main() {
    int num = 10;
    actual_increment(&num); // 変数のアドレスを渡す
    printf("メイン関数での値: %d\n", num);
    return 0;
}

実行結果

メイン関数での値: 11

このコードでは、&num によって num のアドレスを取得し、それを関数に渡しています。

関数側では int *p というポインタ変数でアドレスを受け取り、*p （間接参照演算子）を使って元の値を書き換えています。

複数の値を返す手法としての利用

C言語の関数は戻り値を1つしか返せませんが、ポインタ渡しを応用することで、実質的に複数の計算結果を呼び出し元に返すことが可能になります。

C言語

#include <stdio.h>

void calculate(int a, int b, int *sum, int *diff) {
    *sum = a + b;
    *diff = a - b;
}

int main() {
    int s, d;
    calculate(15, 5, &s, &d);
    printf("和: %d, 差: %d\n", s, d);
    return 0;
}

配列の関数呼び出しと特殊な挙動

C言語において、配列を関数に渡す際には注意が必要です。

配列全体を値渡し（コピー）することはできず、配列名は常にその先頭要素のアドレスとして扱われます。

配列を引数に取る関数の記述

配列を引数として渡す場合、実際にはポインタが渡されていることを意識しなければなりません。

C言語

#include <stdio.h>

// 配列を引数に取る（int *arr と同等）
void printArray(int arr[], int size) {
    for (int i = 0; i < size; i++) {
        printf("%d ", arr[i]);
    }
    printf("\n");
}

int main() {
    int data[] = {1, 2, 3, 4, 5};
    // 配列の名前は先頭アドレスを指す
    printArray(data, 5);
    return 0;
}

ここで重要なのは、関数内で sizeof(arr) を実行しても、配列全体のサイズは取得できないという点です。

取得できるのは「ポインタ変数のサイズ」だけであるため、必ず配列の要素数を別の引数として渡すのがC言語の定石です。

const修飾子による読み取り専用化

ポインタ渡しや配列渡しは効率的ですが、関数内で誤ってデータを書き換えてしまうリスクがあります。

これを防ぐために、書き換えを許可しない場合は const を指定します。

C言語

void display(const int *data, int size) {
    // data[0] = 100; // コンパイルエラーとなり、安全性が保たれる
}

const修飾子を積極的に活用することで、関数の仕様が明確になり、バグの少ない堅牢なコードを構築することができます。

戻り値の処理とメモリ管理の注意点

関数から値を返す際には、戻り値の型とスコープ（有効範囲）に細心の注意を払う必要があります。

戻り値の基本的な返し方

戻り値は、計算結果や処理の成否（エラーコード）を呼び出し元に伝える手段です。

C言語

int check_limit(int value) {
    if (value > 100) {
        return -1; // エラーコード
    }
    return 0; // 正常終了
}

戻り値としてポインタを返す際の危険性

最も頻繁に発生するバグの一つに、ローカル変数のアドレスを返してしまうというものがあります。

C言語

int* get_data_error() {
    int temp = 100;
    return &temp; // 危険！関数終了後に temp は消滅する
}

関数内で宣言されたローカル変数は、関数の終了とともにスタック領域から破棄されます。

そのアドレスを呼び出し元で利用しようとすると、不正なメモリアクセスが発生し、プログラムがクラッシュする原因となります。

永続的なデータを返したい場合は、以下のいずれかの方法を選択します。

呼び出し元で用意した領域のポインタを引数で受け取る。
static 変数を利用する（ただし、スレッドセーフではなくなる）。
malloc を使用してヒープ領域にメモリを確保する（呼び出し元での解放が必要）。

構造体の関数呼び出し：値渡しかポインタ渡しか

構造体は複数のデータをひとまとめにしたものですが、これを関数に渡す際の戦略はパフォーマンスに直結します。

構造体の値渡し

構造体をそのまま渡すと、構造体に含まれるすべてのメンバがコピーされます。

C言語

struct Config {
    int id;
    char name[256];
    double values[100];
};

void processConfig(struct Config c) {
    // 巨大なデータがスタック上にコピーされる
}

メンバが少ない場合は問題ありませんが、上記のように大きな配列を含む構造体の場合、スタックオーバーフローや速度低下の原因となります。

構造体のポインタ渡し

実務では、構造体はポインタで渡すのが一般的です。

C言語

void processConfig(const struct Config *c) {
    // アドレス（数バイト）のコピーだけで済む
    printf("ID: %d\n", c->id);
}

この際、アロー演算子 -> を使用してメンバにアクセスします。

読み取り専用であれば const を忘れずに付与しましょう。

関数呼び出しの内部メカニズム：スタックフレーム

プログラムが関数を呼び出すとき、コンピュータの内部（メモリ上）では何が起きているのでしょうか。

この仕組みを理解すると、再帰呼び出しやメモリ制限の理解が深まります。

スタック領域へのデータ蓄積

関数が呼び出されると、メモリのスタック領域に以下の情報が格納されます。

呼び出し元に戻るためのアドレス（戻り先アドレス）
引数の値
関数内で使用されるローカル変数
レジスタの退避情報

これをスタックフレームと呼びます。

関数が終了すると、このフレームはスタックから「ポップ（削除）」され、メモリが解放されます。

再帰関数のリスク

関数が自分自身を呼び出す「再帰呼び出し」では、呼び出すたびに新しいスタックフレームが積み上がっていきます。

終了条件が不適切だったり、呼び出し回数が多すぎたりすると、スタック領域を使い果たして Stack Overflow を引き起こします。

関数呼び出しには一定のオーバーヘッドがあることを常に意識しておくべきです。

実践的な関数設計のポイント

最後に、優れた関数を設計するための実践的なテクニックを紹介します。

1. 単一責任の原則

一つの関数には一つの役割だけを持たせるようにします。

処理が長くなりすぎた（目安として50行以上）場合は、意味のある単位でさらに別の関数へ分割することを検討してください。

2. エラー処理の統一

関数の戻り値でエラーを返すのか、あるいはポインタを介してステータスを書き込むのか、プロジェクト全体でルールを統一することが重要です。

int を戻り値とし、0を成功、負の値をエラーコードとする。
ポインタを戻り値とする場合、失敗時は NULL を返す。

3. 関数の可視性制御（static関数）

特定のファイル内だけで使用する補助的な関数には static 修飾子を付けます。

C言語

static void internal_helper() {
    // このファイル外からは見えない
}

これにより、他のファイルにある同名の関数との名前衝突を防ぎ、カプセル化を促進できます。

まとめ

C言語における関数呼び出しは、単なる処理の分岐ではなく、メモリ上のデータの流れを制御する極めて重要なプロセスです。

本記事で解説した以下のポイントを振り返りましょう。

値渡しはデータのコピーであり、呼び出し元の変数を保護する。
ポインタ渡しはアドレスを渡し、関数内から元の値を直接操作できる。
配列は常にアドレスとして渡されるため、サイズ情報の受け渡しが必要である。
構造体などの大きなデータは、ポインタ渡しを利用してコピーコストを削減する。
ローカル変数のアドレスを戻り値として返してはいけない（メモリ安全性の確保）。
スタックフレームの概念を理解し、メモリ効率の良いコードを目指す。

これらの原則を正しく理解し、状況に応じて適切な引数の渡し方を選択することで、バグの少ない、高速でメンテナンス性の高いC言語プログラムを記述できるようになります。

関数設計の良し悪しがシステム全体の品質を左右すると言っても過言ではありません。

日々のコーディングにおいて、常に「このデータはどのように渡されるべきか」を意識してみてください。