Default
詳細
- _.は，関数の省略可能な引数を表し，Defaultで指定されたデフォルト値を使用する．
- Default[f]に必要な値は，常に，_.がfの引数として使われる前に定義されなければならない．
- Default[f,…]について定義された値は，DefaultValues[f]のOptions[f]の値に保存される．
- デフォルト値はパターンマッチングにしか影響せず，f についての評価規則を作ることはない．
例題
すべて開く すべて閉じる例 (2)
Default[f] = 0f[x_., y_.] = {x, y}第2引数が省略された場合，デフォルト値の0が代りに使用される：
f[a]引数が両方とも省略された場合は，両方ともデフォルト値の0であるとされる：
f[]Default[f, 1] = 1;
Default[f, 2] = 2;Replace[f[], f[x_., y_.] :> {x, y}]スコープ (1)
パターンf[_.,_]のデフォルト引数は2であると定義する：
Default[f, 1, 2] = 2;パターンf[_.,_,_]のデフォルト引数は3であると定義する：
Default[f, 1, 3] = 3;2引数のパターンのときは，デフォルト値の2が省略された引数として使われる：
Replace[f[y], f[x_., y_] :> {x, y}]3引数のパターンの時は，デフォルト値の3が省略された引数として使われる：
Replace[f[y, z], f[x_., y_, z_] :> {x, y, z}]特性と関係 (4)
Default[f]の値を割り当てるとすべての位置のデフォルト引数が定義される：
Default[f] = 0Replace[f[], f[x_., y_.] :> {x, y}]Default[f]の値の割当ては f のパターンマッチングに対してのみ影響する：
f[x_Integer] := xMatchQ[f[], f[_.]]Default[f] = 0MatchQ[f[], f[_.]]これは，それ自体では f[…]についての変換規則は作らない：
{f[], f[0]}Optionalを含むパターンを f の定義で使ってデフォルトの評価を作成する：
f[Optional[x_Integer]] := xf[]デフォルトは即時割当てと遅延割当手のどちらを使って定義することもできる：
Default[f] = 0;
Default[g, n_] := n ^ 2;f[a_, b_, c_.] := c
g[a_, b_, c_.] := c{f[a, b], g[a, b]}ClearAllを使ってデフォルト値を消去する：
Default[f] = Default[g] = 0ClearAll[f];
DefaultValues[f]Clearでは消去できない：
Clear[g];
DefaultValues[g]テキスト
Wolfram Research (1988), Default, Wolfram言語関数， https://reference.wolfram.com/language/ref/Default.html.
CMS
Wolfram Language. 1988. "Default." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/Default.html.
APA
Wolfram Language. (1988). Default. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/Default.html