# Help:Parameter default

In non-substituted template expansion, an expression {{{p|q}}} inside the template is expanded to {{{p}}} if that is defined, and else to q.

These results {{{p}}} and q can be end results, but they can also be in an expression for a parameter name (inside a pair of triple braces or in a template call or a switch), a parameter value (in the call of a template or parser function), or name of a template, parser function or variable.

Similarly, on substitution of a template, an expression {{{p|q}}} inside the template, where p is a parameter name (or an expression which is simultaneously substituted and results in a parameter name) and q is any wikitext (with restrictions regarding pipes and triple braces) is processed as follows:

- if p is defined, {{{p|q}}} is changed to the wikitext of the value of p (or the wikitext to which that is changed if there is simultaneous substitution inside that wikitext)
- if p is undefined, {{{p|q}}} is changed to q, possibly with simultaneous substitutions inside the wikitext for q.

## Contents |

## [edit] Notes

In the case of multiple default parts, only the first applies: {{{a|b|c|d}}} is equivalent with {{{a|b}}}. The default part can only contain "|" as part of full template, parser function, parameter, link, or image syntax within it, within nowiki-tags, and as content of a template, as in Template:Tim.

The expression for the parameter name can also contain "|", as part of full template, parser function, or parameter syntax within it.

Examples, using Template:Timc

and Template:Timc:

`{{{a|b|c|d}}}`gives`b``{{{a|{{3x|b}}}}}`gives`Template:3x``{{{a|{{{b|c}}}}}}`gives`c``{{{a|[[b|c]]}}}`gives`c``{{{{{3x|a}}|b}}}`gives`b`- parameter aaa is undefined`{{{{{{a|b}}}|c}}}`gives`c`- parameter b is undefined

`{{{a|<nowiki>b|c</nowiki>}}}`gives`b|c`- works fine for rendering text, but is not suitable for putting parameters b and c in a template call (there is no function for removing nowiki tags):`{{t2|{{{a|<nowiki>b|c</nowiki>}}}}}`gives`Template:T2`

## [edit] Expressions containing a parameter, with default

*The following was written before there were ParserFunctions, to allow branching without them.*

**Notation: from here the wikitext {{{a}}} is written as [a].**

Consider the expression [a[b|c]|f([b])] occurring in a template, where f([b]) denotes an expression in [b].

Conditions:

- [a[b]] is undefined for all applicable [b] (all values of parameter b for which the template is called)
- [ac]=d (the template is called with ac=d)

Then the expression gives f([b]) if [b] is defined, and otherwise d.

Note that the conditions require that no applicable [b] has value c. If one wants to be able to use all letters and digits in [b], and also allow null (the empty string), then for c one can take e.g. "@".

If it is desirable or at least acceptable that if [b] is empty, the result is not f("") but "", and the same when [b] is undefined, we take d="", and can for example choose c to be the empty string too. Then we have the expression [a[b|]|f([b])] occurring in the template, giving f([b]) if [b] is defined, and otherwise the empty string, under the following conditions:

- [a[b]] is undefined for all applicable [b] (all values of parameter b for which the template is called)
- the template is called with "a="

The same template can contain several expressions [a_{i} [b_{i} | c ] | f_{i} ([b_{i} ])]. By choosing all a_{i} equal we need only one "a=" in the template call. Then the expressions are [a [b_{i} | c ] | f_{i} ([b_{i} ])].

A special case is with constant functions f_{i}, i.e. not dependent on [b_{i} ]. Then the expressions are [a [b_{i} | c ] | f_{i} ]. In the template call it only matters for each b_{i} whether is gets a value, not which value. For convenience we can assign the empty string to those which are defined at all. Since no applicable [b] should have value c (see above), c should not be the empty string in this case. With d the empty string, the template serves as an array, where for index b_{i} the array value is f_{i}. It is called with "ac=" and "b_{i}=", or even with a list of assignments "b_{i}=", giving a list of the corresponding array values. See Template:Tim.

While normally a parameter specification in a template call represents a choice the user of the template has, the need to specify "ac=" is an unfortunate technical requirement imposed on the user of the template; it can be shielded from the user by putting the template call inside another template; on projects where server-strain is a concern this may not be desirable.

The name "a" can be chosen such that no other parameters of the template have a name starting with it, then the first condition is fulfilled (apart from the case, already discussed, that [b] is the empty string). A good choice is "if". Thus

- [if [b
_{i}| c ] | f_{i}([b_{i}])]

means

- if b
_{i}is defined then f_{i}([b_{i}])

c="" gives the if-statement which is shortest and with the best appearance, while e.g. c="u" (for "undefined") allows for the shortest specification in the template call to define b_{i} ("b_{i}=") in cases where the value is irrelevant. The latter may be confusing in contexts where "empty" and "undefined" are usually treated as equivalent.

If the result, f([b]) or the empty string, is for final display only, i.e., not for use in expressions for template names, parameter names, parameter values, page names in links, etc., an alternative is using CSS, see MediaWiki talk:Common.css.

For comparison using a="if" and c=d="", and also the shorter class name "if" instead of "HiddenStructure", the two lines are:

