HoldCompleteForm
HoldCompleteForm[expr]
expr を標準的なWolfram言語の評価過程から完全にシールドして，式 expr として出力する．
詳細
- HoldCompleteFormは，式を評価せずに式の出力形を見ることを可能にする．
- HoldCompleteFormには属性HoldAllCompleteがあり，引数について何の演算も行わない．
- HoldCompleteFormはReleaseHoldによって削除される． »
- HoldCompleteFormは，ToExpressionやExtract等の関数によってラッパーとして挿入できる． »
- HoldCompleteForm[expr]は，HoldFormとは違って，たとえ expr が f[args]の形式で f の上向きの値が定義されていても未評価のままに保たれる． »
例題
すべて開くすべて閉じる例 (2)
特性と関係 (8)
HoldCompleteFormはラッパーなしで表示する：
FullFormの式を設定する：
HoldCompleteは，ホールドされた式をラッパーなしで表示する：
Evaluateは，HoldCompleteFormの引数を強制的に評価することはできない：
Evaluateを使ってHoldFormの引数の評価を強制的に行う：
SequenceとSpliceによるスプライスはHoldCompleteFormの中では行われない：
HoldFormを使ってそのような変換を許可する：
上向きの値はHoldCompleteForm内では動作しない：
HoldForm内では動作する：
ReleaseHoldはHoldCompleteFormの一つのレベルを削除する：
HoldCompleteFormは決して評価されないオブジェクトを与える：
出力をコピーして入力セルにペーストする．1+2はそれでも評価されない：
Deferは，Wolfram言語の入力として明示的に与えられるまで評価が延期されるだけのオブジェクトを与える：
出力をコピーして入力セルにペーストする．1+2は評価された：
HoldCompleteFormは，式を未評価の形式に，すべての部分を非アクティブに保つ：
Inactivateはシンボルを非アクティブな形式に保ち，式の各部分も非アクティブにすることができる：
Holdを使ってToExpressionの結果を評価前にフリーズすることができる：
考えられる問題 (1)
HoldPattern[expr]は，パターンマッチングでは expr に等しいが， expr を未評価の形式に保持する：
HoldCompleteForm[expr]は，パターンマッチングでは expr には等しくない：
最初のHoldCompleteForm式だけがマッチする：
テキスト
Wolfram Research (2025), HoldCompleteForm, Wolfram言語関数， https://reference.wolfram.com/language/ref/HoldCompleteForm.html.
CMS
Wolfram Language. 2025. "HoldCompleteForm." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/HoldCompleteForm.html.
APA
Wolfram Language. (2025). HoldCompleteForm. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/HoldCompleteForm.html