# Basic Definitions

A *definition* introduces names that denote terms and assigns them types, or that denote types and assigns them type definitions.
It can form part of an object or class definition or it can be local to a block.

The scope of a name introduced by a definition is the whole statement sequence containing the definition. However, there is a restriction on forward references in blocks: In a statement sequence ´s_1 ... s_n´ making up a block, if a simple name in ´s_i´ refers to an entity defined by ´s_j´ where ´j \geq i´, then for all ´s_k´ between and including ´s_i´ and ´s_j´,

- ´s_k´ cannot be a variable definition.
- If ´s_k´ is a value definition, it must be lazy.

Moreover, in a block, all term definitions must be concrete, and opaque type alias definitions are not allowed.

## Value Definitions

An abstract value definition `val ´x´: ´T´`

introduces ´x´ as a name of a value of *declared type* ´T´.
´T´ must be explicitly specified and must be a proper type.

A concrete value definition `val ´x´: ´T´ = ´e´`

defines ´x´ as a name of the value that results from the evaluation of ´e´.
If the value definition is not recursive, the declared type ´T´ may be omitted, in which case the packed type of the expression ´e´ is assumed.
If a type ´T´ is given, then it must be a proper type and ´e´ is expected to conform to it.

Evaluation of the value definition implies evaluation of its right-hand side ´e´, unless it has the modifier `lazy`

.
The effect of the value definition is to bind ´x´ to the value of ´e´ converted to type ´T´.
A `lazy`

value definition evaluates its right hand side ´e´ the first time the value is accessed.

A *constant value definition* is of the form

where `e`

is a constant expression.
The `final`

modifier must be present and no type annotation may be given.
References to the constant value `x`

are themselves treated as constant expressions; in the generated code they are replaced by the definition's right-hand side `e`

.

Concrete value definitions can alternatively have a pattern as left-hand side.
If ´p´ is some pattern other than a simple name or a name followed by a colon and a type, then the value definition `val ´p´ = ´e´`

is expanded as follows:

- If the pattern ´p´ has bound variables ´x_1, ..., x_n´, where ´n > 1´:

Here, ´\$x´ is a fresh name.

- If ´p´ has a unique bound variable ´x´:

- If ´p´ has no bound variables:

###### Example

The following are examples of value definitions

The last two definitions have the following expansions.

The name of any defined value may not end in `_=`

.

A value definition `val ´x_1, ..., x_n´: ´T´`

is a shorthand for the sequence of value definitions `val ´x_1´: ´T´; ...; val ´x_n´: ´T´`

.
A value definition `val ´p_1, ..., p_n´ = ´e´`

is a shorthand for the sequence of value definitions `val ´p_1´ = ´e´; ...; val ´p_n´ = ´e´`

.
A value definition `val ´p_1, ..., p_n: T´ = ´e´`

is a shorthand for the sequence of value definitions `val ´p_1: T´ = ´e´; ...; val ´p_n: T´ = ´e´`

.

## Variable Definitions

An abstract variable definition `var ´x´: ´T´`

is equivalent to the definition of both a *getter method* ´x´ *and* a *setter method* `´x´_=`

:

An implementation of a class may implement a defined abstract variable using a concrete variable definition, or by defining the corresponding setter and getter methods.

A concrete variable definition `var ´x´: ´T´ = ´e´`

introduces a mutable variable with type ´T´ and initial value as given by the expression ´e´.
The type ´T´ can be omitted, in which case the type of ´e´ is assumed.
If ´T´ is given, then it must be a proper type and ´e´ is expected to conform to it.

Variable definitions can alternatively have a pattern as left-hand side.
A variable definition `var ´p´ = ´e´`

where ´p´ is a pattern other than a simple name or a name followed by a colon and a type is expanded in the same way as a value definition `val ´p´ = ´e´`

, except that the free names in ´p´ are introduced as mutable variables, not values.

The name of any defined variable may not end in `_=`

.

The right-hand-side of a mutable variable definition that is a member of a template can be the special reference `scala.compiletime.uninitialized`

