Floating Point Constants の解説と実装リファレンス

この記事の目次

【概要】
【仕様】
【技術的特徴】
1. 1. ハードウェアによる差異
2. 2. 精度と型変換
【注意点】
【サンプルコード】
【活用例】

【概要】

Arduino環境における「Floating Point Constants（浮動小数点定数）」は、プログラム内で 3.14 や 0.5 といった小数値を直接記述するリテラルを指します。これらは内部的にC++の浮動小数点型（float または double）として解釈されます。

組み込みシステムにおいて、浮動小数点演算は計算精度と処理コストのトレードオフを伴う重要な要素です。Arduinoの各種ボード（AVR, ESP32, STM32等）では、ハードウェアの浮動小数点演算ユニット（FPU）の有無により、これらの定数の処理挙動が大きく異なります。

【仕様】

浮動小数点定数の挙動は、コンパイラのデフォルト設定およびターゲットマイコンのアーキテクチャに依存します。

【技術的特徴】

1. ハードウェアによる差異

AVRアーキテクチャ (Uno, Nano等):
FPUを搭載していないため、浮動小数点演算はソフトウェアライブラリによってエミュレートされます。このため、浮動小数点定数を用いた演算は整数演算に比べて極めて低速です。
ESP32 / STM32 (FPU搭載モデル):
ハードウェアFPUにより高速な演算が可能ですが、double 型の演算は依然としてソフトウェア処理になる場合があるため、注意が必要です。

2. 精度と型変換

C++の仕様上、3.14 という記述はデフォルトで double 型とみなされます。これを float 型の変数に代入する場合、暗黙的な型変換が発生します。組み込み開発では、意図しない精度損失や、不要な型変換によるオーバーヘッドを避けるため、3.14f のように明示的に単精度を指定することが技術的に推奨されます。

【注意点】

リソースの制約:
浮動小数点演算ライブラリは、メモリ（Flash/SRAM）を消費します。非常にタイトなリソース制約があるプロジェクトでは、固定小数点（Fixed-point arithmetic）への代替を検討すべきです。
累積誤差:
浮動小数点数は正確な値を保持できないため、繰り返し加算を行うと誤差が累積します。特に大きな値への小さな値の加算は、精度を著しく低下させます。
割り込み処理内での使用:
ソフトウェアエミュレーションを使用している場合、浮動小数点演算は数マイクロ秒から数百マイクロ秒を要することがあります。高頻度の割り込み処理（ISR）内での使用は、ジッタの原因となるため避けるべきです。
比較演算:
if (x == 3.14) のような直接比較は、丸め誤差により失敗する可能性が高いです。常に許容誤差（Epsilon）を用いた比較 if (abs(x - 3.14) < 0.0001) を使用してください。

【サンプルコード】

以下は、単精度浮動小数点定数を使用して円の面積を計算し、精度を維持するための実装例です。

/* 
 * Floating Point Constants Usage Reference
 * 目的: 単精度浮動小数点リテラルを用いた正確な面積計算
 */

const float PI = 3.14159f;      // 'f'サフィックスで単精度リテラルとして定義
const float RADIUS = 5.5f;       // 単精度定数

void setup() {
  Serial.begin(9600);
}

void loop() {
  // 面積計算: Area = PI * r^2
  // 単精度リテラルを明示的に使用することで、型変換のオーバーヘッドを抑制\n  float area = PI * (RADIUS * RADIUS);

  Serial.print("Radius: ");
  Serial.print(RADIUS);
  Serial.print(" | Area: ");
  Serial.println(area);

  delay(2000);
}

【活用例】

PID制御系:
目標値（Setpoint）や比例・微分・積分係数（Kp, Ki, Kd）を浮動小数点定数として定義し、滑らかな制御出力を得る。
センサースケーリング:
ADCの生データ（0-1023）を物理単位（電圧、温度、距離）に変換する際の係数として使用。
信号処理 (DSP):
FFT（高速フーリエ変換）やフィルタリング処理における係数テーブルの定義。
座標計算:
ロボットアームやドローンにおける三次元空間の幾何学的計算（三角関数を含む計算）における定数の定義。