值语义(Value semantics)和引用语义(reference semantics)描述了动态内存对象在多个变量引用它时, 可以表现的两种方式。
用于特定类型的动态内存对象的语义, 对该类型的对象如何消耗内存产生了重要影响。
本质上，使用值语义的引用变量总是有它自己的、它所引用的内存对象的唯一副本。值语义变量类似于静态变量；像静态变量一样，它直接绑定到它所代表的内存对象。尽管变量只是一个引用，但在语义上它是内存对象本身。
相比之下，使用引用语义的引用变量被理解为指向内存对象的指针。内存对象在语义上独立于引用变量。该对象可以在许多这样的变量之间共享。
Value Semantics 的典型代表：
- ABAP Internal Tables
- Strings
- Boxed Components
使用值语义解析对 ABAP 内表、字符串或 boxed组件的多次引用。 这意味着：
-
内表、字符串或 boxed 组件的每个变量都指向它自己的内存对象的单独副本。
-
将内表、字符串或 boxed 组件分配给第二个 ABAP 变量会触发对象的复制操作，以便每个变量都有自己的对象副本。
-
通过特定变量对内表、字符串或装箱组件所做的更改，对于已分配给同一对象的其他变量是不可见的。
由于内部表和字符串可能会变得非常大，ABAP 通过采用惰性复制(有时也称为写时复制)策略 (Copy-On-Write) 来节省复制工作量。
我们来看一个具体的例子。
源代码如下：
REPORT z.
DATA: lv_size TYPE abap_msize,
lv_size1 LIKE lv_size,
lv_consumed LIKE lv_size.
DATA: lt_table TYPE TABLE OF tadir,
lt_table1 LIKE lt_table.
SELECT * INTO TABLE lt_table FROM tadir.
cl_abap_memory_utilities=>get_total_used_size( IMPORTING size = lv_size ).
WRITE:/ 'total consumed: ' , lv_size.
lt_table1 = lt_table.
cl_abap_memory_utilities=>get_total_used_size( IMPORTING size = lv_size1 ).
lv_consumed = lv_size1 - lv_size.
WRITE:/ 'total consumed after = ' , lv_consumed.
APPEND lt_table[ 1 ] TO lt_table.
CLEAR: lv_size.
cl_abap_memory_utilities=>get_total_used_size( IMPORTING size = lv_size ).
lv_consumed = lv_size - lv_size1.
WRITE:/ 'total consumed after copy on write:', lv_consumed.
这个测试程序的5个关键点：
-
从数据库表
TADIR里读取其全部数据，存储到内表 lt_table 内。打印当前应用程序所在的会话总共消耗的内存字节数。 -
将内表 lt_table 的内容复制给 lt_table1. 这里并不触发真实的内表间数据拷贝操作，因为内表 lt_table1 和 lt_table 此刻都指向同一块内存区域。
-
打印出当前应用程序所在的会话，同第一步执行完毕后的内存增量。因为没有实际的数据拷贝操作，我们可以断定，这个打印出来的值应该很小。
- 修改 lt_table 的值，之后，两个内表指向的内存区域不再是同一块，触发了 ABAP 的写时拷贝逻辑，造成了实际的内表拷贝操作，引起了大量的内存分配。
- 打印出第四步执行完后的应用程序内存增量。可以断定，因为
TADIR数据库的全部内容从一个内表复制到另一个内表，因此这个增量的值和第一个步骤打印的值非常接近。
网友评论