: `var ´x´: ´T´ = scala.compiletime.uninitialized`

.
It introduces a mutable field with type ´T´ and a default initial value.
The default value depends on the type ´T´ as follows:

default | type ´T´ |
---|---|

`0` |
`Int` or one of its subrange types |

`0L` |
`Long` |

`0.0f` |
`Float` |

`0.0d` |
`Double` |

`false` |
`Boolean` |

`()` |
`Unit` |

`null` |
all other types |

`scala.compiletime.uninitialized`

can never appear anywhere else.
For compatibility with Scala 2, the syntax `var ´x´: ´T´ = _`

is accepted as equivalent to using `uninitialized`

.

When they occur as members of a template, both forms of concrete variable definition also introduce a setter method `´x´_=`

which changes the value currently assigned to the variable.
The setter has the same signatures as for an abstract variable definition.
It is then not possible to directly modify the value assigned to the variable; mutations always go through the corresponding setter.

###### Example

The following example shows how *properties* can be simulated in Scala.
It defines a class `TimeOfDayVar`

of time values with updatable integer fields representing hours, minutes, and seconds.
Its implementation contains tests that allow only legal values to be assigned to these fields.
The user code, on the other hand, accesses these fields just like normal variables.

A variable definition `var ´x_1, ..., x_n´: ´T´`

is a shorthand for the sequence of variable definitions `var ´x_1´: ´T´; ...; var ´x_n´: ´T´`

.
A variable definition `var ´x_1, ..., x_n´ = ´e´`

is a shorthand for the sequence of variable definitions `var ´x_1´ = ´e´; ...; var ´x_n´ = ´e´`

.
A variable definition `var ´x_1, ..., x_n: T´ = ´e´`

is a shorthand for the sequence of variable definitions `var ´x_1: T´ = ´e´; ...; var ´x_n: T´ = ´e´`

.

## Type Member Definitions

*Type members* can be abstract type members, type aliases, or opaque type aliases.

A possibly parameterized *abstract type member* definition `type ´t´[´\mathit{tps}\,´] >: ´L´ <: ´H´`

declares ´t´ to be an abstract type.
If omitted, ´L´ and ´H´ are implied to be `Nothing`

and `scala.Any`

, respectively.

A possibly parameterized *type alias* definition `type ´t´[´\mathit{tps}\,´] = ´T´`

defines ´t´ to be a concrete type member.

A possibly parameterized *opaque type alias* definition `opaque type ´t´[´\mathit{tps}\,´] >: ´L´ <: ´H´ = ´T´`

defines ´t´ to be an opaque type alias with public bounds `>: ´L´ <: ´H´`

and a private alias `= ´T´`

.

If a type parameter clause `[´\mathit{tps}\,´]`

is present, it is desugared away according to the rules in the following section.

### Desugaring of parameterized type definitions

A parameterized type definition is desugared into an unparameterized type definition whose bounds are type lambdas with explicit variance annotations.

The scope of a type parameter extends over the bounds `>: ´L´ <: ´U´`

or the alias `= ´T´`

and the type parameter clause ´\mathit{tps}´ itself.
A higher-order type parameter clause (of an abstract type constructor ´tc´) has the same kind of scope, restricted to the definition of the type parameter ´tc´.

To illustrate nested scoping, these definitions are all equivalent: `type t[m[x] <: Bound[x], Bound[x]]`

, `type t[m[x] <: Bound[x], Bound[y]]`

and `type t[m[x] <: Bound[x], Bound[_]]`

, as the scope of, e.g., the type parameter of ´m´ is limited to the definition of ´m´.
In all of them, ´t´ is an abstract type member that abstracts over two type constructors: ´m´ stands for a type constructor that takes one type parameter and that must be a subtype of `Bound`

, ´t´'s second type constructor parameter.
`t[MutableList, Iterable]`

is a valid use of ´t´.

#### Abstract Type

A parameterized abstract type

is desugared into an unparameterized abstract type as follows:

- If
`L`

conforms to`Nothing`

, then,

- otherwise,

