55 lines
6.9 KiB
HTML
55 lines
6.9 KiB
HTML
<!DOCTYPE html>
|
|
<html lang="zh" dir="ltr" class="client-nojs" xmlns="http://www.w3.org/1999/xhtml" xml:lang="zh">
|
|
<head><meta http-equiv="x-ua-compatible" content="ie=edge">
|
|
<meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
|
|
<title>C++ 具名要求：可复制插入 (CopyInsertable)</title>
|
|
<link rel="stylesheet" href="ext.css" />
|
|
<link rel="stylesheet" href="site_modules.css" />
|
|
</head>
|
|
<body class="mediawiki ltr sitedir-ltr ns-0 ns-subject page-cpp_named_req_CopyInsertable skin-cppreference2 action-view cpp-navbar">
|
|
<div id="cpp-content-base">
|
|
<div id="content"><a id="top"></a>
|
|
<h1 id="firstHeading" class="firstHeading"><span style="font-size:0.7em; line-height:130%">C++ 具名要求：</span><span style="font-style:italic">可复制插入</span> <span style="font-family: Georgia, 'DejaVu Serif', serif; font-style:italic">(CopyInsertable)</span></h1>
|
|
<div id="bodyContent">
|
|
<div id="contentSub"><span class="subpages">< <a href="cpp.html">cpp</a>‎ | <a href="cpp-named_req.html">named req</a></span></div>
|
|
<div id="mw-content-text" lang="zh" dir="ltr" class="mw-content-ltr" xml:lang="zh">
|
|
<p>指定该类型的实例能以给定分配器原位复制构造。</p>
|
|
<h3><span class="mw-headline" id=".E8.A6.81.E6.B1.82">要求</span></h3>
|
|
<p>以下情况下，类型 <code><b>T</b></code> <strong class="selflink"><span style="font-style:italic">可复制插入</span> <span style="font-family: Georgia, 'DejaVu Serif', serif; font-style:italic">(CopyInsertable)</span></strong> 进容器 <code><b>X</b></code>（其 <code>value_type</code> 等同于 <code>T</code>）：若 <code><b>T</b></code> <a href="cpp-named_req-MoveInsertable.html"><span style="font-style:italic">可移动插入</span> <span style="font-family: Georgia, 'DejaVu Serif', serif; font-style:italic">(MoveInsertable)</span></a> 进 <code><b>X</b></code> ，且给定</p>
|
|
<table class="t-dsc-begin">
|
|
<tr class="t-dsc">
|
|
<td><code><b>A</b></code></td>
|
|
<td>分配器类型</td>
|
|
</tr>
|
|
<tr class="t-dsc">
|
|
<td><code><b>m</b></code></td>
|
|
<td><code><b>A</b></code> 类型的左值</td>
|
|
</tr>
|
|
<tr class="t-dsc">
|
|
<td><code><b>p</b></code></td>
|
|
<td>容器所准备的 <code><b>T*</b></code> 类型的指针</td>
|
|
</tr>
|
|
<tr class="t-dsc">
|
|
<td><code><b>v</b></code></td>
|
|
<td>（可为 <span class="t-c"><span class="mw-geshi cpp source-cpp"><span class="kw4">const</span></span></span> 的）<code><b>T</b></code> 类型的表达式</td>
|
|
</tr>
|
|
</table>
|
|
<p>其中 <code><b>X::allocator_type</b></code> 等同于 <span class="t-c"><span class="mw-geshi cpp source-cpp"><a href="cpp-memory-allocator_traits.html"><span class="kw701">std::<span class="me2">allocator_traits</span></span></a><span class="sy1"><</span>A<span class="sy1">></span><span class="sy4">::</span><span class="me2">rebind_alloc</span><span class="sy1"><</span>T<span class="sy1">></span></span></span>，</p>
|
|
<p>下列表达式良构：</p>
|
|
<div dir="ltr" class="mw-geshi" style="text-align: left;">
|
|
<div class="cpp source-cpp">
|
|
<pre class="de1"><a href="cpp-memory-allocator_traits.html"><span class="kw701">std::<span class="me2">allocator_traits</span></span></a><span class="sy1"><</span>A<span class="sy1">></span><span class="sy4">::</span><span class="me2">construct</span><span class="br0">(</span>m, p, v<span class="br0">)</span><span class="sy4">;</span></pre></div>
|
|
</div>
|
|
<p>并且在求值后，<span class="t-c"><span class="mw-geshi cpp source-cpp"><span class="sy2">*</span>p</span></span> 的值等价于 <span class="t-c"><span class="mw-geshi cpp source-cpp">v</span></span> 的值。而 <span class="t-c"><span class="mw-geshi cpp source-cpp">v</span></span> 的值不更改。</p>
|
|
<p>若 <code><b>X</b></code> 非知分配器或为 <span class="t-lc"><a href="cpp-string-basic_string.html">std::basic_string</a></span> 特化，则如同 <code><b>A</b></code> 就是 <span class="t-lc">std::allocator<T></span> 一样进行定义，但并不需要创建分配器对象，且不会实例化用户定义的 <span class="t-lc"><a href="cpp-memory-allocator.html">std::allocator</a></span> 的特化。</p>
|
|
<h3><span class="mw-headline" id=".E6.B3.A8.E8.A7.A3">注解</span></h3>
|
|
<p>若 <code>A</code> 是 <span class="t-c"><span class="mw-geshi cpp source-cpp"><a href="cpp-memory-allocator.html"><span class="kw700">std::<span class="me2">allocator</span></span></a><span class="sy1"><</span>T<span class="sy1">></span></span></span>，则这将调用布置 new，如同用 <span class="t-rev-inl t-until-cxx20"><span><span class="t-c"><span class="mw-geshi cpp source-cpp"><span class="sy4">::</span><span class="me2">new</span><span class="br0">(</span><span class="br0">(</span><span class="kw4">void</span><span class="sy2">*</span><span class="br0">)</span>p<span class="br0">)</span> T<span class="br0">(</span>v<span class="br0">)</span></span></span></span> <span><span class="t-mark-rev t-until-cxx20">(C++20 前)</span></span></span><span class="t-rev-inl t-since-cxx20"><span><span class="t-c"><span class="mw-geshi cpp source-cpp">std<span class="sy4">::</span><span class="me2">construct_at</span><span class="br0">(</span>p, v<span class="br0">)</span></span></span></span> <span><span class="t-mark-rev t-since-cxx20">(C++20 起)</span></span></span>。</p>
|
|
<p>尽管 C++23 前要求在构造 <span class="t-lc"><a href="cpp-string-basic_string.html">std::basic_string</a></span> 的元素时使用定制的 <code>construct</code>，所有实现都使用默认机制。<a rel="nofollow" class="external text" href="https://wg21.link/P1072R10">P1072R10</a> 更正了该要求以匹配既存实现。</p>
|
|
</div>
|
|
<div class="visualClear"></div>
|
|
</div>
|
|
</div>
|
|
</div>
|
|
</body>
|
|
</html>
|