ABAP Keyword Documentation → ABAP − Reference → Processing Internal Data → Assignments → Assigning References → Setting Reference Variables
Assignment Rules for Reference Variables
The content of a reference variable can only be assigned to another reference variable. At the same time,
. No conversion takes place when variables are assigned. For an assignment to take place, the static type of the target reference variable must be more general than or match the dynamic type of the source reference variable. If the assignment is successful, the target reference variable points to the same object as the source reference variable, meaning that the target reference variable inherits the dynamic type of the source reference variable.
Other versions: 7.31 | 7.40 | 7.54
Note
Reference variables can point to objects in the internal session or in the shared objects memory. An area handle is used to bind an area instance version to a program, however references from the program can be made to shared objects and vice versa (if these are read or write references). In other cases, an area instance version is closed, which means that no references can point to the internal session from an area instance version. References that point from the internal session to shared objects can be saved, but not dereferenced. Object references and data references are possible within a completed area instance version, although data references are subject to restrictions with respect to the dynamic type.
Static Type and Dynamic Type
Each reference variable has a dynamic type and a static type.
- The dynamic type is defined at runtime of the program, and is the data type of the data object or the class of the object to which the reference variable points. It determines the components contained in the object.
- The static type is set with the declaration of the reference variable. In data references, the static
type is either a non-generic data type or the predefined generic type
data
. In object references, the static type is either a class or an interface, so an object reference can also be referred to as a class reference or an interface reference.
The static type of a reference variable is always less specific or the same as the dynamic type.
Note
An initial reference variable contains the null reference, which does not point to any objects. This means that it does not have a data type or a class as a dynamic type. The same applies to a non-initial reference variable containing an invalid reference that no longer points to an object.
Example
The object reference variable oref
has the static type super_class
.
After the object is generated with NEW
, its dynamic type is the special class sub_class
- as shown by
RTTI.
CLASS super_class DEFINITION.
ENDCLASS.
CLASS sub_class DEFINITION INHERITING FROM super_class.
ENDCLASS.
DATA oref TYPE REF TO super_class.
START-OF-SELECTION.
oref = NEW sub_class( ).
cl_demo_output=>display( CAST cl_abap_classdescr(
cl_abap_refdescr=>describe_by_object_ref( oref ) )->absolute_name ).
Up Cast and Down Cast
In an assignment between reference variables, the target variable applies the dynamic type of the source variable. An assignment is possible if the static type of the target variable is less specific or the same as the dynamic type of the source variables.
Up Cast
If the static type of the target variables is less specific or the same as the static type of the source
variable, assignment is always possible. The name up cast arises from the fact that the movement within
the inheritance space is upwards. Since the target variable can accept more dynamic types in comparison
to the source variables, this assignment is also known as a widening cast. An up cast is possible in
all ABAP statements in which the content of a data object is assigned to another data object. This includes, for example, assignments with the normal assignment operator
(=
), the insertion of rows in internal tables, or passes from actual to formal parameters.
Explicit castings using the casting
operator ?=
are also possible, but not usually necessary. Using the
casting
operators CAST
for an up cast in combination with
inline declarations, however, can be a good way of providing a reference variable with a more general type.
Example
See the previous example. The statement iref = NEW class( ) is an up cast, because it is followed by an reference variable of the static type of a superclass that references an object of a subclass.
Down Cast
If the static type of the target variable is more specific than the static type of the source variable, a check must be made at runtime (before the assignment is executed) to see whether it is less specific or the same as the dynamic type of the source variable. The name down cast arises from the fact that the movement in the inheritance space is downwards. Since the target variable can accept fewer dynamic types in comparison to the source variable, this assignment is also known as a narrowing cast. A down cast must always be performed explicitly. The following options are available:
- Special assignment with the
casting operator
?=
.
- Using a constructor expression with the
casting operator
CAST
.
- Using the addition
INTO
of the statementWHEN TYPE
in a case distinction withCASE TYPE OF
for object reference variables.
If this prerequisite is not met, a handleable exception is raised and the reference variable keeps its original value after the assignment.
Notes
- For non-initial source variables, the predicate expression
IS INSTANCE OF
or the case distinction CASE TYPE OF can be used to check whether a down cast can be applied to specific classes or interfaces.
- The dynamic type of an initial or invalid source variable is undefined. In a down cast, the null reference or an invalid reference that does not point to an object can be assigned to every target variable that can be specified here.
- When a subclass is instantiated, an associated object reference variable cannot be cast to the subclass until the instance constructors of all superclasses have been executed. When an instance constructor is executed, the dynamic type of the object reference variable is the current superclass.
Example
The following example shows the three ways of performing a down cast for object reference variables.
- If the casting operator
?=
is used, the exception CX_SY_MOVE_CAST_ERROR is caught if a down cast is not possible.
- If the casting operator
CAST
is used, the predicate expressionIS INSTANCE OF
is used in advance to check whether the down cast is possible.
- The use of the addition
INTO
of the statementWHEN TYPE
in a case distinction withCASE TYPE OF
combines the check and the down cast.
In each case, oref
is assigned to the class reference variable that is reached
first. Of course, a IS INSTANCE OF
check would also be possible before the use of the casting operator ?=
.
CLASS c1 DEFINITION.
PUBLIC SECTION.
DATA a1 TYPE string VALUE `C1`.
ENDCLASS.
CLASS c2 DEFINITION INHERITING FROM c1.
PUBLIC SECTION.
DATA a2 TYPE string VALUE `C2`.
ENDCLASS.
CLASS c3 DEFINITION INHERITING FROM c2.
PUBLIC SECTION.
DATA a3 TYPE string VALUE `C3`.
ENDCLASS.
DATA(o) = cl_demo_output=>new( ).
DATA oref TYPE REF TO object.
oref = NEW c1( ).
DATA:
cref11 TYPE REF TO c1,
cref12 TYPE REF TO c2,
cref13 TYPE REF TO c3.
TRY.
cref13 ?= oref.
o->write( cref13->a3 ).
CATCH cx_sy_move_cast_error.
TRY.
cref12 ?= oref.
o->write( cref12->a2 ).
CATCH cx_sy_move_cast_error.
TRY.
cref11 ?= oref.
o->write( cref11->a1 ).
CATCH cx_sy_move_cast_error.
ENDTRY.
ENDTRY.
ENDTRY.
oref = NEW c2( ).
IF oref IS INSTANCE OF c3.
DATA(cref23) = CAST c3( oref ).
o->write( cref23->a3 ).
ELSEIF oref IS INSTANCE OF c2.
DATA(cref22) = CAST c2( oref ).
o->write( cref22->a2 ).
ELSEIF oref IS INSTANCE OF c1.
DATA(cref21) = CAST c1( oref ).
o->write( cref21->a1 ).
ENDIF.
oref = NEW c3( ).
CASE TYPE OF oref.
WHEN TYPE c3 INTO DATA(cref33).
o->write( cref33->a3 ).
WHEN TYPE c2 INTO DATA(cref32).
o->write( cref32->a2 ).
WHEN TYPE c1 INTO DATA(cref31).
o->write( cref31->a1 ).
ENDCASE.
o->display( ).