<span class=" if{{{b|}}} "> ... </span> {{{ if{{{b|}}} | ... }}}

In the second method the wikitext in the template is 15 characters shorter for each optional item, but each call is 4 characters ("if=|") longer.

In the first method conflicts with other class names have to be avoided, in the second method conflicts with other parameter names.

## [edit] Repetition

A "for-loop" is achieved using

Template:Tim, containing:

{{fors/aux |v@= |c={{{call}}} |pv={{{pv|1}}} |s={{{sep|}}} |pc1={{{pc1|=}}} |pc2={{{pc2|=}}} |pc3={{{pc3|=}}} |pc4={{{pc4|=}}}| 1={{{1|@}}}|2={{{2|@}}}|3={{{3|@}}} }}

with Template:Tim, containing:

{{{v{{{1}}}|{{{{{c}}}|{{{pc1}}}|{{{pc2}}}|{{{pc3}}}|{{{pc4}}}|{{{pv}}}={{{1}}}}}}}} {{{v{{{2}}}|{{{s}}}{{{{{c}}}|{{{pc1}}}|{{{pc2}}}|{{{pc3}}}|{{{pc4}}}|{{{pv}}}={{{2}}}}}}}} {{{v{{{3}}}|{{{s}}}{{{{{c}}}|{{{pc1}}}|{{{pc2}}}|{{{pc3}}}|{{{pc4}}}|{{{pv}}}={{{3}}}}}}}}

In short form the latter consists of components

`[ v[`

(*i*] | [s] {{[c]|[pc1]|[pc2]|[pc3]|[pc4]|[pv]=[*i*]}} ]*i* = 1, 2, 3, for *i* = 1 without [s])

or in terms of the parameters of the first template:

`[v[`

*i*|@] | [sep|] {{[call]|[pc1|]|[pc2|]|[pc3|]|[pc4|]|[pv|1]=[*i*]}} ]

This is indeed of the above-mentioned form [a[b|c]|f([b])], with a=v, b=*i*, c=@, and

`f(x) = [sep|] {{[call]|[pc1|]|[pc2|]|[pc3|]|[pc4|]|[pv|1]=x}}`

The assumptions mentioned above apply for d equal to null, and provided that no [*i*] is equal to "@".

### [edit] Variations

Since v@=null we can also take make the concatenation the outer operation:
`[v[`

*i*|@] | [sep|]] [v[*i*|@] | {{[call]|[pc1|]|[pc2|]|[pc3|]|[pc4|]|[pv|1]=[*i*]}} ]

## [edit] Conditional statement

Template:Tim contains:

{{{else{{{test|}}}|{{{test{{{test|}}}|{{{then|}}}}}}}}}

or in short form:

[ else[test|] | [ test[test|] | [then|] ] ]

If [test] is defined this reduces to

[ else[test] | [ test[test] | [then|] ] ]

For test equal to null this reduces to [else|]; otherwise, if no parameter name starting with "test" or "else" applies except these themselves, then this reduces to [then|].

If [test] is undefined we get

[ else | [then|] ]

## [edit] Last-but technique

Sometimes the last or last but *x* parameter value may be needed, but the numbers of supplied parameters is unknown. The following is a technique to get last "assigned" parameter value without using a template:

`[4|[3|[2|[1|*]]]]`

.

Then last but one can be achieved like this: ("ifu" is preassigned with empty)

[[if[4|u]|3]| [[if[3|u]|2]| [[if[2|u]|1]| [[if[1|u]|0]|*] //this line is actually useless, can be replaced by "*". ] ] ]

I.e., to replace "4", "3", "2", "1" with D_{4}, D_{3}, D_{2}, D_{1}. And D* _{x}*=[if[

*x*|u]|

*x-1*]. Like this, you can get "last but

*x*" parameter value.

Examples using Template:Tim and Template:Tim:

`{{lastbut0}}`

gives Template:Lastbut0.`{{lastbut0|a}}`

gives Template:Lastbut0.`{{lastbut0|a|b|c|d|e|f|g|h|i|j}}`

gives Template:Lastbut0.`{{lastbut1|ifu=}}`

gives Template:Lastbut1.`{{lastbut1|ifu=|a}}`

gives Template:Lastbut1.`{{lastbut1|ifu=|a|b}}`

gives Template:Lastbut1.`{{lastbut1|ifu=|a|b|c|d|e|f|g|h|i|j}}`

gives Template:Lastbut1.`{{lastbut0|53=53|81=81|28=28}}`

gives Template:Lastbut0 (finds maximum of a list of integers in the range 1 - 100)

See also Template:Timcnl

## [edit] Server efficiency

Parameter default constructs are said to be more efficiently executed by the server than similar constructs using extra layers of templates.

## [edit] Versions

Information on this page relates to MediaWiki versions 1.6 and later.

## [edit] History

Parameter defaults were introduced before parser functions, and therefore used ingeniously for branching, see above and e.g. Template:Tim.

## [edit] See also

- Template talk:Birth date and age/Archive 1#Code question - deliberate use of the notation "{{{1}}}" (identical to the automatic result if no default is specified) as shorthand for "parameter 1 is undefined"