void の解説と実装リファレンス
【概要】
void は、CおよびC++言語において「値を持たないこと」を定義するキーワードです。Arduinoプログラミングにおいて、void は主に関数の戻り値が存在しないことを宣言するために使用されます。関数が特定の処理（入出力操作、計算、状態の更新など）を実行するだけで、呼び出し元に対していかなるデータも返却しない場合に適用されます。
【仕様】
- 戻り値: なし。呼び出し元へのデータ転送は行われない。
- 引数:
voidは戻り値の型であり、引数の有無や型には依存しない。 - データ型: 「空の型（null type）」として扱われる。変数を
void型で宣言することはできない（void*は例外）。 - メモリ挙動:
voidを戻り値とする関数を呼び出した際、CPUのレジスタ（例：x86のEAX、ARMのR0など）に値を格納するプロセスをスキップし、関数の終了と共にスタックポインタを元の呼び出し位置へ戻す。
【技術的特徴】
他の戻り値型との比較
| 型 | 役割 | 典型的な用途 | 呼び出し例 |
| void | 値を返さない | LED制御、シリアル出力、状態更新 | do_something(); |
| bool | 真偽値を返す | センサー判定、エラーチェック | if (is_ready()) |
| int | 整数値を返す | 計算結果の取得、インデックス取得 | int val = get_val(); |
ハードウェアレベルの挙動
Arduino（AVR, ESP32, STM32等）のコンパイラは、void 型の関数を最適化する際、戻り値用のレジスタ確保を省略する。これにより、極めて僅かではあるが、戻り値が必要な関数よりもメモリ効率や処理速度において有利に働く場合がある。
【注意点】
1. 割り込みサービスルーチン (ISR)
Arduinoにおいて、割り込みハンドラは原則として void 型で定義される。割り込みはハードウェアイベントによって強制的に実行されるため、関数から呼び出し元へ値を「返す」という概念が成立しないためである。
2. 戻り値の代用
void 関数内で計算結果や状態の変化を呼び出し元に伝えたい場合は、以下の手法を用いる必要がある：
– グローバル変数: 状態を共有変数に格納する。
– 参照渡し/ポインタ渡し: 引数として変数のアドレスを渡し、関数内で直接書き換える。
3. 意図しない挙動の防止
void 関数から値を返そうとするコード（例: return 1;）はコンパイルエラーとなる。また、関数の最後に return; を記述することは許容されるが、記述を省略した場合でも関数の末尾に到達すれば自動的に戻る。
【サンプルコード】
以下は、void 関数を用いてLEDの点滅処理と、パラメータを伴う状態更新を行う例である。
// グローバル変数の定義ool ledState = false;
const int ledPin = 13;
// 戻り値を持たない関数（副作用による状態変化）
void toggleLED() {
ledState = !ledState;
digitalWrite(ledPin, ledState ? HIGH : LOW);
}
// 引数を受け取り、戻り値を持たない関数
void updateSystemStatus(int errorCode) {
if (errorCode != 0) {
Serial.print("Error detected: ");
Serial.println(errorCode);
}
}
void setup() {
pinMode(ledPin, OUTPUT);
Serial.begin(9600);
}
void loop() {
// void関数を呼び出し
toggleLED();
updateSystemStatus(0);
delay(500);
}
【活用例】
- ドライバ実装: 特定のハードウェア（LCD、モーター等）の初期化や操作コマンドの実行（例:
lcd.clear()）。 - 状態遷移マシン (FSM): 現在の状態を更新する処理を
void関数としてカプセル化し、メインループから呼び出す。 - ISRハンドラ: タイマー割り込みや外部割り込みが発生した際に実行される、極めて短く高速な処理の定義。
コメント