C言語におけるポインタは、変数や配列のアドレスを指し示す非常に強力な機能ですが、その対象はデータだけではありません。

実行される「関数」そのもののアドレスを保持し、プログラムの実行中に動的に呼び出す関数を切り替えることができる機能が関数ポインタです。

関数ポインタを使いこなすことで、プログラムの柔軟性は飛躍的に向上します。

例えば、特定のイベントが発生した際に実行する処理を後から登録するコールバック関数の実装や、条件分岐を減らしてコードを簡潔にするテーブルジャンプなど、高度な設計には欠かせない技術です。

本記事では、関数ポインタの基礎的な書き方から、実践的な応用手法までを詳しく解説します。

目次 [ close ]
  1. 関数ポインタの基本概念
    1. 関数ポインタとは何か
    2. メモリ上の関数アドレス
  2. 関数ポインタの宣言と初期化
    1. 基本的な宣言の書式
    2. 関数ポインタへの代入と呼び出し
  3. typedef による可読性の向上
    1. typedef を使った定義方法
    2. 実装例
  4. コールバック関数の実装
    1. なぜコールバックが必要なのか
    2. コールバック関数の実装例
  5. 関数ポインタの配列（ジャンプテーブル）
    1. ジャンプテーブルの仕組み
    2. 実装例
  6. 構造体と関数ポインタによる疑似オブジェクト指向
    1. 構造体への組み込み
  7. 標準ライブラリにおける関数ポインタ：qsort
    1. qsort のプロトタイプ
    2. qsort の利用例
  8. 関数ポインタ利用時の注意点
    1. 型の不一致に注意
    2. NULL ポインタのチェック
  9. まとめ

関数ポインタの基本概念

C言語において、関数名は実はその関数がメモリ上に配置されている先頭アドレスを指しています。

通常の変数ポインタが「データの場所」を指すのに対し、関数ポインタは「命令の場所」を指すという違いがあります。

関数ポインタとは何か

関数ポインタは、特定の「戻り値の型」と「引数のリスト」を持つ関数のアドレスを格納するための変数です。

これを利用することで、変数に値を代入するように、変数に関数を代入し、その変数経由で関数を実行することが可能になります。

通常、関数を呼び出す際は function_name() と記述しますが、関数ポインタを使用すると、プログラムの実行状況に応じて呼び出す関数を動的に変更できるというメリットがあります。

これは、コンパイル時ではなく実行時（ランタイム）に動作を決定したい場合に非常に有効です。

メモリ上の関数アドレス

プログラムが実行される際、コードはメモリのテキストセグメント（コード領域）にロードされます。

関数ポインタが保持しているのは、この領域内における各関数の開始位置です。

関数名そのものをポインタとして扱うことができるため、代入の際に関数名に & を付ける必要はありません（付けても問題ありませんが、省略するのが一般的です）。

関数ポインタの宣言と初期化

関数ポインタの宣言は、C言語の構文の中でも特に複雑に見える部分の一つです。

正しい書き方を理解するためには、演算子の優先順位を意識する必要があります。

基本的な宣言の書式

関数ポインタを宣言する際の基本書式は以下の通りです。

C言語
戻り値の型 (*ポインタ変数名)(引数の型1, 引数の型2, ...);

ここで最も重要なのは、ポインタ変数名を括弧 (* ) で囲むことです。

もし括弧を忘れてしまうと、C言語の文法解釈が変わり、「ポインタを返す関数」の宣言になってしまいます。

注意すべき宣言の誤り

以下の例を見て、違いを確認してください。

  • int (*func_ptr)(int); ： int 型を返し、 int 型を引数に取る関数ポインタ
  • int *func_ptr(int); ： int 型のポインタを返す通常の関数宣言

このように、アスタリスクの結合優先順位によって意味が全く異なるため、関数ポインタを宣言する際は必ず変数名を括弧で括るようにしましょう。

関数ポインタへの代入と呼び出し

宣言した関数ポインタには、シグネチャ（戻り値と引数の構成）が一致する関数のアドレスを代入できます。

C言語
#include <stdio.h>

// サンプル関数
void greet(int times) {
    for (int i = 0; i < times; i++) {
        printf("Hello! ");
    }
    printf("\n");
}

int main() {
    // 1. 関数ポインタの宣言
    void (*ptr)(int);

    // 2. 関数アドレスの代入
    ptr = greet;

    // 3. 関数ポインタ経由での呼び出し
    ptr(3); // (*ptr)(3) と書くことも可能ですが、ptr(3) が一般的です

    return 0;
}
実行結果
Hello! Hello! Hello!

このコードでは、 ptr という変数に greet 関数のアドレスを格納し、それを用いて関数を実行しています。

ポインタを経由しているため、後から別の関数を代入すれば、同じ ptr(3); という記述で異なる処理を実行させることも可能です。

typedef による可読性の向上

関数ポインタの宣言は記述が長くなりやすく、特に複雑な引数を持つ場合はコードの可読性が著しく低下します。

