本文へスキップ

単一代入とは?

たんいつだいにゅう

変数に値を一度だけ代入できる制約。

単一代入は変数に最初の代入以降は値を変更できない制約で関数プログラミングや静的単一代入(SSA)形式のコンパイラ中間表現バグの低減と最適化に利用される。

使い方・例文

LLVMの中間表現はSSA形式を採用しており各変数が一度しか定義されないため最適化が行いやすい。

この用語をシェア

𝕏 でポスト LINE

最終更新:

関連用語