If at least one of the ´\mathit{tps}´ contains an explicit variance annotation, then ´\mathit{tps'} = \mathit{tps}´, otherwise we infer the variance of each type parameter as with the user-written type lambda `[´\mathit{tps}\,´] =>> ´H´`

.

The same desugaring applies to type parameters. For instance,

is treated as a shorthand for

#### Type Alias

A parameterized type alias

is desugared into an unparameterized type alias

where ´\mathit{tps'}´ is computed as in the previous case.

#### Opaque Type Alias

A parameterized type alias

is desugared into an unparameterized opaque type alias as follows:

- If
`L`

conforms to`Nothing`

, then,

- otherwise,

where ´\mathit{tps'}´ is computed as in the previous cases.

### Non-Parameterized Type Member Definitions

An *abstract type member* definition `type ´t´ >: ´L´ <: ´H´`

declares ´t´ to be an abstract type whose type definition has the lower bound type ´L´ and upper bound type ´H´.

If a type definition appears as a member definition of a type, implementations of the type may implement ´t´ with any type ´T´ for which ´L <: T <: H´. It is a compile-time error if ´L´ does not conform to ´H´.

A *type alias* definition `type ´t´ = ´T´`

defines ´t´ to be an alias name for the type ´T´.

An *opaque type alias* definition `opaque type ´t´ >: ´L´ <: ´H´ = ´T´`

defines ´t´ to be an opaque type alias with public bounds `>: ´L´ <: ´H´`

and a private alias `= ´T´`

.
An opaque type alias can only be declared within a template.
It cannot be `private`

and cannot be overridden in subclasses.
In order for the definition to be valid, ´T´ must satisfy some constraints:

- ´L <: T´ and ´T <: H´ must be true,
- ´T´ must not be a context function type, and
- If ´T´ is a type lambda, its result must be a proper type (i.e., it cannot be a curried type lambda).

When viewed from within its enclosing template, an opaque type alias behaves as a type alias with type definition `= ´T´`

.
When viewed from anywhere else, it behaves as an abstract type member with type definition `>: ´L´ <: ´H´`

.
See `memberType`

for the precise mechanism that governs this dual view.

The scope rules for definitions and type parameters make it possible that a type name appears in its own bounds or in its right-hand side.
However, it is a static error if a type alias refers recursively to the defined type itself.
That is, the type ´T´ in a type alias `type ´t´[´\mathit{tps}\,´] = ´T´`

may not refer directly or indirectly to the name ´t´.
It is also an error if an abstract type is directly or indirectly its own upper or lower bound.

###### Example

The following are legal type definitions:

The following are illegal:

If a type alias `type ´t´ = ´S´`

refers to a class type ´S´ (or to a type lambda that is the eta-expansion of class type ´S´), the name ´t´ can also be used as a constructor for objects of type ´S´.

###### Example

Suppose we make `Pair`

an alias of the parameterized class `Tuple2`

, as follows:

As a consequence, for any two types ´S´ and ´T´, the type `Pair[´S´, ´T\,´]`

is equivalent to the type `Tuple2[´S´, ´T\,´]`

.
`Pair`

can also be used as a constructor instead of `Tuple2`

, as in:

## Type Parameters

Type parameters appear in type definitions, class definitions, and method definitions.
In this section we consider only type parameter definitions with lower bounds `>: ´L´`

and upper bounds `<: ´U´`

whereas a discussion of context bounds `: ´U´`

and view bounds `<% ´U´`

is deferred to here.

The most general form of a proper type parameter is
`´@a_1 ... @a_n´ ´\pm´ ´t´ >: ´L´ <: ´U´`

.
Here, ´L´, and ´U´ are lower and upper bounds that constrain possible type arguments for the parameter.
It is a compile-time error if ´L´ does not conform to ´U´.
´\pm´ is a *variance*, i.e. an optional prefix of either `+`

, or `-`

. One or more annotations may precede the type parameter.

The names of all type parameters must be pairwise different in their enclosing type parameter clause. The scope of a type parameter includes in each case the whole type parameter clause. Therefore it is possible that a type parameter appears as part of its own bounds or the bounds of other type parameters in the same clause. However, a type parameter may not be bounded directly or indirectly by itself.

A type constructor parameter adds a nested type parameter clause to the type parameter.
The most general form of a type constructor parameter is `´@a_1 ... @a_n \pm t[\mathit{tps}\,]´ >: ´L´ <: ´U´`

.

The above scoping restrictions are generalized to the case of nested type parameter clauses, which declare higher-order type parameters.
Higher-order type parameters (the type parameters of a type parameter ´t´) are only visible in their immediately surrounding parameter clause (possibly including clauses at a deeper nesting level) and in the bounds of ´t´.
Therefore, their names must only be pairwise different from the names of other visible parameters.
Since the names of higher-order type parameters are thus often irrelevant, they may be denoted with a `‘_’`

, which is nowhere visible.

###### Example

Here are some well-formed type parameter clauses:

The following type parameter clauses are illegal:

## Variance Annotations

Variance annotations indicate how instances of parameterized types vary with respect to subtyping. A ‘+’ variance indicates a covariant dependency, a ‘-’ variance indicates a contravariant dependency, and a missing variance indication indicates an invariant dependency.

A variance annotation constrains the way the annotated type variable may appear in the type or class which binds the type parameter.
In a type definition `type ´T´[´\mathit{tps}\,´] = ´S´`

, `type ´T´[´\mathit{tps}\,´] >: ´L´ <: ´U´`

or `opaque type ´T´[´\mathit{tps}\,´] >: ´L´ <: ´U´ = ´S´`

, type parameters labeled ‘+’ must only appear in covariant position whereas type parameters labeled ‘-’ must only appear in contravariant position.
Analogously, for a class definition `class ´C´[´\mathit{tps}\,´](´\mathit{ps}\,´) extends ´T´ { ´x´: ´S´ => ...}`

, type parameters labeled ‘+’ must only appear in covariant position in the self type ´S´ and the template ´T´, whereas type parameters labeled ‘-’ must only appear in contravariant position.

The variance position of a type parameter in a type or template is defined as follows. Let the opposite of covariance be contravariance, and the opposite of invariance be itself. The top-level of the type or template is always in covariant position. The variance position changes at the following constructs.

- The variance position of a method parameter is the opposite of the variance position of the enclosing parameter clause.
- The variance position of a type parameter is the opposite of the variance position of the enclosing type parameter clause.
- The variance position of the lower bound of a type definition or type parameter is the opposite of the variance position of the type definition or parameter.
- The type of a mutable variable is always in invariant position.
- The right-hand side of a type alias is always in invariant position.
- The prefix ´p´ of a type selection
`´p.T´`

is always in invariant position. - For a type argument ´T´ of a type
`´S´[´..., T, ...´]`

:- If the corresponding type parameter of ´S´ is invariant, then ´T´ is in invariant position.
- If the corresponding type parameter of ´S´ is contravariant, the variance position of ´T´ is the opposite of the variance position of the enclosing type
`´S´[´..., T, ...´]`

.

References to the type parameters in object-private values, types, variables, or methods of the class are not checked for their variance position. In these members the type parameter may appear anywhere without restricting its legal variance annotations.

###### Example

The following variance annotation is legal.

With this variance annotation, type instances of ´P´ subtype covariantly with respect to their arguments. For instance,

If the members of ´P´ are mutable variables, the same variance annotation becomes illegal.

If the mutable variables are object-private, the class definition becomes legal again:

###### Example

The following variance annotation is illegal, since ´A´ appears in contravariant position in the parameter of `append`

:

The problem can be avoided by generalizing the type of `append`

by means of a lower bound:

###### Example

With that annotation, we have that `OutputChannel[AnyRef]`

conforms to `OutputChannel[String]`

.
That is, a channel on which one can write any object can substitute for a channel on which one can write only strings.

## Method Definitions

An *abstract method definition* has the form `def ´f\,\mathit{psig}´: ´T´`

, where ´f´ is the method's name, ´\mathit{psig}´ is its parameter signature and ´T´ is its result type.
A *concrete method definition* `def ´f\,\mathit{psig}´: ´T´ = ´e´`

also includes a *method body* ´e´, i.e. an expression which defines the method's result.
A parameter signature consists of an optional type parameter clause `[´\mathit{tps}\,´]`

, followed by zero or more value parameter clauses `(´\mathit{ps}_1´)...(´\mathit{ps}_n´)`

.

If there is no type or term parameter clause, a method definition introduces a method with a proper type, which is also its result type. Otherwise, it introduces a method with a methodic type whose parameter types and result type are as given.

The type of the method body is expected to conform to the method's declared result type, if one is given. If the method definition is not recursive, the result type may be omitted, in which case it is determined from the packed type of the method body.

A *type parameter clause* ´\mathit{tps}´ consists of one or more type definitions, which introduce type parameters, possibly with bounds.
The scope of a type parameter includes the whole signature, including any of the type parameter bounds as well as the method body, if it is present.

A *value parameter clause* ´\mathit{ps}´ consists of zero or more formal parameter bindings such as `´x´: ´T´`

or `´x: T = e´`

, which bind value parameters and associate them with their types.

A unary operator must not have explicit parameter lists even if they are empty.
A unary operator is a method named `"unary_´op´"`

where ´op´ is one of `+`

, `-`

, `!`

, or `~`

.

### Default Arguments

Each value parameter may optionally define a default argument. The default argument expression ´e´ is type-checked with an expected type ´T'´ obtained by replacing all occurrences of the method's type parameters in ´T´ by the undefined type.

For every parameter ´p_{i,j}´ with a default argument, a method named `´f\$´default´\$´n`

is generated which computes the default argument expression.
Here, ´n´ denotes the parameter's position in the method definition.
These methods are parametrized by the type parameter clause `[´\mathit{tps}\,´]`

and all value parameter clauses `(´\mathit{ps}_1´)...(´\mathit{ps}_{i-1}´)`

preceding ´p_{i,j}´.
The `´f\$´default´\$´n`

methods are inaccessible for user programs.

###### Example

In the method

the default expression `0`

is type-checked with an undefined expected type.
When applying `compare()`

, the default value `0`

is inserted and `T`

is instantiated to `Int`

.
The methods computing the default arguments have the form:

The scope of a formal value parameter name ´x´ comprises all subsequent parameter clauses, as well as the method return type and the method body, if they are given. Both type parameter names and value parameter names must be pairwise distinct.

A default value which depends on earlier parameters uses the actual arguments if they are provided, not the default arguments.

If an implicit argument is not found by implicit search, it may be supplied using a default argument.

### By-Name Parameters

The type of a value parameter may be prefixed by `=>`

, e.g. `´x´: => ´T´`

.
The type of such a parameter is then the by-name type `=> ´T´`

.
This indicates that the corresponding argument is not evaluated at the point of method application, but instead is evaluated at each use within the method.
That is, the argument is evaluated using *call-by-name*.

The by-name modifier is disallowed for parameters of classes that carry a `val`

or `var`

prefix, including parameters of case classes for which a `val`

prefix is implicitly generated.

###### Example

The definition

indicates that both parameters of `whileLoop`

are evaluated using call-by-name.

### Repeated Parameters

The last value parameter of a parameter section may be suffixed by `'*'`

, e.g. `(..., ´x´:´T´*)`

.
The type of such a *repeated* parameter inside the method is then the sequence type `scala.Seq[´T´]`

.
Methods with repeated parameters `´T´*`

take a variable number of arguments of type ´T´.
That is, if a method ´m´ with type `(´p_1:T_1, ..., p_n:T_n, p_s:S´*)´U´`

is applied to arguments ´(e_1, ..., e_k)´ where ´k \geq n´, then ´m´ is taken in that application to have type ´(p_1:T_1, ..., p_n:T_n, p_s:S, ..., p_{s'}:S)U´, with ´k - n´ occurrences of type ´S´ where any parameter names beyond ´p_s´ are fresh. The only exception to this rule is if the last argument is marked to be a *sequence argument* via a `_*`

type annotation.
If ´m´ above is applied to arguments `(´e_1, ..., e_n, e'´: _*)`

, then the type of ´m´ in that application is taken to be `(´p_1:T_1, ... , p_n:T_n,p_{s}:´scala.Seq[´S´])`

.

It is not allowed to define any default arguments in a parameter section with a repeated parameter.

###### Example

The following method definition computes the sum of the squares of a variable number of integer arguments.

The following applications of this method yield `0`

, `1`

, `6`

, in that order.

Furthermore, assume the definition:

The following application of method `sum`

is ill-formed:

By contrast, the following application is well formed and yields again the result `6`

:

### Method Return Type Inference

A class member definition ´m´ that overrides some other method ´m'´ in a base class of ´C´ may leave out the return type, even if it is recursive.
In this case, whether or not `m`

is recursive, its return type will be the return type of ´m'´.

###### Example

Assume the following definitions:

Here, it is OK to leave out the result type of `factorial`

in `C`

, even though the method is recursive.

## Import Clauses

- In a
`NamedSelector`

,`=>`

can only be used when inside an`ImportSelectors`

and is then equivalent to`as`

, to be deprecated in the future. - In a
`WildcardSelector`

,`_`

is equivalent to`*`

, to be deprecated in the future.

An `ImportSpecifier`

that is a single `NamedSelector`

or `WildcardSelector`

is equivalent to an `‘{‘ ImportSelectors ‘}‘`

list with that single selector.

An import clause with multiple import expressions `import ´p_1´.´I_1, ..., p_n´.´I_n´`

is interpreted as a sequence of import clauses `import ´p_1´.´I_1´; ...; import ´p_n´.´I_n´`

.

An import clause with a single import expression has the form `import ´p´.´I´`

where ´p´ is a prefix and ´I´ is an import specifier.
The import specifier determines a set of names of importable members of ´p´ which are made available without qualification as well as a set of importable `given`

members which are made available in the implicit scope.
A member ´m´ of ´p´ is *importable* if it is accessible.
The most general form of an import specifier is a list of *import selectors*

for ´n \geq 0´ and ´m \geq 0´, where the wildcards `‘*’`

and `’given’`

may be absent.
They are decomposed into non-given selectors and given selectors.

### Non-given Imports

Non-given selectors make available each importable member `´p´.´x_i´`

under the unqualified name ´y_i´.
In other words, every import selector `´x_i´ as ´y_i´`

renames `´p´.´x_i´`

to ´y_i´.
When `as ´y_i´`

is omitted, ´y_i´ is assumed to be ´x_i´.
If a final wildcard `‘*’`

is present, all non-`given`

importable members ´z´ of ´p´ other than `´x_1, ..., x_n, y_1, ..., y_n´`

are also made available under their own unqualified names.

Non-given import selectors work in the same way for type and term members.
For instance, an import clause `import ´p´.´x´ as ´y´`

renames the term name `´p´.´x´`

to the term name ´y´ and the type name `´p´.´x´`

to the type name ´y´.
At least one of these two names must reference an importable member of ´p´.

If the target in an import selector is an underscore `as _`

, the import selector hides access to the source member instead of importing it.
For instance, the import selector `´x´ as _`

“renames” ´x´ to the underscore symbol (which is not accessible as a name in user programs), and thereby effectively prevents unqualified access to ´x´.
This is useful if there is a final wildcard in the same import selector list, which imports all members not mentioned in previous import selectors.

The scope of a binding introduced by a non-given import clause starts immediately after the import clause and extends to the end of the enclosing block, template, package clause, or compilation unit, whichever comes first.

### Given Imports

Given selectors make available in the implicit scope all the importable `given`

and `implicit`

members `´p´.´x´`

such that `´p.x´`

is a subtype of ´T_i´.
A bare `given`

selector without type is equivalent to `given scala.Any`

.

The names of the given members are irrelevant for the selection, and are not made available in the normal scope of unqualified names.

###### Example

Consider the object definition:

Then the block

is equivalent to the block