これを解決するために、typedef を使用して関数ポインタ型に名前を付ける手法が推奨されます。

typedef を使った定義方法

typedef を使うと、特定のシグネチャを持つ関数ポインタそのものを「新しい型」として定義できます。

C言語
// int型を2つ受け取り、int型を返す関数ポインタ型「CalcFunc」を定義
typedef int (*CalcFunc)(int, int);

このように定義しておけば、以降は通常の int や char と同じ感覚で関数ポインタ型を扱うことができます。

実装例

C言語
#include <stdio.h>

// 型の定義
typedef int (*Operation)(int, int);

int add(int a, int b) { return a + b; }
int multiply(int a, int b) { return a * b; }

int main() {
    // 型名を使って変数を宣言
    Operation op;

    op = add;
    printf("加算結果: %d\n", op(10, 5));

    op = multiply;
    printf("乗算結果: %d\n", op(10, 5));

    return 0;
}
実行結果
加算結果: 15
乗算結果: 50

typedef を使用することで、関数ポインタを関数の引数や戻り値として扱う際にも、コードが非常にスッキリと整理されます。

コールバック関数の実装

関数ポインタの最も代表的な活用例がコールバック関数です。

コールバック関数とは、ある関数を呼び出す際に、その関数の中で実行してほしい別の処理（関数）を引数として渡す仕組みのことです。

なぜコールバックが必要なのか

例えば、配列の要素を走査して特定の条件に一致するものだけを表示する関数を作るとします。

このとき、「表示する条件」を関数内で固定してしまうと、別の条件でフィルタリングしたい場合に、また新しい走査関数を作る必要があります。

コールバック関数を使えば、走査ロジック（共通部分）と判定ロジック（可変部分）を分離でき、コードの再利用性を極限まで高めることができます。

コールバック関数の実装例

以下のプログラムは、配列の全要素に対して、指定された計算（コールバック）を適用する汎用的な処理の例です。

C言語
#include <stdio.h>

// コールバック関数の型定義
typedef int (*Processor)(int);

// 配列の各要素に処理を適用する関数（高階関数的な役割）
void processArray(int* arr, int size, Processor callback) {
    for (int i = 0; i < size; i++) {
        // 引数として受け取った関数を実行し、結果を上書きする
        arr[i] = callback(arr[i]);
    }
}

// 具体的な処理1: 2倍にする
int doubleValue(int n) { return n * 2; }

// 具体的な処理2: 2乗にする
int squareValue(int n) { return n * n; }

int main() {
    int data[] = {1, 2, 3, 4, 5};
    int n = 5;

    printf("元の配列: ");
    for(int i=0; i<n; i++) printf("%d ", data[i]);
    printf("\n");

    // 2倍にする処理をコールバックとして渡す
    processArray(data, n, doubleValue);
    printf("2倍後: ");
    for(int i=0; i<n; i++) printf("%d ", data[i]);
    printf("\n");

    // 2乗にする処理をコールバックとして渡す
    processArray(data, n, squareValue);
    printf("さらに2乗後: ");
    for(int i=0; i<n; i++) printf("%d ", data[i]);
    printf("\n");

    return 0;
}
実行結果
元の配列: 1 2 3 4 5 
2倍後: 2 4 6 8 10 
さらに2乗後: 4 16 36 64 100

この例では、 processArray 関数そのものは、各要素に対して「何かをする」というループ構造だけを持っています。

「何をするか」という具体的なルールは、後から引数として渡される関数ポインタによって決定されます。

関数ポインタの配列（ジャンプテーブル）

複数の関数を切り替えて実行する場合、 if-else や switch 文を多用すると、分岐が多くなりコードが見づらくなります。

これを解決するのが関数ポインタの配列です。

ジャンプテーブルの仕組み

関数ポインタを配列に格納することで、インデックス番号を指定するだけで特定の処理を呼び出せるようになります。

これを「ジャンプテーブル」と呼びます。

実装例

メニュー選択システムなどでよく利用されるパターンです。

C言語
#include <stdio.h>

void play() { printf("ゲームを開始します。\n"); }
void save() { printf("データを保存しました。\n"); }
void exitGame() { printf("終了します。\n"); }

int main() {
    // 関数ポインタの配列を宣言と同時に初期化
    void (*menuFunctions[])() = { play, save, exitGame };

    int choice;
    printf("0:開始 1:保存 2:終了 > ");
    scanf("%d", &choice);

    if (choice >= 0 && choice <= 2) {
        // インデックスで関数を直接呼び出す
        menuFunctions[choice]();
    } else {
        printf("無効な選択です。\n");
    }

    return 0;
}

実行結果（1を入力した場合）

実行結果
0:開始 1:保存 2:終了 > 1
データを保存しました。

この手法の優れた点は、選択肢が増えても switch 文を書き足す必要がなく、配列に新しい関数を追加するだけで対応できる拡張性にあります。

構造体と関数ポインタによる疑似オブジェクト指向

