Commit 6a15e40b authored by BennyYip's avatar BennyYip

fix #749

parent 7a391727
...@@ -163,9 +163,9 @@ ...@@ -163,9 +163,9 @@
## Document/Value (DOM) ## Document/Value (DOM)
1. 什么是转移语?为什么? 1. 什么是转移语?为什么?
`Value` 不用复制语意,而使用了转移语意。这是指,当把来源值赋值于目标值时,来源值的所有权会转移至目标值。 `Value` 不用复制语义,而使用了转移语义。这是指,当把来源值赋值于目标值时,来源值的所有权会转移至目标值。
由于转移快于复制,此设计决定强迫使用者注意到复制的消耗。 由于转移快于复制,此设计决定强迫使用者注意到复制的消耗。
......
...@@ -292,7 +292,7 @@ Value o(kObjectType); ...@@ -292,7 +292,7 @@ Value o(kObjectType);
Value a(kArrayType); Value a(kArrayType);
~~~~~~~~~~ ~~~~~~~~~~
## 转移语(Move Semantics) {#MoveSemantics} ## 转移语(Move Semantics) {#MoveSemantics}
在设计 RapidJSON 时有一个非常特别的决定,就是 Value 赋值并不是把来源 Value 复制至目的 Value,而是把把来源 Value 转移(move)至目的 Value。例如: 在设计 RapidJSON 时有一个非常特别的决定,就是 Value 赋值并不是把来源 Value 复制至目的 Value,而是把把来源 Value 转移(move)至目的 Value。例如:
...@@ -302,13 +302,13 @@ Value b(456); ...@@ -302,13 +302,13 @@ Value b(456);
b = a; // a 变成 Null,b 变成数字 123。 b = a; // a 变成 Null,b 变成数字 123。
~~~~~~~~~~ ~~~~~~~~~~
![使用移动语赋值。](diagram/move1.png) ![使用移动语赋值。](diagram/move1.png)
为什么?此语有何优点? 为什么?此语有何优点?
最简单的答案就是性能。对于固定大小的 JSON 类型(Number、True、False、Null),复制它们是简单快捷。然而,对于可变大小的 JSON 类型(String、Array、Object),复制它们会产生大量开销,而且这些开销常常不被察觉。尤其是当我们需要创建临时 Object,把它复制至另一变量,然后再析构它。 最简单的答案就是性能。对于固定大小的 JSON 类型(Number、True、False、Null),复制它们是简单快捷。然而,对于可变大小的 JSON 类型(String、Array、Object),复制它们会产生大量开销,而且这些开销常常不被察觉。尤其是当我们需要创建临时 Object,把它复制至另一变量,然后再析构它。
例如,若使用正常 * 复制 * 例如,若使用正常 * 复制 *
~~~~~~~~~~cpp ~~~~~~~~~~cpp
Value o(kObjectType); Value o(kObjectType);
...@@ -321,15 +321,15 @@ Value o(kObjectType); ...@@ -321,15 +321,15 @@ Value o(kObjectType);
} }
~~~~~~~~~~ ~~~~~~~~~~
![复制语产生大量的复制操作。](diagram/move2.png) ![复制语产生大量的复制操作。](diagram/move2.png)
那个 `o` Object 需要分配一个和 contacts 相同大小的缓冲区,对 conacts 做深度复制,并最终要析构 contacts。这样会产生大量无必要的内存分配/释放,以及内存复制。 那个 `o` Object 需要分配一个和 contacts 相同大小的缓冲区,对 conacts 做深度复制,并最终要析构 contacts。这样会产生大量无必要的内存分配/释放,以及内存复制。
有一些方案可避免实质地复制这些数据,例如引用计数(reference counting)、垃圾回收(garbage collection, GC)。 有一些方案可避免实质地复制这些数据,例如引用计数(reference counting)、垃圾回收(garbage collection, GC)。
为了使 RapidJSON 简单及快速,我们选择了对赋值采用 * 转移 *。这方法与 `std::auto_ptr` 相似,都是在赋值时转移拥有权。转移快得多简单得多,只需要析构原来的 Value,把来源 `memcpy()` 至目标,最后把来源设置为 Null 类型。 为了使 RapidJSON 简单及快速,我们选择了对赋值采用 * 转移 *。这方法与 `std::auto_ptr` 相似,都是在赋值时转移拥有权。转移快得多简单得多,只需要析构原来的 Value,把来源 `memcpy()` 至目标,最后把来源设置为 Null 类型。
因此,使用转移语后,上面的例子变成: 因此,使用转移语后,上面的例子变成:
~~~~~~~~~~cpp ~~~~~~~~~~cpp
Value o(kObjectType); Value o(kObjectType);
...@@ -341,11 +341,11 @@ Value o(kObjectType); ...@@ -341,11 +341,11 @@ Value o(kObjectType);
} }
~~~~~~~~~~ ~~~~~~~~~~
![转移语不需复制。](diagram/move3.png) ![转移语不需复制。](diagram/move3.png)
在 C++11 中这称为转移赋值操作(move assignment operator)。由于 RapidJSON 支持 C++03,它在赋值操作采用转移语意,其它修改形函数如 `AddMember()`, `PushBack()` 也采用转移语意 在 C++11 中这称为转移赋值操作(move assignment operator)。由于 RapidJSON 支持 C++03,它在赋值操作采用转移语义,其它修改形函数如 `AddMember()`, `PushBack()` 也采用转移语义
### 转移语及临时值 {#TemporaryValues} ### 转移语及临时值 {#TemporaryValues}
有时候,我们想直接构造一个 Value 并传递给一个“转移”函数(如 `PushBack()``AddMember()`)。由于临时对象是不能转换为正常的 Value 引用,我们加入了一个方便的 `Move()` 函数: 有时候,我们想直接构造一个 Value 并传递给一个“转移”函数(如 `PushBack()``AddMember()`)。由于临时对象是不能转换为正常的 Value 引用,我们加入了一个方便的 `Move()` 函数:
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment