{"id":454928,"date":"2025-04-06T09:01:13","date_gmt":"2025-04-06T09:01:13","guid":{"rendered":"http:\/\/savepearlharbor.com\/?p=454928"},"modified":"-0001-11-30T00:00:00","modified_gmt":"-0001-11-29T21:00:00","slug":"","status":"publish","type":"post","link":"https:\/\/savepearlharbor.com\/?p=454928","title":{"rendered":"<span>\u0425\u0435\u0448-\u0442\u0430\u0431\u043b\u0438\u0446\u0430 \u0438 C++20<\/span>"},"content":{"rendered":"<div><!--[--><!--]--><\/div>\n<div id=\"post-content-body\">\n<div>\n<div class=\"article-formatted-body article-formatted-body article-formatted-body_version-2\">\n<div xmlns=\"http:\/\/www.w3.org\/1999\/xhtml\">\n<details class=\"spoiler\">\n<summary>\u0421\u043a\u0440\u044b\u0442\u044b\u0439 \u0442\u0435\u043a\u0441\u0442<\/summary>\n<div class=\"spoiler__content\">\n<p>\u041f\u043e\u0436\u0430\u043b\u0443\u0439\u0441\u0442\u0430 \u043d\u0435 \u043e\u0442\u043d\u043e\u0441\u0438\u0442\u0435\u0441\u044c \u043a \u044d\u0442\u043e\u0439 \u0441\u0442\u0430\u0442\u044c\u0435 \u043a\u0430\u043a \u043a \u0443\u0442\u0432\u0435\u0440\u0436\u0434\u0435\u043d\u0438\u044e \u0432 \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438 \u0442\u043e\u0439 \u0438\u043b\u0438 \u0438\u043d\u043e\u0439 \u0441\u0438\u0433\u043d\u0430\u0442\u0443\u0440\u044b \u0434\u043b\u044f \u0432\u043d\u0443\u0442\u0440\u044f\u043d\u043a\u0438 \u0445\u0435\u0448-\u043c\u0430\u043f\u044b, \u044d\u0442\u043e \u043b\u0438\u0448\u044c \u043c\u043e\u0439 \u0432\u0437\u0433\u043b\u044f\u0434 \u043d\u0430 \u0432\u043e\u0437\u043c\u043e\u0436\u043d\u043e\u0441\u0442\u044c \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c \u0440\u0430\u0437\u043d\u044b\u0435 \u0438\u043d\u0442\u0435\u0440\u0435\u0441\u043d\u044b\u0435 \u0444\u0438\u0447\u0438 \u0438\u0437 C++20 \u0434\u043b\u044f \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438 \u043f\u043e\u043f\u0443\u043b\u044f\u0440\u043d\u043e\u0439 \u0441\u0442\u0440\u0443\u043a\u0442\u0443\u0440\u044b \u0434\u0430\u043d\u043d\u044b\u0445.<\/p>\n<\/div>\n<\/details>\n<p>\u0414\u043b\u044f \u043d\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u043e\u0433\u043e \u0443\u0441\u0432\u043e\u0435\u043d\u0438\u044f \u044d\u0442\u043e\u0439 \u0441\u0442\u0430\u0442\u044c\u0438 \u043d\u0435\u043e\u0431\u0445\u043e\u0434\u0438\u043c\u043e \u043f\u043e\u043d\u0438\u043c\u0430\u0442\u044c, \u043a\u0430\u043a \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442 \u0441\u0442\u0430\u043d\u0434\u0430\u0440\u0442\u043d\u0430\u044f \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u044f \u0445\u0435\u0448-\u043c\u0430\u043f\u044b (\u044f\u0437\u044b\u043a \u0432 \u0446\u0435\u043b\u043e\u043c \u043d\u0435 \u0432\u0430\u0436\u0435\u043d, \u043d\u043e \u043c\u044b \u0436\u0435 \u0437\u0434\u0435\u0441\u044c \u0432\u0441\u0435 \u0441\u043e\u0431\u0440\u0430\u043b\u0438\u0441\u044c \u0442\u043e\u043b\u044c\u043a\u043e \u0440\u0430\u0434\u0438 \u043e\u0434\u043d\u043e\u0433\u043e..).<\/p>\n<p>\u041d\u0435 \u0431\u0443\u0434\u0435\u043c \u0442\u044f\u043d\u0443\u0442\u044c, \u043f\u0435\u0440\u0435\u0439\u0434\u0435\u043c \u043a \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438 \u0445\u0435\u0448-\u043c\u0430\u043f\u044b \u0441 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043d\u0438\u0435\u043c \u00ab\u043f\u0440\u0438\u043a\u043e\u043b\u044e\u0445\u00bb \u0438\u0437 C++20!<\/p>\n<h4>1. \u041f\u0435\u0440\u0432\u043e\u0435, \u0447\u0442\u043e \u043c\u043d\u0435 \u043f\u0440\u0438\u0433\u043b\u044f\u043d\u0443\u043b\u043e\u0441\u044c &#8212; \u044d\u0442\u043e \u043a\u043e\u043d\u0446\u0435\u043f\u0442\u044b.<\/h4>\n<p>\u0421 \u0438\u0445 \u043f\u043e\u043c\u043e\u0449\u044c\u044e \u043c\u044b \u0431\u0443\u0434\u0435\u043c \u0432\u0430\u043b\u0438\u0434\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u0442\u0438\u043f\u044b.<\/p>\n<p>\u041c\u043e\u0436\u0435\u043c \u043f\u0440\u043e\u0432\u0435\u0440\u0438\u0442\u044c, \u0432\u044b\u0437\u0432\u0430\u043d\u0430 \u043b\u0438 \u0445\u0435\u0448-\u0444\u0443\u043d\u043a\u0446\u0438\u044f \u0434\u043b\u044f \u043a\u043b\u044e\u0447\u0430 \u0438 \u043f\u043e\u0434\u0434\u0435\u0440\u0436\u0438\u0432\u0430\u0435\u0442 \u043b\u0438 \u043a\u043e\u043c\u043f\u0430\u0440\u0430\u0442\u043e\u0440 \u043f\u0440\u043e\u0437\u0440\u0430\u0447\u043d\u043e\u0435 \u0441\u0440\u0430\u0432\u043d\u0435\u043d\u0438\u0435:<\/p>\n<pre><code class=\"cpp\">#include &lt;concepts&gt;  template &lt;typename Hash, typename Key&gt; concept ValidHasher = requires(Hash h, Key k) {     { h(k) } -&gt; std::convertible_to&lt;std::size_t&gt;; };  template &lt;typename Equal, typename Key&gt; concept TransparentEqual = requires(Equal eq, Key k, const char* s) {     { eq(k, k) } -&gt; std::convertible_to&lt;bool&gt;;     { eq(k, s) } -&gt; std::convertible_to&lt;bool&gt;; \/\/ \u041f\u0440\u043e\u0437\u0440\u0430\u0447\u043d\u043e\u0441\u0442\u044c };<\/code><\/pre>\n<p>\u0412 \u043f\u0435\u0440\u0432\u043e\u043c \u0441\u043b\u0443\u0447\u0430\u0435 \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u0435\u043c \u0445\u0435\u0448-\u0444\u0443\u043d\u043a\u0446\u0438\u044e \u0441 \u043f\u043e\u043c\u043e\u0449\u044c\u044e <code>concept<\/code>.<br \/>\u0412\u043e\u0442 \u043e\u0447\u0435\u043d\u044c <a href=\"https:\/\/habr.com\/ru\/companies\/yandex_praktikum\/articles\/556816\/\" rel=\"noopener noreferrer nofollow\">\u0438\u043d\u0442\u0435\u0440\u0435\u0441\u043d\u0430\u044f \u0441\u0442\u0430\u0442\u044c\u044f \u043f\u043e \u043a\u043e\u043d\u0446\u0435\u043f\u0442\u0430\u043c<\/a> \u043e\u0442 \u042f\u043d\u0434\u0435\u043a\u0441 \u043f\u0440\u0430\u043a\u0442\u0438\u043a\u0443\u043c\u0430.<\/p>\n<p>\u0412\u043e \u0432\u0442\u043e\u0440\u043e\u043c \u0441\u043b\u0443\u0447\u0430\u0435 \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u0435\u043c \u043f\u0440\u043e\u0437\u0440\u0430\u0447\u043d\u043e\u0441\u0442\u044c \u043a\u043e\u043c\u043f\u0430\u0440\u0430\u0442\u043e\u0440\u0430<br \/>\u0412\u043e\u0442 \u0441\u0442\u0430\u0442\u044c\u044f \u043f\u0440\u043e \u043a\u043e\u043c\u043f\u0430\u0440\u0430\u0442\u043e\u0440\u044b: <a href=\"https:\/\/habr.com\/ru\/companies\/kaspersky\/articles\/710916\/\" rel=\"noopener noreferrer nofollow\">\u041f\u043e\u0434\u0432\u043e\u0434\u043d\u044b\u0435 \u043a\u0430\u043c\u043d\u0438 \u043a\u043e\u043c\u043f\u0430\u0440\u0430\u0442\u043e\u0440\u043e\u0432 \u0432 \u0421++<\/a>, <\/p>\n<h4>2. \u041e\u0431\u043d\u043e\u0432\u043b\u0451\u043d\u043d\u044b\u0439 \u0448\u0430\u0431\u043b\u043e\u043d \u043a\u043b\u0430\u0441\u0441\u0430 \u0441\u00a0requires<\/h4>\n<p>\u0414\u043b\u044f \u043f\u0440\u043e\u0441\u0442\u043e\u0442\u044b \u043f\u043e\u043d\u0438\u043c\u0430\u043d\u0438\u044f \u0431\u044b\u043b\u0438 \u0432\u044b\u0440\u0435\u0437\u0430\u043d\u044b \u0432\u0441\u044f\u043a\u0438\u0435 \u0440\u0430\u0437\u043d\u044b\u0435 \u0441\u043b\u043e\u0436\u043d\u044b\u0435 \u0431\u0443\u043a\u0432\u043e\u0441\u043e\u0447\u0435\u0442\u0430\u043d\u0438\u044f \u0438\u0437 \u043e\u043f\u0435\u043d\u0441\u043e\u0440\u0441\u043d\u043e\u0439 \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438 STL, \u0447\u0442\u043e \u0431\u044b \u0431\u044b\u043b\u043e \u043f\u043e\u043d\u044f\u0442\u043d\u043e \u0438 \u0447\u0438\u0442\u0430\u0435\u043c\u043e:<\/p>\n<pre><code class=\"cpp\">template &lt;     typename Key,     typename Value,     typename Hash = std::hash&lt;Key&gt;,     typename KeyEqual = std::equal_to&lt;&gt;,     typename Allocator = std::allocator&lt;std::pair&lt;const Key, Value&gt;&gt; &gt; requires ValidHasher&lt;Hash, Key&gt; &amp;&amp;            TransparentEqual&lt;KeyEqual, Key&gt; class hash_map {     \/\/ \u043e\u0441\u0442\u0430\u043b\u044c\u043d\u043e\u0435 \u043a\u0430\u043a \u0438 \u0434\u043e\u043b\u0436\u043d\u043e \u0431\u044b\u0442\u044c... };<\/code><\/pre>\n<p>\u0427\u0442\u043e \u0436\u0435 \u043d\u0430\u043c \u044d\u0442\u043e \u0434\u0430\u0435\u0442? <\/p>\n<ul>\n<li>\n<p>\u0415\u0441\u043b\u0438 \u043f\u0435\u0440\u0435\u0434\u0430\u0442\u044c \u043d\u0435\u0432\u0430\u043b\u0438\u0434\u043d\u044b\u0439 \u0445\u0435\u0448 \u0438\u043b\u0438 \u043a\u043e\u043c\u043f\u0430\u0440\u0430\u0442\u043e\u0440 \u2014 \u043e\u0448\u0438\u0431\u043a\u0430 \u0431\u0443\u0434\u0435\u0442 \u043d\u0430 \u044d\u0442\u0430\u043f\u0435 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0446\u0438\u0438.<\/p>\n<\/li>\n<li>\n<p>\u041d\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u044b\u0435 \u0441\u043e\u043e\u0431\u0449\u0435\u043d\u0438\u044f \u043e\u0431 \u043e\u0448\u0438\u0431\u043a\u0430\u0445.<\/p>\n<\/li>\n<\/ul>\n<p>\u041a\u0440\u0443\u0442\u043e-\u0436\u0435 \u0434\u0430?<\/p>\n<h4>\u0435\u0434\u0435\u043c \u0434\u0430\u043b\u044c\u0448\u0435, 3. if constexpr<\/h4>\n<p>\u0414\u043b\u044f \u043e\u043f\u0442\u0438\u043c\u0438\u0437\u0430\u0446\u0438\u0438 (\u0434\u0430, \u043f\u0440\u0438\u043a\u043e\u043b\u044e\u0445\u0430 \u0438\u0437 C++17, \u043d\u043e \u0432\u0441\u0435 \u0442\u0430\u043a\u0438 \u0445\u043e\u0447\u0443 \u0434\u043e\u0431\u0430\u0432\u0438\u0442\u044c \u044d\u0442\u043e)<\/p>\n<pre><code class=\"cpp\">template &lt;typename K&gt; void insert(K&amp;&amp; key, Value&amp;&amp; value) {     if constexpr (std::is_trivially_copyable_v&lt;Value&gt;) {         \/\/ \u0411\u044b\u0441\u0442\u0440\u0430\u044f \u0432\u0441\u0442\u0430\u0432\u043a\u0430 \u0434\u043b\u044f \u043f\u0440\u043e\u0441\u0442\u044b\u0445 \u0442\u0438\u043f\u043e\u0432 (int, double \u0438 \u0442.\u0434.)         buckets.emplace_back(std::forward&lt;K&gt;(key), std::forward&lt;Value&gt;(value));     } else {         \/\/ \u041c\u0435\u0434\u043b\u0435\u043d\u043d\u0430\u044f, \u043d\u043e \u0431\u0435\u0437\u043e\u043f\u0430\u0441\u043d\u0430\u044f \u0434\u043b\u044f \u0441\u043b\u043e\u0436\u043d\u044b\u0445 \u0442\u0438\u043f\u043e\u0432         buckets.emplace_back(std::piecewise_construct,                            std::forward_as_tuple(std::forward&lt;K&gt;(key)),                            std::forward_as_tuple(std::forward&lt;Value&gt;(value)));     } }<\/code><\/pre>\n<p>\u042d\u0442\u043e\u0442 \u043f\u0440\u043e\u0441\u0442\u043e\u0439 \u043f\u0440\u0438\u043c\u0435\u0440 \u0434\u0435\u043c\u043e\u043d\u0441\u0442\u0440\u0438\u0440\u0443\u0435\u0442 \u0440\u0430\u0431\u043e\u0442\u0443 \u0441 \u0440\u0430\u0437\u043d\u043e\u0439 \u043b\u043e\u0433\u0438\u043a\u043e\u0439 \u0434\u043b\u044f\u00a0<em>trivially-copyable<\/em>\u00a0\u0442\u0438\u043f\u043e\u0432.<br \/>\u0417\u0434\u0435\u0441\u044c \u043c\u043d\u0435 \u043d\u0435\u0447\u0435\u0433\u043e \u0434\u043e\u0431\u0430\u0432\u0438\u0442\u044c, \u0438\u0434\u0435\u043c \u0434\u0430\u043b\u044c\u0448\u0435!<\/p>\n<h4>4. std::remove_cvref_t\u00a0\u2014 &#171;\u0427\u0438\u0441\u0442\u0438\u043c&#187; \u0442\u0438\u043f\u044b \u043e\u0442 \u043c\u0443\u0441\u043e\u0440\u0430<\/h4>\n<h3>\u0423\u0431\u0438\u0440\u0430\u0435\u043c\u00a0const,\u00a0volatile\u00a0\u0438 \u0441\u0441\u044b\u043b\u043a\u0438 (&amp;,\u00a0&amp;&amp;) \u0438\u0437 \u0442\u0438\u043f\u0430:<\/h3>\n<pre><code class=\"cpp\">template &lt;typename K&gt; void insert(K&amp;&amp; key) {     using CleanKey = std::remove_cvref_t&lt;K&gt;; \/\/ \u0423\u0434\u0430\u043b\u0438\u043b\u0438 const, &amp;, volatile     static_assert(std::is_same_v&lt;CleanKey, std::string&gt;, \"\u0414\u043e\u043b\u0436\u0435\u043d \u0431\u044b\u0442\u044c std::string!\");     \/\/ ... }<\/code><\/pre>\n<p>\u0422\u0435\u0431\u0435 \u043f\u0440\u0438\u043d\u0435\u0441\u043b\u0438 <code>const pizza&amp;<\/code>, \u043d\u043e \u0442\u044b \u043d\u0435 \u043c\u043e\u0436\u0435\u0448\u044c \u044d\u0442\u043e \u0441\u043a\u0443\u0448\u0430\u0442\u044c, \u0440\u0430\u0441\u043f\u0430\u043a\u043e\u0432\u044b\u0432\u0430\u0435\u043c \u0441 \u043f\u043e\u043c\u043e\u0449\u044c\u044e <code>std::remove_cvref_t<\/code>\u0438 \u0442\u044b \u043c\u043e\u0436\u0435\u0448\u044c \u043d\u0430\u0441\u043b\u0430\u0436\u0434\u0430\u0442\u044c\u0441\u044f \u0441\u0432\u043e\u0435\u0439 <code>pizza<\/code>\u0431\u0435\u0437\u043e \u0432\u0441\u044f\u043a\u0438\u0445 \u043d\u0435\u043f\u043e\u043d\u044f\u0442\u043d\u044b\u0445 \u043e\u0431\u0435\u0440\u0442\u043e\u043a.<\/p>\n<h4>5. Ranges \u2014 &#171;\u041b\u0435\u043d\u0438\u0432\u044b\u0435&#187; \u0434\u0438\u0430\u043f\u0430\u0437\u043e\u043d\u044b<\/h4>\n<p>\u041c\u043e\u0436\u043d\u043e \u043e\u0437\u043d\u0430\u043a\u043e\u043c\u0438\u0442\u044c\u0441\u044f \u0432 <a href=\"https:\/\/habr.com\/ru\/articles\/546996\/\" rel=\"noopener noreferrer nofollow\">\u0441\u0442\u0430\u0442\u044c\u0435 \u043f\u0440\u043e \u043d\u0438\u0445<\/a>!<br \/>\u041c\u044b \u0441\u043c\u043e\u0436\u0435\u043c \u0440\u0430\u0431\u043e\u0442\u0430\u0442\u044c \u0441 \u043a\u043e\u043b\u043b\u0435\u043a\u0446\u0438\u044f\u043c\u0438 (\u043a\u0430\u043a <code>vector<\/code>, <code>list<\/code>) \u0447\u0435\u0440\u0435\u0437 &#171;<em>\u043b\u0435\u043d\u0438\u0432\u044b\u0435<\/em>&#187; \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u0438.  <br \/>\u041c\u043e\u0436\u0435\u043c \u0432\u0441\u0442\u0430\u0432\u043b\u044f\u0442\u044c \u043a\u0443\u0447\u0443 \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u043e\u0432 \u0441\u0440\u0430\u0437\u0443 \u0438\u0437 \u043b\u044e\u0431\u043e\u0433\u043e \u0434\u0438\u0430\u043f\u0430\u0437\u043e\u043d\u0430 (\u0434\u0430\u0436\u0435 \u0438\u0437 \u0444\u0430\u0439\u043b\u0430 \u0438\u043b\u0438 \u0431\u0435\u0441\u043a\u043e\u043d\u0435\u0447\u043d\u043e\u0433\u043e \u0433\u0435\u043d\u0435\u0440\u0430\u0442\u043e\u0440\u0430!)<\/p>\n<pre><code class=\"cpp\">hash_map&lt;std::string, int&gt; map;  \/\/ \u0412\u0441\u0442\u0430\u0432\u043b\u044f\u0435\u043c \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u044b \u0438\u0437 vector (\u043e\u0431\u044b\u0447\u043d\u044b\u0439 \u0441\u043f\u043e\u0441\u043e\u0431) std::vector&lt;std::pair&lt;std::string, int&gt;&gt; data = {{\"a\", 1}, {\"b\", 2}}; map.insert_range(data);  \/\/ \u0418\u043b\u0438 \u0434\u0430\u0436\u0435 \u0438\u0437 \u0444\u0430\u0439\u043b\u0430 (\u0435\u0441\u043b\u0438 data \u2014 \u043b\u0435\u043d\u0438\u0432\u044b\u0439 range) auto data_from_file = read_file_lines(\"data.txt\") | std::views::transform(parse_line); map.insert_range(data_from_file);<\/code><\/pre>\n<p>\u041d\u0443, \u0430 \u0447\u0442\u043e, \u0437\u0430\u0447\u0435\u043c \u043d\u0430\u043c \u0431\u0435\u0441\u043a\u043e\u043d\u0435\u0447\u043d\u044b\u0435 <code>for'\u044b<\/code>? \u041f\u043e\u043b\u0443\u0447\u0430\u0435\u043c \u0432\u043f\u043e\u043b\u043d\u0435 \u0438\u043d\u0442\u0435\u0440\u0435\u0441\u043d\u0443\u044e \u0440\u0443\u0441\u0441\u043a\u0443\u044e \u0440\u0443\u043b\u0435\u0442\u043a\u0443 \u0441 \u0441\u044e\u0440\u043f\u0440\u0438\u0437\u0430\u043c\u0438 \u0432 \u043a\u0430\u0436\u0434\u043e\u043c \u0437\u0430\u0440\u044f\u0434\u0435!<\/p>\n<h4>6. consteval\u00a0\u2014 &#171;\u0412\u044b\u0447\u0438\u0441\u043b\u0438 \u044d\u0442\u043e \u043d\u0430 \u044d\u0442\u0430\u043f\u0435 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0446\u0438\u0438!&#187;<\/h4>\n<p>\u0415\u0441\u043b\u0438 \u0432\u043a\u0440\u0430\u0442\u0446\u0435, \u0442\u043e \u0444\u0443\u043d\u043a\u0446\u0438\u044f, \u043f\u043e\u043c\u0435\u0447\u0435\u043d\u043d\u0430\u044f \u043a\u0430\u043a\u00a0consteval,\u00a0<strong><u>\u043e\u0431\u044f\u0437\u0430\u043d\u0430<\/u><\/strong>\u00a0\u0432\u044b\u043f\u043e\u043b\u043d\u044f\u0442\u044c\u0441\u044f \u043d\u0430 \u044d\u0442\u0430\u043f\u0435 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0446\u0438\u0438.<\/p>\n<p>\u0412\u043e\u0437\u043d\u0438\u043a\u0430\u0435\u0442 \u0432\u043e\u043f\u0440\u043e\u0441 &#8212; <em>\u0430 \u0437\u0430\u0447\u0435\u043c \u043c\u043d\u0435 \u044d\u0442\u043e \u0432 \u0445\u0435\u0448-\u043c\u0430\u043f\u0435??<\/em><\/p>\n<p>\u041e\u0442\u0432\u0435\u0442: <em>\u0435\u0441\u043b\u0438 \u0435\u0441\u0442\u044c \u0445\u0435\u0448-\u0444\u0443\u043d\u043a\u0446\u0438\u044f, \u043a\u043e\u0442\u043e\u0440\u0430\u044f \u0432\u0441\u0435\u0433\u0434\u0430 \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u0442 \u043e\u0434\u043d\u043e \u0438 \u0442\u043e \u0436\u0435 \u0434\u043b\u044f \u043e\u0434\u043d\u0438\u0445 \u0438 \u0442\u0435\u0445 \u0436\u0435 \u043a\u043b\u044e\u0447\u0435\u0439, \u0435\u0451 \u043c\u043e\u0436\u043d\u043e \u0432\u044b\u0447\u0438\u0441\u043b\u0438\u0442\u044c \u0437\u0430\u0440\u0430\u043d\u0435\u0435. <\/em><br \/>\u0412\u0441\u043f\u043e\u043c\u0438\u043d\u0430\u044e \u0432\u0441\u044f\u043a\u0438\u0435 <em>\u043a\u043e\u0434\u044b \u0425\u0430\u0444\u0444\u043c\u0430\u043d\u0430<\/em> \u0438 \u0441\u0440\u0430\u0437\u0443 \u043f\u043e\u043d\u0438\u043c\u0430\u044e, \u0447\u0442\u043e \u0432\u0435\u0449\u044c \u0442\u043e \u0438\u043d\u0442\u0435\u0440\u0435\u0441\u043d\u0430\u044f, \u043f\u0440\u0438\u043c\u0435\u0447\u0430\u0442\u0435\u043b\u044c\u043d\u0430\u044f.<\/p>\n<pre><code class=\"cpp\">struct MagicHasher {     consteval size_t operator()(const std::string&amp; s) const {         return s.size() * 100; \/\/ \u0432\u044b\u0447\u0438\u0441\u043b\u044f\u0435\u0442\u0441\u044f \u043f\u0440\u0438 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0446\u0438\u0438     } };  hash_map&lt;std::string, int, MagicHasher&gt; map; map[\"hello\"] = 42; \/\/ \u0425\u0435\u0448 \u0434\u043b\u044f \"hello\" \u0432\u044b\u0447\u0438\u0441\u043b\u0435\u043d \u043f\u0440\u0438 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0446\u0438\u0438<\/code><\/pre>\n<p>\u0421\u0447\u0438\u0442\u0430\u0439, \u0447\u0442\u043e \u0443 \u0442\u0435\u0431\u044f \u0437\u0430\u0432\u0442\u0440\u0430 \u043a\u043e\u043d\u0442\u0440\u043e\u043b\u044c\u043d\u0430\u044f \u043f\u043e \u0438\u043d\u0442\u0435\u0433\u0440\u0430\u043b\u0430\u043c, \u0430 \u0442\u044b \u0432\u043c\u0435\u0441\u0442\u043e \u0437\u0430\u0443\u0447\u0438\u0432\u0430\u043d\u0438\u044f \u0442\u0430\u0431\u043b\u0438\u0447\u043d\u044b\u0445 \u0438\u043b\u0438 \u0438\u0445 \u0440\u0443\u0447\u043d\u043e\u0433\u043e \u0432\u044b\u0432\u0435\u0434\u0435\u043d\u0438\u044f, \u043f\u0440\u043e\u0441\u0442\u043e \u0432\u044b\u043f\u0438\u0441\u044b\u0432\u0430\u0435\u0448\u044c \u0438\u0445 \u0441\u0435\u0431\u0435 \u0432 \u0448\u043f\u043e\u0440\u0443 \u0438 \u0434\u043e\u0432\u043e\u043b\u044c\u043d\u044b\u0439 \u0438\u0434\u0435\u0448\u044c \u043d\u0430 \u044d\u043a\u0437\u0430\u043c\u0435\u043d \u043d\u0430\u0434\u0435\u044f\u0441\u044c \u043d\u0435 \u0441\u043f\u0430\u043b\u0438\u0442\u044c\u0441\u044f!)<\/p>\n<h4>7. std::span\u00a0\u2014 &#171;\u0411\u0435\u0437\u043e\u043f\u0430\u0441\u043d\u044b\u0439 \u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c \u043d\u0430 \u043c\u0430\u0441\u0441\u0438\u0432&#187;<\/h4>\n<p><code>std::span<\/code>\u00a0\u2014 \u044d\u0442\u043e &#171;<em>\u043e\u0431\u0451\u0440\u0442\u043a\u0430<\/em>&#187; \u043d\u0430\u0434 \u043c\u0430\u0441\u0441\u0438\u0432\u043e\u043c \u0438\u043b\u0438\u00a0<code>vector<\/code>, \u043a\u043e\u0442\u043e\u0440\u0430\u044f \u0437\u043d\u0430\u0435\u0442 \u0435\u0433\u043e \u0440\u0430\u0437\u043c\u0435\u0440 \u0438 \u043d\u0435 \u0434\u0430\u0451\u0442 \u0432\u044b\u0439\u0442\u0438 \u0437\u0430 \u0433\u0440\u0430\u043d\u0438\u0446\u044b.<br \/>\u041d\u0430\u043c \u044d\u0442\u043e \u043d\u0443\u0436\u043d\u043e, \u0447\u0442\u043e \u0431\u044b \u0431\u0435\u0437\u043e\u043f\u0430\u0441\u043d\u043e \u043f\u0435\u0440\u0435\u0434\u0430\u0432\u0430\u0442\u044c \u043f\u043e\u0434\u043c\u0430\u0441\u0441\u0438\u0432\u044b \u0434\u0430\u043d\u043d\u044b\u0445 \u0438\u0437 \u043a\u043e\u043b\u043b\u0435\u043a\u0446\u0438\u0439 (\u0434\u0430, \u043d\u0430\u043f\u0440\u0438\u043c\u0435\u0440 <code>vector<\/code>):<\/p>\n<pre><code class=\"cpp\">void add_from_span(std::span&lt;const std::pair&lt;Key, Value&gt;&gt; data) {     for (const auto&amp; [key, value] : data) {         insert(key, value);     } }  std::vector&lt;std::pair&lt;std::string, int&gt;&gt; big_data(1000); \/\/ \u0414\u043e\u0431\u0430\u0432\u0438\u043c \u0442\u043e\u043b\u044c\u043a\u043e \u043f\u0435\u0440\u0432\u044b\u0435 10 \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u043e\u0432 map.add_from_span(std::span{big_data.data(), 10});<\/code><\/pre>\n<p>\u0412\u044b\u0433\u043b\u044f\u0434\u0438\u0442 \u0441\u043d\u043e\u0441\u043d\u043e, \u043f\u0440\u0430\u0432\u0434\u0430!? \u0413\u043b\u0430\u0432\u043d\u043e\u0435, \u0447\u0442\u043e \u043c\u044b \u043c\u043e\u0436\u0435\u043c \u043f\u0440\u0438\u043c\u0435\u043d\u0438\u0442\u044c \u044d\u0442\u043e \u043d\u0430 \u043f\u0440\u0430\u043a\u0442\u0438\u043a\u0435 (\u0438, \u043a\u043e\u043d\u0435\u0447\u043d\u043e, \u043d\u0435 \u0442\u043e\u043b\u044c\u043a\u043e \u0432 \u043d\u0430\u0448\u0435\u0439 \u0445\u0435\u0448-\u043c\u0430\u043f\u0435). \u0421 \u0442\u0430\u043a\u043e\u0439 \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0435\u0439 \u043d\u0435 \u043d\u0443\u0436\u043d\u043e \u043f\u0435\u0440\u0435\u0434\u0430\u0432\u0430\u0442\u044c \u043f\u0430\u0440\u0443 <code>\u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c + \u0440\u0430\u0437\u043c\u0435\u0440<\/code> \u0441 \u0440\u0438\u0441\u043a\u043e\u043c \u0432\u044b\u043b\u0435\u0442\u0435\u0442\u044c \u0437\u0430 \u0433\u0440\u0430\u043d\u0438\u0446\u044b.<\/p>\n<p>\u0414\u0435\u043b\u0430\u0435\u043c \u043a\u043e\u0434 \u043e\u043f\u0442\u0438\u043c\u0438\u0437\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u0435\u0435 \u0438 \u0431\u0435\u0437\u043e\u043f\u0430\u0441\u043d\u0435\u0435 \u0441 C++20, \u043f\u0440\u043e\u0434\u043e\u043b\u0436\u0430\u0435\u043c!<\/p>\n<h4>8. \u041a\u043e\u0440\u0443\u0442\u0438\u043d\u044b \u2014 \u00ab\u041b\u0435\u043d\u0438\u0432\u0430\u044f \u0437\u0430\u0433\u0440\u0443\u0437\u043a\u0430 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0439\u00bb<\/h4>\n<p>\u0412\u043e\u0442 <a href=\"https:\/\/habr.com\/ru\/companies\/wunderfund\/articles\/582000\/\" rel=\"noopener noreferrer nofollow\">\u043f\u043e\u0437\u043d\u0430\u0432\u0430\u0442\u0435\u043b\u044c\u043d\u0430\u044f \u0441\u0442\u0430\u0442\u044c\u044f \u043f\u0440\u043e \u043a\u043e\u0440\u0443\u0442\u0438\u043d\u044b<\/a>.<br \/>\u0422\u0435\u043f\u0435\u0440\u044c \u043c\u043e\u0436\u0435\u043c &#171;\u043f\u043e\u0434\u0433\u0440\u0443\u0436\u0430\u0442\u044c&#187; \u0434\u0430\u043d\u043d\u044b\u0435 \u043f\u043e \u043c\u0435\u0440\u0435 \u043e\u0431\u0440\u0430\u0449\u0435\u043d\u0438\u044f \u043a \u043d\u0438\u043c!<\/p>\n<pre><code class=\"cpp\">#include &lt;coroutine&gt;  template &lt;typename Key, typename Value&gt; struct LazyValue {     struct promise_type { \/*...*\/ }; \/\/ \u041e\u043f\u0443\u0441\u0442\u0438\u043c \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u044e     std::coroutine_handle&lt;promise_type&gt; handle;      Value operator()() {         if (!handle.done()) handle.resume();         return handle.promise().value;     } };  hash_map&lt;std::string, LazyValue&lt;int&gt;&gt; lazy_map; lazy_map[\"some_data\"] = load_data_from_internet();  \/\/ \u0417\u0430\u0433\u0440\u0443\u0437\u0438\u0442\u0441\u044f \u0442\u043e\u043b\u044c\u043a\u043e \u043f\u0440\u0438 \u0432\u044b\u0437\u043e\u0432\u0435 lazy_map[\"some_data\"]()<\/code><\/pre>\n<p>\u041f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u044c, \u0447\u0442\u043e \u0437\u0430\u043a\u0430\u0437\u0430\u043b \u043f\u0440\u043e\u0435\u043a\u0442 \u043d\u0430 C++, \u0430 \u0435\u0433\u043e \u043d\u0430\u0447\u043d\u0443\u0442 \u0434\u0435\u043b\u0430\u0442\u044c \u0442\u043e\u043b\u044c\u043a\u043e \u043a\u043e\u0433\u0434\u0430 \u0442\u044b \u0438\u043c \u043f\u043e\u0437\u0432\u043e\u043d\u0438\u0448\u044c \u043f\u0435\u0440\u0435\u0434 \u0434\u0435\u0434\u043b\u0430\u0439\u043d\u043e\u043c.. \u043a\u0440\u0443\u0442\u043e-\u0436\u0435, \u043d\u0435\u0442??<\/p>\n<h4>9. [[no_unique_address]]\u00a0\u2014 \u00ab\u0421\u0436\u0438\u043c\u0430\u0435\u043c \u043f\u0443\u0441\u0442\u044b\u0435 \u043e\u0431\u044a\u0435\u043a\u0442\u044b\u00bb<\/h4>\n<p>\u0415\u0441\u043b\u0438 \u0435\u0441\u0442\u044c \u043f\u0443\u0441\u0442\u044b\u0435 \u043e\u0431\u044a\u0435\u043a\u0442\u044b (\u043d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, \u0430\u043b\u043b\u043e\u043a\u0430\u0442\u043e\u0440 \u0431\u0435\u0437 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f), \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440 \u043c\u043e\u0436\u0435\u0442 \u0438\u0445 \u043e\u043f\u0442\u0438\u043c\u0438\u0437\u0438\u0440\u043e\u0432\u0430\u0442\u044c.<br \/>\u0422\u0430\u043a \u043c\u044b \u0443\u043c\u0435\u043d\u044c\u0448\u0430\u0435\u043c \u0440\u0430\u0437\u043c\u0435\u0440 \u043a\u043b\u0430\u0441\u0441\u0430, \u0435\u0441\u043b\u0438\u00a0Hash\u00a0\u0438\u043b\u0438\u00a0KeyEqual\u00a0\u2014 \u043f\u0443\u0441\u0442\u044b\u0435. <\/p>\n<pre><code class=\"cpp\">template &lt;typename Key, typename Value, typename Hash, typename KeyEqual&gt; class hash_map {     Hash hash_fn;     KeyEqual key_eq;     [[no_unique_address]] Allocator alloc; \/\/ \u041c\u043e\u0436\u0435\u0442 \u0438\u0441\u0447\u0435\u0437\u043d\u0443\u0442\u044c, \u0435\u0441\u043b\u0438 \u043f\u0443\u0441\u0442\u043e\u0439 };<\/code><\/pre>\n<p>\u042d\u0442\u043e \u043c\u043e\u0436\u043d\u043e \u0441\u0440\u0430\u0432\u043d\u0438\u0442\u044c \u0441 \u0443\u0442\u0438\u043b\u0438\u0437\u0430\u0446\u0438\u0435\u0439 \u043a\u043e\u0440\u043e\u0431\u043e\u043a \u0438\u0437 \u043f\u043e\u0434 \u043f\u0438\u0446\u0446\u044b \u0434\u043b\u044f \u0445\u0440\u0430\u043d\u0435\u043d\u0438\u044f \u0432 \u0445\u043e\u043b\u043e\u0434\u0438\u043b\u044c\u043d\u0438\u043a\u0435, \u0437\u0430\u0447\u0435\u043c \u043e\u043d\u0438 \u0442\u0430\u043c \u043d\u0443\u0436\u043d\u044b?<\/p>\n<p>\u041d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, \u0441\u0442\u0430\u043d\u0434\u0430\u0440\u0442\u043d\u044b\u0435 \u0445\u0435\u0448-\u0444\u0443\u043d\u043a\u0446\u0438\u0438 (<code>std::hash&lt;T&gt;<\/code>)\u00a0\u0434\u043b\u044f \u043f\u0440\u0438\u043c\u0438\u0442\u0438\u0432\u043e\u0432 (<code>int<\/code>,\u00a0<code>char*<\/code>) \u0447\u0430\u0441\u0442\u043e \u043d\u0435 \u0441\u043e\u0434\u0435\u0440\u0436\u0430\u0442 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f, \u0430 \u0442\u0430\u043a \u0436\u0435 \u043a\u0430\u0441\u0442\u043e\u043c\u043d\u044b\u0435 \u0445\u0435\u0448\u0435\u0440\u044b \u0431\u0435\u0437 \u043f\u0430\u0440\u043e\u043b\u0435\u0439 (\u043d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u0442\u0441\u044f <code>key % 10<\/code>)<\/p>\n<p>\u0422\u0430\u043a \u0436\u0435 \u044d\u0442\u043e \u043c\u043e\u0433\u0443\u0442 \u0431\u044b\u0442\u044c \u043a\u043e\u043c\u043f\u0430\u0440\u0430\u0442\u043e\u0440\u044b, \u0441\u0442\u0430\u043d\u0434\u0430\u0440\u0442\u043d\u044b\u0435 \u043a\u043e\u043c\u043f\u0430\u0440\u0430\u0442\u043e\u0440\u044b (<code>std::equal_to&lt;&gt;<\/code>,\u00a0<code>std::less&lt;&gt;<\/code>)\u00a0\u043f\u043e\u0447\u0442\u0438 \u0432\u0441\u0435\u0433\u0434\u0430 \u043f\u0443\u0441\u0442\u044b\u0435. \u041d\u0443 \u0438 \u0442\u0430\u043a \u0436\u0435 \u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u0435\u043b\u044c\u0441\u043a\u0438\u0435, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043d\u0435 \u0438\u043c\u0435\u044e\u0442 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f (\u043d\u0430\u043f\u0440\u0438\u043c\u0435\u0440 \u0432\u0441\u044f\u043a\u0438\u0435 \u0441\u0440\u0430\u0432\u043d\u0438\u0432\u0430\u0442\u0435\u043b\u0438 \u0441\u0442\u0440\u043e\u0447\u0435\u043a)).<\/p>\n<p>\u041d\u0430\u043a\u043e\u043d\u0435\u0446 \u0430\u043b\u043b\u043e\u043a\u0430\u0442\u043e\u0440\u044b. \u0412 \u0441\u0442\u0430\u043d\u0434\u0430\u0440\u0442\u043d\u043e\u043c <code>std::allocator<\/code> \u0432\u0441\u0435 \u043c\u0435\u0442\u043e\u0434\u044b \u0441\u0442\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u0435 (\u043e\u043d \u043d\u0435 \u0441\u043e\u0434\u0435\u0440\u0436\u0438\u0442 \u043f\u043e\u043b\u0435\u0439). \u0418, \u043a\u043e\u043d\u0435\u0447\u043d\u043e, \u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u0435\u043b\u044c\u0441\u043a\u0438\u0435 \u0430\u043b\u043b\u043e\u043a\u0430\u0442\u043e\u0440\u044b \u0431\u0435\u0437 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f.<\/p>\n<p>\u041e\u0431\u044a\u0435\u043a\u0442 \u043c\u043e\u0436\u043d\u043e \u043f\u0440\u043e\u0432\u0435\u0440\u0438\u0442\u044c \u043d\u0443 &#171;\u043f\u0443\u0441\u0442\u043e\u0442\u0443&#187; \u0441 \u043f\u043e\u043c\u043e\u0449\u044c\u044e <code>std::is_empty<\/code>:<\/p>\n<pre><code class=\"cpp\">static_assert(std::is_empty_v&lt;DummyHasher&gt;, \"\u0445\u0435\u0448\u0435\u0440 \u043f\u0443\u0441\u0442\u043e\u0439\"); static_assert(std::is_empty_v&lt;CaseInsensitiveCompare&gt;, \"\u043a\u043e\u043c\u043f\u0430\u0440\u0430\u0442\u043e\u0440 \u043f\u0443\u0441\u0442\u043e\u0439\"); static_assert(std::is_empty_v&lt;std::allocator&lt;int&gt;&gt;, \"\u0430\u043b\u043b\u043e\u043a\u0430\u0442\u043e\u0440 \u043f\u0443\u0441\u0442\u043e\u0439\");<\/code><\/pre>\n<p>\u0412\u0430\u0436\u043d\u043e \u043f\u043e\u043d\u0438\u043c\u0430\u0442\u044c, \u0447\u0442\u043e <code>[[no_unique_address]]<\/code> \u043d\u0435 \u0441\u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442, \u0435\u0441\u043b\u0438 \u043e\u0431\u044a\u0435\u043a\u0442 &#8212; \u0447\u0430\u0441\u0442\u044c \u043d\u0430\u0441\u043b\u0435\u0434\u043d\u0438\u043a\u0430 (\u044d\u0442\u043e \u0441\u0432\u044f\u0437\u0430\u043d\u043e \u0441 \u0432\u044b\u0440\u0430\u0432\u043d\u0438\u0432\u0430\u043d\u0438\u0435\u043c), \u0438\u043b\u0438 \u0435\u0441\u043b\u0438 \u0433\u0434\u0435-\u0442\u043e \u0431\u0435\u0440\u0435\u0442\u0441\u044f \u0430\u0434\u0440\u0435\u0441 <br \/>\u044d\u0442\u043e\u0433\u043e \u043e\u0431\u044a\u0435\u043a\u0442\u0430 <code>&amp;hash_fn<\/code>,\u0442\u043e\u0433\u0434\u0430 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440 \u0431\u0443\u0434\u0435\u0442 \u0441\u0447\u0438\u0442\u0430\u0442\u044c \u0430\u0434\u0440\u0435\u0441 &#171;<em>\u0432\u0430\u0436\u043d\u044b\u043c<\/em>&#187; \u0438 \u0443 \u043d\u0430\u0441 \u043d\u0438\u0447\u0435\u0433\u043e \u043d\u0435 \u0432\u044b\u0439\u0434\u0435\u0442. \u041a\u0441\u0442\u0430\u0442\u0438 \u044d\u0442\u043e \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u044e\u0442 \u0438 \u0432 <strong>STL<\/strong>.<\/p>\n<h4>10. std::atomic_ref\u00a0\u2014 \u00ab\u041f\u043e\u0442\u043e\u043a\u043e\u0431\u0435\u0437\u043e\u043f\u0430\u0441\u043d\u043e\u0441\u0442\u044c \u0431\u0435\u0437 \u043c\u044c\u044e\u0442\u0435\u043a\u0441\u043e\u0432\u00bb<\/h4>\n<p>\u0432\u044b\u043a\u043b\u0430\u0434\u043a\u0430 \u0438\u0437 <a href=\"https:\/\/en.cppreference.com\/w\/cpp\/atomic\/atomic_ref\" rel=\"noopener noreferrer nofollow\">cppreference<\/a>.<br \/>\u0431\u0443\u0434\u0435\u043c \u043f\u043e\u0434\u0434\u0435\u0440\u0436\u0438\u0432\u0430\u0442\u044c \u0430\u0442\u043e\u043c\u0430\u0440\u043d\u044b\u0435 \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u0438 \u043d\u0430\u0434 \u043e\u0431\u044a\u0435\u043a\u0442\u0430\u043c\u0438 (\u0435\u0441\u043b\u0438 \u043f\u043e\u0434\u0434\u0435\u0440\u0436\u0438\u0432\u0430\u0435\u0442\u0441\u044f \u043f\u043b\u0430\u0442\u0444\u043e\u0440\u043c\u043e\u0439). \u041c\u043e\u0436\u043d\u043e \u0441\u0434\u0435\u043b\u0430\u0442\u044c\u00a0<strong>lock-free<\/strong>\u00a0\u0432\u0435\u0440\u0441\u0438\u044e \u0434\u043b\u044f \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0451\u043d\u043d\u044b\u0445 \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u0439:<\/p>\n<pre><code class=\"cpp\">#include &lt;atomic&gt;  template &lt;typename Key, typename Value&gt; class thread_safe_hash_map {     std::vector&lt;std::pair&lt;std::atomic&lt;Key&gt;, std::atomic&lt;Value&gt;&gt;&gt; data;          void insert(Key key, Value value) {         std::atomic_ref&lt;Key&gt;(key).store(key);     } };<\/code><\/pre>\n<p>\u041a\u043e\u043d\u0435\u0447\u043d\u043e, \u0437\u0434\u0435\u0441\u044c \u044f \u0443\u0436\u0435 <u>\u0440\u0430\u0437\u043e\u0448\u0435\u043b\u0441\u044f<\/u>, \u043d\u043e \u044f \u0434\u0443\u043c\u0430\u044e \u0431\u044b\u043b\u043e \u0434\u043e\u0441\u0442\u0430\u0442\u043e\u0447\u043d\u043e \u043d\u0430\u0433\u043b\u044f\u0434\u043d\u043e \u0438 \u043f\u0440\u0430\u0432\u0434\u043e\u043f\u043e\u0434\u043e\u0431\u043d\u043e, \u043a\u0430\u043a \u043f\u043e \u043c\u043d\u0435. \u041d\u0430\u0434\u0435\u044e\u0441\u044c \u0432\u0430\u043c \u043f\u043e\u043d\u0440\u0430\u0432\u0438\u043b\u0430\u0441\u044c \u0441\u0442\u0430\u0442\u044c\u044f, \u044f \u043e\u0447\u0435\u043d\u044c \u0441\u0442\u0430\u0440\u0430\u043b\u0441\u044f \u043d\u0430\u0434 \u0435\u0435 \u043d\u0430\u043f\u0438\u0441\u0430\u043d\u0438\u0435\u043c.<br \/>\u0425\u043e\u0447\u0443 \u043e\u0441\u0442\u0430\u0432\u0438\u0442\u044c \u043f\u043e\u0436\u0435\u043b\u0430\u043d\u0438\u0435 \u0432\u0441\u0435\u043c \u043d\u0430\u0447\u0438\u043d\u0430\u044e\u0449\u0438\u043c \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0441\u0442\u0430\u043c: \u043f\u0438\u0448\u0438\u0442\u0435 \u043a\u043e\u0434 \u0445\u043e\u0440\u043e\u0448\u043e, \u043f\u0438\u0448\u0438\u0442\u0435 \u0435\u0433\u043e \u0441 \u043a\u0430\u0439\u0444\u043e\u043c! \ud83d\ude42<\/p>\n<p>\u0411\u0443\u0434\u0443 \u0440\u0430\u0434 \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0442\u0438\u0432\u043d\u043e\u0439 \u0434\u0438\u0441\u043a\u0443\u0441\u0441\u0438\u0438 \u0432 \u043a\u043e\u043c\u043c\u0435\u043d\u0442\u0430\u0440\u0438\u044f\u0445, \u0443\u0432\u0438\u0434\u0438\u043c\u0441\u044f \u0432 \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0435\u0439 \u0441\u0442\u0430\u0442\u044c\u0435!<\/p>\n<\/div>\n<\/div>\n<\/div>\n<p><!----><!----><\/div>\n<p><!----><!----><br \/> \u0441\u0441\u044b\u043b\u043a\u0430 \u043d\u0430 \u043e\u0440\u0438\u0433\u0438\u043d\u0430\u043b \u0441\u0442\u0430\u0442\u044c\u0438 <a href=\"https:\/\/habr.com\/ru\/articles\/897924\/\"> https:\/\/habr.com\/ru\/articles\/897924\/<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<div><!--[--><!--]--><\/div>\n<div id=\"post-content-body\">\n<div>\n<div class=\"article-formatted-body article-formatted-body article-formatted-body_version-2\">\n<div xmlns=\"http:\/\/www.w3.org\/1999\/xhtml\">\n<details class=\"spoiler\">\n<summary>\u0421\u043a\u0440\u044b\u0442\u044b\u0439 \u0442\u0435\u043a\u0441\u0442<\/summary>\n<div class=\"spoiler__content\">\n<p>\u041f\u043e\u0436\u0430\u043b\u0443\u0439\u0441\u0442\u0430 \u043d\u0435 \u043e\u0442\u043d\u043e\u0441\u0438\u0442\u0435\u0441\u044c \u043a \u044d\u0442\u043e\u0439 \u0441\u0442\u0430\u0442\u044c\u0435 \u043a\u0430\u043a \u043a \u0443\u0442\u0432\u0435\u0440\u0436\u0434\u0435\u043d\u0438\u044e \u0432 \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438 \u0442\u043e\u0439 \u0438\u043b\u0438 \u0438\u043d\u043e\u0439 \u0441\u0438\u0433\u043d\u0430\u0442\u0443\u0440\u044b \u0434\u043b\u044f \u0432\u043d\u0443\u0442\u0440\u044f\u043d\u043a\u0438 \u0445\u0435\u0448-\u043c\u0430\u043f\u044b, \u044d\u0442\u043e \u043b\u0438\u0448\u044c \u043c\u043e\u0439 \u0432\u0437\u0433\u043b\u044f\u0434 \u043d\u0430 \u0432\u043e\u0437\u043c\u043e\u0436\u043d\u043e\u0441\u0442\u044c \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c \u0440\u0430\u0437\u043d\u044b\u0435 \u0438\u043d\u0442\u0435\u0440\u0435\u0441\u043d\u044b\u0435 \u0444\u0438\u0447\u0438 \u0438\u0437 C++20 \u0434\u043b\u044f \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438 \u043f\u043e\u043f\u0443\u043b\u044f\u0440\u043d\u043e\u0439 \u0441\u0442\u0440\u0443\u043a\u0442\u0443\u0440\u044b \u0434\u0430\u043d\u043d\u044b\u0445.<\/p>\n<\/div>\n<\/details>\n<p>\u0414\u043b\u044f \u043d\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u043e\u0433\u043e \u0443\u0441\u0432\u043e\u0435\u043d\u0438\u044f \u044d\u0442\u043e\u0439 \u0441\u0442\u0430\u0442\u044c\u0438 \u043d\u0435\u043e\u0431\u0445\u043e\u0434\u0438\u043c\u043e \u043f\u043e\u043d\u0438\u043c\u0430\u0442\u044c, \u043a\u0430\u043a \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442 \u0441\u0442\u0430\u043d\u0434\u0430\u0440\u0442\u043d\u0430\u044f \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u044f \u0445\u0435\u0448-\u043c\u0430\u043f\u044b (\u044f\u0437\u044b\u043a \u0432 \u0446\u0435\u043b\u043e\u043c \u043d\u0435 \u0432\u0430\u0436\u0435\u043d, \u043d\u043e \u043c\u044b \u0436\u0435 \u0437\u0434\u0435\u0441\u044c \u0432\u0441\u0435 \u0441\u043e\u0431\u0440\u0430\u043b\u0438\u0441\u044c \u0442\u043e\u043b\u044c\u043a\u043e \u0440\u0430\u0434\u0438 \u043e\u0434\u043d\u043e\u0433\u043e..).<\/p>\n<p>\u041d\u0435 \u0431\u0443\u0434\u0435\u043c \u0442\u044f\u043d\u0443\u0442\u044c, \u043f\u0435\u0440\u0435\u0439\u0434\u0435\u043c \u043a \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438 \u0445\u0435\u0448-\u043c\u0430\u043f\u044b \u0441 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043d\u0438\u0435\u043c \u00ab\u043f\u0440\u0438\u043a\u043e\u043b\u044e\u0445\u00bb \u0438\u0437 C++20!<\/p>\n<h4>1. \u041f\u0435\u0440\u0432\u043e\u0435, \u0447\u0442\u043e \u043c\u043d\u0435 \u043f\u0440\u0438\u0433\u043b\u044f\u043d\u0443\u043b\u043e\u0441\u044c &#8212; \u044d\u0442\u043e \u043a\u043e\u043d\u0446\u0435\u043f\u0442\u044b.<\/h4>\n<p>\u0421 \u0438\u0445 \u043f\u043e\u043c\u043e\u0449\u044c\u044e \u043c\u044b \u0431\u0443\u0434\u0435\u043c \u0432\u0430\u043b\u0438\u0434\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u0442\u0438\u043f\u044b.<\/p>\n<p>\u041c\u043e\u0436\u0435\u043c \u043f\u0440\u043e\u0432\u0435\u0440\u0438\u0442\u044c, \u0432\u044b\u0437\u0432\u0430\u043d\u0430 \u043b\u0438 \u0445\u0435\u0448-\u0444\u0443\u043d\u043a\u0446\u0438\u044f \u0434\u043b\u044f \u043a\u043b\u044e\u0447\u0430 \u0438 \u043f\u043e\u0434\u0434\u0435\u0440\u0436\u0438\u0432\u0430\u0435\u0442 \u043b\u0438 \u043a\u043e\u043c\u043f\u0430\u0440\u0430\u0442\u043e\u0440 \u043f\u0440\u043e\u0437\u0440\u0430\u0447\u043d\u043e\u0435 \u0441\u0440\u0430\u0432\u043d\u0435\u043d\u0438\u0435:<\/p>\n<pre><code class=\"cpp\">#include &lt;concepts&gt;  template &lt;typename Hash, typename Key&gt; concept ValidHasher = requires(Hash h, Key k) {     { h(k) } -&gt; std::convertible_to&lt;std::size_t&gt;; };  template &lt;typename Equal, typename Key&gt; concept TransparentEqual = requires(Equal eq, Key k, const char* s) {     { eq(k, k) } -&gt; std::convertible_to&lt;bool&gt;;     { eq(k, s) } -&gt; std::convertible_to&lt;bool&gt;; \/\/ \u041f\u0440\u043e\u0437\u0440\u0430\u0447\u043d\u043e\u0441\u0442\u044c };<\/code><\/pre>\n<p>\u0412 \u043f\u0435\u0440\u0432\u043e\u043c \u0441\u043b\u0443\u0447\u0430\u0435 \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u0435\u043c \u0445\u0435\u0448-\u0444\u0443\u043d\u043a\u0446\u0438\u044e \u0441 \u043f\u043e\u043c\u043e\u0449\u044c\u044e <code>concept<\/code>.<br \/>\u0412\u043e\u0442 \u043e\u0447\u0435\u043d\u044c <a href=\"https:\/\/habr.com\/ru\/companies\/yandex_praktikum\/articles\/556816\/\" rel=\"noopener noreferrer nofollow\">\u0438\u043d\u0442\u0435\u0440\u0435\u0441\u043d\u0430\u044f \u0441\u0442\u0430\u0442\u044c\u044f \u043f\u043e \u043a\u043e\u043d\u0446\u0435\u043f\u0442\u0430\u043c<\/a> \u043e\u0442 \u042f\u043d\u0434\u0435\u043a\u0441 \u043f\u0440\u0430\u043a\u0442\u0438\u043a\u0443\u043c\u0430.<\/p>\n<p>\u0412\u043e \u0432\u0442\u043e\u0440\u043e\u043c \u0441\u043b\u0443\u0447\u0430\u0435 \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u0435\u043c \u043f\u0440\u043e\u0437\u0440\u0430\u0447\u043d\u043e\u0441\u0442\u044c \u043a\u043e\u043c\u043f\u0430\u0440\u0430\u0442\u043e\u0440\u0430<br \/>\u0412\u043e\u0442 \u0441\u0442\u0430\u0442\u044c\u044f \u043f\u0440\u043e \u043a\u043e\u043c\u043f\u0430\u0440\u0430\u0442\u043e\u0440\u044b: <a href=\"https:\/\/habr.com\/ru\/companies\/kaspersky\/articles\/710916\/\" rel=\"noopener noreferrer nofollow\">\u041f\u043e\u0434\u0432\u043e\u0434\u043d\u044b\u0435 \u043a\u0430\u043c\u043d\u0438 \u043a\u043e\u043c\u043f\u0430\u0440\u0430\u0442\u043e\u0440\u043e\u0432 \u0432 \u0421++<\/a>, <\/p>\n<h4>2. \u041e\u0431\u043d\u043e\u0432\u043b\u0451\u043d\u043d\u044b\u0439 \u0448\u0430\u0431\u043b\u043e\u043d \u043a\u043b\u0430\u0441\u0441\u0430 \u0441\u00a0requires<\/h4>\n<p>\u0414\u043b\u044f \u043f\u0440\u043e\u0441\u0442\u043e\u0442\u044b \u043f\u043e\u043d\u0438\u043c\u0430\u043d\u0438\u044f \u0431\u044b\u043b\u0438 \u0432\u044b\u0440\u0435\u0437\u0430\u043d\u044b \u0432\u0441\u044f\u043a\u0438\u0435 \u0440\u0430\u0437\u043d\u044b\u0435 \u0441\u043b\u043e\u0436\u043d\u044b\u0435 \u0431\u0443\u043a\u0432\u043e\u0441\u043e\u0447\u0435\u0442\u0430\u043d\u0438\u044f \u0438\u0437 \u043e\u043f\u0435\u043d\u0441\u043e\u0440\u0441\u043d\u043e\u0439 \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438 STL, \u0447\u0442\u043e \u0431\u044b \u0431\u044b\u043b\u043e \u043f\u043e\u043d\u044f\u0442\u043d\u043e \u0438 \u0447\u0438\u0442\u0430\u0435\u043c\u043e:<\/p>\n<pre><code class=\"cpp\">template &lt;     typename Key,     typename Value,     typename Hash = std::hash&lt;Key&gt;,     typename KeyEqual = std::equal_to&lt;&gt;,     typename Allocator = std::allocator&lt;std::pair&lt;const Key, Value&gt;&gt; &gt; requires ValidHasher&lt;Hash, Key&gt; &amp;&amp;            TransparentEqual&lt;KeyEqual, Key&gt; class hash_map {     \/\/ \u043e\u0441\u0442\u0430\u043b\u044c\u043d\u043e\u0435 \u043a\u0430\u043a \u0438 \u0434\u043e\u043b\u0436\u043d\u043e \u0431\u044b\u0442\u044c... };<\/code><\/pre>\n<p>\u0427\u0442\u043e \u0436\u0435 \u043d\u0430\u043c \u044d\u0442\u043e \u0434\u0430\u0435\u0442? <\/p>\n<ul>\n<li>\n<p>\u0415\u0441\u043b\u0438 \u043f\u0435\u0440\u0435\u0434\u0430\u0442\u044c \u043d\u0435\u0432\u0430\u043b\u0438\u0434\u043d\u044b\u0439 \u0445\u0435\u0448 \u0438\u043b\u0438 \u043a\u043e\u043c\u043f\u0430\u0440\u0430\u0442\u043e\u0440 \u2014 \u043e\u0448\u0438\u0431\u043a\u0430 \u0431\u0443\u0434\u0435\u0442 \u043d\u0430 \u044d\u0442\u0430\u043f\u0435 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0446\u0438\u0438.<\/p>\n<\/li>\n<li>\n<p>\u041d\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u044b\u0435 \u0441\u043e\u043e\u0431\u0449\u0435\u043d\u0438\u044f \u043e\u0431 \u043e\u0448\u0438\u0431\u043a\u0430\u0445.<\/p>\n<\/li>\n<\/ul>\n<p>\u041a\u0440\u0443\u0442\u043e-\u0436\u0435 \u0434\u0430?<\/p>\n<h4>\u0435\u0434\u0435\u043c \u0434\u0430\u043b\u044c\u0448\u0435, 3. if constexpr<\/h4>\n<p>\u0414\u043b\u044f \u043e\u043f\u0442\u0438\u043c\u0438\u0437\u0430\u0446\u0438\u0438 (\u0434\u0430, \u043f\u0440\u0438\u043a\u043e\u043b\u044e\u0445\u0430 \u0438\u0437 C++17, \u043d\u043e \u0432\u0441\u0435 \u0442\u0430\u043a\u0438 \u0445\u043e\u0447\u0443 \u0434\u043e\u0431\u0430\u0432\u0438\u0442\u044c \u044d\u0442\u043e)<\/p>\n<pre><code class=\"cpp\">template &lt;typename K&gt; void insert(K&amp;&amp; key, Value&amp;&amp; value) {     if constexpr (std::is_trivially_copyable_v&lt;Value&gt;) {         \/\/ \u0411\u044b\u0441\u0442\u0440\u0430\u044f \u0432\u0441\u0442\u0430\u0432\u043a\u0430 \u0434\u043b\u044f \u043f\u0440\u043e\u0441\u0442\u044b\u0445 \u0442\u0438\u043f\u043e\u0432 (int, double \u0438 \u0442.\u0434.)         buckets.emplace_back(std::forward&lt;K&gt;(key), std::forward&lt;Value&gt;(value));     } else {         \/\/ \u041c\u0435\u0434\u043b\u0435\u043d\u043d\u0430\u044f, \u043d\u043e \u0431\u0435\u0437\u043e\u043f\u0430\u0441\u043d\u0430\u044f \u0434\u043b\u044f \u0441\u043b\u043e\u0436\u043d\u044b\u0445 \u0442\u0438\u043f\u043e\u0432         buckets.emplace_back(std::piecewise_construct,                            std::forward_as_tuple(std::forward&lt;K&gt;(key)),                            std::forward_as_tuple(std::forward&lt;Value&gt;(value)));     } }<\/code><\/pre>\n<p>\u042d\u0442\u043e\u0442 \u043f\u0440\u043e\u0441\u0442\u043e\u0439 \u043f\u0440\u0438\u043c\u0435\u0440 \u0434\u0435\u043c\u043e\u043d\u0441\u0442\u0440\u0438\u0440\u0443\u0435\u0442 \u0440\u0430\u0431\u043e\u0442\u0443 \u0441 \u0440\u0430\u0437\u043d\u043e\u0439 \u043b\u043e\u0433\u0438\u043a\u043e\u0439 \u0434\u043b\u044f\u00a0<em>trivially-copyable<\/em>\u00a0\u0442\u0438\u043f\u043e\u0432.<br \/>\u0417\u0434\u0435\u0441\u044c \u043c\u043d\u0435 \u043d\u0435\u0447\u0435\u0433\u043e \u0434\u043e\u0431\u0430\u0432\u0438\u0442\u044c, \u0438\u0434\u0435\u043c \u0434\u0430\u043b\u044c\u0448\u0435!<\/p>\n<h4>4. std::remove_cvref_t\u00a0\u2014 &#171;\u0427\u0438\u0441\u0442\u0438\u043c&#187; \u0442\u0438\u043f\u044b \u043e\u0442 \u043c\u0443\u0441\u043e\u0440\u0430<\/h4>\n<h3>\u0423\u0431\u0438\u0440\u0430\u0435\u043c\u00a0const,\u00a0volatile\u00a0\u0438 \u0441\u0441\u044b\u043b\u043a\u0438 (&amp;,\u00a0&amp;&amp;) \u0438\u0437 \u0442\u0438\u043f\u0430:<\/h3>\n<pre><code class=\"cpp\">template &lt;typename K&gt; void insert(K&amp;&amp; key) {     using CleanKey = std::remove_cvref_t&lt;K&gt;; \/\/ \u0423\u0434\u0430\u043b\u0438\u043b\u0438 const, &amp;, volatile     static_assert(std::is_same_v&lt;CleanKey, std::string&gt;, \"\u0414\u043e\u043b\u0436\u0435\u043d \u0431\u044b\u0442\u044c std::string!\");     \/\/ ... }<\/code><\/pre>\n<p>\u0422\u0435\u0431\u0435 \u043f\u0440\u0438\u043d\u0435\u0441\u043b\u0438 <code>const pizza&amp;<\/code>, \u043d\u043e \u0442\u044b \u043d\u0435 \u043c\u043e\u0436\u0435\u0448\u044c \u044d\u0442\u043e \u0441\u043a\u0443\u0448\u0430\u0442\u044c, \u0440\u0430\u0441\u043f\u0430\u043a\u043e\u0432\u044b\u0432\u0430\u0435\u043c \u0441 \u043f\u043e\u043c\u043e\u0449\u044c\u044e <code>std::remove_cvref_t<\/code>\u0438 \u0442\u044b \u043c\u043e\u0436\u0435\u0448\u044c \u043d\u0430\u0441\u043b\u0430\u0436\u0434\u0430\u0442\u044c\u0441\u044f \u0441\u0432\u043e\u0435\u0439 <code>pizza<\/code>\u0431\u0435\u0437\u043e \u0432\u0441\u044f\u043a\u0438\u0445 \u043d\u0435\u043f\u043e\u043d\u044f\u0442\u043d\u044b\u0445 \u043e\u0431\u0435\u0440\u0442\u043e\u043a.<\/p>\n<h4>5. Ranges \u2014 &#171;\u041b\u0435\u043d\u0438\u0432\u044b\u0435&#187; \u0434\u0438\u0430\u043f\u0430\u0437\u043e\u043d\u044b<\/h4>\n<p>\u041c\u043e\u0436\u043d\u043e \u043e\u0437\u043d\u0430\u043a\u043e\u043c\u0438\u0442\u044c\u0441\u044f \u0432 <a href=\"https:\/\/habr.com\/ru\/articles\/546996\/\" rel=\"noopener noreferrer nofollow\">\u0441\u0442\u0430\u0442\u044c\u0435 \u043f\u0440\u043e \u043d\u0438\u0445<\/a>!<br \/>\u041c\u044b \u0441\u043c\u043e\u0436\u0435\u043c \u0440\u0430\u0431\u043e\u0442\u0430\u0442\u044c \u0441 \u043a\u043e\u043b\u043b\u0435\u043a\u0446\u0438\u044f\u043c\u0438 (\u043a\u0430\u043a <code>vector<\/code>, <code>list<\/code>) \u0447\u0435\u0440\u0435\u0437 &#171;<em>\u043b\u0435\u043d\u0438\u0432\u044b\u0435<\/em>&#187; \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u0438.  <br \/>\u041c\u043e\u0436\u0435\u043c \u0432\u0441\u0442\u0430\u0432\u043b\u044f\u0442\u044c \u043a\u0443\u0447\u0443 \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u043e\u0432 \u0441\u0440\u0430\u0437\u0443 \u0438\u0437 \u043b\u044e\u0431\u043e\u0433\u043e \u0434\u0438\u0430\u043f\u0430\u0437\u043e\u043d\u0430 (\u0434\u0430\u0436\u0435 \u0438\u0437 \u0444\u0430\u0439\u043b\u0430 \u0438\u043b\u0438 \u0431\u0435\u0441\u043a\u043e\u043d\u0435\u0447\u043d\u043e\u0433\u043e \u0433\u0435\u043d\u0435\u0440\u0430\u0442\u043e\u0440\u0430!)<\/p>\n<pre><code class=\"cpp\">hash_map&lt;std::string, int&gt; map;  \/\/ \u0412\u0441\u0442\u0430\u0432\u043b\u044f\u0435\u043c \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u044b \u0438\u0437 vector (\u043e\u0431\u044b\u0447\u043d\u044b\u0439 \u0441\u043f\u043e\u0441\u043e\u0431) std::vector&lt;std::pair&lt;std::string, int&gt;&gt; data = {{\"a\", 1}, {\"b\", 2}}; map.insert_range(data);  \/\/ \u0418\u043b\u0438 \u0434\u0430\u0436\u0435 \u0438\u0437 \u0444\u0430\u0439\u043b\u0430 (\u0435\u0441\u043b\u0438 data \u2014 \u043b\u0435\u043d\u0438\u0432\u044b\u0439 range) auto data_from_file = read_file_lines(\"data.txt\") | std::views::transform(parse_line); map.insert_range(data_from_file);<\/code><\/pre>\n<p>\u041d\u0443, \u0430 \u0447\u0442\u043e, \u0437\u0430\u0447\u0435\u043c \u043d\u0430\u043c \u0431\u0435\u0441\u043a\u043e\u043d\u0435\u0447\u043d\u044b\u0435 <code>for'\u044b<\/code>? \u041f\u043e\u043b\u0443\u0447\u0430\u0435\u043c \u0432\u043f\u043e\u043b\u043d\u0435 \u0438\u043d\u0442\u0435\u0440\u0435\u0441\u043d\u0443\u044e \u0440\u0443\u0441\u0441\u043a\u0443\u044e \u0440\u0443\u043b\u0435\u0442\u043a\u0443 \u0441 \u0441\u044e\u0440\u043f\u0440\u0438\u0437\u0430\u043c\u0438 \u0432 \u043a\u0430\u0436\u0434\u043e\u043c \u0437\u0430\u0440\u044f\u0434\u0435!<\/p>\n<h4>6. consteval\u00a0\u2014 &#171;\u0412\u044b\u0447\u0438\u0441\u043b\u0438 \u044d\u0442\u043e \u043d\u0430 \u044d\u0442\u0430\u043f\u0435 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0446\u0438\u0438!&#187;<\/h4>\n<p>\u0415\u0441\u043b\u0438 \u0432\u043a\u0440\u0430\u0442\u0446\u0435, \u0442\u043e \u0444\u0443\u043d\u043a\u0446\u0438\u044f, \u043f\u043e\u043c\u0435\u0447\u0435\u043d\u043d\u0430\u044f \u043a\u0430\u043a\u00a0consteval,\u00a0<strong><u>\u043e\u0431\u044f\u0437\u0430\u043d\u0430<\/u><\/strong>\u00a0\u0432\u044b\u043f\u043e\u043b\u043d\u044f\u0442\u044c\u0441\u044f \u043d\u0430 \u044d\u0442\u0430\u043f\u0435 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0446\u0438\u0438.<\/p>\n<p>\u0412\u043e\u0437\u043d\u0438\u043a\u0430\u0435\u0442 \u0432\u043e\u043f\u0440\u043e\u0441 &#8212; <em>\u0430 \u0437\u0430\u0447\u0435\u043c \u043c\u043d\u0435 \u044d\u0442\u043e \u0432 \u0445\u0435\u0448-\u043c\u0430\u043f\u0435??<\/em><\/p>\n<p>\u041e\u0442\u0432\u0435\u0442: <em>\u0435\u0441\u043b\u0438 \u0435\u0441\u0442\u044c \u0445\u0435\u0448-\u0444\u0443\u043d\u043a\u0446\u0438\u044f, \u043a\u043e\u0442\u043e\u0440\u0430\u044f \u0432\u0441\u0435\u0433\u0434\u0430 \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u0442 \u043e\u0434\u043d\u043e \u0438 \u0442\u043e \u0436\u0435 \u0434\u043b\u044f \u043e\u0434\u043d\u0438\u0445 \u0438 \u0442\u0435\u0445 \u0436\u0435 \u043a\u043b\u044e\u0447\u0435\u0439, \u0435\u0451 \u043c\u043e\u0436\u043d\u043e \u0432\u044b\u0447\u0438\u0441\u043b\u0438\u0442\u044c \u0437\u0430\u0440\u0430\u043d\u0435\u0435. <\/em><br \/>\u0412\u0441\u043f\u043e\u043c\u0438\u043d\u0430\u044e \u0432\u0441\u044f\u043a\u0438\u0435 <em>\u043a\u043e\u0434\u044b \u0425\u0430\u0444\u0444\u043c\u0430\u043d\u0430<\/em> \u0438 \u0441\u0440\u0430\u0437\u0443 \u043f\u043e\u043d\u0438\u043c\u0430\u044e, \u0447\u0442\u043e \u0432\u0435\u0449\u044c \u0442\u043e \u0438\u043d\u0442\u0435\u0440\u0435\u0441\u043d\u0430\u044f, \u043f\u0440\u0438\u043c\u0435\u0447\u0430\u0442\u0435\u043b\u044c\u043d\u0430\u044f.<\/p>\n<pre><code class=\"cpp\">struct MagicHasher {     consteval size_t operator()(const std::string&amp; s) const {         return s.size() * 100; \/\/ \u0432\u044b\u0447\u0438\u0441\u043b\u044f\u0435\u0442\u0441\u044f \u043f\u0440\u0438 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0446\u0438\u0438     } };  hash_map&lt;std::string, int, MagicHasher&gt; map; map[\"hello\"] = 42; \/\/ \u0425\u0435\u0448 \u0434\u043b\u044f \"hello\" \u0432\u044b\u0447\u0438\u0441\u043b\u0435\u043d \u043f\u0440\u0438 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0446\u0438\u0438<\/code><\/pre>\n<p>\u0421\u0447\u0438\u0442\u0430\u0439, \u0447\u0442\u043e \u0443 \u0442\u0435\u0431\u044f \u0437\u0430\u0432\u0442\u0440\u0430 \u043a\u043e\u043d\u0442\u0440\u043e\u043b\u044c\u043d\u0430\u044f \u043f\u043e \u0438\u043d\u0442\u0435\u0433\u0440\u0430\u043b\u0430\u043c, \u0430 \u0442\u044b \u0432\u043c\u0435\u0441\u0442\u043e \u0437\u0430\u0443\u0447\u0438\u0432\u0430\u043d\u0438\u044f \u0442\u0430\u0431\u043b\u0438\u0447\u043d\u044b\u0445 \u0438\u043b\u0438 \u0438\u0445 \u0440\u0443\u0447\u043d\u043e\u0433\u043e \u0432\u044b\u0432\u0435\u0434\u0435\u043d\u0438\u044f, \u043f\u0440\u043e\u0441\u0442\u043e \u0432\u044b\u043f\u0438\u0441\u044b\u0432\u0430\u0435\u0448\u044c \u0438\u0445 \u0441\u0435\u0431\u0435 \u0432 \u0448\u043f\u043e\u0440\u0443 \u0438 \u0434\u043e\u0432\u043e\u043b\u044c\u043d\u044b\u0439 \u0438\u0434\u0435\u0448\u044c \u043d\u0430 \u044d\u043a\u0437\u0430\u043c\u0435\u043d \u043d\u0430\u0434\u0435\u044f\u0441\u044c \u043d\u0435 \u0441\u043f\u0430\u043b\u0438\u0442\u044c\u0441\u044f!)<\/p>\n<h4>7. std::span\u00a0\u2014 &#171;\u0411\u0435\u0437\u043e\u043f\u0430\u0441\u043d\u044b\u0439 \u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c \u043d\u0430 \u043c\u0430\u0441\u0441\u0438\u0432&#187;<\/h4>\n<p><code>std::span<\/code>\u00a0\u2014 \u044d\u0442\u043e &#171;<em>\u043e\u0431\u0451\u0440\u0442\u043a\u0430<\/em>&#187; \u043d\u0430\u0434 \u043c\u0430\u0441\u0441\u0438\u0432\u043e\u043c \u0438\u043b\u0438\u00a0<code>vector<\/code>, \u043a\u043e\u0442\u043e\u0440\u0430\u044f \u0437\u043d\u0430\u0435\u0442 \u0435\u0433\u043e \u0440\u0430\u0437\u043c\u0435\u0440 \u0438 \u043d\u0435 \u0434\u0430\u0451\u0442 \u0432\u044b\u0439\u0442\u0438 \u0437\u0430 \u0433\u0440\u0430\u043d\u0438\u0446\u044b.<br \/>\u041d\u0430\u043c \u044d\u0442\u043e \u043d\u0443\u0436\u043d\u043e, \u0447\u0442\u043e \u0431\u044b \u0431\u0435\u0437\u043e\u043f\u0430\u0441\u043d\u043e \u043f\u0435\u0440\u0435\u0434\u0430\u0432\u0430\u0442\u044c \u043f\u043e\u0434\u043c\u0430\u0441\u0441\u0438\u0432\u044b \u0434\u0430\u043d\u043d\u044b\u0445 \u0438\u0437 \u043a\u043e\u043b\u043b\u0435\u043a\u0446\u0438\u0439 (\u0434\u0430, \u043d\u0430\u043f\u0440\u0438\u043c\u0435\u0440 <code>vector<\/code>):<\/p>\n<pre><code class=\"cpp\">void add_from_span(std::span&lt;const std::pair&lt;Key, Value&gt;&gt; data) {     for (const auto&amp; [key, value] : data) {         insert(key, value);     } }  std::vector&lt;std::pair&lt;std::string, int&gt;&gt; big_data(1000); \/\/ \u0414\u043e\u0431\u0430\u0432\u0438\u043c \u0442\u043e\u043b\u044c\u043a\u043e \u043f\u0435\u0440\u0432\u044b\u0435 10 \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u043e\u0432 map.add_from_span(std::span{big_data.data(), 10});<\/code><\/pre>\n<p>\u0412\u044b\u0433\u043b\u044f\u0434\u0438\u0442 \u0441\u043d\u043e\u0441\u043d\u043e, \u043f\u0440\u0430\u0432\u0434\u0430!? \u0413\u043b\u0430\u0432\u043d\u043e\u0435, \u0447\u0442\u043e \u043c\u044b \u043c\u043e\u0436\u0435\u043c \u043f\u0440\u0438\u043c\u0435\u043d\u0438\u0442\u044c \u044d\u0442\u043e \u043d\u0430 \u043f\u0440\u0430\u043a\u0442\u0438\u043a\u0435 (\u0438, \u043a\u043e\u043d\u0435\u0447\u043d\u043e, \u043d\u0435 \u0442\u043e\u043b\u044c\u043a\u043e \u0432 \u043d\u0430\u0448\u0435\u0439 \u0445\u0435\u0448-\u043c\u0430\u043f\u0435). \u0421 \u0442\u0430\u043a\u043e\u0439 \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0435\u0439 \u043d\u0435 \u043d\u0443\u0436\u043d\u043e \u043f\u0435\u0440\u0435\u0434\u0430\u0432\u0430\u0442\u044c \u043f\u0430\u0440\u0443 <code>\u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c + \u0440\u0430\u0437\u043c\u0435\u0440<\/code> \u0441 \u0440\u0438\u0441\u043a\u043e\u043c \u0432\u044b\u043b\u0435\u0442\u0435\u0442\u044c \u0437\u0430 \u0433\u0440\u0430\u043d\u0438\u0446\u044b.<\/p>\n<p>\u0414\u0435\u043b\u0430\u0435\u043c \u043a\u043e\u0434 \u043e\u043f\u0442\u0438\u043c\u0438\u0437\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u0435\u0435 \u0438 \u0431\u0435\u0437\u043e\u043f\u0430\u0441\u043d\u0435\u0435 \u0441 C++20, \u043f\u0440\u043e\u0434\u043e\u043b\u0436\u0430\u0435\u043c!<\/p>\n<h4>8. \u041a\u043e\u0440\u0443\u0442\u0438\u043d\u044b \u2014 \u00ab\u041b\u0435\u043d\u0438\u0432\u0430\u044f \u0437\u0430\u0433\u0440\u0443\u0437\u043a\u0430 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0439\u00bb<\/h4>\n<p>\u0412\u043e\u0442 <a href=\"https:\/\/habr.com\/ru\/companies\/wunderfund\/articles\/582000\/\" rel=\"noopener noreferrer nofollow\">\u043f\u043e\u0437\u043d\u0430\u0432\u0430\u0442\u0435\u043b\u044c\u043d\u0430\u044f \u0441\u0442\u0430\u0442\u044c\u044f \u043f\u0440\u043e \u043a\u043e\u0440\u0443\u0442\u0438\u043d\u044b<\/a>.<br \/>\u0422\u0435\u043f\u0435\u0440\u044c \u043c\u043e\u0436\u0435\u043c &#171;\u043f\u043e\u0434\u0433\u0440\u0443\u0436\u0430\u0442\u044c&#187; \u0434\u0430\u043d\u043d\u044b\u0435 \u043f\u043e \u043c\u0435\u0440\u0435 \u043e\u0431\u0440\u0430\u0449\u0435\u043d\u0438\u044f \u043a \u043d\u0438\u043c!<\/p>\n<pre><code class=\"cpp\">#include &lt;coroutine&gt;  template &lt;typename Key, typename Value&gt; struct LazyValue {     struct promise_type { \/*...*\/ }; \/\/ \u041e\u043f\u0443\u0441\u0442\u0438\u043c \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u044e     std::coroutine_handle&lt;promise_type&gt; handle;      Value operator()() {         if (!handle.done()) handle.resume();         return handle.promise().value;     } };  hash_map&lt;std::string, LazyValue&lt;int&gt;&gt; lazy_map; lazy_map[\"some_data\"] = load_data_from_internet();  \/\/ \u0417\u0430\u0433\u0440\u0443\u0437\u0438\u0442\u0441\u044f \u0442\u043e\u043b\u044c\u043a\u043e \u043f\u0440\u0438 \u0432\u044b\u0437\u043e\u0432\u0435 lazy_map[\"some_data\"]()<\/code><\/pre>\n<p>\u041f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u044c, \u0447\u0442\u043e \u0437\u0430\u043a\u0430\u0437\u0430\u043b \u043f\u0440\u043e\u0435\u043a\u0442 \u043d\u0430 C++, \u0430 \u0435\u0433\u043e \u043d\u0430\u0447\u043d\u0443\u0442 \u0434\u0435\u043b\u0430\u0442\u044c \u0442\u043e\u043b\u044c\u043a\u043e \u043a\u043e\u0433\u0434\u0430 \u0442\u044b \u0438\u043c \u043f\u043e\u0437\u0432\u043e\u043d\u0438\u0448\u044c \u043f\u0435\u0440\u0435\u0434 \u0434\u0435\u0434\u043b\u0430\u0439\u043d\u043e\u043c.. \u043a\u0440\u0443\u0442\u043e-\u0436\u0435, \u043d\u0435\u0442??<\/p>\n<h4>9. [[no_unique_address]]\u00a0\u2014 \u00ab\u0421\u0436\u0438\u043c\u0430\u0435\u043c \u043f\u0443\u0441\u0442\u044b\u0435 \u043e\u0431\u044a\u0435\u043a\u0442\u044b\u00bb<\/h4>\n<p>\u0415\u0441\u043b\u0438 \u0435\u0441\u0442\u044c \u043f\u0443\u0441\u0442\u044b\u0435 \u043e\u0431\u044a\u0435\u043a\u0442\u044b (\u043d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, \u0430\u043b\u043b\u043e\u043a\u0430\u0442\u043e\u0440 \u0431\u0435\u0437 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f), \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440 \u043c\u043e\u0436\u0435\u0442 \u0438\u0445 \u043e\u043f\u0442\u0438\u043c\u0438\u0437\u0438\u0440\u043e\u0432\u0430\u0442\u044c.<br \/>\u0422\u0430\u043a \u043c\u044b \u0443\u043c\u0435\u043d\u044c\u0448\u0430\u0435\u043c \u0440\u0430\u0437\u043c\u0435\u0440 \u043a\u043b\u0430\u0441\u0441\u0430, \u0435\u0441\u043b\u0438\u00a0Hash\u00a0\u0438\u043b\u0438\u00a0KeyEqual\u00a0\u2014 \u043f\u0443\u0441\u0442\u044b\u0435. <\/p>\n<pre><code class=\"cpp\">template &lt;typename Key, typename Value, typename Hash, typename KeyEqual&gt; class hash_map {     Hash hash_fn;     KeyEqual key_eq;     [[no_unique_address]] Allocator alloc; \/\/ \u041c\u043e\u0436\u0435\u0442 \u0438\u0441\u0447\u0435\u0437\u043d\u0443\u0442\u044c, \u0435\u0441\u043b\u0438 \u043f\u0443\u0441\u0442\u043e\u0439 };<\/code><\/pre>\n<p>\u042d\u0442\u043e \u043c\u043e\u0436\u043d\u043e \u0441\u0440\u0430\u0432\u043d\u0438\u0442\u044c \u0441 \u0443\u0442\u0438\u043b\u0438\u0437\u0430\u0446\u0438\u0435\u0439 \u043a\u043e\u0440\u043e\u0431\u043e\u043a \u0438\u0437 \u043f\u043e\u0434 \u043f\u0438\u0446\u0446\u044b \u0434\u043b\u044f \u0445\u0440\u0430\u043d\u0435\u043d\u0438\u044f \u0432 \u0445\u043e\u043b\u043e\u0434\u0438\u043b\u044c\u043d\u0438\u043a\u0435, \u0437\u0430\u0447\u0435\u043c \u043e\u043d\u0438 \u0442\u0430\u043c \u043d\u0443\u0436\u043d\u044b?<\/p>\n<p>\u041d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, \u0441\u0442\u0430\u043d\u0434\u0430\u0440\u0442\u043d\u044b\u0435 \u0445\u0435\u0448-\u0444\u0443\u043d\u043a\u0446\u0438\u0438 (<code>std::hash&lt;T&gt;<\/code>)\u00a0\u0434\u043b\u044f \u043f\u0440\u0438\u043c\u0438\u0442\u0438\u0432\u043e\u0432 (<code>int<\/code>,\u00a0<code>char*<\/code>) \u0447\u0430\u0441\u0442\u043e \u043d\u0435 \u0441\u043e\u0434\u0435\u0440\u0436\u0430\u0442 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f, \u0430 \u0442\u0430\u043a \u0436\u0435 \u043a\u0430\u0441\u0442\u043e\u043c\u043d\u044b\u0435 \u0445\u0435\u0448\u0435\u0440\u044b \u0431\u0435\u0437 \u043f\u0430\u0440\u043e\u043b\u0435\u0439 (\u043d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u0442\u0441\u044f <code>key % 10<\/code>)<\/p>\n<p>\u0422\u0430\u043a \u0436\u0435 \u044d\u0442\u043e \u043c\u043e\u0433\u0443\u0442 \u0431\u044b\u0442\u044c \u043a\u043e\u043c\u043f\u0430\u0440\u0430\u0442\u043e\u0440\u044b, \u0441\u0442\u0430\u043d\u0434\u0430\u0440\u0442\u043d\u044b\u0435 \u043a\u043e\u043c\u043f\u0430\u0440\u0430\u0442\u043e\u0440\u044b (<code>std::equal_to&lt;&gt;<\/code>,\u00a0<code>std::less&lt;&gt;<\/code>)\u00a0\u043f\u043e\u0447\u0442\u0438 \u0432\u0441\u0435\u0433\u0434\u0430 \u043f\u0443\u0441\u0442\u044b\u0435. \u041d\u0443 \u0438 \u0442\u0430\u043a \u0436\u0435 \u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u0435\u043b\u044c\u0441\u043a\u0438\u0435, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043d\u0435 \u0438\u043c\u0435\u044e\u0442 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f (\u043d\u0430\u043f\u0440\u0438\u043c\u0435\u0440 \u0432\u0441\u044f\u043a\u0438\u0435 \u0441\u0440\u0430\u0432\u043d\u0438\u0432\u0430\u0442\u0435\u043b\u0438 \u0441\u0442\u0440\u043e\u0447\u0435\u043a)).<\/p>\n<p>\u041d\u0430\u043a\u043e\u043d\u0435\u0446 \u0430\u043b\u043b\u043e\u043a\u0430\u0442\u043e\u0440\u044b. \u0412 \u0441\u0442\u0430\u043d\u0434\u0430\u0440\u0442\u043d\u043e\u043c <code>std::allocator<\/code> \u0432\u0441\u0435 \u043c\u0435\u0442\u043e\u0434\u044b \u0441\u0442\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u0435 (\u043e\u043d \u043d\u0435 \u0441\u043e\u0434\u0435\u0440\u0436\u0438\u0442 \u043f\u043e\u043b\u0435\u0439). \u0418, \u043a\u043e\u043d\u0435\u0447\u043d\u043e, \u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u0435\u043b\u044c\u0441\u043a\u0438\u0435 \u0430\u043b\u043b\u043e\u043a\u0430\u0442\u043e\u0440\u044b \u0431\u0435\u0437 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f.<\/p>\n<p>\u041e\u0431\u044a\u0435\u043a\u0442 \u043c\u043e\u0436\u043d\u043e \u043f\u0440\u043e\u0432\u0435\u0440\u0438\u0442\u044c \u043d\u0443 &#171;\u043f\u0443\u0441\u0442\u043e\u0442\u0443&#187; \u0441 \u043f\u043e\u043c\u043e\u0449\u044c\u044e <code>std::is_empty<\/code>:<\/p>\n<pre><code class=\"cpp\">static_assert(std::is_empty_v&lt;DummyHasher&gt;, \"\u0445\u0435\u0448\u0435\u0440 \u043f\u0443\u0441\u0442\u043e\u0439\"); static_assert(std::is_empty_v&lt;CaseInsensitiveCompare&gt;, \"\u043a\u043e\u043c\u043f\u0430\u0440\u0430\u0442\u043e\u0440 \u043f\u0443\u0441\u0442\u043e\u0439\"); static_assert(std::is_empty_v&lt;std::allocator&lt;int&gt;&gt;, \"\u0430\u043b\u043b\u043e\u043a\u0430\u0442\u043e\u0440 \u043f\u0443\u0441\u0442\u043e\u0439\");<\/code><\/pre>\n<p>\u0412\u0430\u0436\u043d\u043e \u043f\u043e\u043d\u0438\u043c\u0430\u0442\u044c, \u0447\u0442\u043e <code>[[no_unique_address]]<\/code> \u043d\u0435 \u0441\u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442, \u0435\u0441\u043b\u0438 \u043e\u0431\u044a\u0435\u043a\u0442 &#8212; \u0447\u0430\u0441\u0442\u044c \u043d\u0430\u0441\u043b\u0435\u0434\u043d\u0438\u043a\u0430 (\u044d\u0442\u043e \u0441\u0432\u044f\u0437\u0430\u043d\u043e \u0441 \u0432\u044b\u0440\u0430\u0432\u043d\u0438\u0432\u0430\u043d\u0438\u0435\u043c), \u0438\u043b\u0438 \u0435\u0441\u043b\u0438 \u0433\u0434\u0435-\u0442\u043e \u0431\u0435\u0440\u0435\u0442\u0441\u044f \u0430\u0434\u0440\u0435\u0441 <br \/>\u044d\u0442\u043e\u0433\u043e \u043e\u0431\u044a\u0435\u043a\u0442\u0430 <code>&amp;hash_fn<\/code>,\u0442\u043e\u0433\u0434\u0430 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440 \u0431\u0443\u0434\u0435\u0442 \u0441\u0447\u0438\u0442\u0430\u0442\u044c \u0430\u0434\u0440\u0435\u0441 &#171;<em>\u0432\u0430\u0436\u043d\u044b\u043c<\/em>&#187; \u0438 \u0443 \u043d\u0430\u0441 \u043d\u0438\u0447\u0435\u0433\u043e \u043d\u0435 \u0432\u044b\u0439\u0434\u0435\u0442. \u041a\u0441\u0442\u0430\u0442\u0438 \u044d\u0442\u043e \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u044e\u0442 \u0438 \u0432 <strong>STL<\/strong>.<\/p>\n<h4>10. std::atomic_ref\u00a0\u2014 \u00ab\u041f\u043e\u0442\u043e\u043a\u043e\u0431\u0435\u0437\u043e\u043f\u0430\u0441\u043d\u043e\u0441\u0442\u044c \u0431\u0435\u0437 \u043c\u044c\u044e\u0442\u0435\u043a\u0441\u043e\u0432\u00bb<\/h4>\n<p>\u0432\u044b\u043a\u043b\u0430\u0434\u043a\u0430 \u0438\u0437 <a href=\"https:\/\/en.cppreference.com\/w\/cpp\/atomic\/atomic_ref\" rel=\"noopener noreferrer nofollow\">cppreference<\/a>.<br \/>\u0431\u0443\u0434\u0435\u043c \u043f\u043e\u0434\u0434\u0435\u0440\u0436\u0438\u0432\u0430\u0442\u044c \u0430\u0442\u043e\u043c\u0430\u0440\u043d\u044b\u0435 \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u0438 \u043d\u0430\u0434 \u043e\u0431\u044a\u0435\u043a\u0442\u0430\u043c\u0438 (\u0435\u0441\u043b\u0438 \u043f\u043e\u0434\u0434\u0435\u0440\u0436\u0438\u0432\u0430\u0435\u0442\u0441\u044f \u043f\u043b\u0430\u0442\u0444\u043e\u0440\u043c\u043e\u0439). \u041c\u043e\u0436\u043d\u043e \u0441\u0434\u0435\u043b\u0430\u0442\u044c\u00a0<strong>lock-free<\/strong>\u00a0\u0432\u0435\u0440\u0441\u0438\u044e \u0434\u043b\u044f \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0451\u043d\u043d\u044b\u0445 \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u0439:<\/p>\n<pre><code class=\"cpp\">#include &lt;atomic&gt;  template &lt;typename Key, typename Value&gt; class thread_safe_hash_map {     std::vector&lt;std::pair&lt;std::atomic&lt;Key&gt;, std::atomic&lt;Value&gt;&gt;&gt; data;          void insert(Key key, Value value) {         std::atomic_ref&lt;Key&gt;(key).store(key);     } };<\/code><\/pre>\n<p>\u041a\u043e\u043d\u0435\u0447\u043d\u043e, \u0437\u0434\u0435\u0441\u044c \u044f \u0443\u0436\u0435 <u>\u0440\u0430\u0437\u043e\u0448\u0435\u043b\u0441\u044f<\/u>, \u043d\u043e \u044f \u0434\u0443\u043c\u0430\u044e \u0431\u044b\u043b\u043e \u0434\u043e\u0441\u0442\u0430\u0442\u043e\u0447\u043d\u043e \u043d\u0430\u0433\u043b\u044f\u0434\u043d\u043e \u0438 \u043f\u0440\u0430\u0432\u0434\u043e\u043f\u043e\u0434\u043e\u0431\u043d\u043e, \u043a\u0430\u043a \u043f\u043e \u043c\u043d\u0435. \u041d\u0430\u0434\u0435\u044e\u0441\u044c \u0432\u0430\u043c \u043f\u043e\u043d\u0440\u0430\u0432\u0438\u043b\u0430\u0441\u044c \u0441\u0442\u0430\u0442\u044c\u044f, \u044f \u043e\u0447\u0435\u043d\u044c \u0441\u0442\u0430\u0440\u0430\u043b\u0441\u044f \u043d\u0430\u0434 \u0435\u0435 \u043d\u0430\u043f\u0438\u0441\u0430\u043d\u0438\u0435\u043c.<br \/>\u0425\u043e\u0447\u0443 \u043e\u0441\u0442\u0430\u0432\u0438\u0442\u044c \u043f\u043e\u0436\u0435\u043b\u0430\u043d\u0438\u0435 \u0432\u0441\u0435\u043c \u043d\u0430\u0447\u0438\u043d\u0430\u044e\u0449\u0438\u043c \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0441\u0442\u0430\u043c: \u043f\u0438\u0448\u0438\u0442\u0435 \u043a\u043e\u0434 \u0445\u043e\u0440\u043e\u0448\u043e, \u043f\u0438\u0448\u0438\u0442\u0435 \u0435\u0433\u043e \u0441 \u043a\u0430\u0439\u0444\u043e\u043c! \ud83d\ude42<\/p>\n<p>\u0411\u0443\u0434\u0443 \u0440\u0430\u0434 \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0442\u0438\u0432\u043d\u043e\u0439 \u0434\u0438\u0441\u043a\u0443\u0441\u0441\u0438\u0438 \u0432 \u043a\u043e\u043c\u043c\u0435\u043d\u0442\u0430\u0440\u0438\u044f\u0445, \u0443\u0432\u0438\u0434\u0438\u043c\u0441\u044f \u0432 \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0435\u0439 \u0441\u0442\u0430\u0442\u044c\u0435!<\/p>\n<\/div>\n<\/div>\n<\/div>\n<p><!----><!----><\/div>\n<p><!----><!----><br \/> \u0441\u0441\u044b\u043b\u043a\u0430 \u043d\u0430 \u043e\u0440\u0438\u0433\u0438\u043d\u0430\u043b \u0441\u0442\u0430\u0442\u044c\u0438 <a href=\"https:\/\/habr.com\/ru\/articles\/897924\/\"> https:\/\/habr.com\/ru\/articles\/897924\/<\/a><br \/><\/br><\/br><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[],"tags":[],"class_list":["post-454928","post","type-post","status-publish","format-standard","hentry"],"_links":{"self":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts\/454928","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=454928"}],"version-history":[{"count":0,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts\/454928\/revisions"}],"wp:attachment":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=454928"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=454928"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=454928"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}