C言語はオブジェクト指向言語ではありませんが、構造体に関数ポインタを含めることで、データとその操作（メソッド）をセットにした「オブジェクト」のような構造を作ることができます。

構造体への組み込み

構造体のメンバに関数ポインタを持たせることで、その構造体がどのような振る舞いをするかを定義できます。

C言語
#include <stdio.h>

// 構造体の定義
struct Character {
    char* name;
    int hp;
    // 構造体が持つ「振る舞い」としての関数ポインタ
    void (*attack)(struct Character* self);
};

// 具体的な動作関数
void warriorAttack(struct Character* self) {
    printf("%s は剣で力強く斬りつけた！(HP:%d)\n", self->name, self->hp);
}

void mageAttack(struct Character* self) {
    printf("%s は魔法の呪文を唱えた！(HP:%d)\n", self->name, self->hp);
}

int main() {
    // 戦士オブジェクトの作成
    struct Character warrior = {"戦士", 100, warriorAttack};
    // 魔法使いオブジェクトの作成
    struct Character mage = {"魔法使い", 50, mageAttack};

    // 同じ attack というメンバを呼び出しても、中身が異なる
    warrior.attack(&warrior);
    mage.attack(&mage);

    return 0;
}
実行結果
戦士 は剣で力強く斬りつけた！(HP:100)
魔法使い は魔法の呪文を唱えた！(HP:50)

このように、データ（名前やHP）と振る舞い（攻撃方法）を一括して管理できるため、複雑なシステム開発においてプログラムの構成を整理するのに非常に役立ちます。

標準ライブラリにおける関数ポインタ：qsort

関数ポインタの理解を深めるために、C言語の標準ライブラリ stdlib.h に含まれる qsort 関数を確認しましょう。

この関数は、あらゆる型の配列をソートするために設計されていますが、その核心部分は関数ポインタによる比較処理です。

qsort のプロトタイプ

C言語
void qsort(void *base, size_t nmemb, size_t size,
           int (*compar)(const void *, const void *));

第4引数に注目してください。

ここで「2つの要素を比較して、その大小関係を返す関数」のアドレスを求めています。

qsort 自身はデータの並べ替えアルゴリズム（クイックソート）のみを知っており、具体的な「どちらが大きいか」というルールは、利用者が提供する関数に委ねられています。

qsort の利用例

C言語
#include <stdio.h>
#include <stdlib.h>

// 比較関数（昇順）
int compareInt(const void* a, const void* b) {
    int valA = *(int*)a;
    int valB = *(int*)b;
    return valA - valB;
}

int main() {
    int nums[] = {45, 10, 78, 2, 33};
    int n = 5;

    // 関数ポインタとして compareInt を渡す
    qsort(nums, n, sizeof(int), compareInt);

    printf("ソート後: ");
    for(int i=0; i<n; i++) printf("%d ", nums[i]);
    printf("\n");

    return 0;
}
実行結果
ソート後: 2 10 33 45 78

qsort のように、汎用的なアルゴリズムをライブラリ化する際、型に依存しない処理を実現するために関数ポインタは不可欠です。

関数ポインタ利用時の注意点

関数ポインタは非常に強力ですが、誤った使い方をするとデバッグが困難なバグを引き起こします。

以下のポイントには常に注意を払う必要があります。

型の不一致に注意

関数ポインタを宣言した際の戻り値や引数の型と、実際に代入する関数の型が完全に一致している必要があります。

  • 引数の数
  • 引数の型
  • 戻り値の型

これらが一つでも異なると、実行時にスタックが破壊されたり、予期せぬメモリアクセスが発生してプログラムが異常終了（セグメンテーションフォールト）したりする恐れがあります。

コンパイラの警告を無視せず、必ず型を合わせるようにしてください。

NULL ポインタのチェック

ポインタ変数である以上、どこにも関数が割り当てられていない（NULL）可能性があります。

NULLの状態で関数呼び出しを行うと、プログラムは即座にクラッシュします。

C言語
if (func_ptr != NULL) {
    func_ptr();
}

このように、呼び出し前に必ず有効なアドレスを指しているかを確認する癖をつけることが大切です。

まとめ

関数ポインタは、C言語における柔軟なプログラム設計を支える重要な技術です。

最初は構文の複雑さに戸惑うかもしれませんが、本質は「関数をデータと同じように変数へ格納し、後から呼び出す仕組み」に過ぎません。

活用シーンメリット
コールバック関数処理の枠組み（ループ等）と具体的な動作を分離できる。
ジャンプテーブル大量の条件分岐を排除し、インデックスによる高速・簡潔な呼び出しが可能。
構造体との併用C言語で疑似的なカプセル化やポリモーフィズムを実現できる。
汎用ライブラリqsortのように、特定の型に依存しない共通アルゴリズムを構築できる。

関数ポインタをマスターすれば、より抽象度の高い、洗練されたコードが書けるようになります。

まずは基本的な宣言と代入から始め、少しずつコールバックや構造体への組み込みに挑戦して、その強力な機能を自身のスキルセットに加えてみてください。