3.3 Objects and Named Numbers
1
[Objects are created at run time and contain a value
of a given type.
An object can be created and initialized
as part of elaborating a declaration, evaluating an
allocator,
aggregate,
or
function_call,
or passing a parameter by copy. Prior to reclaiming the storage for an
object, it is finalized if necessary (see
7.6.1).]
Static Semantics
2
All
of the following are objects:
2.a
Glossary entry: An object is either a
constant or a variable. An object contains a value. An object is created
by an
object_declaration
or by an
allocator.
A formal parameter is (a view of) an object. A subcomponent of an object
is an object.
3
4
a formal parameter of a subprogram, entry, or generic
subprogram;
5
a generic formal object;
6
a loop parameter;
7
8
9
the result of dereferencing an access-to-object
value (see
4.1);
10/3
11
11.1/3
12
a component, slice, or view conversion of another
object.
13/3
{
AI05-0054-2}
An
object is either a
constant object or a
variable object.
The value of a constant object cannot be changed between its initialization
and its finalization, whereas the value of a variable object can be changed.
Similarly, a view of an object is either a
constant or a
variable.
All views of a constant
elementary object
are constant.
All views of a constant composite
object are constant, except for parts that are of controlled or immutably
limited types; variable views of those parts and their subcomponents
may exist. In this sense, objects of controlled and immutably limited
types are inherently mutable. A constant
view of
an a variable
object cannot be used to modify
its value the
value of the variable. The terms constant and variable by themselves
refer to constant and variable views of objects.
14
The value of an object is
read
when the value of any part of the object is evaluated, or when the value
of an enclosing object is evaluated.
The value of
a variable is
updated when an assignment is performed to any part
of the variable, or when an assignment is performed to an enclosing object.
14.a
Ramification: Reading and updating are
intended to include read/write references of any kind, even if they are
not associated with the evaluation of a particular construct. Consider,
for example, the expression “X.all(F)”, where X is
an access-to-array object, and F is a function. The implementation is
allowed to first evaluate “X.all” and then F. Finally,
a read is performed to get the value of the F'th component of the array.
Note that the array is not necessarily read as part of the evaluation
of “X.all”. This is important, because if F were to
free X using Unchecked_Deallocation, we want the execution of the final
read to be erroneous.
15
Whether a view of an
object is constant or variable is determined by the definition of the
view. The following (and no others) represent constants:
16
16.a/2
16.b/2
X : access constant T;
16.c/2
is not a constant.
17
a formal parameter or generic formal object of
mode in;
18
a discriminant;
18.1/3
{
AI05-0262-1}
a loop parameter unless specified to be a variable
for a generalized loop (see 5.5.2);19/3
{
AI05-0262-1}
a
loop parameter, choice parameter
,
or entry index;
20
the dereference of an access-to-constant value;
20.1/3
21/3
21.1/3
21.2/3
{
AI05-0120-1}
within the body of a protected function (or a function
declared immediately within a protected_body),
the current instance of the enclosing protected unit;22
22.a/2
To be honest: {
AI95-00114-01}
A noninvertible view conversion to a general access
type is also defined to be a constant — see 4.6.
23/3
{
AI05-0264-1}
At the place where a view of an object is defined,
a
nominal subtype is associated with the view.
The
object's
actual subtype (that is, its subtype) can be more restrictive
than the nominal subtype of the view; it always is if the nominal subtype
is an
indefinite subtype.
A
subtype is an indefinite subtype if it is an unconstrained array subtype,
or if it has unknown discriminants or unconstrained discriminants without
defaults (see
3.7); otherwise
,
the subtype is a
definite subtype [(all elementary subtypes are
definite subtypes)]. [A class-wide subtype is defined to have unknown
discriminants, and is therefore an indefinite subtype. An indefinite
subtype does not by itself provide enough information to create an object;
an additional
constraint
or explicit initialization
expression
is necessary (see
3.3.1). A component cannot
have an indefinite nominal subtype.]
23.1/3
{
AI05-0008-1}
A view of a composite object is known to be
constrained if:23.2/3
its nominal subtype is constrained,
and is not an untagged partial view; or
23.3/3
its nominal subtype is indefinite;
or
23.4/3
23.5/3
it is part of a stand-alone
constant (including a generic formal object of mode in); or
23.6/3
it is part of a formal parameter
of mode in; or
23.7/3
23.8/3
23.9/3
{
AI05-0008-1}
{
AI05-0041-1}
it is a dereference of a pool-specific access type,
and there is no ancestor of its type that has a constrained partial view.23.a/3
Discussion: We
do not include dereferences of general access types because they might
denote stand-alone aliased unconstrained variables. That's true even
for access-to-constant types (the denoted object does not have to be
a constant).
23.b/3
There are other cases
that could have been included in this definition (view conversions, the
current instance of a type, implementation-defined attributes, objects
of a formal discriminated private type), but these are not relevant to
the places this term is used, so they were not included. If this term
is used in additional places, the definition should be checked to see
if any of these additional cases are relevant and appropriate wording
added if necessary.
23.10/3
{
AI05-0008-1}
{
AI05-0041-1}
For the purposes of determining within a generic
body whether an object is known to be constrained: 23.11/3
if a subtype is a descendant
of an untagged generic formal private or derived type, and the subtype
is not an unconstrained array subtype, it is not considered indefinite
and is considered to have a constrained partial view;
23.12/3
if a subtype is a descendant
of a formal access type, it is not considered pool-specific.
24
A
named number provides
a name for a numeric value known at compile time. It is declared by a
number_declaration.
25
7 A constant cannot be the target of an
assignment operation, nor be passed as an in out or out
parameter, between its initialization and finalization, if any.
25.1/3
8 {
AI05-0054-2}
The value of a constant object cannot be changed
after its initialization, except in some cases where the object has a
controlled or immutably limited part (see 7.5,
7.6, and 13.9.1).26/3
9 {
AI05-0264-1}
The nominal and actual subtypes of an elementary object are always the
same. For a discriminated or array object, if the nominal subtype is
constrained
, then so is the actual subtype.
Extensions to Ada 83
26.a
There are additional kinds
of objects (choice parameters and entry indices of entry bodies).
26.b
The result of a function and of evaluating an
aggregate are considered (constant) objects. This is necessary to explain
the action of finalization on such things. Because a
function_call
is also syntactically a
name
(see
4.1), the result of a
function_call
can be renamed, thereby allowing repeated use of the result without calling
the function again.
Wording Changes from Ada 83
26.c
This clause and its subclauses now follow the
clause and subclauses on types and subtypes, to cut down on the number
of forward references.
26.d
The term nominal subtype is new. It is used
to distinguish what is known at compile time about an object's constraint,
versus what its "true" run-time constraint is.
26.e
The terms definite and indefinite (which apply
to subtypes) are new. They are used to aid in the description of generic
formal type matching, and to specify when an explicit initial value is
required in an
object_declaration.
26.f
We have moved the syntax for
object_declaration
and
number_declaration
down into their respective subclauses, to keep the syntax close to the
description of the associated semantics.
26.g
We talk about variables and constants here,
since the discussion is not specific to
object_declarations,
and it seems better to have the list of the kinds of constants juxtaposed
with the kinds of objects.
26.h
We no longer talk about indirect updating due
to parameter passing. Parameter passing is handled in 6.2 and 6.4.1 in
a way that there is no need to mention it here in the definition of read
and update. Reading and updating now includes the case of evaluating
or assigning to an enclosing object.
Wording Changes from Ada 95
26.i/2
{
AI95-00416-01}
Clarified that the return object is the object
created by a function call. Extensions to Ada 2005
26.j/3
{
AI05-0015-1}
Added wording to allow return
objects to be declared as constants, and corrected the definition of
return objects as objects. Wording Changes from Ada 2005
26.k/3
26.l/3
{
AI05-0054-2}
Correction: We now recognize the fact that
not all declared constant objects are immutable; for those that a variable
view can be constructed, they can be changed via that view.26.m/3
{
AI05-0120-1}
Correction: Added the current instance of
a protected object to the list of constant views; since the list claims
to include all possibilities, it had better include that one.26.n/3
Ada 2005 and 2012 Editions sponsored in part by Ada-Europe
