Loading…
|
Translation uploaded |
|
|
String added in the repository |
|
Flags
safe-html, strict-same
Loading…
|
Translation uploaded |
|
|
String added in the repository |
|
Deletes all preexisting elements of an删除 `unordered_++_++set` 对象 `x`and inserts from an archive (XML archive) `ar` restored copies of the elements of the original的所有预先存在的元素,并从归档(XML 归档) `ar` 中读取原始 `unordered_++_++set` 对象 `other`saved to the storage read by `ar`.先前保存至存储的元素副本并插入到 `x` 中。