{"id":484194,"date":"2026-06-19T06:00:57","date_gmt":"2026-06-19T06:00:57","guid":{"rendered":"https:\/\/savepearlharbor.com\/?p=484194"},"modified":"-0001-11-30T00:00:00","modified_gmt":"-0001-11-29T21:00:00","slug":"","status":"publish","type":"post","link":"https:\/\/savepearlharbor.com\/?p=484194","title":{"rendered":"\u041d\u0435\u043d\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u043e\u0435 \u043c\u0430\u0440\u043a\u043e\u0432\u0441\u043a\u043e\u0435 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0435: \u0431\u0435\u0433 \u043f\u043e \u043f\u0440\u0430\u0432\u0438\u043b\u0430\u043c"},"content":{"rendered":"<div xmlns=\"http:\/\/www.w3.org\/1999\/xhtml\">\n<p>\u041f\u0440\u043e\u0434\u043e\u043b\u0436\u0435\u043d\u0438\u0435. <a href=\"https:\/\/habr.com\/ru\/articles\/1046688\/\" rel=\"noopener noreferrer nofollow\">\u041d\u0430\u0447\u0430\u043b\u043e \u0437\u0434\u0435\u0441\u044c<\/a>. <a href=\"https:\/\/habr.com\/ru\/articles\/1048176\/\" rel=\"noopener noreferrer nofollow\">\u041f\u0440\u0435\u0434\u044b\u0434\u0443\u0449\u0430\u044f \u0447\u0430\u0441\u0442\u044c<\/a>. \u0420\u0435\u043f\u043e\u0437\u0438\u0442\u043e\u0440\u0438\u0439 \u0441 \u043a\u043e\u0434\u043e\u043c &#8212; <a href=\"https:\/\/github.com\/nickolaym\/nenormal\" rel=\"noopener noreferrer nofollow\">\u043d\u0430 \u0433\u0438\u0442\u0445\u0430\u0431\u0435<\/a>.<\/p>\n<p>(\u0421\u043e\u043a\u0440\u0430\u0449\u0435\u043d\u0438\u044f: \u041d\u0410\u041c &#8212; \u043d\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u044b\u0435 \u0430\u043b\u0433\u043e\u0440\u0438\u0444\u043c\u044b \u041c\u0430\u0440\u043a\u043e\u0432\u0430, \u041a\u0422 &#8212; \u043a\u043e\u043c\u043f\u0430\u0439\u043b-\u0442\u0430\u0439\u043c, \u0420\u0422 &#8212; \u0440\u0430\u043d\u0442\u0430\u0439\u043c).<\/p>\n<p>\u0421\u043b\u0435\u0434\u0443\u044e\u0449\u0430\u044f \u043d\u0435\u043f\u0440\u0438\u044f\u0442\u043d\u043e\u0441\u0442\u044c, \u043a\u043e\u0442\u043e\u0440\u0430\u044f \u043d\u0430\u0441 \u0436\u0434\u0451\u0442, &#8212; \u044d\u0442\u043e \u0446\u0438\u043a\u043b\u044b, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0432 \u041a\u0422 \u0432\u043e\u0432\u0441\u0435 \u043d\u0435 \u0446\u0438\u043a\u043b\u044b. \u041d\u0430\u043c \u043d\u0430\u0434\u043e \u043a\u0430\u043a-\u0442\u043e \u043d\u0430\u0443\u0447\u0438\u0442\u044c\u0441\u044f \u0431\u0435\u0433\u0430\u0442\u044c \u043f\u043e \u043f\u0440\u0430\u0432\u0438\u043b\u0430\u043c, \u0438\u0437 \u043a\u043e\u0442\u043e\u0440\u044b\u0445 \u0441\u043e\u0441\u0442\u043e\u0438\u0442 \u041d\u0410\u041c-\u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0430.<\/p>\n<figure class=\"full-width \"><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/r\/w1560\/getpro\/habr\/upload_files\/6ba\/947\/106\/6ba9471066cd86fdfdaab4c367a425ca.png\" width=\"604\" height=\"338\" sizes=\"auto, (max-width: 780px) 100vw, 50vw\" srcset=\"https:\/\/habrastorage.org\/r\/w780\/getpro\/habr\/upload_files\/6ba\/947\/106\/6ba9471066cd86fdfdaab4c367a425ca.png 780w,&#10;       https:\/\/habrastorage.org\/r\/w1560\/getpro\/habr\/upload_files\/6ba\/947\/106\/6ba9471066cd86fdfdaab4c367a425ca.png 781w\" loading=\"lazy\" decode=\"async\"\/><\/figure>\n<h2>\u041a\u0430\u043a \u0443\u0441\u0442\u0440\u043e\u0435\u043d\u0430 \u041d\u0410\u041c-\u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0430 \u043d\u0430 C++<\/h2>\n<p>\u0412 <a href=\"https:\/\/habr.com\/ru\/articles\/1048176\/\" rel=\"noopener noreferrer nofollow\">\u043f\u0440\u0435\u0434\u044b\u0434\u0443\u0449\u0435\u0439 \u0433\u043b\u0430\u0432\u0435<\/a> \u044f \u0443\u0436\u0435 \u0441\u043a\u0430\u0437\u0430\u043b, \u0447\u0442\u043e \u043a\u0430\u0436\u0434\u043e\u0435 \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u0430\u0440\u043d\u043e\u0435 \u043f\u0440\u0430\u0432\u0438\u043b\u043e &#8212; \u044d\u0442\u043e \u0441\u0438\u043d\u0433\u043b\u0435\u0442\u043e\u043d, \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u0438\u0437\u043e\u0432\u0430\u043d\u043d\u044b\u0439 \u0434\u0432\u0443\u043c\u044f \u0441\u0442\u0440\u043e\u043a\u0430\u043c\u0438 (\u043f\u043e\u0438\u0441\u043a\u0430 \u0438 \u0437\u0430\u043c\u0435\u043d\u044b) \u0438 \u0444\u043b\u0430\u0436\u043a\u043e\u043c (\u043e\u0431\u044b\u0447\u043d\u043e\u0435\/\u0444\u0438\u043d\u0430\u043b\u044c\u043d\u043e\u0435). \u0410 \u043f\u043e\u0434\u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0430 &#8212; \u044d\u0442\u043e \u0441\u0438\u043d\u0433\u043b\u0435\u0442\u043e\u043d, \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u0438\u0437\u043e\u0432\u0430\u043d\u043d\u044b\u0439 \u043d\u0430\u0431\u043e\u0440\u043e\u043c \u043f\u0440\u0430\u0432\u0438\u043b.<\/p>\n<p>\u0418\u043d\u0442\u0435\u0440\u0444\u0435\u0439\u0441 \u043f\u043e\u0434\u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u044b \u0434\u043e\u043b\u0436\u0435\u043d \u0431\u044b\u0442\u044c \u0442\u0430\u043a\u0438\u043c \u0436\u0435, \u043a\u0430\u043a \u0443 \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u0430\u0440\u043d\u043e\u0433\u043e \u043f\u0440\u0430\u0432\u0438\u043b\u0430, \u0447\u0442\u043e\u0431\u044b \u043c\u043e\u0436\u043d\u043e \u0431\u044b\u043b\u043e \u0434\u0435\u043b\u0430\u0442\u044c \u043f\u043e\u0434\u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u044b \u0441 \u043f\u043e\u0434\u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0430\u043c\u0438. \u041d\u0435 \u0442\u043e, \u0447\u0442\u043e \u044d\u0442\u043e \u0436\u0438\u0437\u043d\u0435\u043d\u043d\u0430\u044f \u043d\u0435\u043e\u0431\u0445\u043e\u0434\u0438\u043c\u043e\u0441\u0442\u044c, \u043d\u043e \u0434\u043b\u044f \u0441\u0442\u0440\u0443\u043a\u0442\u0443\u0440\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f \u041d\u0410\u041c-\u043a\u043e\u0434\u0430 \u043e\u0447\u0435\u043d\u044c \u043f\u043e\u043b\u0435\u0437\u043d\u043e. (\u041c\u0438\u043d\u0438\u043c\u0430\u043b\u0438\u0441\u0442\u0438\u0447\u043d\u044b\u0439 \u0434\u0432\u0438\u0436\u043e\u043a \u043c\u043e\u0433 \u0431\u044b \u0441\u043e\u0441\u0442\u043e\u044f\u0442\u044c \u0440\u043e\u0432\u043d\u043e \u0438\u0437 \u0442\u0440\u0451\u0445 \u0443\u0440\u043e\u0432\u043d\u0435\u0439: \u043c\u0430\u0448\u0438\u043d\u0430, \u0441\u043f\u0438\u0441\u043e\u043a \u043f\u0440\u0430\u0432\u0438\u043b, \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u0430\u0440\u043d\u044b\u0435 \u043f\u0440\u0430\u0432\u0438\u043b\u0430).<\/p>\n<p>\u0411\u043e\u043b\u0435\u0435 \u0442\u043e\u0433\u043e, \u0446\u0438\u043a\u043b \u0438\u0441\u043f\u043e\u043b\u043d\u0435\u043d\u0438\u044f \u041d\u0410\u041c-\u043c\u0430\u0448\u0438\u043d\u044b \u0442\u043e\u0436\u0435 \u043c\u043e\u0436\u043d\u043e \u0441\u0434\u0435\u043b\u0430\u0442\u044c \u0441 \u0442\u0430\u043a\u0438\u043c \u0436\u0435 \u0438\u043d\u0442\u0435\u0440\u0444\u0435\u0439\u0441\u043e\u043c. \u0423 \u043d\u0435\u0433\u043e \u043d\u0430 \u0432\u0445\u043e\u0434\u0435 \u0441\u0442\u0440\u043e\u043a\u0430 \u0432 \u043a\u0430\u043a\u043e\u0439-\u0442\u043e \u0434\u0435\u043a\u043e\u0440\u0430\u0446\u0438\u0438, \u0438 \u043d\u0430 \u0432\u044b\u0445\u043e\u0434\u0435 \u0441\u0442\u0440\u043e\u043a\u0430 \u0432 \u043a\u0430\u043a\u043e\u0439-\u0442\u043e \u0434\u0435\u043a\u043e\u0440\u0430\u0446\u0438\u0438.<\/p>\n<pre><code class=\"cpp\">template&lt;class T&gt; concept RuleInput = .....; \/\/ \u043e\u0431\u0451\u0440\u0442\u043a\u0430 \u043d\u0430\u0434 CtStrtemplate&lt;class T&gt; concept RuleOutput = .....; \/\/ \u043e\u0431\u0451\u0440\u0442\u043a\u0430 \u043d\u0430\u0434 CtStrenum class rule_kind { regular, final };template&lt;Str auto search, Str auto replace, rule_kind kind&gt;struct rule {  REPRESENT(Rule)  constexpr RuleOutput decltype(auto) operator()(RuleInput auto&amp;&amp; in) const {    \/\/ \u043f\u044b\u0442\u0430\u0435\u043c\u0441\u044f \u0432\u044b\u043f\u043e\u043b\u043d\u0438\u0442\u044c \u043f\u043e\u0434\u0441\u0442\u0430\u043d\u043e\u0432\u043a\u0443,    \/\/ \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u043c    \/\/ - \u043f\u0440\u0438\u0437\u043d\u0430\u043a \u0443\u0441\u043f\u0435\u0445\u0430-\u043d\u0435\u0443\u0441\u043f\u0435\u0445\u0430,    \/\/ - \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442 \u043f\u043e\u0434\u0441\u0442\u0430\u043d\u043e\u0432\u043a\u0438,    \/\/ - \u0434\u043e\u0441\u0442\u0438\u0433\u043b\u0438 \u0438\u043b\u0438 \u043d\u0435\u0442 \u0444\u0438\u043d\u0430\u043b\u044c\u043d\u043e\u0433\u043e \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f  }};template&lt;Rule auto... ps&gt;struct rules {  REPRESENT(Rule)  constexpr RuleOutput decltype(auto) operator(RuleInput auto&amp;&amp; in) const {    \/\/ \u041f\u0421\u0415\u0412\u0414\u041e\u041a\u041e\u0414!!!    for (p in ps...) {      auto out = p(in);      if constexpr (matched(out)) return out;    }    return in;  }};template&lt;Rule auto p&gt;struct rule_loop {  REPRESENT(Rule)  constexpr RuleOutput decltype(auto) operator(RuleInput auto&amp;&amp; in) const {    \/\/ \u041f\u0421\u0415\u0412\u0414\u041e\u041a\u041e\u0414!!!    auto current = in;    while (true) {      auto out = p(current);      if constexpr (final_state(out)) return out;      if constexpr (!matched(out)) return out; \/\/ \u0438\u043d\u0430\u0447\u0435 \u0437\u0430\u0446\u0438\u043a\u043b\u0438\u043c\u0441\u044f      current = out;    }  }};<\/code><div class=\"code-explainer\"><a href=\"https:\/\/sourcecraft.dev\/\" class=\"tm-button code-explainer__link\" style=\"visibility: hidden;\"><img style=\"width:87px;height:14px;object-fit:cover;object-position:left;\"\/><\/a><\/div><\/pre>\n<p>\u0427\u0442\u043e \u044d\u0442\u043e \u0437\u0430 \u0434\u0435\u043a\u043e\u0440\u0430\u0446\u0438\u0438, \u044f \u0438 \u0440\u0430\u0441\u0441\u043a\u0430\u0436\u0443 \u043d\u0438\u0436\u0435. \u041d\u043e \u043d\u0430\u0447\u043d\u0443 \u0441 \u0442\u043e\u0433\u043e, \u043a\u0430\u043a \u0432\u043e\u043e\u0431\u0449\u0435 \u0434\u0435\u043b\u0430\u0442\u044c \u0442\u0430\u043a\u0438\u0435 \u0446\u0438\u043a\u043b\u044b.<\/p>\n<h2>Disclaimer<\/h2>\n<p>\u0412 \u044d\u0442\u043e\u0439 \u0441\u0442\u0430\u0442\u044c\u0435 \u044f \u043d\u0435 \u043f\u0440\u043e\u0441\u0442\u043e \u043f\u043e\u043a\u0430\u0436\u0443 \u0438\u0442\u043e\u0433\u043e\u0432\u043e\u0435 \u0440\u0435\u0448\u0435\u043d\u0438\u0435, \u0430 \u0443\u0441\u0442\u0440\u043e\u044e \u0438\u043c\u0435\u043d\u043d\u043e <strong>\u0437\u0430\u0431\u0435\u0433 \u043f\u043e \u0433\u0440\u0430\u0431\u043b\u044f\u043c<\/strong>. \u041f\u043e\u043a\u0430\u0436\u0443, \u043a\u0430\u043a \u0432\u043e\u043e\u0431\u0449\u0435 \u043c\u043e\u0436\u043d\u043e \u043f\u0438\u0441\u0430\u0442\u044c \u041a\u0422-\u0446\u0438\u043a\u043b\u044b, \u043a\u0430\u043a\u0438\u0435 \u0438\u0434\u0435\u0438 \u0437\u0430 \u044d\u0442\u0438\u043c \u0441\u0442\u043e\u044f\u0442, \u0438 \u0447\u0442\u043e \u0438\u0437 \u044d\u0442\u043e\u0433\u043e \u043e\u043a\u0430\u0437\u0430\u043b\u043e\u0441\u044c \u043d\u0435\u043f\u0440\u0438\u044f\u0442\u043d\u043e\u0441\u0442\u044f\u043c\u0438, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043c\u0435\u043d\u044f \u0436\u0434\u0430\u043b\u0438.<\/p>\n<p>\u042d\u0442\u043e \u043d\u0435 \u0437\u043d\u0430\u0447\u0438\u0442, \u0447\u0442\u043e \u043f\u0440\u043e\u043c\u0435\u0436\u0443\u0442\u043e\u0447\u043d\u044b\u0435 \u0440\u0435\u0448\u0435\u043d\u0438\u044f \u043f\u043b\u043e\u0445\u0438\u0435, &#8212; \u0432 \u0434\u0440\u0443\u0433\u0438\u0445 \u0443\u0441\u043b\u043e\u0432\u0438\u044f\u0445 \u0438\u0445 \u043e\u0447\u0435\u043d\u044c \u0434\u0430\u0436\u0435 \u043c\u043e\u0436\u043d\u043e \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c.<\/p>\n<p>\u0422\u0443\u0442 \u0435\u0441\u0442\u044c \u0432\u0430\u0436\u043d\u044b\u0435 \u043d\u0435\u043e\u0447\u0435\u0432\u0438\u0434\u043d\u044b\u0435 \u043c\u043e\u043c\u0435\u043d\u0442\u044b, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043c\u043e\u0433\u0443\u0442 \u043f\u0435\u0441\u0441\u0438\u043c\u0438\u0437\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u043a\u043e\u0434, \u0430 \u0442\u043e \u0438 \u043f\u0440\u0438\u0432\u043e\u0434\u0438\u0442\u044c \u043a \u043d\u0435\u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0451\u043d\u043d\u043e\u043c\u0443 \u043f\u043e\u0432\u0435\u0434\u0435\u043d\u0438\u044e, \u0435\u0441\u043b\u0438 \u043e\u043f\u0442\u0438\u043c\u0438\u0437\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u0431\u0435\u0437\u0434\u0443\u043c\u043d\u043e.<\/p>\n<h2>\u0426\u0438\u043a\u043b for<\/h2>\n<p>\u041d\u0430\u043f\u043e\u043c\u043d\u044e, \u0447\u0442\u043e \u0443 \u043d\u0430\u0441 \u0434\u0432\u0435 \u0431\u0435\u0434\u044b: <strong>\u0440\u0430\u0437\u043d\u043e\u0442\u0438\u043f\u043d\u044b\u0435 \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u044b<\/strong> \u043f\u043e\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u0442\u0435\u043b\u044c\u043d\u043e\u0441\u0442\u0438 (\u0432 \u0434\u0430\u043d\u043d\u043e\u043c \u0441\u043b\u0443\u0447\u0430\u0435 &#8212; \u043f\u0440\u0430\u0432\u0438\u043b\u0430) \u0438 <strong>\u0440\u0430\u0437\u043d\u043e\u0442\u0438\u043f\u043d\u044b\u0435 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u044b<\/strong>, \u043f\u043e\u043b\u0443\u0447\u0430\u0435\u043c\u044b\u0435 \u043d\u0430 \u043a\u0430\u0436\u0434\u043e\u0439 \u0438\u0442\u0435\u0440\u0430\u0446\u0438\u0438. \u0417\u0430\u0442\u043e \u0445\u043e\u0440\u043e\u0448\u043e, \u0447\u0442\u043e \u043a\u043e\u043b\u0438\u0447\u0435\u0441\u0442\u0432\u043e \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u043e\u0432 \u0437\u0430\u0440\u0430\u043d\u0435\u0435 \u0438\u0437\u0432\u0435\u0441\u0442\u043d\u043e (\u0432\u0430\u0440\u0438\u0430\u0434\u0438\u043a).<\/p>\n<h4>\u0418\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u043c fold-expressions&#8230;<\/h4>\n<p>\u0415\u0441\u043b\u0438 \u0431\u044b \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u044b \u0431\u044b\u043b\u0438 \u043e\u0434\u043d\u043e\u0440\u043e\u0434\u043d\u044b\u043c\u0438 (\u0438 assignable), &#8212; \u043a\u0430\u043a \u0432\u043d\u0443\u0442\u0440\u0438 \u0444\u0443\u043d\u043a\u0446\u0438\u0438 concat_str \u0438\u0437 <a href=\"https:\/\/habr.com\/ru\/articles\/1048176\/\" rel=\"noopener noreferrer nofollow\">\u043f\u0440\u0435\u0434\u044b\u0434\u0443\u0449\u0435\u0439 \u0433\u043b\u0430\u0432\u044b<\/a>, &#8212; \u0442\u043e \u043c\u043e\u0436\u043d\u043e \u0431\u044b\u043b\u043e \u0431\u044b \u0441\u0434\u0435\u043b\u0430\u0442\u044c \u0441 \u043f\u043e\u043c\u043e\u0449\u044c\u044e fold-expressions \u043d\u0430 \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u0435 &#171;,&#187; \u0438\u043b\u0438 \u043a\u043e\u043d\u044a\u044e\u043d\u043a\u0446\u0438\u0438 (\u043b\u0438\u0431\u043e \u0434\u0438\u0437\u044a\u044e\u043d\u043a\u0446\u0438\u0438).<\/p>\n<pre><code class=\"cpp\">void do_for_all(auto arg, auto... funs) {  (funs(arg) , ...);}auto chain_for_all(auto seed, auto... funs) {  ((seed = funs(seed)), ...);  \/\/ \u0440\u0430\u0437\u0432\u043e\u0440\u0430\u0447\u0438\u0432\u0430\u0435\u0442\u0441\u044f \u0432  seed = f1(seed),  seed = f2(seed),  .....;  return seed;}auto chain_for_all_while(auto seed, auto cond, auto... funs) {  ((cond(seed) &amp;&amp; (seed = funs(seed), true)) &amp;&amp; ... &amp;&amp; true);  \/\/ \u0440\u0430\u0437\u0432\u043e\u0440\u0430\u0447\u0438\u0432\u0430\u0435\u0442\u0441\u044f \u0432  cond(seed) &amp;&amp; (seed = f1(seed), true) &amp;&amp;  cond(seed) &amp;&amp; (seed = f2(seed), true) &amp;&amp;  .....  true;  \/\/ \u043f\u043e\u0441\u043b\u0435\u0434\u043d\u0435\u0435 \u043d\u0443\u0436\u043d\u043e \u043d\u0430 \u0441\u043b\u0443\u0447\u0430\u0439, \u0435\u0441\u043b\u0438 sizeof...(funs) == 0  return seed;}<\/code><div class=\"code-explainer\"><a href=\"https:\/\/sourcecraft.dev\/\" class=\"tm-button code-explainer__link\" style=\"visibility: hidden;\"><img style=\"width:14px;height:14px;object-fit:cover;object-position:left;\"\/><\/a><\/div><\/pre>\n<h4>\u0414\u0435\u043b\u0430\u0435\u043c \u043a\u043e\u043d\u0432\u0435\u0435\u0440&#8230;<\/h4>\n<p>\u041d\u043e \u0447\u0442\u043e, \u0435\u0441\u043b\u0438 \u043d\u0430\u043c \u043d\u0443\u0436\u043d\u043e \u0441\u0434\u0435\u043b\u0430\u0442\u044c \u0447\u0442\u043e-\u0442\u043e \u0432\u0438\u0434\u0430 <code>fn(...(f2(f1(seed)))...)<\/code>.<\/p>\n<p>\u0422\u0430\u043a \u044d\u0442\u043e \u0436\u0435 \u043a\u043e\u043d\u0432\u0435\u0435\u0440! <code>(seed &gt;&gt; f1 &gt;&gt; f2 &gt;&gt; ... &gt;&gt; fn)<\/code>. \u0412\u0441\u0451, \u0447\u0442\u043e \u043d\u0435\u043e\u0431\u0445\u043e\u0434\u0438\u043c\u043e, &#8212; \u044d\u0442\u043e \u043d\u0430\u043a\u043e\u043b\u0434\u043e\u0432\u0430\u0442\u044c \u0434\u0432\u0443\u043c\u0435\u0441\u0442\u043d\u044b\u0439 \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440. \u0422\u0443\u0442 &#8212; \u043b\u0438\u0431\u043e \u0441\u0430\u043c seed \u0442\u0430\u043a\u043e\u0435 \u0443\u043c\u0435\u0435\u0442, \u043b\u0438\u0431\u043e \u0441\u0434\u0435\u043b\u0430\u0435\u043c \u043e\u0431\u0451\u0440\u0442\u043a\u0443.<\/p>\n<pre><code class=\"cpp\">template&lt;class T&gt; struct arg_wrapper {  T value;  auto operator &gt;&gt; (auto fun) const {    using U = decltype(fun(value));    return arg_wrapper&lt;U&gt;{fun(value)};    \/\/ CTAD \u0442\u0443\u0442 \u043d\u0435 \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442.    \/\/ \u0432\u043d\u0443\u0442\u0440\u0438 \u043a\u043b\u0430\u0441\u0441\u0430 \u0438\u043c\u044f \u043a\u043b\u0430\u0441\u0441\u0430 \u043e\u0437\u043d\u0430\u0447\u0430\u0435\u0442 \u043d\u0435 \u0448\u0430\u0431\u043b\u043e\u043d, \u0430 \u043a\u043e\u043d\u043a\u0440\u0435\u0442\u043d\u043e\u0435 \u0432\u043e\u043f\u043b\u043e\u0449\u0435\u043d\u0438\u0435.    \/\/ \u043f\u043e\u044d\u0442\u043e\u043c\u0443 \u0442\u0438\u043f \u043f\u0440\u0438\u0434\u0451\u0442\u0441\u044f \u0432\u044b\u0432\u0435\u0441\u0442\u0438 \u0432\u0440\u0443\u0447\u043d\u0443\u044e.  }};auto chain_for_all(auto seed, auto... funs) {  return (arg_wrapper{seed} &gt;&gt; ... &gt;&gt; funs).value;}<\/code><div class=\"code-explainer\"><a href=\"https:\/\/sourcecraft.dev\/\" class=\"tm-button code-explainer__link\" style=\"visibility: hidden;\"><img style=\"width:14px;height:14px;object-fit:cover;object-position:left;\"\/><\/a><\/div><\/pre>\n<h4>\u0414\u0435\u043b\u0430\u0435\u043c \u043c\u043e\u043d\u0430\u0434\u0443 Either&#8230;<\/h4>\n<p>\u0427\u0442\u043e\u0431\u044b \u043f\u0440\u0435\u0440\u0432\u0430\u0442\u044c \u0446\u0438\u043a\u043b, &#8212; \u043d\u0443\u0436\u043d\u043e \u0441\u0434\u0435\u043b\u0430\u0442\u044c \u041a\u0422-\u0440\u0430\u0437\u0432\u0438\u043b\u043a\u0443: \u0434\u043e \u0442\u043e\u0447\u043a\u0438 \u043f\u0440\u0435\u0440\u044b\u0432\u0430\u043d\u0438\u044f \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440 \u043f\u0440\u0438\u043c\u0435\u043d\u044f\u0435\u0442 \u0444\u0443\u043d\u043a\u0446\u0438\u044e \u043a \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u0443, \u0430 \u043f\u043e\u0441\u043b\u0435 &#8212; \u0438\u0433\u043d\u043e\u0440\u0438\u0440\u0443\u0435\u0442 \u0432\u0445\u043e\u0434\u044f\u0449\u0443\u044e \u0444\u0443\u043d\u043a\u0446\u0438\u044e. \u041d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, \u0442\u0430\u043a:<\/p>\n<pre><code class=\"cpp\">template&lt;class T, class C&gt; struct either {  T value;  C cond;  constexpr bool is_right() const { return cond(value); }  decltype(auto) operator &gt;&gt; (auto fun) const {    if constexpr (cond(value)) {      return either&lt;decltype(fun(value)), C&gt;{fun(value), cond}; \/\/ rvalue    } else {      return *this; \/\/ const&amp;    }  }};auto chain_for_all(auto seed, auto cond, auto... fs) {  return (either{seed, cond} &gt;&gt; ... &gt;&gt; fs).value;}<\/code><div class=\"code-explainer\"><a href=\"https:\/\/sourcecraft.dev\/\" class=\"tm-button code-explainer__link\" style=\"visibility: hidden;\"><img style=\"width:14px;height:14px;object-fit:cover;object-position:left;\"\/><\/a><\/div><\/pre>\n<p>\u042f \u043d\u0435 \u043f\u0440\u043e\u0441\u0442\u043e \u0442\u0430\u043a \u043d\u0430\u0437\u0432\u0430\u043b \u043e\u0431\u0451\u0440\u0442\u043a\u0443 either, &#8212; \u044d\u0442\u043e \u0434\u0435\u0439\u0441\u0442\u0432\u0438\u0442\u0435\u043b\u044c\u043d\u043e \u043c\u043e\u043d\u0430\u0434\u0430 Either. \u0421\u0442\u0430\u0440\u0442\u043e\u0432\u043e\u0435 \u0438 \u043f\u0440\u043e\u043c\u0435\u0436\u0443\u0442\u043e\u0447\u043d\u044b\u0435 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u0430 &#8212; \u043b\u0438\u0431\u043e Right \u0447\u0442\u043e-\u0442\u043e (\u043f\u0440\u043e\u0434\u043e\u043b\u0436\u0430\u0435\u043c \u0437\u0430\u0431\u0435\u0433), \u043b\u0438\u0431\u043e Left \u0447\u0442\u043e-\u0442\u043e (\u0438\u0433\u043d\u043e\u0440\u0438\u0440\u0443\u0435\u043c \u0445\u0432\u043e\u0441\u0442).<\/p>\n<h4>&lt;disclaimer&gt;<\/h4>\n<p>\u042f \u043d\u0435 \u0441\u0442\u0430\u0432\u0438\u043b \u043f\u0435\u0440\u0435\u0434 \u0441\u043e\u0431\u043e\u0439 \u0437\u0430\u0434\u0430\u0447\u0443 \u0441\u0434\u0435\u043b\u0430\u0442\u044c \u043f\u043e\u043b\u043d\u043e\u0446\u0435\u043d\u043d\u044b\u0439 \u0438\u043d\u0442\u0435\u0440\u0444\u0435\u0439\u0441 &#171;\u0442\u0430\u0439\u043f\u043a\u043b\u0430\u0441\u0441 \u043c\u043e\u043d\u0430\u0434\u0430&#187;, \u043f\u043e\u0442\u043e\u043c\u0443 \u0447\u0442\u043e \u043c\u043e\u044f \u0437\u0430\u0434\u0430\u0447\u0430 &#8212; \u043d\u0435 \u0445\u0430\u0441\u043a\u0435\u043b\u043b \u0438\u043b\u0438 \u0441\u043a\u0430\u043b\u0443 \u0432\u043e\u0441\u043f\u0440\u043e\u0438\u0437\u0432\u0435\u0441\u0442\u0438, \u0430 \u0440\u0435\u0448\u0438\u0442\u044c \u043f\u0440\u0438\u043a\u043b\u0430\u0434\u043d\u0443\u044e \u0437\u0430\u0434\u0430\u0447\u0443.<\/p>\n<h4>&lt;\/disclaimer&gt;<\/h4>\n<p>\u0415\u0441\u043b\u0438 \u043c\u044b \u0434\u043e\u0433\u043e\u0432\u043e\u0440\u0438\u043c\u0441\u044f, \u0447\u0442\u043e \u0444\u0443\u043d\u043a\u0446\u0438\u0438 \u0441\u0430\u043c\u0438 \u043e\u0442\u043e\u0431\u0440\u0430\u0436\u0430\u044e\u0442 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442 \u0432 Either, \u0442\u043e \u043c\u043e\u0436\u043d\u043e \u043d\u0435 \u0442\u0430\u0449\u0438\u0442\u044c \u043f\u0440\u043e\u0432\u0435\u0440\u043e\u0447\u043d\u044b\u0439 \u043f\u0440\u0435\u0434\u0438\u043a\u0430\u0442:<\/p>\n<pre><code class=\"cpp\">\/\/ \u0437\u0434\u0435\u0441\u044c \u0432\u0441\u0435 f - \u044d\u0442\u043e \u0444\u0443\u043d\u043a\u0446\u0438\u0438 EitherOfSmth auto (Smth auto)\/\/ \u0433\u0434\u0435 Smth - \u043f\u0440\u0435\u0434\u043c\u0435\u0442\u043d\u0430\u044f \u043e\u0431\u043b\u0430\u0441\u0442\u044ctemplate&lt;Smth T&gt; struct left {  REPRESENTS(EitherOfSmth)  REPRESENTS(LeftOfSmth)  T value;  \/\/ \u043d\u0435 \u0431\u0443\u0434\u0435\u043c \u0437\u0430\u043d\u0438\u043c\u0430\u0442\u044c\u0441\u044f \u043a\u043e\u043f\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0435\u043c \u0441\u0435\u0431\u044f, \u0430 \u043e\u0442\u0434\u0430\u0434\u0438\u043c \u0441\u0441\u044b\u043b\u043a\u0443  EitherOfSmth auto&amp;&amp; operator &gt;&gt; (auto f) &amp;&amp; { return std::move(*this); }};template&lt;Smth T&gt; struct right {  REPRESENTS(EitherOfSmth)  REPRESENTS(RightOfSmth)  T value;  EitherOfSmth auto operator &gt;&gt; (auto f) &amp;&amp; { return f(std::move(value)); }};EitherOfSmth auto chain_for_either_monad(Smth auto seed, auto... fs) {  return (right{std::move(seed)} &gt;&gt; ... &gt;&gt; fs);}<\/code><div class=\"code-explainer\"><a href=\"https:\/\/sourcecraft.dev\/\" class=\"tm-button code-explainer__link\" style=\"visibility: hidden;\"><img style=\"width:14px;height:14px;object-fit:cover;object-position:left;\"\/><\/a><\/div><\/pre>\n<p>(\u0417\u0434\u0435\u0441\u044c \u0438 \u0434\u0430\u043b\u0435\u0435 \u044f \u043d\u0435 \u0431\u0443\u0434\u0443 \u043f\u043e\u0434\u0434\u0435\u0440\u0436\u0438\u0432\u0430\u0442\u044c \u043e\u0434\u043d\u043e\u0432\u0440\u0435\u043c\u0435\u043d\u043d\u043e const&amp; \u0438 &amp;&amp;, \u0447\u0442\u043e\u0431\u044b \u043d\u0435 \u0437\u0430\u0433\u0440\u043e\u043c\u043e\u0436\u0434\u0430\u0442\u044c \u0440\u0430\u0441\u0441\u0443\u0436\u0434\u0435\u043d\u0438\u044f. \u0418\u043d\u0430\u0447\u0435 \u0442\u0430\u043c \u043f\u043e\u044f\u0432\u044f\u0442\u0441\u044f \u0441\u0442\u0440\u0430\u0448\u043d\u0435\u043d\u044c\u043a\u0438\u0435 \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0446\u0438\u0438 \u0432\u0438\u0434\u0430 <code>std::forward&lt;decltype(v)&gt;(v)<\/code> \u0438 \u0434\u0443\u0431\u043b\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0435 \u0444\u0443\u043d\u043a\u0446\u0438\u0439 \u043b\u0438\u0431\u043e deducing this).<\/p>\n<h4>\u0414\u0435\u043b\u0430\u0435\u043c switch&#8230;<\/h4>\n<p>\u041d\u043e \u043f\u043e\u0441\u043c\u043e\u0442\u0440\u0438\u043c, \u0432 \u043a\u0430\u043a\u0438\u0445 \u0441\u043b\u0443\u0447\u0430\u044f\u0445 \u0444\u0443\u043d\u043a\u0446\u0438\u044f, \u0432\u044b\u043f\u043e\u043b\u043d\u044f\u044e\u0449\u0430\u044f \u041d\u0410\u041c-\u043f\u0440\u0430\u0432\u0438\u043b\u043e (\u0438\u043b\u0438 \u041d\u0410\u041c-\u043f\u043e\u0434\u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0443) \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u0442 Right? \u041a\u043e\u0433\u0434\u0430 \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442 \u043d\u0435 \u043f\u043e\u0434\u043e\u0448\u0451\u043b. \u041f\u043e\u043b\u0443\u0447\u0430\u0435\u0442\u0441\u044f, \u0447\u0442\u043e \u0434\u043b\u044f \u0441\u0438\u0433\u043d\u0430\u0442\u0443\u0440\u044b EitherOfSmth(Smth) \u043c\u044b \u043f\u043e\u0441\u0442\u043e\u044f\u043d\u043d\u043e \u0437\u0430\u043d\u0438\u043c\u0430\u0435\u043c\u0441\u044f \u0440\u0430\u0441\u043f\u0430\u043a\u043e\u0432\u043a\u043e\u0439-\u043f\u0435\u0440\u0435\u0443\u043f\u0430\u043a\u043e\u0432\u043a\u043e\u0439. \u0422\u043e, \u0447\u0442\u043e \u0445\u043e\u0440\u043e\u0448\u043e \u0434\u043b\u044f \u0445\u0430\u0441\u043a\u0435\u043b\u043b\u0430, &#8212; \u043f\u043b\u043e\u0445\u043e \u0434\u043b\u044f C++. \u041f\u043e\u044d\u0442\u043e\u043c\u0443 \u043f\u0435\u0440\u0432\u0430\u044f \u0438\u0434\u0435\u044f &#8212; \u0437\u0430\u043c\u0435\u043d\u0438\u0442\u044c \u0441\u0438\u0433\u043d\u0430\u0442\u0443\u0440\u0443 \u043d\u0430 EitherOfSmth(RightOfSmth). \u0412\u043c\u0435\u0441\u0442\u043e \u0442\u043e\u0442\u0430\u043b\u044c\u043d\u044b\u0445 \u0444\u0443\u043d\u043a\u0446\u0438\u0439 \u0438\u0437 Smth \u0432 Either \u043c\u044b \u0441\u0434\u0435\u043b\u0430\u043b\u0438 \u0447\u0430\u0441\u0442\u0438\u0447\u043d\u044b\u0435 \u0432\u043d\u0443\u0442\u0440\u0438 Either. \u041d\u043e \u0431\u043b\u0430\u0433\u043e\u0434\u0430\u0440\u044f \u0432\u0435\u0442\u0432\u043b\u0435\u043d\u0438\u044e \u0432 \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u0435 &gt;&gt;, \u043e\u043d\u0438, \u043d\u0430 \u0441\u0430\u043c\u043e\u043c \u0434\u0435\u043b\u0435, \u0442\u043e\u0442\u0430\u043b\u044c\u043d\u044b\u0435 \u0438\u0437 Right \u0432 Either.<\/p>\n<pre><code class=\"cpp\">template&lt;Smth T&gt; struct left {  REPRESENTS(EitherOfSmth)  REPRESENTS(LeftOfSmth)  T value;  \/\/ \u043d\u0435 \u0431\u0443\u0434\u0435\u043c \u0437\u0430\u043d\u0438\u043c\u0430\u0442\u044c\u0441\u044f \u043a\u043e\u043f\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0435\u043c \u0441\u0435\u0431\u044f, \u0430 \u043e\u0442\u0434\u0430\u0434\u0438\u043c \u0441\u0441\u044b\u043b\u043a\u0443  EitherOfSmth auto&amp;&amp; operator &gt;&gt; (auto f) &amp;&amp; { return std::move(*this); }};template&lt;Smth T&gt; struct right {  REPRESENTS(EitherOfSmth)  REPRESENTS(RightOfSmth)  T value;  \/\/ \u0444\u0443\u043d\u043a\u0446\u0438\u044f \u043c\u043e\u0436\u0435\u0442 \u0432\u0435\u0440\u043d\u0443\u0442\u044c \u0441\u0441\u044b\u043b\u043a\u0443 \u043d\u0430 this, \u0435\u0441\u043b\u0438 \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442 \u0435\u0439 \u043d\u0435 \u043f\u043e\u0434\u043e\u0448\u0451\u043b  EitherOfSmth decltype(auto) operator &gt;&gt; (auto f) &amp;&amp; { return f(std::move(value)); }};EitherOfSmth auto chain_for_either_monad(EitherOfSmth auto seed, auto... fs) {  return (std::move(seed) &gt;&gt; ... &gt;&gt; fs);}EitherOfSmth decltype(auto) some_fun(EitherOfSmth auto&amp;&amp; arg) {  if constexpr (.....)    return std::move(arg);  else    return left{.....};}<\/code><div class=\"code-explainer\"><a href=\"https:\/\/sourcecraft.dev\/\" class=\"tm-button code-explainer__link\" style=\"visibility: hidden;\"><img style=\"width:14px;height:14px;object-fit:cover;object-position:left;\"\/><\/a><\/div><\/pre>\n<p>\u0422\u0443\u0442, \u043a\u0441\u0442\u0430\u0442\u0438, \u0432\u043e\u0437\u043d\u0438\u043a\u0430\u0435\u0442 \u0438\u043d\u0442\u0435\u0440\u0435\u0441\u043d\u0430\u044f \u043f\u0440\u043e\u0431\u043b\u0435\u043c\u0430 &#8212; \u0432\u0440\u0435\u043c\u044f \u0436\u0438\u0437\u043d\u0438 \u043e\u0431\u044a\u0435\u043a\u0442\u043e\u0432. \u041a \u043a\u043e\u043d\u0446\u0443 \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u044f \u043c\u043e\u0436\u0435\u0442 \u043f\u0440\u0438\u0435\u0445\u0430\u0442\u044c<\/p>\n<ul>\n<li>\n<p>\u0438\u0441\u0445\u043e\u0434\u043d\u044b\u0439 right-\u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442 (\u043d\u0435 \u043f\u043e\u0434\u043e\u0448\u043b\u043e \u043d\u0438 \u043a \u043e\u0434\u043d\u043e\u0439 \u0444\u0443\u043d\u043a\u0446\u0438\u0438) \u043f\u043e rvalue-\u0441\u0441\u044b\u043b\u043a\u0435<\/p>\n<\/li>\n<li>\n<p>\u043f\u0440\u043e\u043c\u0435\u0436\u0443\u0442\u043e\u0447\u043d\u044b\u0439 left-\u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442 (\u0444\u0443\u043d\u043a\u0446\u0438\u044f \u0438\u0437 \u0441\u0435\u0440\u0435\u0434\u0438\u043d\u044b \u0432\u0435\u0440\u043d\u0443\u043b\u0430) \u043f\u043e rvalue-\u0441\u0441\u044b\u043b\u043a\u0435<\/p>\n<\/li>\n<li>\n<p>\u043e\u043a\u043e\u043d\u0447\u0430\u0442\u0435\u043b\u044c\u043d\u044b\u0439 left-\u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442 (\u043f\u043e\u0441\u043b\u0435\u0434\u043d\u044f\u044f \u0444\u0443\u043d\u043a\u0446\u0438\u044f \u0432\u0435\u0440\u043d\u0443\u043b\u0430) \u043f\u043e rvalue<\/p>\n<\/li>\n<\/ul>\n<p>\u0412 \u043f\u0435\u0440\u0432\u043e\u043c \u0441\u043b\u0443\u0447\u0430\u0435 \u0431\u044b\u043b\u043e \u0431\u044b \u043e\u043f\u0442\u0438\u043c\u0430\u043b\u044c\u043d\u043e &#8212; \u043f\u0435\u0440\u0435\u0434\u0430\u0442\u044c \u0432\u043d\u0443\u0442\u0440\u044c \u0437\u0430\u0431\u0435\u0433\u0430 \u043f\u043e rvalue-\u0441\u0441\u044b\u043b\u043a\u0435 \u0438 \u0432\u0435\u0440\u043d\u0443\u0442\u044c \u0438\u0437 \u0437\u0430\u0431\u0435\u0433\u0430 \u0442\u043e\u0436\u0435 \u043f\u043e rvalue-\u0441\u0441\u044b\u043b\u043a\u0435 (\u043d\u0435 \u043f\u043e\u0434\u043e\u0448\u043b\u043e \u0434\u043b\u044f \u0432\u0441\u0435\u0439 \u041d\u0410\u041c-\u043f\u043e\u0434\u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0435). \u0410 \u0432\u043e \u0432\u0442\u043e\u0440\u043e\u043c \u043c\u044b \u043f\u0440\u043e\u0441\u0442\u043e <strong>\u043e\u0431\u044f\u0437\u0430\u043d\u044b<\/strong> \u0441\u0434\u0435\u043b\u0430\u0442\u044c \u0438\u0437 rvalue-\u0441\u0441\u044b\u043b\u043a\u0438 \u0447\u0435\u0441\u0442\u043d\u043e\u0435 rvalue, \u0438 \u0432\u0435\u0440\u043d\u0443\u0442\u044c \u043a\u043e\u043f\u0438\u044e.<\/p>\n<p>\u041f\u043e\u044d\u0442\u043e\u043c\u0443 \u043d\u0435\u043c\u043d\u043e\u0433\u043e \u0434\u043e\u0440\u0430\u0431\u043e\u0442\u0430\u0435\u043c<\/p>\n<pre><code class=\"cpp\">template&lt;Smth T&gt; struct left {  .....  left commit() &amp;&amp; { return std::move(*this); }};template&lt;Smth T&gt; struct right {  .....  right&amp;&amp; commit() &amp;&amp; { return std::move(*this); }};EitherOfSmth decltype(auto) switch_for_either_monad(EitherOfSmth auto&amp;&amp; seed, auto... fs) {  return (std::move(seed) &gt;&gt; ... &gt;&gt; fs).commit();}<\/code><div class=\"code-explainer\"><a href=\"https:\/\/sourcecraft.dev\/\" class=\"tm-button code-explainer__link\" style=\"visibility: hidden;\"><img style=\"width:14px;height:14px;object-fit:cover;object-position:left;\"\/><\/a><\/div><\/pre>\n<p>\u0414\u043b\u044f \u043d\u0430\u0433\u043b\u044f\u0434\u043d\u043e\u0441\u0442\u0438, \u043f\u0435\u0440\u0435\u0438\u043c\u0435\u043d\u0443\u044e \u0444\u0443\u043d\u043a\u0446\u0438\u044e \u0446\u0438\u043a\u043b\u0430: <code>switch_for_either_monad<\/code>. \u041f\u043e\u0442\u043e\u043c\u0443 \u0447\u0442\u043e \u044d\u0442\u043e \u043d\u0435 \u043f\u0440\u043e\u0441\u0442\u043e \u0446\u0435\u043f\u043e\u0447\u043a\u0430, \u0433\u0434\u0435 \u0438\u0437 \u043f\u0440\u043e\u0438\u0437\u0432\u043e\u043b\u044c\u043d\u044b\u0445 Right \u043f\u043e\u043b\u0443\u0447\u0430\u044e\u0442\u0441\u044f \u0434\u0440\u0443\u0433\u0438\u0435 \u043f\u0440\u043e\u0438\u0437\u0432\u043e\u043b\u044c\u043d\u044b\u0435 Right \u0438\u043b\u0438 Left, \u0430 \u0438\u043c\u0435\u043d\u043d\u043e \u043f\u043e\u0438\u0441\u043a \u043f\u0435\u0440\u0432\u043e\u0433\u043e \u043f\u043e\u0434\u043e\u0448\u0435\u0434\u0448\u0435\u0433\u043e \u043f\u0440\u0430\u0432\u0438\u043b\u0430. \u0422\u0443\u0442 \u043f\u0440\u044f\u043c\u043e \u043e\u0433\u043e\u0432\u043e\u0440\u0435\u043d\u043e, \u0447\u0442\u043e \u0435\u0441\u043b\u0438 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442 Right, \u0442\u043e \u044d\u0442\u043e \u0442\u0430 \u0436\u0435 \u0441\u0430\u043c\u0430\u044f \u0441\u0441\u044b\u043b\u043a\u0430, \u0447\u0442\u043e \u0438 \u043d\u0430 \u0432\u0445\u043e\u0434\u0435.<\/p>\n<h4>\u0414\u0435\u043b\u0430\u0435\u043c switch \u0435\u0449\u0451 \u043b\u0443\u0447\u0448\u0435!..<\/h4>\n<p>\u041d\u043e \u0440\u0430\u0437 \u0442\u0430\u043a, \u0442\u043e \u043e\u043a\u0430\u0437\u044b\u0432\u0430\u0435\u0442\u0441\u044f, \u043c\u044b \u043c\u043e\u0436\u0435\u043c \u0441\u043e\u043a\u0440\u0430\u0442\u0438\u0442\u044c \u0440\u0430\u0431\u043e\u0442\u0443! \u0417\u0430\u0441\u0442\u0430\u0432\u0438\u043c \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440 \u0432\u044b\u043f\u043e\u043b\u043d\u0438\u0442\u044c \u041a\u0422-\u0432\u044b\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u0435 \u0432\u043d\u0443\u0442\u0440\u0438 \u041a\u0422-\u0432\u044b\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u044f. \u0421\u043c\u043e\u0442\u0440\u0438\u0442\u0435, \u0432 \u0447\u0451\u043c \u0442\u0440\u044e\u043a. \u041c\u044b \u0434\u043e\u0433\u043e\u0432\u043e\u0440\u0438\u043b\u0438\u0441\u044c, \u0447\u0442\u043e \u0444\u0443\u043d\u043a\u0446\u0438\u044f \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u0442 Right, \u043a\u043e\u0433\u0434\u0430 \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442 \u043d\u0435 \u043f\u043e\u0434\u043e\u0448\u0451\u043b. \u0417\u043d\u0430\u0447\u0438\u0442, \u0435\u0441\u043b\u0438 \u043c\u044b \u043d\u0430\u0439\u0434\u0451\u043c \u0442\u0430\u043a\u0443\u044e \u0444\u0443\u043d\u043a\u0446\u0438\u044e, \u043a\u043e\u0442\u043e\u0440\u0430\u044f \u0432\u0435\u0440\u043d\u0451\u0442 Left, \u0442\u043e \u043f\u0440\u0438\u043c\u0435\u043d\u0438\u043c \u043b\u0438\u0448\u044c \u0435\u0451.<\/p>\n<pre><code class=\"cpp\">template&lt;class F&gt; struct matched_fun;template&lt;EitherOfSmth T&gt; struct will_match_to {  auto operator | (auto f) const {    using R = decltype(f(std::declval&lt;T&gt;()));    if constexpr (RightOfSmth&lt;R&gt;)      return *this;    else      return matched_fun{f};  };  auto&amp;&amp; doit(T&amp;&amp; arg) const { return arg; } \/\/ \u0435\u0441\u043b\u0438 \u043d\u0438\u0447\u0435\u0433\u043e \u043d\u0435 \u043f\u043e\u0434\u043e\u0448\u043b\u043e};template&lt;class F&gt; struct matched_fun {  F f;  const auto&amp; operator | (auto g) const { return *this; }  decltype(auto) doit(auto&amp;&amp; arg) const { return f(std::move(arg)); }};EitherOfSmth decltype(auto) switch_for_either_monad(EitherOfSmth auto&amp;&amp; seed, auto... fs) {  using T = decltype(seed);  return (will_match_to&lt;T&gt;{} | ... | fs).doit(std::move(seed));}<\/code><div class=\"code-explainer\"><a href=\"https:\/\/sourcecraft.dev\/\" class=\"tm-button code-explainer__link\" style=\"visibility: hidden;\"><img style=\"width:14px;height:14px;object-fit:cover;object-position:left;\"\/><\/a><\/div><\/pre>\n<p>\u041a\u0430\u0437\u0430\u043b\u043e\u0441\u044c \u0431\u044b, \u043c\u044b \u0437\u0430\u0441\u0442\u0430\u0432\u0438\u043b\u0438 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440 \u0432\u044b\u043f\u043e\u043b\u043d\u0438\u0442\u044c \u043e\u0434\u043d\u043e \u0434\u0435\u043b\u043e \u0434\u0432\u0430\u0436\u0434\u044b. \u0421\u043d\u0430\u0447\u0430\u043b\u0430 \u043e\u043d \u0432\u0441\u0451 \u0440\u0430\u0432\u043d\u043e \u0432\u044b\u0447\u0438\u0441\u043b\u044f\u043b \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u044b \u0432\u0441\u0435\u0445 \u0444\u0443\u043d\u043a\u0446\u0438\u0439 \u0438\u0437 \u0433\u043e\u043b\u043e\u0432\u044b, \u0430 \u0437\u0430\u0442\u0435\u043c \u0435\u0449\u0451 \u0440\u0430\u0437 \u0432\u044b\u0447\u0438\u0441\u043b\u0438\u043b \u0443\u0441\u043f\u0435\u0448\u043d\u044b\u0439 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442.<\/p>\n<p>\u041d\u043e.<\/p>\n<p><strong>\u0412\u043e-\u043f\u0435\u0440\u0432\u044b\u0445<\/strong>, \u043a\u043e\u0433\u0434\u0430 \u0442\u0430\u043a\u0438\u0445 \u0437\u0430\u043f\u0443\u0441\u043a\u043e\u0432 \u0441\u0432\u0438\u0442\u0447\u0430 \u043c\u043d\u043e\u0433\u043e (\u043d\u0430 \u043a\u0430\u0436\u0434\u043e\u0439 \u0438\u0442\u0435\u0440\u0430\u0446\u0438\u0438 \u041d\u0410\u041c-\u043c\u0430\u0448\u0438\u043d\u044b), \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440 \u043e\u0431\u044f\u0437\u0430\u043d \u0431\u0443\u0434\u0435\u0442 \u0438\u043d\u0441\u0442\u0430\u043d\u0446\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u0432\u0441\u0435 \u0441\u043b\u0443\u0436\u0435\u0431\u043d\u044b\u0435 \u0444\u0443\u043d\u043a\u0446\u0438\u0438 \u043f\u043e\u0434 \u043a\u0430\u0436\u0434\u044b\u0439 \u043d\u0430\u0431\u043e\u0440 \u0442\u0438\u043f\u043e\u0432 \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u043e\u0432.<\/p>\n<p>\u0412 \u0441\u0430\u043c\u043e\u043c \u043e\u0431\u0449\u0435\u043c \u0441\u043b\u0443\u0447\u0430\u0435 chain&#8230; \u044d\u0442\u043e operator &gt;&gt; \u0434\u043b\u044f (T0,F1), (T1,F2), &#8230;, (Tn_1,Fn).<\/p>\n<p>\u0415\u0441\u043b\u0438 chain \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442 \u043a\u0430\u043a switch, &#8212; \u0442\u043e operator &gt;&gt; (T0,F1), &#8230;, (T0,Fk), (Lk,Fk1), &#8230;, (Lk,Fn) &#8212; \u0433\u0434\u0435 \u043f\u0440\u0430\u0432\u0438\u043b\u043e \u043d\u043e\u043c\u0435\u0440 k \u0432\u0435\u0440\u043d\u0443\u043b\u043e Left.<\/p>\n<p>\u0418, \u043f\u043e\u0441\u043a\u043e\u043b\u044c\u043a\u0443 \u0434\u043b\u044f \u043a\u0430\u0436\u0434\u043e\u0439 \u0438\u0442\u0435\u0440\u0430\u0446\u0438\u0438 \u044d\u0442\u0438 \u0442\u0438\u043f\u044b T0 \u0438 Lk \u0443\u043d\u0438\u043a\u0430\u043b\u044c\u043d\u044b, \u0442\u043e \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440 \u0438\u043d\u0441\u0442\u0430\u043d\u0446\u0438\u0440\u0443\u0435\u0442 \u0442\u0440\u0438\u0432\u0438\u0430\u043b\u044c\u043d\u044b\u0435 \u0445\u0432\u043e\u0441\u0442\u043e\u0432\u044b\u0435 operator &gt;&gt; (Lk,Fm) &#8230; (Lk,Fn) &#8212; \u0444\u0430\u043a\u0442\u0438\u0447\u0435\u0441\u043a\u0438, \u043e\u0434\u0438\u043d\u0430\u043a\u043e\u0432\u044b\u0435, \u043d\u043e \u0444\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u043e, \u0443\u043d\u0438\u043a\u0430\u043b\u044c\u043d\u044b\u0435. \u041f\u043e\u0442\u043e\u043c \u043e\u043d \u0438\u0445 \u043f\u0440\u043e\u0438\u043d\u043b\u0430\u0439\u043d\u0438\u0442, \u043d\u043e \u043f\u0440\u043e\u0441\u0442\u0440\u0430\u043d\u0441\u0442\u0432\u043e \u0441\u0438\u043c\u0432\u043e\u043b\u043e\u0432 \u0441\u0435\u0431\u0435 \u0438 \u043b\u0438\u043d\u043a\u0435\u0440\u0443 \u0437\u0430\u043c\u0443\u0441\u043e\u0440\u0438\u0442.<\/p>\n<p>\u0410 \u0434\u043b\u044f \u0445\u0438\u0442\u0440\u043e\u0433\u043e \u0441\u0432\u0438\u0442\u0447\u0430 &#8212; \u0437\u0430\u0431\u0435\u0433 \u043f\u043e \u0433\u043e\u043b\u043e\u0432\u0435 \u043d\u0438\u043a\u0443\u0434\u0430 \u043d\u0435 \u0434\u0435\u043b\u0441\u044f, \u043d\u043e \u0432\u0435\u0441\u044c \u0445\u0432\u043e\u0441\u0442 &#8212; \u044d\u0442\u043e operator| (Fk1,Fk2), (Fk2,Fk3), &#8230;, (Fn_1,Fn). \u041e\u0434\u043d\u0438 \u0438 \u0442\u0435 \u0436\u0435 \u0434\u043b\u044f \u0432\u0441\u0435\u0445 \u0438\u0442\u0435\u0440\u0430\u0446\u0438\u0439.<\/p>\n<p><strong>\u0412\u043e-\u0432\u0442\u043e\u0440\u044b\u0445<\/strong>, \u043e\u0431\u044a\u0451\u043c \u0440\u0430\u0431\u043e\u0442\u044b \u0434\u043b\u044f \u0432\u044b\u0432\u043e\u0434\u0430 \u0442\u0438\u043f\u0430 \u043d\u0435 \u043f\u0440\u0435\u0432\u043e\u0441\u0445\u043e\u0434\u0438\u0442 \u043e\u0431\u044a\u0451\u043c \u0440\u0430\u0431\u043e\u0442\u044b \u0434\u043b\u044f \u0432\u044b\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u044f \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f. \u0410 \u0432 \u043d\u0435\u043a\u043e\u0442\u043e\u0440\u044b\u0445 \u0441\u043b\u0443\u0447\u0430\u044f\u0445 \u043e\u043a\u0430\u0437\u044b\u0432\u0430\u0435\u0442\u0441\u044f \u0437\u0430\u043c\u0435\u0442\u043d\u043e \u043c\u0435\u043d\u044c\u0448\u0435. \u042d\u0442\u043e \u0431\u0443\u0434\u0435\u0442 \u0432\u0430\u0436\u043d\u043e, \u043a\u043e\u0433\u0434\u0430 \u044f \u043d\u0430\u0447\u043d\u0443 \u043f\u0435\u0440\u0435\u0434\u0430\u0432\u0430\u0442\u044c \u0432 \u041d\u0410\u041c-\u043c\u0430\u0448\u0438\u043d\u0443 \u043d\u0435 \u0433\u043e\u043b\u044b\u0435 \u0441\u0442\u0440\u043e\u043a\u0438-\u0441\u0438\u043d\u0433\u043b\u0435\u0442\u043e\u043d\u044b, \u0430 \u0430\u0443\u0433\u043c\u0435\u043d\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u0435 &#8212; \u0441 \u0440\u0430\u0437\u043d\u043e\u0439 \u043e\u0442\u043b\u0430\u0434\u043e\u0447\u043d\u043e\u0439 \u0438\u043d\u0444\u043e\u0440\u043c\u0430\u0446\u0438\u0435\u0439.<\/p>\n<p><strong>\u0412-\u0442\u0440\u0435\u0442\u044c\u0438\u0445<\/strong>, \u043a\u043e\u0433\u0434\u0430 \u044f \u043d\u0430\u043a\u043e\u043d\u0435\u0446 \u0432\u044b\u0442\u0430\u0449\u0443 \u041a\u0422-\u0432\u044b\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u044f \u0432 \u0420\u0422, &#8212; \u043f\u043e\u0438\u0441\u043a \u043f\u043e\u0434\u0445\u043e\u0434\u044f\u0449\u0435\u0433\u043e \u043f\u0440\u0430\u0432\u0438\u043b\u0430 \u043f\u043e-\u043f\u0440\u0435\u0436\u043d\u0435\u043c\u0443 \u043e\u0441\u0442\u0430\u043d\u0435\u0442\u0441\u044f \u0432 \u041a\u0422, \u0432\u043c\u0435\u0441\u0442\u043e \u0442\u043e\u0433\u043e, \u0447\u0442\u043e\u0431\u044b \u0432 \u0420\u0422 \u0431\u0435\u0433\u0430\u0442\u044c \u043f\u043e \u0432\u0441\u0435\u0439 \u043d\u0435\u043f\u043e\u0434\u0445\u043e\u0434\u044f\u0449\u0435\u0439 \u0433\u043e\u043b\u043e\u0432\u0435 \u0438 \u043f\u043e \u0432\u0441\u0435\u043c\u0443 \u043e\u0442\u0432\u0435\u0440\u0433\u043d\u0443\u0442\u043e\u043c\u0443 \u0445\u0432\u043e\u0441\u0442\u0443, \u043f\u0443\u0441\u0442\u044c \u0434\u0430\u0436\u0435 \u0437\u0430\u043d\u0438\u043c\u0430\u044f\u0441\u044c \u043f\u0435\u0440\u0435\u0434\u0430\u0447\u0435\u0439 \u0441\u0441\u044b\u043b\u043e\u043a, \u0438 \u043d\u0430\u0434\u0435\u044f\u0441\u044c, \u0447\u0442\u043e \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440 \u0441\u043c\u043e\u0436\u0435\u0442 \u043e\u043f\u0442\u0438\u043c\u0438\u0437\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u044d\u0442\u043e \u0432\u0441\u0451.<\/p>\n<h2>\u0426\u0438\u043a\u043b while<\/h2>\n<p>\u0412 \u043e\u0442\u043b\u0438\u0447\u0438\u0435 \u043e\u0442 for (\u0438\u043b\u0438 switch), \u0437\u0434\u0435\u0441\u044c \u0441\u0438\u0442\u0443\u0430\u0446\u0438\u044f \u0434\u0440\u0443\u0433\u0430\u044f: \u044d\u043b\u0435\u043c\u0435\u043d\u0442 \u0432\u0441\u0435\u0433\u043e \u043e\u0434\u0438\u043d, \u043d\u043e \u043a\u043e\u043b\u0438\u0447\u0435\u0441\u0442\u0432\u043e \u0438\u0442\u0435\u0440\u0430\u0446\u0438\u0439 \u043d\u0435\u043f\u0440\u0435\u0434\u0441\u043a\u0430\u0437\u0443\u0435\u043c\u043e (\u0438 \u043c\u043e\u0436\u0435\u0442 \u0438\u0437\u043c\u0435\u0440\u044f\u0442\u044c\u0441\u044f \u0441\u043e\u0442\u043d\u044f\u043c\u0438 \u0438 \u0434\u0430\u0436\u0435 \u0442\u044b\u0441\u044f\u0447\u0430\u043c\u0438).<\/p>\n<p>\u0420\u0435\u043a\u0443\u0440\u0441\u0438\u044f \u043d\u0435\u0438\u0437\u0431\u0435\u0436\u043d\u0430, \u0438, \u043a \u0441\u043e\u0436\u0430\u043b\u0435\u043d\u0438\u044e, C++ \u043d\u0435 \u043e\u0431\u0435\u0449\u0430\u0435\u0442 \u043f\u043e\u0434\u0434\u0435\u0440\u0436\u043a\u0443 \u043a\u043e\u043d\u0446\u0435\u0432\u043e\u0439 \u0440\u0435\u043a\u0443\u0440\u0441\u0438\u0438. \u041f\u043e\u044d\u0442\u043e\u043c\u0443 \u0432\u044b\u0445\u043e\u0434 \u043e\u0434\u0438\u043d: \u0440\u0430\u0437\u0432\u043e\u0440\u0430\u0447\u0438\u0432\u0430\u0442\u044c \u0446\u0438\u043a\u043b \u043f\u043e \u043a\u0443\u0441\u043e\u0447\u043a\u0430\u043c.<\/p>\n<p>\u041f\u0443\u0441\u0442\u044c \u0443 \u043d\u0430\u0441 \u0443\u0436\u0435 \u0435\u0441\u0442\u044c \u043c\u043e\u043d\u0430\u0434\u0430 Either, &#8212; \u043d\u0435 \u0445\u043e\u0447\u0443 \u043f\u0440\u043e\u0442\u0430\u0441\u043a\u0438\u0432\u0430\u0442\u044c \u043a\u0430\u043a\u0438\u0435-\u0442\u043e \u0441\u0442\u043e\u0440\u043e\u043d\u043d\u0438\u0435 \u043f\u0440\u0435\u0434\u0438\u043a\u0430\u0442\u044b.<br \/>\u0414\u043b\u044f \u0444\u0443\u043d\u043a\u0446\u0438\u0438 \u0442\u0435\u043b\u0430 \u0446\u0438\u043a\u043b\u0430 \u043e\u043d\u0430 \u0437\u043d\u0430\u0447\u0438\u0442 \u043d\u0435\u0447\u0442\u043e \u0438\u043d\u043e\u0435: Left &#8212; \u0437\u0430\u043a\u043e\u043d\u0447\u0438\u043b\u0438 \u0432\u044b\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u044f (\u0434\u043e\u0441\u0442\u0438\u0433\u043b\u0438 \u0444\u0438\u043d\u0430\u043b\u044c\u043d\u043e\u0433\u043e \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f), Right &#8212; \u043f\u0440\u043e\u0434\u043e\u043b\u0436\u0438\u043b\u0438 (\u0441\u0434\u0435\u043b\u0430\u043b\u0438 \u043f\u043e\u0434\u0441\u0442\u0430\u043d\u043e\u0432\u043a\u0443 \u0432 \u043e\u0431\u044b\u0447\u043d\u043e\u043c \u043f\u0440\u0430\u0432\u0438\u043b\u0435). <\/p>\n<p>\u041d\u0430\u0438\u0432\u043d\u044b\u0439 \u0446\u0438\u043a\u043b (&#171;\u043f\u043e\u043a\u0430 \u043d\u0435 \u043f\u043e\u043b\u0443\u0447\u0438\u043c Left&#187;) \u0432\u044b\u0433\u043b\u044f\u0434\u0438\u0442 \u0442\u0430\u043a<\/p>\n<pre><code class=\"cpp\">EitherOfSmth auto run_naive_loop(EitherOfSmth auto seed, const auto&amp; f) {  if constexpr(Left&lt;decltype(seed)&gt;)    return seed;  else    return run_naive_loop(f(std::move(seed)), f);}<\/code><div class=\"code-explainer\"><a href=\"https:\/\/sourcecraft.dev\/\" class=\"tm-button code-explainer__link\" style=\"visibility: hidden;\"><img style=\"width:14px;height:14px;object-fit:cover;object-position:left;\"\/><\/a><\/div><\/pre>\n<p>\u041f\u043e\u043c\u043d\u044f \u043e \u0442\u043e\u043c, \u0447\u0442\u043e \u043c\u044b \u0432 Either, \u043c\u043e\u0436\u0435\u043c \u0440\u0430\u0437\u0432\u0435\u0440\u043d\u0443\u0442\u044c \u043a\u0443\u0441\u043e\u043a \u0446\u0438\u043a\u043b\u0430 \u043f\u0440\u044f\u043c\u043e \u043d\u0430 \u043c\u0435\u0441\u0442\u0435<\/p>\n<pre><code class=\"cpp\">EitherOfSmth auto run_unrolled_loop(EitherOfSmth auto seed, const auto&amp; f) {  if constexpr(Left&lt;decltype(seed)&gt;)    return seed;  else    return run_unrolled_loop(std::move(seed) &gt;&gt; f &gt;&gt; f &gt;&gt; f &gt;&gt; f &gt;&gt; f, f);}\/\/ \u0438\u043b\u0438 \u0434\u0430\u0436\u0435 \u0442\u0430\u043a (\u0441\u0442\u0430\u0440\u044b\u0439 \u0434\u043e\u0431\u0440\u044b\u0439 \u043a\u0430\u0440\u0440\u0438\u043d\u0433)template&lt;class F&gt; struct unrolled_loop {  F f;  auto operator()(EitherOfSmth auto seed) const {    return std::move(seed) &gt;&gt; f &gt;&gt; f &gt;&gt; f &gt;&gt; f &gt;&gt; f &gt;&gt; *this;  }};auto run_unrolled_loop(auto seed, auto f) { return unrolled_loop{f}(std::move(seed)); }<\/code><div class=\"code-explainer\"><a href=\"https:\/\/sourcecraft.dev\/\" class=\"tm-button code-explainer__link\" style=\"visibility: hidden;\"><img style=\"width:14px;height:14px;object-fit:cover;object-position:left;\"\/><\/a><\/div><\/pre>\n<p>\u041d\u043e \u044d\u0442\u043e\u0442 \u043a\u043e\u0434 \u043d\u0435\u0441\u0451\u0442 \u0434\u0432\u0435 \u043f\u0440\u043e\u0431\u043b\u0435\u043c\u044b. \u041f\u0435\u0440\u0432\u0430\u044f &#8212; \u043c\u044b \u0437\u0430\u0445\u0430\u0440\u0434\u043a\u043e\u0434\u0438\u043b\u0438 \u0432\u0435\u043b\u0438\u0447\u0438\u043d\u0443 \u0440\u0430\u0437\u0432\u0451\u0440\u0442\u043a\u0438 \u0446\u0438\u043a\u043b\u0430 (\u0441\u043a\u043e\u043b\u044c\u043a\u043e \u0440\u0430\u0437 \u0441\u043a\u043e\u043f\u0438\u043f\u0430\u0441\u0442\u0438\u043b\u0438 &gt;&gt;f), \u0430 \u0432\u0442\u043e\u0440\u0430\u044f &#8212; \u0445\u043e\u043b\u043e\u0441\u0442\u043e\u0439 \u0437\u0430\u0431\u0435\u0433 \u043f\u043e \u0445\u0432\u043e\u0441\u0442\u0443 \u0446\u0435\u043f\u043e\u0447\u043a\u0435, \u043a\u043e\u0433\u0434\u0430 \u043f\u043e\u043b\u0443\u0447\u0438\u043b\u0438 Left.<\/p>\n<p>\u0428\u0442\u043e\u0448, \u0440\u0435\u0448\u0438\u043c \u044d\u0442\u043e \u043d\u0435 \u0441\u0430\u043c\u044b\u043c \u043a\u0440\u0430\u0441\u0438\u0432\u044b\u043c \u0441\u043f\u043e\u0441\u043e\u0431\u043e\u043c, \u0431\u0435\u0437 \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u043e\u0432, \u0437\u0430\u0442\u043e \u043d\u0430\u0434\u0451\u0436\u043d\u044b\u043c.<\/p>\n<h4>\u0420\u0430\u0437\u0432\u0451\u0440\u0442\u043a\u0430 \u0446\u0438\u043a\u043b\u0430 \u0431\u0435\u0437 \u043b\u0438\u0448\u043d\u0435\u0433\u043e \u0445\u0432\u043e\u0441\u0442\u0430<\/h4>\n<pre><code class=\"cpp\">\/\/ \u0414\u0430-\u0434\u0430, \u0442\u043e\u0442 \u0441\u0430\u043c\u044b\u0439 \u0446\u0438\u043a\u043b for. \u041d\u043e \u0441 \u0443\u0447\u0451\u0442\u043e\u043c \u0442\u043e\u0433\u043e, \u0447\u0442\u043e \u0444\u0443\u043d\u043a\u0446\u0438\u0439 \u0431\u0443\u0434\u0435\u0442 1 \u0438\u043b\u0438 \u043c\u0430\u043b\u043e.auto chain(RightOfSmth auto seed, auto f, auto... fs) {  if constexpr (sizeof...(fs) == 0 || Left&lt;decltype(f(std::move(seed)))&gt;)    return f(std::move(seed));  else    return chain(f(std::move(seed)), fs...);}\/\/ \u0440\u0430\u0437\u0432\u0451\u0440\u0442\u043a\u0430 \u0446\u0438\u043a\u043b\u0430 \u043d\u0430 \u043d\u0435\u0431\u043e\u043b\u044c\u0448\u0443\u044e \u0433\u043b\u0443\u0431\u0438\u043d\u0443 n - \u043f\u043e \u0430\u043d\u0430\u043b\u043e\u0433\u0438\u0438.auto repeat(RightOfSmth auto seed, auto f, CtSize ctn) {  constexpr size_t n = ctn.value;  static_assert(n &gt; 0);  else if constexpr (n == 1 || Left&lt;decltype(f(std::move(seed)))&gt;)    return f(std::move(seed));  else    return repeat(f(std::move(seed)), f, ctv&lt;n - 1&gt;);}\/\/ \u0430 \u0442\u0435\u043f\u0435\u0440\u044c \u0437\u0430\u0439\u043c\u0451\u043c\u0441\u044f \u0440\u0430\u0437\u0432\u0451\u0440\u0442\u043a\u043e\u0439 \u0440\u0430\u0437\u0432\u0451\u0440\u0442\u043e\u043a\/\/ U - unrolltemplate&lt;size_t U, class F&gt; struct multiply_f {  static_assert(U &gt; 0);  F f;  auto operator()(RightOfSmth auto seed) const {    if constexpr (U &lt;= 10)      return repeat(std::move(seed), f, ctv&lt;U&gt;);    else      return chain(        std::move(seed),        multiply_f&lt;10&gt;{f},        multiply_f&lt;U-10&gt;{f}      );  }};template&lt;size_t U, class F&gt; struct unrolled_loop {  static_assert(U &gt; 0);  F f;  auto operator()(RightOfSmth auto seed) const {    return chain(std::move(seed), multiply_f&lt;U&gt;{f}, *this);  }};<\/code><div class=\"code-explainer\"><a href=\"https:\/\/sourcecraft.dev\/\" class=\"tm-button code-explainer__link\" style=\"visibility: hidden;\"><img style=\"width:14px;height:14px;object-fit:cover;object-position:left;\"\/><\/a><\/div><\/pre>\n<p>\u041c\u044b \u0443\u043c\u0435\u043d\u044c\u0448\u0438\u043b\u0438 \u0433\u043b\u0443\u0431\u0438\u043d\u0443 \u0440\u0435\u043a\u0443\u0440\u0441\u0438\u0438 \u0432 U \u0440\u0430\u0437, \u043d\u043e \u043e\u043d\u0430 \u0432\u0441\u0451 \u0435\u0449\u0451 \u043b\u0438\u043d\u0435\u0439\u043d\u043e \u0437\u0430\u0432\u0438\u0441\u0438\u0442 \u043e\u0442 \u0447\u0438\u0441\u043b\u0430 \u0438\u0442\u0435\u0440\u0430\u0446\u0438\u0439.<\/p>\n<h4>\u041b\u043e\u0433\u0430\u0440\u0438\u0444\u043c\u0438\u0447\u0435\u0441\u043a\u0430\u044f \u0433\u043b\u0443\u0431\u0438\u043d\u0430 (\u0435\u0441\u043b\u0438 \u043e\u043d\u0430 \u043d\u0430\u043c \u043d\u0443\u0436\u043d\u0430)<\/h4>\n<p>\u041c\u043e\u0436\u0435\u043c \u043f\u043e\u0439\u0442\u0438 \u0435\u0449\u0451 \u0434\u0430\u043b\u044c\u0448\u0435, \u0441\u0434\u0435\u043b\u0430\u0442\u044c \u0433\u043b\u0443\u0431\u0438\u043d\u0443 \u043b\u043e\u0433\u0430\u0440\u0438\u0444\u043c\u0438\u0447\u0435\u0441\u043a\u043e\u0439. \u0414\u043b\u044f \u044d\u0442\u043e\u0433\u043e \u043a\u0430\u0436\u0434\u044b\u0439 \u043d\u043e\u0432\u044b\u0439 \u0446\u0438\u043a\u043b \u0431\u0443\u0434\u0435\u043c \u0437\u0430\u043f\u0443\u0441\u043a\u0430\u0442\u044c \u043d\u0435 \u043d\u0430\u0434 \u0442\u0435\u043c \u0436\u0435 \u0442\u0435\u043b\u043e\u043c f, \u0430 \u043d\u0430\u0434 \u0435\u0433\u043e \u043f\u043e\u0432\u0442\u043e\u0440\u0435\u043d\u0438\u0435\u043c:<\/p>\n<pre><code class=\"cpp\">template&lt;size_t U, size_t M, class F&gt; struct unrolled_loop {  static_assert(U &gt; 0);  static_assert(M &gt; 0);  \/\/ 1 \u043e\u0437\u043d\u0430\u0447\u0430\u0435\u0442 \u043b\u0438\u043d\u0435\u0439\u043d\u0443\u044e \u0433\u043b\u0443\u0431\u0438\u043d\u0443  F f;  auto operator()(RightOfSmth auto seed) const {    return chain(      std::move(seed),      multiply_f&lt;U&gt;{f},      unrolled_loop&lt;U, M&gt;{ multiply_f&lt;M&gt;{f} }    );  }};<\/code><div class=\"code-explainer\"><a href=\"https:\/\/sourcecraft.dev\/\" class=\"tm-button code-explainer__link\" style=\"visibility: hidden;\"><img style=\"width:14px;height:14px;object-fit:cover;object-position:left;\"\/><\/a><\/div><\/pre>\n<p>\u041d\u0430 \u0441\u0430\u043c\u043e\u043c \u0434\u0435\u043b\u0435, \u043b\u043e\u0433\u0430\u0440\u0438\u0444\u043c\u0438\u0447\u0435\u0441\u043a\u0430\u044f \u0433\u043b\u0443\u0431\u0438\u043d\u0430 \u043d\u0435 \u0432\u0441\u0435\u0433\u0434\u0430 \u043d\u0443\u0436\u043d\u0430. \u0414\u0430\u0436\u0435 \u0435\u0441\u043b\u0438 \u043c\u044b \u043e\u0433\u0440\u0430\u043d\u0438\u0447\u0438\u043c \u0433\u043b\u0443\u0431\u0438\u043d\u0443 \u0440\u0435\u043a\u0443\u0440\u0441\u0438\u0438 \u0432 constexpr-\u0444\u0443\u043d\u043a\u0446\u0438\u044f\u0445, \u043d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, <code>-fconstexpr-depth=100<\/code> (\u043f\u043e \u0443\u043c\u043e\u043b\u0447\u0430\u043d\u0438\u044e \u0443 gcc \u0442\u0430\u043c 512, \u043a\u0430\u0436\u0435\u0442\u0441\u044f), \u0442\u043e \u043f\u0440\u0438 U=50 \u043c\u044b \u043f\u043e\u043b\u0443\u0447\u0430\u0435\u043c \u043f\u043e\u0440\u044f\u0434\u043a\u0430 2500 \u0438\u0442\u0435\u0440\u0430\u0446\u0438\u0439. \u0410 \u043f\u0440\u0438 \u0433\u043b\u0443\u0431\u0438\u043d\u0435 500 &#8212; \u0443\u0436\u0435 22550. \u0414\u043b\u044f \u0440\u0430\u0431\u043e\u0442\u044b \u0441 \u0441\u0438\u043d\u0433\u043b\u0435\u0442\u043e\u043d\u0430\u043c\u0438 \u0441\u0442\u0440\u043e\u043a \u044d\u0442\u043e \u043e\u0447\u0435\u043d\u044c \u043c\u043d\u043e\u0433\u043e.<\/p>\n<h4>\u041e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d\u0438\u0435 \u0434\u043b\u0438\u0442\u0435\u043b\u044c\u043d\u043e\u0441\u0442\u0438 (\u0435\u0441\u043b\u0438 \u043e\u043d\u043e \u043d\u0430\u043c \u043d\u0443\u0436\u043d\u043e)<\/h4>\n<p>\u041b\u044e\u0431\u0430\u044f \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0430 \u043c\u043e\u0436\u0435\u0442 \u0437\u0430\u0432\u0438\u0441\u043d\u0443\u0442\u044c. \u041d\u0435 \u0445\u043e\u0442\u0435\u043b\u043e\u0441\u044c \u0431\u044b, \u0447\u0442\u043e\u0431\u044b \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440 \u043f\u0440\u043e\u0441\u0442\u043e \u0432\u044b\u0432\u0430\u043b\u0438\u043b\u0441\u044f \u0432 ICE \u0438\u043b\u0438 \u0432\u044b\u0434\u0430\u0432\u0438\u043b \u0432\u0441\u044e \u0441\u0438\u0441\u0442\u0435\u043c\u0443 \u0432 \u0441\u0432\u043e\u043f.<\/p>\n<p>\u0427\u0442\u043e\u0431\u044b \u044d\u0442\u043e \u043d\u0435 \u0441\u043b\u0443\u0447\u0438\u043b\u043e\u0441\u044c, \u0434\u043e\u0431\u0430\u0432\u0438\u043c \u043a \u0446\u0438\u043a\u043b\u0443 \u0435\u0449\u0451 \u043e\u0434\u0438\u043d \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440 &#8212; \u043b\u0438\u043c\u0438\u0442 \u0438\u0442\u0435\u0440\u0430\u0446\u0438\u0439. \u042d\u0442\u043e \u043d\u0435\u0441\u043b\u043e\u0436\u043d\u043e, \u043d\u043e \u0433\u0440\u043e\u043c\u043e\u0437\u0434\u043a\u043e (\u043e\u0441\u043e\u0431\u0435\u043d\u043d\u043e, \u0435\u0441\u043b\u0438 \u0433\u043b\u0443\u0431\u0438\u043d\u0430 \u043b\u043e\u0433\u0430\u0440\u0438\u0444\u043c\u0438\u0447\u0435\u0441\u043a\u0430\u044f).<\/p>\n<pre><code class=\"cpp\">constexpr size_t UNLIMITED = std::numeric_limits&lt;size_t&gt;::max();template&lt;size_t U, size_t M, class L, class F&gt; struct unrolled_loop {  static_assert(U &gt; 0);  static_assert(M &gt; 0);  \/\/ 1 \u043e\u0437\u043d\u0430\u0447\u0430\u0435\u0442 \u043b\u0438\u043d\u0435\u0439\u043d\u0443\u044e \u0433\u043b\u0443\u0431\u0438\u043d\u0443  F f;  auto operator()(RightOfSmth auto seed) const {    decltype(auto) s = std::move(seed);    if constexpr (L == 0)      return seed;    else if constexpr (L &lt; U)      return multiply_f&lt;L&gt;{f}(s);    else {      auto uf = multiply_f&lt;U&gt;{f};      if constexpr (M == 1)        if constexpr (L == UNLIMITED)          return chain(s, uf, *this);        else          return chain(s, uf, unrolled_loop&lt;U, 1, L - U&gt;{f});      else {        auto mf = multiply_f&lt;M&gt;{f};        if constexpr (L == UNLIMITED)          return chain(s, uf, unrolled_loop&lt;U, M, UNLIMITED&gt;{mf});        else {          \/\/ \u0441\u0430\u043c\u044b\u0439 \u0441\u0442\u0440\u0430\u0448\u043d\u044b\u0439 \u0441\u043b\u0443\u0447\u0430\u0439          constexpr size_t Lnext = (L - U) \/ M;          constexpr size_t Uhere = L - Lnext * M; \/\/ U &lt;= Uhere &lt; U+M          return chain(s, uf, unrolled_loop&lt;Uhere, M, Lnext&gt;{mf});        }      }    }};<\/code><div class=\"code-explainer\"><a href=\"https:\/\/sourcecraft.dev\/\" class=\"tm-button code-explainer__link\" style=\"visibility: hidden;\"><img style=\"width:14px;height:14px;object-fit:cover;object-position:left;\"\/><\/a><\/div><\/pre>\n<h2>Pen-pineapple-apple-pen!<\/h2>\n<p>\u041f\u0440\u0438\u0448\u043b\u043e \u0432\u0440\u0435\u043c\u044f \u0432\u0437\u0433\u043b\u044f\u043d\u0443\u0442\u044c \u043d\u0430 \u0442\u043e, \u043a\u0430\u043a \u0440\u0430\u0431\u043e\u0442\u0430\u044e\u0442 \u043e\u0431\u0430 \u0446\u0438\u043a\u043b\u0430 \u0432\u043c\u0435\u0441\u0442\u0435.<\/p>\n<p>\u041d\u0410\u041c-\u043f\u0440\u0430\u0432\u0438\u043b\u043e \u0431\u0435\u0440\u0451\u0442 \u0441\u0442\u0440\u043e\u043a\u0443 (\u0432\u044b\u043a\u043e\u0432\u044b\u0440\u0438\u0432\u0430\u044f \u0435\u0451 \u0438\u0437 right-\u043e\u0431\u0451\u0440\u0442\u043a\u0438) \u0438 \u0432 \u0441\u043b\u0443\u0447\u0430\u0435 \u043d\u0435\u0443\u0441\u043f\u0435\u0445\u0430 \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u0442 \u044d\u0442\u0443 \u0436\u0435 right-\u0441\u0442\u0440\u043e\u043a\u0443, \u0430 \u0432 \u0441\u043b\u0443\u0447\u0430\u0435 \u0443\u0441\u043f\u0435\u0445\u0430 &#8212; left-<strong>\u043d\u0435\u0447\u0442\u043e<\/strong>. \u0422\u0435\u043c \u0441\u0430\u043c\u044b\u043c \u043c\u044b \u043e\u0431\u0435\u0441\u043f\u0435\u0447\u0438\u043b\u0438 \u043f\u0440\u0435\u0440\u044b\u0432\u0430\u043d\u0438\u0435 \u041d\u0410\u041c-\u043f\u043e\u0434\u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u044b \u0434\u043e \u0441\u0430\u043c\u043e\u0433\u043e \u0432\u0435\u0440\u0445\u043d\u0435\u0433\u043e \u0443\u0440\u043e\u0432\u043d\u044f (\u0435\u0441\u043b\u0438 \u0443 \u043d\u0430\u0441 \u0442\u0430\u043c \u0432\u043b\u043e\u0436\u0435\u043d\u043d\u044b\u0435 \u043f\u043e\u0434\u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u044b \u0431\u044b\u043b\u0438).<\/p>\n<p>\u0426\u0438\u043a\u043b \u041d\u0410\u041c-\u043c\u0430\u0448\u0438\u043d\u044b \u0431\u0435\u0440\u0451\u0442 \u044d\u0442\u043e <strong>\u043d\u0435\u0447\u0442\u043e<\/strong> (\u0432\u044b\u043a\u043e\u0432\u044b\u0440\u0438\u0432\u0430\u0435\u0442 \u0438\u0437 left) \u0438 \u0441\u043c\u043e\u0442\u0440\u0438\u0442 &#8212; \u044d\u0442\u043e \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442 \u0443\u0441\u043f\u0435\u0445\u0430 \u043e\u0431\u044b\u0447\u043d\u043e\u0433\u043e \u0438\u043b\u0438 \u0444\u0438\u043d\u0430\u043b\u044c\u043d\u043e\u0433\u043e \u043f\u0440\u0430\u0432\u0438\u043b\u0430. \u0415\u0441\u043b\u0438 \u043e\u0431\u044b\u0447\u043d\u043e\u0433\u043e, \u0442\u043e \u0438\u0434\u0451\u0442 \u043d\u0430 \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0438\u0439 \u043a\u0440\u0443\u0433. \u0415\u0441\u043b\u0438 \u0444\u0438\u043d\u0430\u043b\u044c\u043d\u043e\u0433\u043e &#8212; \u0437\u0430\u0432\u0435\u0440\u0448\u0430\u0435\u0442\u0441\u044f.<\/p>\n<p>\u0421\u043b\u0435\u0434\u043e\u0432\u0430\u0442\u0435\u043b\u044c\u043d\u043e, \u043d\u0435\u0447\u0442\u043e \u0434\u043b\u044f \u043e\u0431\u044b\u0447\u043d\u043e\u0433\u043e \u043f\u0440\u0430\u0432\u0438\u043b\u0430 &#8212; \u044d\u0442\u043e right-\u0441\u0442\u0440\u043e\u043a\u0430, \u0430 \u0434\u043b\u044f \u0444\u0438\u043d\u0430\u043b\u044c\u043d\u043e\u0433\u043e &#8212; left-\u0441\u0442\u0440\u043e\u043a\u0430.<\/p>\n<p>\u0422\u043e \u0435\u0441\u0442\u044c, \u041d\u0410\u041c-\u043c\u0430\u0448\u0438\u043d\u0430 \u0438 \u0432\u0441\u0435 \u0435\u0451 \u0434\u0435\u0442\u0430\u043b\u044c\u043a\u0438 \u0436\u0438\u0432\u0443\u0442 \u0432 \u043a\u0430\u0442\u0435\u0433\u043e\u0440\u0438\u0438 Either (Either CtStr CtStr) CtStr.<\/p>\n<p>\u0410\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u044b \u0444\u0443\u043d\u043a\u0446\u0438\u0439 &#8212; \u0432\u0441\u0435\u0433\u0434\u0430 Right CtStr.<\/p>\n<p>\u0420\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u044b<\/p>\n<ul>\n<li>\n<p>\u043d\u0435\u0443\u0434\u0430\u0447\u0430 \u043f\u043e\u0434\u0441\u0442\u0430\u043d\u043e\u0432\u043a\u0438 &#8212; Right CtStr<\/p>\n<\/li>\n<li>\n<p>\u043e\u0431\u044b\u0447\u043d\u0430\u044f \u043f\u043e\u0434\u0441\u0442\u0430\u043d\u043e\u0432\u043a\u0430 &#8212; Left (Right CtStr)<\/p>\n<\/li>\n<li>\n<p>\u0444\u0438\u043d\u0430\u043b\u044c\u043d\u0430\u044f &#8212; Left (Left CtStr)<\/p>\n<\/li>\n<\/ul>\n<p>\u0410 \u0447\u0442\u043e\u0431\u044b \u0446\u0438\u043a\u043b \u043d\u0438\u043a\u043e\u0433\u0434\u0430 \u043d\u0435 \u0441\u0442\u043e\u043b\u043a\u043d\u0443\u043b\u0441\u044f \u0441 right (\u043d\u0438\u0447\u0435\u0433\u043e \u043d\u0435 \u043f\u043e\u0434\u043e\u0448\u043b\u043e) \u0438 \u043d\u0435 \u0437\u043d\u0430\u043b, \u043a\u0430\u043a \u0438\u0437 \u043d\u0435\u0433\u043e \u0447\u0442\u043e-\u0442\u043e \u0432\u044b\u043a\u043e\u0432\u044b\u0440\u0438\u0432\u0430\u0442\u044c, &#8212; \u043f\u0440\u043e\u0441\u0442\u043e \u0434\u043e\u0431\u0430\u0432\u0438\u043c \u0432 \u043a\u043e\u043d\u0435\u0446 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u044b \u043f\u0443\u0441\u0442\u043e\u0435 \u0444\u0438\u043d\u0430\u043b\u044c\u043d\u043e\u0435 \u043f\u0440\u0430\u0432\u0438\u043b\u043e. \u0422\u043e\u0433\u0434\u0430 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0430 \u0432\u0441\u0435\u0433\u0434\u0430 \u0431\u0443\u0434\u0435\u0442 \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0442\u044c \u043a\u0430\u043a\u043e\u0439-\u0442\u043e left.<\/p>\n<p>\u041a\u0440\u0430\u0441\u043e\u0442\u0430? \u0421\u0442\u0440\u0430\u0448\u043d\u0430\u044f \u0441\u0438\u043b\u0430!<\/p>\n<p>\u0422\u043e\u043b\u044c\u043a\u043e \u044d\u0442\u0430 \u043a\u0440\u0430\u0441\u043e\u0442\u0430, \u043a \u0441\u043e\u0436\u0430\u043b\u0435\u043d\u0438\u044e, \u0438\u043c\u0435\u0435\u0442 \u0441\u0432\u043e\u044e \u0446\u0435\u043d\u0443. \u0412 \u0445\u043e\u0434\u0435 \u044d\u043a\u0441\u043f\u0435\u0440\u0438\u043c\u0435\u043d\u0442\u043e\u0432 \u0432\u044b\u044f\u0441\u043d\u0438\u043b\u043e\u0441\u044c, \u0447\u0442\u043e \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440 \u0442\u0440\u0430\u0442\u0438\u0442 \u043d\u0430 \u043a\u0430\u043a\u0438\u0435-\u0442\u043e \u043c\u0435\u043b\u043e\u0447\u043d\u044b\u0435 \u0440\u0430\u0431\u043e\u0442\u044b \u0441\u043b\u0438\u0448\u043a\u043e\u043c \u043c\u043d\u043e\u0433\u043e \u0441\u0438\u043b \u0438 \u043f\u0430\u043c\u044f\u0442\u0438. \u042f \u043f\u043e\u043b\u0430\u0433\u0430\u044e, \u043e\u043d \u0432\u0430\u043b\u0438\u0442 \u0432\u0441\u0435 \u0441\u043f\u0435\u0446\u0438\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438 left&lt;left&gt;, left&lt;right&gt;, left&lt;str&gt; \u0432 \u043e\u0434\u043d\u0443 \u0431\u043e\u043b\u044c\u0448\u0443\u044e \u043a\u0443\u0447\u0443. \u041c\u043e\u0439 \u043d\u043e\u0443\u0442\u0431\u0443\u043a \u043f\u0435\u0440\u0435\u0433\u0440\u0435\u0432\u0430\u043b\u0441\u044f, \u0430 \u043d\u0430 \u0431\u043e\u043b\u044c\u0448\u0438\u0445 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0430\u0445 (\u043d\u0430 \u0430\u0440\u0438\u0444\u043c\u0435\u0442\u0438\u043a\u0435) \u0432\u044b\u0432\u0430\u043b\u0438\u0432\u0430\u043b \u0441\u0438\u0441\u0442\u0435\u043c\u0443 \u0432 \u0441\u0432\u043e\u043f.<\/p>\n<p>\u042f \u0436\u0435 \u0433\u043e\u0432\u043e\u0440\u0438\u043b, \u0447\u0442\u043e \u043d\u0430\u0441 \u0436\u0434\u0443\u0442 \u043d\u0435\u043f\u0440\u0438\u044f\u0442\u043d\u043e\u0441\u0442\u0438!<\/p>\n<p>\u041f\u043e\u044d\u0442\u043e\u043c\u0443 \u043f\u0440\u0438\u0448\u043b\u043e\u0441\u044c \u0438\u0437\u043e\u0431\u0440\u0435\u0441\u0442\u0438 ad-hoc \u043c\u043e\u043d\u0430\u0434\u0443 \u0438\u0437 \u0442\u0440\u0451\u0445, \u0430 \u043d\u0435 \u0434\u0432\u0430\u0436\u0434\u044b-\u0434\u0432\u0443\u0445 \u0432\u0438\u0434\u043e\u0432.<\/p>\n<p>\u041d\u0435\u043f\u0440\u0438\u044f\u0442\u043d\u043e\u0441\u0442\u044c \u044d\u0442\u0443 \u043c\u044b \u043f\u0435\u0440\u0435\u0436\u0438\u0432\u0451\u043c.<\/p>\n<h2>Tristate<\/h2>\n<p>\u042d\u0442\u043e \u0432 \u0442\u043e\u0447\u043d\u043e\u0441\u0442\u0438 \u043e\u0442\u0432\u0435\u0447\u0430\u0435\u0442 \u0432\u043d\u0443\u0442\u0440\u0435\u043d\u043d\u0435\u043c\u0443 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044e \u041d\u0410\u041c-\u043c\u0430\u0448\u0438\u043d\u044b:<\/p>\n<ul>\n<li>\n<p>not_matched_yet&lt;CtStr&gt; &#8212; \u0441\u0442\u0440\u043e\u043a\u0430 \u0435\u0449\u0451 \u043d\u0435 \u0441\u043e\u043f\u043e\u0441\u0442\u0430\u0432\u043b\u0435\u043d\u0430 \u0441 \u043f\u0440\u0430\u0432\u0438\u043b\u0430\u043c\u0438<\/p>\n<\/li>\n<li>\n<p>matched_regular&lt;CtStr&gt; &#8212; \u0432\u044b\u043f\u043e\u043b\u043d\u0435\u043d\u0430 \u043e\u0431\u044b\u0447\u043d\u0430\u044f \u043f\u043e\u0434\u0441\u0442\u0430\u043d\u043e\u0432\u043a\u0430<\/p>\n<\/li>\n<li>\n<p>matched_final&lt;CtStr&gt; &#8212; \u0432\u044b\u043f\u043e\u043b\u043d\u0435\u043d\u0430 \u0444\u0438\u043d\u0430\u043b\u044c\u043d\u0430\u044f \u043f\u043e\u0434\u0441\u0442\u0430\u043d\u043e\u0432\u043a\u0430<\/p>\n<\/li>\n<\/ul>\n<p>\u0422\u043e\u043b\u044c\u043a\u043e \u0442\u0435\u043b\u043e \u0446\u0438\u043a\u043b\u0430 \u0442\u0435\u043f\u0435\u0440\u044c \u0434\u043e\u043b\u0436\u043d\u043e \u043d\u0435 \u0432\u044b\u043a\u043e\u0432\u044b\u0440\u044f\u0442\u044c \u043d\u043e\u0432\u043e\u0435 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 \u0438\u0437 left-\u043e\u0431\u0451\u0440\u0442\u043a\u0438, \u0430 \u043f\u043e\u043c\u0435\u043d\u044f\u0442\u044c \u0432\u0438\u0434:<\/p>\n<ul>\n<li>\n<p>\u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0430 \u0432\u0435\u0440\u043d\u0443\u043b\u0430 not_matched_yet &#8212; \u043d\u0438 \u043e\u0434\u043d\u043e \u043f\u0440\u0430\u0432\u0438\u043b\u043e \u043d\u0435 \u043f\u043e\u0434\u043e\u0448\u043b\u043e &#8212; \u043f\u0440\u0435\u0432\u0440\u0430\u0449\u0430\u0435\u043c \u0432 matched_final, \u0430\u0432\u0430\u0440\u0438\u0439\u043d\u043e\u0435 \u0437\u0430\u0432\u0435\u0440\u0448\u0435\u043d\u0438\u0435 (\u0438\u043d\u0430\u0447\u0435 \u043c\u044b \u043f\u0440\u043e\u0441\u0442\u043e \u0437\u0430\u0446\u0438\u043a\u043b\u0438\u043c\u0441\u044f, \u0441\u043d\u043e\u0432\u0430 \u043d\u0438\u0447\u0435\u0433\u043e \u043d\u0435 \u043f\u043e\u0434\u043e\u0439\u0434\u0451\u0442)<\/p>\n<\/li>\n<li>\n<p>matched_regular &#8212; \u043f\u0435\u0440\u0435\u043a\u043b\u0430\u0434\u044b\u0432\u0430\u0435\u043c \u0432 not_matched_yet \u0438 \u043e\u0442\u043f\u0440\u0430\u0432\u043b\u044f\u0435\u043c \u043d\u0430 \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0438\u0439 \u0432\u0438\u0442\u043e\u043a<\/p>\n<\/li>\n<li>\n<p>matched_final &#8212; \u043e\u0441\u0442\u0430\u0432\u043b\u044f\u0435\u043c \u043a\u0430\u043a \u0435\u0441\u0442\u044c.<\/p>\n<\/li>\n<\/ul>\n<p>\u0427\u0442\u043e\u0431\u044b \u043d\u0435 \u043f\u043b\u043e\u0434\u0438\u0442\u044c \u0442\u0438\u043f\u044b \u0441 \u0440\u0430\u0437\u043d\u044b\u043c\u0438 \u0438\u043c\u0435\u043d\u0430\u043c\u0438, \u044f \u043f\u0440\u0435\u0434\u043f\u043e\u0447\u0451\u043b \u0437\u0430\u0432\u0435\u0441\u0442\u0438 \u0441\u0442\u0440\u0443\u043a\u0442\u0443\u0440\u0443 \u0441 \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u043e\u043c-\u0444\u043b\u0430\u0436\u043a\u043e\u043c<\/p>\n<pre><code class=\"cpp\">CONCEPT_WITH_TYPE(Tristate)CONCEPT_WITH_TYPE(NotMatchedYet)CONCEPT_WITH_TYPE(Matched)enum class tristate_kind {    not_matched_yet,    matched_regular,    matched_final,};template&lt;tristate_kind kind, class T&gt; struct tristate {  using type = T;  T value;  REPRESENTS(Tristate)  REPRESENTS_COND(NotMatchedYet, kind == tristate_kind::not_matched_yet)  REPRESENTS_COND(Matched,       kind != tristate_kind::not_matched_yet)    decltype(auto) operator &gt;&gt; (auto f) &amp;&amp; {    if constexpr (kind == tristate_kind::not_matched_yet)      return f(std::move(*this));    else      return std::move(*this);  }  \/\/ \u0437\u0430\u0431\u0435\u0433 \u043f\u043e \u0446\u0435\u043f\u043e\u0447\u043a\u0435 (seed &gt;&gt; f1 &gt;&gt; ... &gt;&gt; fn).commit()  \/\/ \u0447\u0442\u043e\u0431\u044b \u043d\u0435 \u0431\u044b\u043b\u043e \u0432\u0438\u0441\u044f\u0447\u0435\u0439 \u0441\u0441\u044b\u043b\u043a\u0438  decltype(auto) commit() &amp;&amp; {    if constexpr (kind == tristate_kind::not_matched_yet)      return std::move(this);    else      return tristate{std::move(this)}; \/\/ \u043d\u0435 tristate&lt;tristate&lt;...&gt;&gt;, \u0430 \u043a\u043e\u043f\u0438\u044f  }  \/\/ \u0432 \u043a\u043e\u043d\u0446\u0435 \u0438\u0442\u0435\u0440\u0430\u0446\u0438\u0438  decltype(auto) commit_loop() &amp;&amp; {    if constexpr (kind == tristate_kind::matched_regular)      return tristate&lt;T, tristate_kind::not_matched_yet&gt;{std::move(value)};    else      return tristate&lt;T, tristate_kind::matched_final&gt;{std::move(value)};  }};template&lt;class T&gt; using not_matched_yet = tristate&lt;T, tristate_kind::not_matched_yet&gt;;template&lt;class T&gt; using matched_regular = tristate&lt;T, tristate_kind::matched_regular&gt;;template&lt;class T&gt; using matched_final   = tristate&lt;T, tristate_kind::matched_final&gt;;<\/code><div class=\"code-explainer\"><a href=\"https:\/\/sourcecraft.dev\/\" class=\"tm-button code-explainer__link\" style=\"visibility: hidden;\"><img style=\"width:14px;height:14px;object-fit:cover;object-position:left;\"\/><\/a><\/div><\/pre>\n<p>\u041f\u043e\u0434\u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0430 \u0432\u0441\u0451 \u0442\u0430\u043a \u0436\u0435 \u0432\u044b\u043f\u043e\u043b\u043d\u044f\u0435\u0442 switch-\u0437\u0430\u0431\u0435\u0433, &#8212; \u0435\u0441\u0442\u0435\u0441\u0442\u0432\u0435\u043d\u043d\u043e, \u0433\u043b\u044f\u0434\u044f \u043d\u0435 \u043d\u0430 Right-Left, \u0430 \u043d\u0430 NotMatchedYet \/ Matched.<\/p>\n<p>\u0426\u0438\u043a\u043b \u043c\u0430\u0448\u0438\u043d\u044b \u0442\u0435\u043f\u0435\u0440\u044c \u043d\u0443\u0436\u0434\u0430\u0435\u0442\u0441\u044f \u0432 \u043f\u0440\u043e\u043c\u0435\u0436\u0443\u0442\u043e\u0447\u043d\u043e\u0439 \u0444\u0443\u043d\u043a\u0446\u0438\u0438 &#171;\u0442\u0435\u043b\u043e \u0446\u0438\u043a\u043b\u0430&#187;, \u043a\u043e\u0442\u043e\u0440\u0430\u044f \u0434\u0435\u043b\u0430\u0435\u0442 \u044d\u0442\u043e\u0442 \u0441\u0430\u043c\u044b\u0439 commit_loop. <\/p>\n<pre><code class=\"cpp\">template&lt;Rule auto p&gt; struct loop_body {  auto operator()(NotMatchedYet auto seed) const {    return seed.commit_loop();  }};template&lt;Rule auto p&gt; struct rule_loop {  constexpr size_t U = 50;  constexpr size_t M = 1;  constexpr size_t L = 5000;  static constexpr auto body = loop_body&lt;p&gt;{};  \/\/ \u0435\u0441\u0442\u0435\u0441\u0442\u0432\u0435\u043d\u043d\u043e, \u0447\u0442\u043e unrolled_loop \u043f\u0435\u0440\u0435\u043f\u0438\u0441\u0430\u043d \u0441 Either \u043d\u0430 Tristate  static constexpr auto loop = unrolled_loop&lt;U,M,L&gt;{body};  auto operator()(NotMatchedYet auto seed) const {    return loop(std::move(seed));  }};<\/code><div class=\"code-explainer\"><a href=\"https:\/\/sourcecraft.dev\/\" class=\"tm-button code-explainer__link\" style=\"visibility: hidden;\"><img style=\"width:14px;height:14px;object-fit:cover;object-position:left;\"\/><\/a><\/div><\/pre>\n<h2>\u041f\u043e\u043b\u0443\u0447\u0438\u043b\u0430\u0441\u044c \u0432\u043e\u0442 \u0442\u0430\u043a\u0430\u044f \u0434\u0438\u0430\u0433\u0440\u0430\u043c\u043c\u0430 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0439<\/h2>\n<figure class=\"full-width \"><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/r\/w1560\/getpro\/habr\/upload_files\/094\/380\/d88\/094380d88565ae24e69d679297612f1a.png\" width=\"911\" height=\"790\" sizes=\"auto, (max-width: 780px) 100vw, 50vw\" srcset=\"https:\/\/habrastorage.org\/r\/w780\/getpro\/habr\/upload_files\/094\/380\/d88\/094380d88565ae24e69d679297612f1a.png 780w,&#10;       https:\/\/habrastorage.org\/r\/w1560\/getpro\/habr\/upload_files\/094\/380\/d88\/094380d88565ae24e69d679297612f1a.png 781w\" loading=\"lazy\" decode=\"async\"\/><\/figure>\n<p>\u0418\u043b\u0438, \u0443\u043a\u0440\u0443\u043f\u043d\u0451\u043d\u043d\u043e (\u0438 \u0441 \u043f\u0440\u0435\u0434\u0435\u043b\u043e\u043c \u043f\u043e \u043a\u043e\u043b\u0438\u0447\u0435\u0441\u0442\u0432\u0443)<\/p>\n<figure class=\"full-width \"><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/r\/w1560\/getpro\/habr\/upload_files\/5b9\/d33\/ae6\/5b9d33ae64db01efc0e88a51b8db0bae.png\" width=\"602\" height=\"739\" sizes=\"auto, (max-width: 780px) 100vw, 50vw\" srcset=\"https:\/\/habrastorage.org\/r\/w780\/getpro\/habr\/upload_files\/5b9\/d33\/ae6\/5b9d33ae64db01efc0e88a51b8db0bae.png 780w,&#10;       https:\/\/habrastorage.org\/r\/w1560\/getpro\/habr\/upload_files\/5b9\/d33\/ae6\/5b9d33ae64db01efc0e88a51b8db0bae.png 781w\" loading=\"lazy\" decode=\"async\"\/><\/figure>\n<h2>\u041d\u0410\u041c-\u043c\u0430\u0448\u0438\u043d\u0430 \u0446\u0435\u043b\u0438\u043a\u043e\u043c<\/h2>\n<p>\u041f\u043e\u0441\u043c\u043e\u0442\u0440\u0438\u043c, \u0447\u0442\u043e \u0432 \u0438\u0442\u043e\u0433\u0435 \u0443 \u043d\u0430\u0441 \u043f\u043e\u043b\u0443\u0447\u0438\u043b\u043e\u0441\u044c <em>\u043d\u0430 \u0434\u0430\u043d\u043d\u044b\u0439 \u043c\u043e\u043c\u0435\u043d\u0442<\/em>. (\u0421\u043a\u043e\u0440\u043e \u043c\u044b \u044d\u0442\u043e\u0442 \u043c\u043e\u043c\u0435\u043d\u0442 \u0438\u0441\u043f\u0440\u0430\u0432\u0438\u043c \u0438 \u0434\u043e\u043f\u043e\u043b\u043d\u0438\u043c&#8230;)<\/p>\n<pre><code class=\"cpp\">CONCEPT(Rule)CONCEPT(Machine)template&lt;class T&gt; concept MachineData = CtStr&lt;T&gt;;template&lt;class T&gt; concept RuleInput = NotMatchedYetOfTraits&lt;is_MachineData&gt;;template&lt;class T&gt; concept RuleOutput = TristateOfTraits&lt;is_MachineData&gt;;enum class rule_kind {  regular,  final,};template&lt;Str auto s, Str auto r, rule_kind k&gt; struct rule {  REPRESENTS(Rule)  RuleOutput decltype(auto) operator()(RuleInput auto&amp;&amp; input) const {    MaybeOfTraits&lt;is_CtStr&gt; auto res = try_substitute(input.value, ctv&lt;s&gt;, ctv&lt;r&gt;);    if constexpr (!res)      return std::move(input);    else if constexpr (k == rule_kind::matched_regular)      return matched_regular{res.value};    else      return matched_final{res.value};  }};\/\/ \u0442\u0443\u0442 \u0432\u0441\u044f \u043e\u0431\u0432\u044f\u0437\u043a\u0430 \u0434\u043b\u044f switch...template&lt;Rule auto... ps&gt; struct rules {  REPRESENT(Rule)  RuleOutput decltype(auto) operator()(RuleInput auto&amp;&amp; input) const {    return switch_for_tristate_monad(std::move(input), ps...);  }};template&lt;Rule auto program&gt; struct loop_body {  REPRESENT(Rule)  RuleOutput decltype(auto) operator()(RuleInput auto&amp;&amp; input) const {    return input.commit_loop();  }};template&lt;Rule auto program&gt; struct rule_loop {  REPRESENT(Rule)  RuleOutput decltype(auto) operator()(RuleInput auto&amp;&amp; input) const {    return unrolled_loop{loop_body&lt;program&gt;{}}(std::move(input));  }};\/\/ \u043c\u0430\u0448\u0438\u043d\u0443, \u0432 \u043f\u0440\u0438\u043d\u0446\u0438\u043f\u0435, \u043c\u043e\u0436\u043d\u043e \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u0438\u0437\u043e\u0432\u0430\u0442\u044c \u0438 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u043e\u0439 \u0431\u0435\u0437 \u0446\u0438\u043a\u043b\u0430,\/\/ \u0442\u0430\u043a\u0430\u044f \u043c\u0430\u0448\u0438\u043d\u0430 \u0432\u044b\u043f\u043e\u043b\u043d\u0438\u0442 \u0440\u043e\u0432\u043d\u043e \u043e\u0434\u043d\u0443 \u0438\u0442\u0435\u0440\u0430\u0446\u0438\u044e \u0438 \u043e\u0441\u0442\u0430\u043d\u043e\u0432\u0438\u0442\u0441\u044f.template&lt;Rule auto loop&gt; struct machine {  MachineData auto operator()(MachineData auto input) const {    return loop(not_matched_yet{std::move(input)}).value;  }};<\/code><div class=\"code-explainer\"><a href=\"https:\/\/sourcecraft.dev\/\" class=\"tm-button code-explainer__link\" style=\"visibility: hidden;\"><img style=\"width:14px;height:14px;object-fit:cover;object-position:left;\"\/><\/a><\/div><\/pre>\n<hr\/>\n<p>\u041d\u0443 \u0432\u043e\u0442, \u043c\u044b \u043f\u0440\u043e\u0434\u0435\u043b\u0430\u043b\u0438 <em>\u043e\u0441\u043d\u043e\u0432\u043d\u0443\u044e \u0447\u0430\u0441\u0442\u044c<\/em> \u0441\u043f\u0443\u0441\u043a\u0430 \u043f\u043e \u043b\u0435\u0441\u0442\u043d\u0438\u0446\u0435 \u0441 \u043d\u0435\u043f\u0440\u0438\u044f\u0442\u043d\u043e\u0441\u0442\u044f\u043c\u0438!<\/p>\n<p>\u0412 \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0435\u0439 \u0447\u0430\u0441\u0442\u0438 \u043f\u043e\u0439\u0434\u0451\u043c \u043f\u0440\u0435\u0432\u043e\u0437\u043c\u043e\u0433\u0430\u0442\u044c \u0440\u0430\u043d\u0442\u0430\u0439\u043c.<\/p>\n<\/div>\n<p>\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\/1049258\/\">https:\/\/habr.com\/ru\/articles\/1049258\/<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>\u041f\u0440\u043e\u0434\u043e\u043b\u0436\u0435\u043d\u0438\u0435. \u041d\u0430\u0447\u0430\u043b\u043e \u0437\u0434\u0435\u0441\u044c. \u041f\u0440\u0435\u0434\u044b\u0434\u0443\u0449\u0430\u044f \u0447\u0430\u0441\u0442\u044c. \u0420\u0435\u043f\u043e\u0437\u0438\u0442\u043e\u0440\u0438\u0439 \u0441 \u043a\u043e\u0434\u043e\u043c &#8212; \u043d\u0430 \u0433\u0438\u0442\u0445\u0430\u0431\u0435.(\u0421\u043e\u043a\u0440\u0430\u0449\u0435\u043d\u0438\u044f: \u041d\u0410\u041c &#8212; \u043d\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u044b\u0435 \u0430\u043b\u0433\u043e\u0440\u0438\u0444\u043c\u044b \u041c\u0430\u0440\u043a\u043e\u0432\u0430, \u041a\u0422 &#8212; \u043a\u043e\u043c\u043f\u0430\u0439\u043b-\u0442\u0430\u0439\u043c, \u0420\u0422 &#8212; \u0440\u0430\u043d\u0442\u0430\u0439\u043c).\u0421\u043b\u0435\u0434\u0443\u044e\u0449\u0430\u044f \u043d\u0435\u043f\u0440\u0438\u044f\u0442\u043d\u043e\u0441\u0442\u044c, \u043a\u043e\u0442\u043e\u0440\u0430\u044f \u043d\u0430\u0441 \u0436\u0434\u0451\u0442, &#8212; \u044d\u0442\u043e \u0446\u0438\u043a\u043b\u044b, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0432 \u041a\u0422 \u0432\u043e\u0432\u0441\u0435 \u043d\u0435 \u0446\u0438\u043a\u043b\u044b. \u041d\u0430\u043c \u043d\u0430\u0434\u043e \u043a\u0430\u043a-\u0442\u043e \u043d\u0430\u0443\u0447\u0438\u0442\u044c\u0441\u044f \u0431\u0435\u0433\u0430\u0442\u044c \u043f\u043e \u043f\u0440\u0430\u0432\u0438\u043b\u0430\u043c, \u0438\u0437 \u043a\u043e\u0442\u043e\u0440\u044b\u0445 \u0441\u043e\u0441\u0442\u043e\u0438\u0442 \u041d\u0410\u041c-\u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0430.\u041a\u0430\u043a \u0443\u0441\u0442\u0440\u043e\u0435\u043d\u0430 \u041d\u0410\u041c-\u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0430 \u043d\u0430 C++\u0412 \u043f\u0440\u0435\u0434\u044b\u0434\u0443\u0449\u0435\u0439 \u0433\u043b\u0430\u0432\u0435 \u044f \u0443\u0436\u0435 \u0441\u043a\u0430\u0437\u0430\u043b, \u0447\u0442\u043e \u043a\u0430\u0436\u0434\u043e\u0435 \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u0430\u0440\u043d\u043e\u0435 \u043f\u0440\u0430\u0432\u0438\u043b\u043e &#8212; \u044d\u0442\u043e \u0441\u0438\u043d\u0433\u043b\u0435\u0442\u043e\u043d, \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u0438\u0437\u043e\u0432\u0430\u043d\u043d\u044b\u0439 \u0434\u0432\u0443\u043c\u044f \u0441\u0442\u0440\u043e\u043a\u0430\u043c\u0438 (\u043f\u043e\u0438\u0441\u043a\u0430 \u0438 \u0437\u0430\u043c\u0435\u043d\u044b) \u0438 \u0444\u043b\u0430\u0436\u043a\u043e\u043c (\u043e\u0431\u044b\u0447\u043d\u043e\u0435\/\u0444\u0438\u043d\u0430\u043b\u044c\u043d\u043e\u0435). \u0410 \u043f\u043e\u0434\u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0430 &#8212; \u044d\u0442\u043e \u0441\u0438\u043d\u0433\u043b\u0435\u0442\u043e\u043d, \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u0438\u0437\u043e\u0432\u0430\u043d\u043d\u044b\u0439 \u043d\u0430\u0431\u043e\u0440\u043e\u043c \u043f\u0440\u0430\u0432\u0438\u043b.\u0418\u043d\u0442\u0435\u0440\u0444\u0435\u0439\u0441 \u043f\u043e\u0434\u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u044b \u0434\u043e\u043b\u0436\u0435\u043d \u0431\u044b\u0442\u044c \u0442\u0430\u043a\u0438\u043c \u0436\u0435, \u043a\u0430\u043a \u0443 \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u0430\u0440\u043d\u043e\u0433\u043e \u043f\u0440\u0430\u0432\u0438\u043b\u0430, \u0447\u0442\u043e\u0431\u044b \u043c\u043e\u0436\u043d\u043e \u0431\u044b\u043b\u043e \u0434\u0435\u043b\u0430\u0442\u044c \u043f\u043e\u0434\u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u044b \u0441 \u043f\u043e\u0434\u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0430\u043c\u0438. \u041d\u0435 \u0442\u043e, \u0447\u0442\u043e \u044d\u0442\u043e \u0436\u0438\u0437\u043d\u0435\u043d\u043d\u0430\u044f \u043d\u0435\u043e\u0431\u0445\u043e\u0434\u0438\u043c\u043e\u0441\u0442\u044c, \u043d\u043e \u0434\u043b\u044f \u0441\u0442\u0440\u0443\u043a\u0442\u0443\u0440\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f \u041d\u0410\u041c-\u043a\u043e\u0434\u0430 \u043e\u0447\u0435\u043d\u044c \u043f\u043e\u043b\u0435\u0437\u043d\u043e. (\u041c\u0438\u043d\u0438\u043c\u0430\u043b\u0438\u0441\u0442\u0438\u0447\u043d\u044b\u0439 \u0434\u0432\u0438\u0436\u043e\u043a \u043c\u043e\u0433 \u0431\u044b \u0441\u043e\u0441\u0442\u043e\u044f\u0442\u044c \u0440\u043e\u0432\u043d\u043e \u0438\u0437 \u0442\u0440\u0451\u0445 \u0443\u0440\u043e\u0432\u043d\u0435\u0439: \u043c\u0430\u0448\u0438\u043d\u0430, \u0441\u043f\u0438\u0441\u043e\u043a \u043f\u0440\u0430\u0432\u0438\u043b, \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u0430\u0440\u043d\u044b\u0435 \u043f\u0440\u0430\u0432\u0438\u043b\u0430).\u0411\u043e\u043b\u0435\u0435 \u0442\u043e\u0433\u043e, \u0446\u0438\u043a\u043b \u0438\u0441\u043f\u043e\u043b\u043d\u0435\u043d\u0438\u044f \u041d\u0410\u041c-\u043c\u0430\u0448\u0438\u043d\u044b \u0442\u043e\u0436\u0435 \u043c\u043e\u0436\u043d\u043e \u0441\u0434\u0435\u043b\u0430\u0442\u044c \u0441 \u0442\u0430\u043a\u0438\u043c \u0436\u0435 \u0438\u043d\u0442\u0435\u0440\u0444\u0435\u0439\u0441\u043e\u043c. \u0423 \u043d\u0435\u0433\u043e \u043d\u0430 \u0432\u0445\u043e\u0434\u0435 \u0441\u0442\u0440\u043e\u043a\u0430 \u0432 \u043a\u0430\u043a\u043e\u0439-\u0442\u043e \u0434\u0435\u043a\u043e\u0440\u0430\u0446\u0438\u0438, \u0438 \u043d\u0430 \u0432\u044b\u0445\u043e\u0434\u0435 \u0441\u0442\u0440\u043e\u043a\u0430 \u0432 \u043a\u0430\u043a\u043e\u0439-\u0442\u043e \u0434\u0435\u043a\u043e\u0440\u0430\u0446\u0438\u0438.template&lt;class T&gt; concept RuleInput = &#8230;..; \/\/ \u043e\u0431\u0451\u0440\u0442\u043a\u0430 \u043d\u0430\u0434 CtStrtemplate&lt;class T&gt; concept RuleOutput = &#8230;..; \/\/ \u043e\u0431\u0451\u0440\u0442\u043a\u0430 \u043d\u0430\u0434 CtStrenum class rule_kind { regular, final };template&lt;Str auto search, Str auto replace, rule_kind kind&gt;struct rule {  REPRESENT(Rule)  constexpr RuleOutput decltype(auto) operator()(RuleInput auto&amp;&amp; in) const {    \/\/ \u043f\u044b\u0442\u0430\u0435\u043c\u0441\u044f \u0432\u044b\u043f\u043e\u043b\u043d\u0438\u0442\u044c \u043f\u043e\u0434\u0441\u0442\u0430\u043d\u043e\u0432\u043a\u0443,    \/\/ \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u043c    \/\/ &#8212; \u043f\u0440\u0438\u0437\u043d\u0430\u043a \u0443\u0441\u043f\u0435\u0445\u0430-\u043d\u0435\u0443\u0441\u043f\u0435\u0445\u0430,    \/\/ &#8212; \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442 \u043f\u043e\u0434\u0441\u0442\u0430\u043d\u043e\u0432\u043a\u0438,    \/\/ &#8212; \u0434\u043e\u0441\u0442\u0438\u0433\u043b\u0438 \u0438\u043b\u0438 \u043d\u0435\u0442 \u0444\u0438\u043d\u0430\u043b\u044c\u043d\u043e\u0433\u043e \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f  }};template&lt;Rule auto&#8230; ps&gt;struct rules {  REPRESENT(Rule)  constexpr RuleOutput decltype(auto) operator(RuleInput auto&amp;&amp; in) const {    \/\/ \u041f\u0421\u0415\u0412\u0414\u041e\u041a\u041e\u0414!!!    for (p in ps&#8230;) {      auto out = p(in);      if constexpr (matched(out)) return out;    }    return in;  }};template&lt;Rule auto p&gt;struct rule_loop {  REPRESENT(Rule)  constexpr RuleOutput decltype(auto) operator(RuleInput auto&amp;&amp; in) const {    \/\/ \u041f\u0421\u0415\u0412\u0414\u041e\u041a\u041e\u0414!!!    auto current = in;    while (true) {      auto out = p(current);      if constexpr (final_state(out)) return out;      if constexpr (!matched(out)) return out; \/\/ \u0438\u043d\u0430\u0447\u0435 \u0437\u0430\u0446\u0438\u043a\u043b\u0438\u043c\u0441\u044f      current = out;    }  }};\u0427\u0442\u043e \u044d\u0442\u043e \u0437\u0430 \u0434\u0435\u043a\u043e\u0440\u0430\u0446\u0438\u0438, \u044f \u0438 \u0440\u0430\u0441\u0441\u043a\u0430\u0436\u0443 \u043d\u0438\u0436\u0435. \u041d\u043e \u043d\u0430\u0447\u043d\u0443 \u0441 \u0442\u043e\u0433\u043e, \u043a\u0430\u043a \u0432\u043e\u043e\u0431\u0449\u0435 \u0434\u0435\u043b\u0430\u0442\u044c \u0442\u0430\u043a\u0438\u0435 \u0446\u0438\u043a\u043b\u044b.Disclaimer\u0412 \u044d\u0442\u043e\u0439 \u0441\u0442\u0430\u0442\u044c\u0435 \u044f \u043d\u0435 \u043f\u0440\u043e\u0441\u0442\u043e \u043f\u043e\u043a\u0430\u0436\u0443 \u0438\u0442\u043e\u0433\u043e\u0432\u043e\u0435 \u0440\u0435\u0448\u0435\u043d\u0438\u0435, \u0430 \u0443\u0441\u0442\u0440\u043e\u044e \u0438\u043c\u0435\u043d\u043d\u043e \u0437\u0430\u0431\u0435\u0433 \u043f\u043e \u0433\u0440\u0430\u0431\u043b\u044f\u043c. \u041f\u043e\u043a\u0430\u0436\u0443, \u043a\u0430\u043a \u0432\u043e\u043e\u0431\u0449\u0435 \u043c\u043e\u0436\u043d\u043e \u043f\u0438\u0441\u0430\u0442\u044c \u041a\u0422-\u0446\u0438\u043a\u043b\u044b, \u043a\u0430\u043a\u0438\u0435 \u0438\u0434\u0435\u0438 \u0437\u0430 \u044d\u0442\u0438\u043c \u0441\u0442\u043e\u044f\u0442, \u0438 \u0447\u0442\u043e \u0438\u0437 \u044d\u0442\u043e\u0433\u043e \u043e\u043a\u0430\u0437\u0430\u043b\u043e\u0441\u044c \u043d\u0435\u043f\u0440\u0438\u044f\u0442\u043d\u043e\u0441\u0442\u044f\u043c\u0438, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043c\u0435\u043d\u044f \u0436\u0434\u0430\u043b\u0438.\u042d\u0442\u043e \u043d\u0435 \u0437\u043d\u0430\u0447\u0438\u0442, \u0447\u0442\u043e \u043f\u0440\u043e\u043c\u0435\u0436\u0443\u0442\u043e\u0447\u043d\u044b\u0435 \u0440\u0435\u0448\u0435\u043d\u0438\u044f \u043f\u043b\u043e\u0445\u0438\u0435, &#8212; \u0432 \u0434\u0440\u0443\u0433\u0438\u0445 \u0443\u0441\u043b\u043e\u0432\u0438\u044f\u0445 \u0438\u0445 \u043e\u0447\u0435\u043d\u044c \u0434\u0430\u0436\u0435 \u043c\u043e\u0436\u043d\u043e \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c.\u0422\u0443\u0442 \u0435\u0441\u0442\u044c \u0432\u0430\u0436\u043d\u044b\u0435 \u043d\u0435\u043e\u0447\u0435\u0432\u0438\u0434\u043d\u044b\u0435 \u043c\u043e\u043c\u0435\u043d\u0442\u044b, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043c\u043e\u0433\u0443\u0442 \u043f\u0435\u0441\u0441\u0438\u043c\u0438\u0437\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u043a\u043e\u0434, \u0430 \u0442\u043e \u0438 \u043f\u0440\u0438\u0432\u043e\u0434\u0438\u0442\u044c \u043a \u043d\u0435\u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0451\u043d\u043d\u043e\u043c\u0443 \u043f\u043e\u0432\u0435\u0434\u0435\u043d\u0438\u044e, \u0435\u0441\u043b\u0438 \u043e\u043f\u0442\u0438\u043c\u0438\u0437\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u0431\u0435\u0437\u0434\u0443\u043c\u043d\u043e.\u0426\u0438\u043a\u043b for\u041d\u0430\u043f\u043e\u043c\u043d\u044e, \u0447\u0442\u043e \u0443 \u043d\u0430\u0441 \u0434\u0432\u0435 \u0431\u0435\u0434\u044b: \u0440\u0430\u0437\u043d\u043e\u0442\u0438\u043f\u043d\u044b\u0435 \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u044b \u043f\u043e\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u0442\u0435\u043b\u044c\u043d\u043e\u0441\u0442\u0438 (\u0432 \u0434\u0430\u043d\u043d\u043e\u043c \u0441\u043b\u0443\u0447\u0430\u0435 &#8212; \u043f\u0440\u0430\u0432\u0438\u043b\u0430) \u0438 \u0440\u0430\u0437\u043d\u043e\u0442\u0438\u043f\u043d\u044b\u0435 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u044b, \u043f\u043e\u043b\u0443\u0447\u0430\u0435\u043c\u044b\u0435 \u043d\u0430 \u043a\u0430\u0436\u0434\u043e\u0439 \u0438\u0442\u0435\u0440\u0430\u0446\u0438\u0438. \u0417\u0430\u0442\u043e \u0445\u043e\u0440\u043e\u0448\u043e, \u0447\u0442\u043e \u043a\u043e\u043b\u0438\u0447\u0435\u0441\u0442\u0432\u043e \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u043e\u0432 \u0437\u0430\u0440\u0430\u043d\u0435\u0435 \u0438\u0437\u0432\u0435\u0441\u0442\u043d\u043e (\u0432\u0430\u0440\u0438\u0430\u0434\u0438\u043a).\u0418\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u043c fold-expressions&#8230;\u0415\u0441\u043b\u0438 \u0431\u044b \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u044b \u0431\u044b\u043b\u0438 \u043e\u0434\u043d\u043e\u0440\u043e\u0434\u043d\u044b\u043c\u0438 (\u0438 assignable), &#8212; \u043a\u0430\u043a \u0432\u043d\u0443\u0442\u0440\u0438 \u0444\u0443\u043d\u043a\u0446\u0438\u0438 concat_str \u0438\u0437 \u043f\u0440\u0435\u0434\u044b\u0434\u0443\u0449\u0435\u0439 \u0433\u043b\u0430\u0432\u044b, &#8212; \u0442\u043e \u043c\u043e\u0436\u043d\u043e \u0431\u044b\u043b\u043e \u0431\u044b \u0441\u0434\u0435\u043b\u0430\u0442\u044c \u0441 \u043f\u043e\u043c\u043e\u0449\u044c\u044e fold-expressions \u043d\u0430 \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u0435 &#171;,&#187; \u0438\u043b\u0438 \u043a\u043e\u043d\u044a\u044e\u043d\u043a\u0446\u0438\u0438 (\u043b\u0438\u0431\u043e \u0434\u0438\u0437\u044a\u044e\u043d\u043a\u0446\u0438\u0438).void do_for_all(auto arg, auto&#8230; funs) {  (funs(arg) , &#8230;);}auto chain_for_all(auto seed, auto&#8230; funs) {  ((seed = funs(seed)), &#8230;);  \/\/ \u0440\u0430\u0437\u0432\u043e\u0440\u0430\u0447\u0438\u0432\u0430\u0435\u0442\u0441\u044f \u0432  seed = f1(seed),  seed = f2(seed),  &#8230;..;  return seed;}auto chain_for_all_while(auto seed, auto cond, auto&#8230; funs) {  ((cond(seed) &amp;&amp; (seed = funs(seed), true)) &amp;&amp; &#8230; &amp;&amp; true);  \/\/ \u0440\u0430\u0437\u0432\u043e\u0440\u0430\u0447\u0438\u0432\u0430\u0435\u0442\u0441\u044f \u0432  cond(seed) &amp;&amp; (seed = f1(seed), true) &amp;&amp;  cond(seed) &amp;&amp; (seed = f2(seed), true) &amp;&amp;  &#8230;..  true;  \/\/ \u043f\u043e\u0441\u043b\u0435\u0434\u043d\u0435\u0435 \u043d\u0443\u0436\u043d\u043e \u043d\u0430 \u0441\u043b\u0443\u0447\u0430\u0439, \u0435\u0441\u043b\u0438 sizeof&#8230;(funs) == 0  return seed;}\u0414\u0435\u043b\u0430\u0435\u043c \u043a\u043e\u043d\u0432\u0435\u0435\u0440&#8230;\u041d\u043e \u0447\u0442\u043e, \u0435\u0441\u043b\u0438 \u043d\u0430\u043c \u043d\u0443\u0436\u043d\u043e \u0441\u0434\u0435\u043b\u0430\u0442\u044c \u0447\u0442\u043e-\u0442\u043e \u0432\u0438\u0434\u0430 fn(&#8230;(f2(f1(seed)))&#8230;).\u0422\u0430\u043a \u044d\u0442\u043e \u0436\u0435 \u043a\u043e\u043d\u0432\u0435\u0435\u0440! (seed &gt;&gt; f1 &gt;&gt; f2 &gt;&gt; &#8230; &gt;&gt; fn). \u0412\u0441\u0451, \u0447\u0442\u043e \u043d\u0435\u043e\u0431\u0445\u043e\u0434\u0438\u043c\u043e, &#8212; \u044d\u0442\u043e \u043d\u0430\u043a\u043e\u043b\u0434\u043e\u0432\u0430\u0442\u044c \u0434\u0432\u0443\u043c\u0435\u0441\u0442\u043d\u044b\u0439 \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440. \u0422\u0443\u0442 &#8212; \u043b\u0438\u0431\u043e \u0441\u0430\u043c seed \u0442\u0430\u043a\u043e\u0435 \u0443\u043c\u0435\u0435\u0442, \u043b\u0438\u0431\u043e \u0441\u0434\u0435\u043b\u0430\u0435\u043c \u043e\u0431\u0451\u0440\u0442\u043a\u0443.template&lt;class T&gt; struct arg_wrapper {  T value;  auto operator &gt;&gt; (auto fun) const {    using U = decltype(fun(value));    return arg_wrapper&lt;U&gt;{fun(value)};    \/\/ CTAD \u0442\u0443\u0442 \u043d\u0435 \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442.    \/\/ \u0432\u043d\u0443\u0442\u0440\u0438 \u043a\u043b\u0430\u0441\u0441\u0430 \u0438\u043c\u044f \u043a\u043b\u0430\u0441\u0441\u0430 \u043e\u0437\u043d\u0430\u0447\u0430\u0435\u0442 \u043d\u0435 \u0448\u0430\u0431\u043b\u043e\u043d, \u0430 \u043a\u043e\u043d\u043a\u0440\u0435\u0442\u043d\u043e\u0435 \u0432\u043e\u043f\u043b\u043e\u0449\u0435\u043d\u0438\u0435.    \/\/ \u043f\u043e\u044d\u0442\u043e\u043c\u0443 \u0442\u0438\u043f \u043f\u0440\u0438\u0434\u0451\u0442\u0441\u044f \u0432\u044b\u0432\u0435\u0441\u0442\u0438 \u0432\u0440\u0443\u0447\u043d\u0443\u044e.  }};auto chain_for_all(auto seed, auto&#8230; funs) {  return (arg_wrapper{seed} &gt;&gt; &#8230; &gt;&gt; funs).value;}\u0414\u0435\u043b\u0430\u0435\u043c \u043c\u043e\u043d\u0430\u0434\u0443 Either&#8230;\u0427\u0442\u043e\u0431\u044b \u043f\u0440\u0435\u0440\u0432\u0430\u0442\u044c \u0446\u0438\u043a\u043b, &#8212; \u043d\u0443\u0436\u043d\u043e \u0441\u0434\u0435\u043b\u0430\u0442\u044c \u041a\u0422-\u0440\u0430\u0437\u0432\u0438\u043b\u043a\u0443: \u0434\u043e \u0442\u043e\u0447\u043a\u0438 \u043f\u0440\u0435\u0440\u044b\u0432\u0430\u043d\u0438\u044f \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440 \u043f\u0440\u0438\u043c\u0435\u043d\u044f\u0435\u0442 \u0444\u0443\u043d\u043a\u0446\u0438\u044e \u043a \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u0443, \u0430 \u043f\u043e\u0441\u043b\u0435 &#8212; \u0438\u0433\u043d\u043e\u0440\u0438\u0440\u0443\u0435\u0442 \u0432\u0445\u043e\u0434\u044f\u0449\u0443\u044e \u0444\u0443\u043d\u043a\u0446\u0438\u044e. \u041d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, \u0442\u0430\u043a:template&lt;class T, class C&gt; struct either {  T value;  C cond;  constexpr bool is_right() const { return cond(value); }  decltype(auto) operator &gt;&gt; (auto fun) const {    if constexpr (cond(value)) {      return either&lt;decltype(fun(value)), C&gt;{fun(value), cond}; \/\/ rvalue    } else {      return *this; \/\/ const&amp;    }  }};auto chain_for_all(auto seed, auto cond, auto&#8230; fs) {  return (either{seed, cond} &gt;&gt; &#8230; &gt;&gt; fs).value;}\u042f \u043d\u0435 \u043f\u0440\u043e\u0441\u0442\u043e \u0442\u0430\u043a \u043d\u0430\u0437\u0432\u0430\u043b \u043e\u0431\u0451\u0440\u0442\u043a\u0443 either, &#8212; \u044d\u0442\u043e \u0434\u0435\u0439\u0441\u0442\u0432\u0438\u0442\u0435\u043b\u044c\u043d\u043e \u043c\u043e\u043d\u0430\u0434\u0430 Either. \u0421\u0442\u0430\u0440\u0442\u043e\u0432\u043e\u0435 \u0438 \u043f\u0440\u043e\u043c\u0435\u0436\u0443\u0442\u043e\u0447\u043d\u044b\u0435 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u0430 &#8212; \u043b\u0438\u0431\u043e Right \u0447\u0442\u043e-\u0442\u043e (\u043f\u0440\u043e\u0434\u043e\u043b\u0436\u0430\u0435\u043c \u0437\u0430\u0431\u0435\u0433), \u043b\u0438\u0431\u043e Left \u0447\u0442\u043e-\u0442\u043e (\u0438\u0433\u043d\u043e\u0440\u0438\u0440\u0443\u0435\u043c \u0445\u0432\u043e\u0441\u0442).&lt;disclaimer&gt;\u042f \u043d\u0435 \u0441\u0442\u0430\u0432\u0438\u043b \u043f\u0435\u0440\u0435\u0434 \u0441\u043e\u0431\u043e\u0439 \u0437\u0430\u0434\u0430\u0447\u0443 \u0441\u0434\u0435\u043b\u0430\u0442\u044c \u043f\u043e\u043b\u043d\u043e\u0446\u0435\u043d\u043d\u044b\u0439 \u0438\u043d\u0442\u0435\u0440\u0444\u0435\u0439\u0441 &#171;\u0442\u0430\u0439\u043f\u043a\u043b\u0430\u0441\u0441 \u043c\u043e\u043d\u0430\u0434\u0430&#187;, \u043f\u043e\u0442\u043e\u043c\u0443 \u0447\u0442\u043e \u043c\u043e\u044f \u0437\u0430\u0434\u0430\u0447\u0430 &#8212; \u043d\u0435 \u0445\u0430\u0441\u043a\u0435\u043b\u043b \u0438\u043b\u0438 \u0441\u043a\u0430\u043b\u0443 \u0432\u043e\u0441\u043f\u0440\u043e\u0438\u0437\u0432\u0435\u0441\u0442\u0438, \u0430 \u0440\u0435\u0448\u0438\u0442\u044c \u043f\u0440\u0438\u043a\u043b\u0430\u0434\u043d\u0443\u044e \u0437\u0430\u0434\u0430\u0447\u0443.&lt;\/disclaimer&gt;\u0415\u0441\u043b\u0438 \u043c\u044b \u0434\u043e\u0433\u043e\u0432\u043e\u0440\u0438\u043c\u0441\u044f, \u0447\u0442\u043e \u0444\u0443\u043d\u043a\u0446\u0438\u0438 \u0441\u0430\u043c\u0438 \u043e\u0442\u043e\u0431\u0440\u0430\u0436\u0430\u044e\u0442 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442 \u0432 Either, \u0442\u043e \u043c\u043e\u0436\u043d\u043e \u043d\u0435 \u0442\u0430\u0449\u0438\u0442\u044c \u043f\u0440\u043e\u0432\u0435\u0440\u043e\u0447\u043d\u044b\u0439 \u043f\u0440\u0435\u0434\u0438\u043a\u0430\u0442:\/\/ \u0437\u0434\u0435\u0441\u044c \u0432\u0441\u0435 f &#8212; \u044d\u0442\u043e \u0444\u0443\u043d\u043a\u0446\u0438\u0438 EitherOfSmth auto (Smth auto)\/\/ \u0433\u0434\u0435 Smth &#8212; \u043f\u0440\u0435\u0434\u043c\u0435\u0442\u043d\u0430\u044f \u043e\u0431\u043b\u0430\u0441\u0442\u044ctemplate&lt;Smth T&gt; struct left {  REPRESENTS(EitherOfSmth)  REPRESENTS(LeftOfSmth)  T value;  \/\/ \u043d\u0435 \u0431\u0443\u0434\u0435\u043c \u0437\u0430\u043d\u0438\u043c\u0430\u0442\u044c\u0441\u044f \u043a\u043e\u043f\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0435\u043c \u0441\u0435\u0431\u044f, \u0430 \u043e\u0442\u0434\u0430\u0434\u0438\u043c \u0441\u0441\u044b\u043b\u043a\u0443  EitherOfSmth auto&amp;&amp; operator &gt;&gt; (auto f) &amp;&amp; { return std::move(*this); }};template&lt;Smth T&gt; struct right {  REPRESENTS(EitherOfSmth)  REPRESENTS(RightOfSmth)  T value;  EitherOfSmth auto operator &gt;&gt; (auto f) &amp;&amp; { return f(std::move(value)); }};EitherOfSmth auto chain_for_either_monad(Smth auto seed, auto&#8230; fs) {  return (right{std::move(seed)} &gt;&gt; &#8230; &gt;&gt; fs);}(\u0417\u0434\u0435\u0441\u044c \u0438 \u0434\u0430\u043b\u0435\u0435 \u044f \u043d\u0435 \u0431\u0443\u0434\u0443 \u043f\u043e\u0434\u0434\u0435\u0440\u0436\u0438\u0432\u0430\u0442\u044c \u043e\u0434\u043d\u043e\u0432\u0440\u0435\u043c\u0435\u043d\u043d\u043e const&amp; \u0438 &amp;&amp;, \u0447\u0442\u043e\u0431\u044b \u043d\u0435 \u0437\u0430\u0433\u0440\u043e\u043c\u043e\u0436\u0434\u0430\u0442\u044c \u0440\u0430\u0441\u0441\u0443\u0436\u0434\u0435\u043d\u0438\u044f. \u0418\u043d\u0430\u0447\u0435 \u0442\u0430\u043c \u043f\u043e\u044f\u0432\u044f\u0442\u0441\u044f \u0441\u0442\u0440\u0430\u0448\u043d\u0435\u043d\u044c\u043a\u0438\u0435 \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0446\u0438\u0438 \u0432\u0438\u0434\u0430 std::forward&lt;decltype(v)&gt;(v) \u0438 \u0434\u0443\u0431\u043b\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0435 \u0444\u0443\u043d\u043a\u0446\u0438\u0439 \u043b\u0438\u0431\u043e deducing this).\u0414\u0435\u043b\u0430\u0435\u043c switch&#8230;\u041d\u043e \u043f\u043e\u0441\u043c\u043e\u0442\u0440\u0438\u043c, \u0432 \u043a\u0430\u043a\u0438\u0445 \u0441\u043b\u0443\u0447\u0430\u044f\u0445 \u0444\u0443\u043d\u043a\u0446\u0438\u044f, \u0432\u044b\u043f\u043e\u043b\u043d\u044f\u044e\u0449\u0430\u044f \u041d\u0410\u041c-\u043f\u0440\u0430\u0432\u0438\u043b\u043e (\u0438\u043b\u0438 \u041d\u0410\u041c-\u043f\u043e\u0434\u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0443) \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u0442 Right? \u041a\u043e\u0433\u0434\u0430 \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442 \u043d\u0435 \u043f\u043e\u0434\u043e\u0448\u0451\u043b. \u041f\u043e\u043b\u0443\u0447\u0430\u0435\u0442\u0441\u044f, \u0447\u0442\u043e \u0434\u043b\u044f \u0441\u0438\u0433\u043d\u0430\u0442\u0443\u0440\u044b EitherOfSmth(Smth) \u043c\u044b \u043f\u043e\u0441\u0442\u043e\u044f\u043d\u043d\u043e \u0437\u0430\u043d\u0438\u043c\u0430\u0435\u043c\u0441\u044f \u0440\u0430\u0441\u043f\u0430\u043a\u043e\u0432\u043a\u043e\u0439-\u043f\u0435\u0440\u0435\u0443\u043f\u0430\u043a\u043e\u0432\u043a\u043e\u0439. \u0422\u043e, \u0447\u0442\u043e \u0445\u043e\u0440\u043e\u0448\u043e \u0434\u043b\u044f \u0445\u0430\u0441\u043a\u0435\u043b\u043b\u0430, &#8212; \u043f\u043b\u043e\u0445\u043e \u0434\u043b\u044f C++. \u041f\u043e\u044d\u0442\u043e\u043c\u0443 \u043f\u0435\u0440\u0432\u0430\u044f \u0438\u0434\u0435\u044f &#8212; \u0437\u0430\u043c\u0435\u043d\u0438\u0442\u044c \u0441\u0438\u0433\u043d\u0430\u0442\u0443\u0440\u0443 \u043d\u0430 EitherOfSmth(RightOfSmth). \u0412\u043c\u0435\u0441\u0442\u043e \u0442\u043e\u0442\u0430\u043b\u044c\u043d\u044b\u0445 \u0444\u0443\u043d\u043a\u0446\u0438\u0439 \u0438\u0437 Smth \u0432 Either \u043c\u044b \u0441\u0434\u0435\u043b\u0430\u043b\u0438 \u0447\u0430\u0441\u0442\u0438\u0447\u043d\u044b\u0435 \u0432\u043d\u0443\u0442\u0440\u0438 Either. \u041d\u043e \u0431\u043b\u0430\u0433\u043e\u0434\u0430\u0440\u044f \u0432\u0435\u0442\u0432\u043b\u0435\u043d\u0438\u044e \u0432 \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u0435 &gt;&gt;, \u043e\u043d\u0438, \u043d\u0430 \u0441\u0430\u043c\u043e\u043c \u0434\u0435\u043b\u0435, \u0442\u043e\u0442\u0430\u043b\u044c\u043d\u044b\u0435 \u0438\u0437 Right \u0432 Either.template&lt;Smth T&gt; struct left {  REPRESENTS(EitherOfSmth)  REPRESENTS(LeftOfSmth)  T value;  \/\/ \u043d\u0435 \u0431\u0443\u0434\u0435\u043c \u0437\u0430\u043d\u0438\u043c\u0430\u0442\u044c\u0441\u044f \u043a\u043e\u043f\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0435\u043c \u0441\u0435\u0431\u044f, \u0430 \u043e\u0442\u0434\u0430\u0434\u0438\u043c \u0441\u0441\u044b\u043b\u043a\u0443  EitherOfSmth auto&amp;&amp; operator &gt;&gt; (auto f) &amp;&amp; { return std::move(*this); }};template&lt;Smth T&gt; struct right {  REPRESENTS(EitherOfSmth)  REPRESENTS(RightOfSmth)  T value;  \/\/ \u0444\u0443\u043d\u043a\u0446\u0438\u044f \u043c\u043e\u0436\u0435\u0442 \u0432\u0435\u0440\u043d\u0443\u0442\u044c \u0441\u0441\u044b\u043b\u043a\u0443 \u043d\u0430 this, \u0435\u0441\u043b\u0438 \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442 \u0435\u0439 \u043d\u0435 \u043f\u043e\u0434\u043e\u0448\u0451\u043b  EitherOfSmth decltype(auto) operator &gt;&gt; (auto f) &amp;&amp; { return f(std::move(value)); }};EitherOfSmth auto chain_for_either_monad(EitherOfSmth auto seed, auto&#8230; fs) {  return (std::move(seed) &gt;&gt; &#8230; &gt;&gt; fs);}EitherOfSmth decltype(auto) some_fun(EitherOfSmth auto&amp;&amp; arg) {  if constexpr (&#8230;..)    return std::move(arg);  else    return left{&#8230;..};}\u0422\u0443\u0442, \u043a\u0441\u0442\u0430\u0442\u0438, \u0432\u043e\u0437\u043d\u0438\u043a\u0430\u0435\u0442 \u0438\u043d\u0442\u0435\u0440\u0435\u0441\u043d\u0430\u044f \u043f\u0440\u043e\u0431\u043b\u0435\u043c\u0430 &#8212; \u0432\u0440\u0435\u043c\u044f \u0436\u0438\u0437\u043d\u0438 \u043e\u0431\u044a\u0435\u043a\u0442\u043e\u0432. \u041a \u043a\u043e\u043d\u0446\u0443 \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u044f \u043c\u043e\u0436\u0435\u0442 \u043f\u0440\u0438\u0435\u0445\u0430\u0442\u044c\u0438\u0441\u0445\u043e\u0434\u043d\u044b\u0439 right-\u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442 (\u043d\u0435 \u043f\u043e\u0434\u043e\u0448\u043b\u043e \u043d\u0438 \u043a \u043e\u0434\u043d\u043e\u0439 \u0444\u0443\u043d\u043a\u0446\u0438\u0438) \u043f\u043e rvalue-\u0441\u0441\u044b\u043b\u043a\u0435\u043f\u0440\u043e\u043c\u0435\u0436\u0443\u0442\u043e\u0447\u043d\u044b\u0439 left-\u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442 (\u0444\u0443\u043d\u043a\u0446\u0438\u044f \u0438\u0437 \u0441\u0435\u0440\u0435\u0434\u0438\u043d\u044b \u0432\u0435\u0440\u043d\u0443\u043b\u0430) \u043f\u043e rvalue-\u0441\u0441\u044b\u043b\u043a\u0435\u043e\u043a\u043e\u043d\u0447\u0430\u0442\u0435\u043b\u044c\u043d\u044b\u0439 left-\u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442 (\u043f\u043e\u0441\u043b\u0435\u0434\u043d\u044f\u044f \u0444\u0443\u043d\u043a\u0446\u0438\u044f \u0432\u0435\u0440\u043d\u0443\u043b\u0430) \u043f\u043e rvalue\u0412 \u043f\u0435\u0440\u0432\u043e\u043c \u0441\u043b\u0443\u0447\u0430\u0435 \u0431\u044b\u043b\u043e \u0431\u044b \u043e\u043f\u0442\u0438\u043c\u0430\u043b\u044c\u043d\u043e &#8212; \u043f\u0435\u0440\u0435\u0434\u0430\u0442\u044c \u0432\u043d\u0443\u0442\u0440\u044c \u0437\u0430\u0431\u0435\u0433\u0430 \u043f\u043e rvalue-\u0441\u0441\u044b\u043b\u043a\u0435 \u0438 \u0432\u0435\u0440\u043d\u0443\u0442\u044c \u0438\u0437 \u0437\u0430\u0431\u0435\u0433\u0430 \u0442\u043e\u0436\u0435 \u043f\u043e rvalue-\u0441\u0441\u044b\u043b\u043a\u0435 (\u043d\u0435 \u043f\u043e\u0434\u043e\u0448\u043b\u043e \u0434\u043b\u044f \u0432\u0441\u0435\u0439 \u041d\u0410\u041c-\u043f\u043e\u0434\u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0435). \u0410 \u0432\u043e \u0432\u0442\u043e\u0440\u043e\u043c \u043c\u044b \u043f\u0440\u043e\u0441\u0442\u043e \u043e\u0431\u044f\u0437\u0430\u043d\u044b \u0441\u0434\u0435\u043b\u0430\u0442\u044c \u0438\u0437 rvalue-\u0441\u0441\u044b\u043b\u043a\u0438 \u0447\u0435\u0441\u0442\u043d\u043e\u0435 rvalue, \u0438 \u0432\u0435\u0440\u043d\u0443\u0442\u044c \u043a\u043e\u043f\u0438\u044e.\u041f\u043e\u044d\u0442\u043e\u043c\u0443 \u043d\u0435\u043c\u043d\u043e\u0433\u043e \u0434\u043e\u0440\u0430\u0431\u043e\u0442\u0430\u0435\u043ctemplate&lt;Smth T&gt; struct left {  &#8230;..  left commit() &amp;&amp; { return std::move(*this); }};template&lt;Smth T&gt; struct right {  &#8230;..  right&amp;&amp; commit() &amp;&amp; { return std::move(*this); }};EitherOfSmth decltype(auto) switch_for_either_monad(EitherOfSmth auto&amp;&amp; seed, auto&#8230; fs) {  return (std::move(seed) &gt;&gt; &#8230; &gt;&gt; fs).commit();}\u0414\u043b\u044f \u043d\u0430\u0433\u043b\u044f\u0434\u043d\u043e\u0441\u0442\u0438, \u043f\u0435\u0440\u0435\u0438\u043c\u0435\u043d\u0443\u044e \u0444\u0443\u043d\u043a\u0446\u0438\u044e \u0446\u0438\u043a\u043b\u0430: switch_for_either_monad. \u041f\u043e\u0442\u043e\u043c\u0443 \u0447\u0442\u043e \u044d\u0442\u043e \u043d\u0435 \u043f\u0440\u043e\u0441\u0442\u043e \u0446\u0435\u043f\u043e\u0447\u043a\u0430, \u0433\u0434\u0435 \u0438\u0437 \u043f\u0440\u043e\u0438\u0437\u0432\u043e\u043b\u044c\u043d\u044b\u0445 Right \u043f\u043e\u043b\u0443\u0447\u0430\u044e\u0442\u0441\u044f \u0434\u0440\u0443\u0433\u0438\u0435 \u043f\u0440\u043e\u0438\u0437\u0432\u043e\u043b\u044c\u043d\u044b\u0435 Right \u0438\u043b\u0438 Left, \u0430 \u0438\u043c\u0435\u043d\u043d\u043e \u043f\u043e\u0438\u0441\u043a \u043f\u0435\u0440\u0432\u043e\u0433\u043e \u043f\u043e\u0434\u043e\u0448\u0435\u0434\u0448\u0435\u0433\u043e \u043f\u0440\u0430\u0432\u0438\u043b\u0430. \u0422\u0443\u0442 \u043f\u0440\u044f\u043c\u043e \u043e\u0433\u043e\u0432\u043e\u0440\u0435\u043d\u043e, \u0447\u0442\u043e \u0435\u0441\u043b\u0438 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442 Right, \u0442\u043e \u044d\u0442\u043e \u0442\u0430 \u0436\u0435 \u0441\u0430\u043c\u0430\u044f \u0441\u0441\u044b\u043b\u043a\u0430, \u0447\u0442\u043e \u0438 \u043d\u0430 \u0432\u0445\u043e\u0434\u0435.\u0414\u0435\u043b\u0430\u0435\u043c switch \u0435\u0449\u0451 \u043b\u0443\u0447\u0448\u0435!..\u041d\u043e \u0440\u0430\u0437 \u0442\u0430\u043a, \u0442\u043e \u043e\u043a\u0430\u0437\u044b\u0432\u0430\u0435\u0442\u0441\u044f, \u043c\u044b \u043c\u043e\u0436\u0435\u043c \u0441\u043e\u043a\u0440\u0430\u0442\u0438\u0442\u044c \u0440\u0430\u0431\u043e\u0442\u0443! \u0417\u0430\u0441\u0442\u0430\u0432\u0438\u043c \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440 \u0432\u044b\u043f\u043e\u043b\u043d\u0438\u0442\u044c \u041a\u0422-\u0432\u044b\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u0435 \u0432\u043d\u0443\u0442\u0440\u0438 \u041a\u0422-\u0432\u044b\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u044f. \u0421\u043c\u043e\u0442\u0440\u0438\u0442\u0435, \u0432 \u0447\u0451\u043c \u0442\u0440\u044e\u043a. \u041c\u044b \u0434\u043e\u0433\u043e\u0432\u043e\u0440\u0438\u043b\u0438\u0441\u044c, \u0447\u0442\u043e \u0444\u0443\u043d\u043a\u0446\u0438\u044f \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u0442 Right, \u043a\u043e\u0433\u0434\u0430 \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442 \u043d\u0435 \u043f\u043e\u0434\u043e\u0448\u0451\u043b. \u0417\u043d\u0430\u0447\u0438\u0442, \u0435\u0441\u043b\u0438 \u043c\u044b \u043d\u0430\u0439\u0434\u0451\u043c \u0442\u0430\u043a\u0443\u044e \u0444\u0443\u043d\u043a\u0446\u0438\u044e, \u043a\u043e\u0442\u043e\u0440\u0430\u044f \u0432\u0435\u0440\u043d\u0451\u0442 Left, \u0442\u043e \u043f\u0440\u0438\u043c\u0435\u043d\u0438\u043c \u043b\u0438\u0448\u044c \u0435\u0451.template&lt;class F&gt; struct matched_fun;template&lt;EitherOfSmth T&gt; struct will_match_to {  auto operator | (auto f) const {    using R = decltype(f(std::declval&lt;T&gt;()));    if constexpr (RightOfSmth&lt;R&gt;)      return *this;    else      return matched_fun{f};  };  auto&amp;&amp; doit(T&amp;&amp; arg) const { return arg; } \/\/ \u0435\u0441\u043b\u0438 \u043d\u0438\u0447\u0435\u0433\u043e \u043d\u0435 \u043f\u043e\u0434\u043e\u0448\u043b\u043e};template&lt;class F&gt; struct matched_fun {  F f;  const&#8230;<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[],"tags":[],"class_list":["post-484194","post","type-post","status-publish","format-standard","hentry"],"_links":{"self":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts\/484194","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=484194"}],"version-history":[{"count":0,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts\/484194\/revisions"}],"wp:attachment":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=484194"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=484194"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=484194"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}