次元保証ライブラリ. [詳細]
#include "types.hpp"
#include "operators.hpp"
次元保証ライブラリ.
物理学・数学などでは、数値の次元(単位)が重要な意味をもつ。 しかし、C/C++において数値演算をする際につかう浮動小数点型には 次元という概念が存在しない。 この次元保証ライブラリは、複数の次元が入り混じる計算でも、 次元の正確さを保証する。
また、次元の正確さを保証するための実行時のコストは0である。 具体的には、最適化コンパイル(gccではO3程度)をすれば、 すべて組み込み型のみで計算した場合とほぼ同じバイナリになる ということだ。