{"id":495488,"date":"2026-09-21T20:17:20","date_gmt":"2026-09-21T20:17:20","guid":{"rendered":"https:\/\/savepearlharbor.com\/?p=495488"},"modified":"-0001-11-30T00:00:00","modified_gmt":"-0001-11-29T21:00:00","slug":"","status":"publish","type":"post","link":"https:\/\/savepearlharbor.com\/?p=495488","title":{"rendered":"\u041a\u0430\u0440\u0440\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0435 \u0438 \u0447\u0430\u0441\u0442\u0438\u0447\u043d\u043e\u0435 \u043f\u0440\u0438\u043c\u0435\u043d\u0435\u043d\u0438\u0435 \u0432 C++: \u0432\u043b\u0430\u0434\u0435\u043d\u0438\u0435, \u0432\u0440\u0435\u043c\u044f \u0436\u0438\u0437\u043d\u0438 \u0438 \u043a\u0430\u0442\u0435\u0433\u043e\u0440\u0438\u0438 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0439"},"content":{"rendered":"
\n

\u041a\u0430\u0440\u0440\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0435 \u0438 \u0447\u0430\u0441\u0442\u0438\u0447\u043d\u043e\u0435 \u043f\u0440\u0438\u043c\u0435\u043d\u0435\u043d\u0438\u0435 \u0432 C++: \u0432\u043b\u0430\u0434\u0435\u043d\u0438\u0435, \u0432\u0440\u0435\u043c\u044f \u0436\u0438\u0437\u043d\u0438 \u0438 \u043a\u0430\u0442\u0435\u0433\u043e\u0440\u0438\u0438 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0439<\/h2>\n

\u041d\u043e\u0441\u0438\u0442\u0435\u043b\u044f\u043c \u043f\u0440\u0435\u043a\u0440\u0430\u0441\u043d\u043e\u0433\u043e \u044f\u0437\u044b\u043a\u0430 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f C++ \u0442\u0435\u043c\u0430 \u0447\u0430\u0441\u0442\u0438\u0447\u043d\u043e\u0433\u043e \u043f\u0440\u0438\u043c\u0435\u043d\u0435\u043d\u0438\u044f \u043c\u043e\u0436\u0435\u0442 \u043f\u043e\u043a\u0430\u0437\u0430\u0442\u044c\u0441\u044f \u0441\u043a\u0443\u0447\u043d\u043e\u0439. \u0427\u0442\u043e \u043f\u0440\u0438\u043c\u0435\u0447\u0430\u0442\u0435\u043b\u044c\u043d\u043e\u0433\u043e \u0432 \u043f\u044f\u0442\u0438 \u0441\u0442\u0440\u043e\u0447\u043a\u0430\u0445 \u043a\u043e\u0434\u0430? \u041d\u043e \u0434\u044c\u044f\u0432\u043e\u043b \u043a\u0440\u043e\u0435\u0442\u0441\u044f \u0432 \u0434\u0435\u0442\u0430\u043b\u044f\u0445: \u044f \u0447\u0430\u0441\u0442\u043e \u0432\u0441\u0442\u0440\u0435\u0447\u0430\u043b \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0440\u0430\u0431\u043e\u0442\u0430\u043b\u0438 \u043d\u0435 \u0442\u0430\u043a, \u043a\u0430\u043a \u043e\u0436\u0438\u0434\u0430\u043b\u0438 \u0438\u0445 \u0430\u0432\u0442\u043e\u0440\u044b. \u0418\u043d\u043e\u0433\u0434\u0430 \u0434\u0435\u043b\u043e \u0434\u043e\u0445\u043e\u0434\u0438\u043b\u043e \u0434\u043e undefined behavior. \u041f\u043e\u044d\u0442\u043e\u043c\u0443 \u0437\u0434\u0435\u0441\u044c \u0445\u043e\u0447\u0435\u0442\u0441\u044f \u0440\u0430\u0437\u043e\u0431\u0440\u0430\u0442\u044c\u0441\u044f \u043f\u0440\u0435\u0436\u0434\u0435 \u0432\u0441\u0435\u0433\u043e \u0441 \u0432\u043b\u0430\u0434\u0435\u043d\u0438\u0435\u043c, \u0432\u0440\u0435\u043c\u0435\u043d\u0435\u043c \u0436\u0438\u0437\u043d\u0438 \u0438 \u043a\u0430\u0442\u0435\u0433\u043e\u0440\u0438\u044f\u043c\u0438 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0439.<\/p>\n

\u041a\u043e\u0434 \u0431\u0443\u0434\u0435\u0442 \u043d\u0430 C++23. \u0412 \u043a\u043e\u043d\u0446\u0435 \u043d\u0430\u043c \u043f\u0440\u0438\u0433\u043e\u0434\u0438\u0442\u0441\u044f explicit object parameter. \u0414\u043b\u044f \u0441\u0430\u043c\u043e\u0439 \u0438\u0434\u0435\u0438 C++23 \u043d\u0435 \u043e\u0431\u044f\u0437\u0430\u0442\u0435\u043b\u0435\u043d.<\/p>\n

\u0421\u0440\u0430\u0437\u0443 \u0434\u043e\u0433\u043e\u0432\u043e\u0440\u0438\u043c\u0441\u044f \u043e \u0442\u0435\u0440\u043c\u0438\u043d\u0430\u0445. \u0427\u0430\u0441\u0442\u0438\u0447\u043d\u043e\u0435 \u043f\u0440\u0438\u043c\u0435\u043d\u0435\u043d\u0438\u0435 \u0444\u0438\u043a\u0441\u0438\u0440\u0443\u0435\u0442 \u0447\u0430\u0441\u0442\u044c \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u043e\u0432 \u0444\u0443\u043d\u043a\u0446\u0438\u0438. \u041a\u0430\u0440\u0440\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0435 \u0432 \u0441\u0442\u0440\u043e\u0433\u043e\u043c \u0441\u043c\u044b\u0441\u043b\u0435 \u043f\u0440\u0435\u043e\u0431\u0440\u0430\u0437\u0443\u0435\u0442 \u0444\u0443\u043d\u043a\u0446\u0438\u044e \u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u0438\u0445 \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u043e\u0432 \u0432 \u0446\u0435\u043f\u043e\u0447\u043a\u0443 \u0444\u0443\u043d\u043a\u0446\u0438\u0439 \u043e\u0434\u043d\u043e\u0433\u043e \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u0430. \u0417\u0434\u0435\u0441\u044c \u043c\u044b \u0440\u0435\u0430\u043b\u0438\u0437\u0443\u0435\u043c \u0438\u043c\u0435\u043d\u043d\u043e \u0447\u0430\u0441\u0442\u0438\u0447\u043d\u043e\u0435 \u043f\u0440\u0438\u043c\u0435\u043d\u0435\u043d\u0438\u0435, \u0445\u043e\u0442\u044f \u0444\u0443\u043d\u043a\u0446\u0438\u044e \u043d\u0430\u0437\u043e\u0432\u0451\u043c carry<\/code>. \u0418\u0441\u0445\u043e\u0434\u043d\u044b\u0439 \u0432\u044b\u0437\u044b\u0432\u0430\u0435\u043c\u044b\u0439 \u043e\u0431\u044a\u0435\u043a\u0442 \u0431\u0443\u0434\u0435\u043c \u043d\u0430\u0437\u044b\u0432\u0430\u0442\u044c \u0444\u0443\u043d\u043a\u0442\u043e\u0440\u043e\u043c, \u0430 \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u043c\u0443\u044e \u043e\u0431\u0451\u0440\u0442\u043a\u0443 — \u043a\u0430\u0440\u0440\u0438.<\/p>\n

\u041f\u0440\u0438\u043c\u0435\u0440\u044b \u043d\u0438\u0436\u0435 \u0440\u0430\u0437\u0432\u0438\u0432\u0430\u044e\u0442 \u043e\u0434\u043d\u0443 \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u044e: \u043e\u0447\u0435\u0440\u0435\u0434\u043d\u043e\u0435 \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u0438\u0435 carry<\/code> \u0437\u0430\u043c\u0435\u043d\u044f\u0435\u0442 \u043f\u0440\u0435\u0434\u044b\u0434\u0443\u0449\u0435\u0435. \u0414\u043b\u044f \u043a\u0440\u0430\u0442\u043a\u043e\u0441\u0442\u0438 \u043d\u0435 \u0431\u0443\u0434\u0435\u043c \u043f\u043e\u0432\u0442\u043e\u0440\u044f\u0442\u044c \u0437\u0430\u0433\u043e\u043b\u043e\u0432\u043a\u0438 \u0438 main<\/code> \u0432 \u043a\u0430\u0436\u0434\u043e\u043c \u043b\u0438\u0441\u0442\u0438\u043d\u0433\u0435. \u041d\u0430\u043c \u043f\u043e\u043d\u0430\u0434\u043e\u0431\u044f\u0442\u0441\u044f:<\/p>\n

#include <functional>#include <iostream>#include <memory>#include <string>#include <tuple>#include <type_traits>#include <utility><\/code>
<\/a><\/div><\/pre>\n
\u041f\u0435\u0440\u0435\u0434 \u0442\u0435\u043c \u043a\u0430\u043a \u043d\u0430\u0447\u0430\u0442\u044c, \u0432\u043e\u0442 \u043f\u0440\u0438\u043c\u0435\u0440 \u0442\u043e\u0433\u043e, \u043a\u0430\u043a \u043b\u0435\u0433\u043a\u043e \u0437\u0434\u0435\u0441\u044c \u043e\u0448\u0438\u0431\u0438\u0442\u044c\u0441\u044f:<\/p>\n
template <typename Functor, typename... CarriedArgs>auto carry_bad(Functor&& functor, CarriedArgs&&... carried_args) {  return      [functor = std::forward_as_tuple(std::forward<Functor>(functor)),       carried_args_as_tuple = std::forward_as_tuple(std::forward<CarriedArgs>(           carried_args)...)](auto&&... remaining_args) mutable {        auto remaining_args_as_tuple = std::forward_as_tuple(            std::forward<decltype(remaining_args)>(remaining_args)...);        auto total_args = std::tuple_cat(std::move(carried_args_as_tuple),                                         std::move(remaining_args_as_tuple));        return std::apply(std::get<0>(functor), total_args);      };}auto carried = carry_bad([](int a, int b) { return a + b; }, 5);std::cout << carried(7) << '\\n';  \/\/ UB<\/code>
<\/a><\/div><\/pre>\n
\u0410\u0432\u0442\u043e\u0440 \u043e\u0436\u0438\u0434\u0430\u043b, \u0447\u0442\u043e \u0432\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0435 \u043e\u0431\u044a\u0435\u043a\u0442\u044b \u0441\u043e\u0445\u0440\u0430\u043d\u044f\u0442\u0441\u044f \u0432\u043d\u0443\u0442\u0440\u0438 \u043a\u0430\u0440\u0440\u0438. \u041d\u0430 \u0434\u0435\u043b\u0435 \u0441\u043e\u0445\u0440\u0430\u043d\u0438\u043b\u0438\u0441\u044c \u0442\u043e\u043b\u044c\u043a\u043e \u0441\u0441\u044b\u043b\u043a\u0438. \u042f \u043d\u0435 \u0431\u0443\u0434\u0443 \u043e\u0431\u044a\u044f\u0441\u043d\u044f\u0442\u044c, \u0447\u0442\u043e \u043f\u0440\u043e\u0438\u0441\u0445\u043e\u0434\u0438\u0442 \u0432 \u043a\u043e\u0434\u0435 \u0432\u044b\u0448\u0435. \u041f\u043e \u0445\u043e\u0434\u0443 \u0441\u0442\u0430\u0442\u044c\u0438 \u0432\u0441\u0451 \u0441\u0442\u0430\u043d\u0435\u0442 \u044f\u0441\u043d\u043e.<\/p>\n
\u041d\u0430\u0447\u043d\u0451\u043c \u0441 \u0441\u0438\u0433\u043d\u0430\u0442\u0443\u0440\u044b. \u041c\u044b \u043f\u0440\u0438\u043d\u0438\u043c\u0430\u0435\u043c \u0432 \u043a\u0430\u0447\u0435\u0441\u0442\u0432\u0435 \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u043e\u0432 \u0444\u0443\u043d\u043a\u0446\u0438\u0438 \u0444\u0443\u043d\u043a\u0442\u043e\u0440 \u0438 \u043f\u0440\u043e\u0438\u0437\u0432\u043e\u043b\u044c\u043d\u043e\u0435 \u0447\u0438\u0441\u043b\u043e \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u043e\u0432, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043d\u0430\u043c\u0435\u0440\u0435\u0432\u0430\u0435\u043c\u0441\u044f \u0447\u0430\u0441\u0442\u0438\u0447\u043d\u043e \u043f\u0440\u0438\u043c\u0435\u043d\u0438\u0442\u044c, \u0438 \u0445\u043e\u0442\u0438\u043c \u0441\u043e\u0445\u0440\u0430\u043d\u0438\u0442\u044c \u0438\u043d\u0444\u043e\u0440\u043c\u0430\u0446\u0438\u044e \u043e \u0442\u043e\u043c, \u043a\u0430\u043a \u043a\u0430\u0436\u0434\u044b\u0439 \u0438\u0437 \u043d\u0438\u0445 \u043f\u0435\u0440\u0435\u0434\u0430\u043b\u0438. \u0418\u0437 \u044d\u0442\u043e\u0433\u043e \u0436\u0435\u043b\u0430\u043d\u0438\u044f \u043e\u0447\u0435\u0432\u0438\u0434\u043d\u043e\u0439 \u0441\u0442\u0430\u043d\u043e\u0432\u0438\u0442\u0441\u044f \u0441\u0438\u0433\u043d\u0430\u0442\u0443\u0440\u0430:<\/p>\n
template <typename Functor, typename... CarriedArgs>auto carry(Functor&& functor, CarriedArgs&&... carried_args);<\/code>
<\/a><\/div><\/pre>\n
\u0421\u043d\u0430\u0447\u0430\u043b\u0430 \u0440\u0435\u0448\u0438\u043c \u0431\u043e\u043b\u0435\u0435 \u043f\u0440\u043e\u0441\u0442\u0443\u044e \u0437\u0430\u0434\u0430\u0447\u0443: \u0432\u0441\u0435 \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u044b \u0443\u0436\u0435 \u043f\u0435\u0440\u0435\u0434\u0430\u043d\u044b, \u043d\u0430\u0434\u043e \u0442\u043e\u043b\u044c\u043a\u043e \u0432\u044b\u0437\u0432\u0430\u0442\u044c \u0444\u0443\u043d\u043a\u0442\u043e\u0440. \u041d\u0430\u0437\u043e\u0432\u0451\u043c \u044d\u0442\u0443 \u0444\u0443\u043d\u043a\u0446\u0438\u044e invoke<\/code>.<\/p>\n
\u0412 \u043f\u0435\u0440\u0432\u043e\u043c \u043f\u0440\u0438\u0431\u043b\u0438\u0436\u0435\u043d\u0438\u0438 \u043c\u043e\u0436\u043d\u043e \u043d\u0430\u043f\u0438\u0441\u0430\u0442\u044c \u0447\u0442\u043e-\u0442\u043e \u0442\u0430\u043a\u043e\u0435:<\/p>\n
template <typename Functor, typename... CarriedArgs>auto invoke(Functor&& functor, CarriedArgs&&... carried_args) {  return functor(std::forward<CarriedArgs>(carried_args)...);}<\/code>
<\/a><\/div><\/pre>\n
\u0410\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u044b \u043c\u044b \u0444\u043e\u0440\u0432\u0430\u0440\u0434\u0438\u043c, \u0430 \u0444\u0443\u043d\u043a\u0442\u043e\u0440 \u043d\u0435\u0442? \u041d\u0430\u0434\u043e \u0441\u0442\u0440\u043e\u0433\u043e \u043f\u043e\u043d\u0438\u043c\u0430\u0442\u044c, \u043f\u043e\u0447\u0435\u043c\u0443 \u044d\u0442\u043e \u043c\u043e\u0436\u0435\u0442 \u0431\u044b\u0442\u044c \u0432\u0430\u0436\u043d\u043e. \u041d\u0430\u043f\u0440\u0438\u043c\u0435\u0440:<\/p>\n
struct ValueCategoryBasedFunctor {  bool operator()() & { return false; }  bool operator()() && { return true; }};ValueCategoryBasedFunctor functor;std::cout << invoke(std::move(functor)) << '\\n';  \/\/ 0<\/code>
<\/a><\/div><\/pre>\n
\u0427\u0442\u043e\u0431\u044b \u0432\u044b\u0437\u0432\u0430\u0442\u044c \u0444\u0443\u043d\u043a\u0442\u043e\u0440 \u0441 \u0443\u0447\u0451\u0442\u043e\u043c \u043a\u0430\u0442\u0435\u0433\u043e\u0440\u0438\u0438 \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u044f, \u043f\u0435\u0440\u0435\u0434\u0430\u043d\u043d\u043e\u0433\u043e \u0432 invoke<\/code>, \u0438\u0441\u043f\u0440\u0430\u0432\u0438\u043c \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u0435 \u0432\u044b\u0437\u043e\u0432\u0430:<\/p>\n
return std::forward<Functor>(functor)(    std::forward<CarriedArgs>(carried_args)...);<\/code>
<\/a><\/div><\/pre>\n
std::cout << invoke(std::move(functor)) << '\\n';  \/\/ 1<\/code>
<\/a><\/div><\/pre>\n
\u0411\u0443\u0434\u0435\u043c \u0441\u0447\u0438\u0442\u0430\u0442\u044c \u044d\u0442\u043e \u043f\u043e\u0432\u0435\u0434\u0435\u043d\u0438\u0435 \u043e\u0436\u0438\u0434\u0430\u0435\u043c\u044b\u043c (\u0441\u043f\u043e\u0439\u043b\u0435\u0440, \u044d\u0442\u043e \u043c\u043e\u0436\u0435\u0442 \u0431\u044b\u0442\u044c \u043d\u0435 \u0442\u0430\u043a).<\/p>\n
\u041e\u0441\u0442\u0430\u043b\u0430\u0441\u044c \u043f\u0440\u043e\u0431\u043b\u0435\u043c\u0430 \u0441 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u043e\u043c. \u041f\u0443\u0441\u0442\u044c \u0444\u0443\u043d\u043a\u0442\u043e\u0440 \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u0442 \u0441\u0441\u044b\u043b\u043a\u0443:<\/p>\n
int x = 0;auto get_x = [&x]() -> int& { return x; };auto&& result = invoke(get_x);result = 5;std::cout << x << '\\n';  \/\/ 0: invoke \u043f\u043e\u043a\u0430 \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u0442 int<\/code>
<\/a><\/div><\/pre>\n
\u041e\u0431\u044b\u0447\u043d\u044b\u0439 auto<\/code> \u0432 \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u043c\u043e\u043c \u0442\u0438\u043f\u0435 \u043d\u0435 \u0441\u043e\u0445\u0440\u0430\u043d\u044f\u0435\u0442 \u0441\u0441\u044b\u043b\u043a\u0443. \u0412 \u043f\u0440\u0438\u043c\u0435\u0440\u0435 result<\/code> \u0441\u0441\u044b\u043b\u0430\u0435\u0442\u0441\u044f \u043d\u0430 \u043e\u0442\u0434\u0435\u043b\u044c\u043d\u044b\u0439 \u0432\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0439 int<\/code>, \u0432\u0440\u0435\u043c\u044f \u0436\u0438\u0437\u043d\u0438 \u043a\u043e\u0442\u043e\u0440\u043e\u0433\u043e \u043f\u0440\u043e\u0434\u043b\u0435\u043d\u043e \u044d\u0442\u043e\u0439 \u043b\u043e\u043a\u0430\u043b\u044c\u043d\u043e\u0439 \u0441\u0441\u044b\u043b\u043a\u043e\u0439.<\/p>\n
\u041d\u0430\u043c \u043d\u0443\u0436\u0435\u043d decltype(auto)<\/code>: \u0434\u043b\u044f \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u043c\u043e\u0433\u043e \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u044f \u043f\u0440\u0438\u043c\u0435\u043d\u044f\u044e\u0442\u0441\u044f \u043f\u0440\u0430\u0432\u0438\u043b\u0430 decltype<\/code>, \u0438 \u0432\u044b\u0437\u043e\u0432 \u0444\u0443\u043d\u043a\u0446\u0438\u0438, \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u044e\u0449\u0435\u0439 int&<\/code>, \u0441\u043e\u0445\u0440\u0430\u043d\u044f\u0435\u0442 \u044d\u0442\u043e\u0442 \u0442\u0438\u043f. \u0424\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u044b\u0435 \u043f\u0440\u0430\u0432\u0438\u043b\u0430 \u043d\u0430\u0445\u043e\u0434\u044f\u0442\u0441\u044f \u0432 \u0432\u044b\u0432\u043e\u0434\u0435 placeholder-\u0442\u0438\u043f\u043e\u0432<\/a> \u0438 \u043e\u043f\u0438\u0441\u0430\u043d\u0438\u0438 decltype<\/code><\/a>.<\/p>\n
template <typename Functor, typename... CarriedArgs>decltype(auto) invoke(Functor&& functor, CarriedArgs&&... carried_args) {  return std::forward<Functor>(functor)(      std::forward<CarriedArgs>(carried_args)...);}<\/code>
<\/a><\/div><\/pre>\n
invoke(get_x) = 5;std::cout << x << '\\n';  \/\/ 5<\/code>
<\/a><\/div><\/pre>\n
\u0412\u0435\u0440\u043d\u0451\u043c\u0441\u044f \u043a \u0447\u0430\u0441\u0442\u0438\u0447\u043d\u043e\u043c\u0443 \u043f\u0440\u0438\u043c\u0435\u043d\u0435\u043d\u0438\u044e \u0438 \u0444\u0443\u043d\u043a\u0446\u0438\u0438 carry<\/code>.<\/p>\n
template <typename Functor, typename... CarriedArgs>auto carry(Functor&& functor, CarriedArgs&&... carried_args);<\/code>
<\/a><\/div><\/pre>\n
\u041c\u044b \u0445\u043e\u0442\u0438\u043c \u0443\u043c\u0435\u0442\u044c \u0434\u0435\u043b\u0430\u0442\u044c \u043f\u0440\u0438\u043c\u0435\u0440\u043d\u043e \u0442\u0430\u043a\u0438\u0435 \u0432\u0435\u0449\u0438:<\/p>\n
auto functor = [](auto, auto) { \/* ... *\/ };auto carried = carry(functor, x);\/\/ \u041f\u043e\u0437\u0436\u0435 \u0432\u044b\u0437\u044b\u0432\u0430\u0435\u043c \u0444\u0443\u043d\u043a\u0442\u043e\u0440:carried(y);<\/code>
<\/a><\/div><\/pre>\n
\u0417\u043d\u0430\u0447\u0438\u0442, \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0442\u044c \u043d\u0430\u0434\u043e \u0444\u0443\u043d\u043a\u0442\u043e\u0440:<\/p>\n
  return [](){};<\/code>
<\/a><\/div><\/pre>\n
\u0424\u0443\u043d\u043a\u0442\u043e\u0440 \u043f\u0440\u0438\u043d\u0438\u043c\u0430\u0435\u0442 \u043e\u0441\u0442\u0430\u0432\u0448\u0438\u0435\u0441\u044f \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u044b:<\/p>\n
  return [](auto&&... remaining_args){};<\/code>
<\/a><\/div><\/pre>\n
\u041c\u043d\u0435 \u0431\u043e\u043b\u044c\u0448\u0435 \u043d\u0440\u0430\u0432\u0438\u0442\u0441\u044f \u044f\u0432\u043d\u043e\u0435 \u0443\u043a\u0430\u0437\u0430\u043d\u0438\u0435 \u0442\u0438\u043f\u0430, \u043f\u043e\u044d\u0442\u043e\u043c\u0443:<\/p>\n
  return []<typename... RemainingArgs>(RemainingArgs&&... remaining_args){};<\/code>
<\/a><\/div><\/pre>\n
\u0412 \u0442\u0435\u043b\u0435 \u043a\u0430\u0440\u0440\u0438 \u0434\u043e\u043b\u0436\u0435\u043d \u0431\u0443\u0434\u0435\u0442 \u0432\u044b\u0437\u044b\u0432\u0430\u0442\u044c\u0441\u044f \u0444\u0443\u043d\u043a\u0442\u043e\u0440. \u041f\u043e\u043a\u0430 \u043c\u044b \u043d\u0435 \u0431\u0443\u0434\u0435\u043c \u0434\u0443\u043c\u0430\u0442\u044c \u0438 \u043d\u0430\u043f\u0438\u0448\u0435\u043c \u043f\u0440\u043e\u0441\u0442\u043e \u0430\u043c\u043f\u0435\u0440\u0441\u0430\u043d\u0434:<\/p>\n
  return [&]<typename... RemainingArgs>(RemainingArgs&&... remaining_args){};<\/code>
<\/a><\/div><\/pre>\n
\u041e\u0441\u0442\u0430\u043b\u043e\u0441\u044c \u0432\u043e\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c\u0441\u044f \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u0435\u043c \u0432\u044b\u0437\u043e\u0432\u0430 \u0438\u0437 \u0442\u043e\u043b\u044c\u043a\u043e \u0447\u0442\u043e \u043d\u0430\u043f\u0438\u0441\u0430\u043d\u043d\u043e\u0433\u043e invoke<\/code>:<\/p>\n
  return      [&]<typename... RemainingArgs>(RemainingArgs&&... remaining_args) -> decltype(auto) {        return std::forward<Functor>(functor)(            std::forward<CarriedArgs>(carried_args)...,            std::forward<RemainingArgs>(remaining_args)...);      };<\/code>
<\/a><\/div><\/pre>\n
\u0418\u0442\u043e\u0433\u043e \u0438\u043c\u0435\u0435\u043c:<\/p>\n
template <typename Functor, typename... CarriedArgs>auto carry(Functor&& functor, CarriedArgs&&... carried_args) {  return      [&]<typename... RemainingArgs>(RemainingArgs&&... remaining_args) -> decltype(auto) {        return std::forward<Functor>(functor)(            std::forward<CarriedArgs>(carried_args)...,            std::forward<RemainingArgs>(remaining_args)...);      };}<\/code>
<\/a><\/div><\/pre>\n
\u0422\u0435\u043f\u0435\u0440\u044c \u043d\u0443\u0436\u043d\u043e \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0438\u0442\u044c\u0441\u044f \u0441 \u201c\u0437\u043e\u043d\u043e\u0439 \u043e\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u0435\u043d\u043d\u043e\u0441\u0442\u0438\u201d \u043d\u0430\u0448\u0435\u0433\u043e \u043a\u0430\u0440\u0440\u0438. \u0421 \u0436\u0438\u0432\u0443\u0449\u0438\u043c\u0438 \u0434\u043e\u0441\u0442\u0430\u0442\u043e\u0447\u043d\u043e \u0434\u043e\u043b\u0433\u043e \u043e\u0431\u044a\u0435\u043a\u0442\u0430\u043c\u0438 \u0432\u0441\u0451 \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442:<\/p>\n
int x = 42;int y = 14;auto functor = [](int a, int b) { return a + b; };auto carried = carry(functor, x);std::cout << carried(y) << '\\n';  \/\/ 56<\/code>
<\/a><\/div><\/pre>\n
\u0417\u0434\u0435\u0441\u044c \u043a\u0430\u0440\u0440\u0438 \u043d\u0435 \u0432\u043b\u0430\u0434\u0435\u0435\u0442 \u043d\u0438 \u0444\u0443\u043d\u043a\u0442\u043e\u0440\u043e\u043c, \u043d\u0438 x<\/code>. \u0412\u044b\u0437\u044b\u0432\u0430\u044e\u0449\u0430\u044f \u0441\u0442\u043e\u0440\u043e\u043d\u0430 \u0434\u043e\u043b\u0436\u043d\u0430 \u043e\u0431\u0435\u0441\u043f\u0435\u0447\u0438\u0442\u044c \u0438\u0445 \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u043e\u0432\u0430\u043d\u0438\u0435 \u043f\u0440\u0438 \u043a\u0430\u0436\u0434\u043e\u043c \u043e\u0431\u0440\u0430\u0449\u0435\u043d\u0438\u0438 \u043a \u043d\u0438\u043c \u0438\u0437 \u043a\u0430\u0440\u0440\u0438.<\/p>\n
\u0414\u0430\u043b\u0435\u0435 \u043d\u0435\u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043f\u0440\u043e\u0441\u0442\u044b\u0435 \u043d\u0430\u0440\u0443\u0448\u0435\u043d\u0438\u044f \u044d\u0442\u043e\u0433\u043e \u043f\u0440\u0430\u0432\u0438\u043b\u0430. \u0417\u0430\u043c\u0435\u043d\u0438\u043c x<\/code> \u043b\u0438\u0442\u0435\u0440\u0430\u043b\u043e\u043c:<\/p>\n
auto functor = [](int a, int b) { return a + b; };auto carried = carry(functor, 5);  \/\/ \u0412\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0439 int \u0443\u043d\u0438\u0447\u0442\u043e\u0436\u0430\u0435\u0442\u0441\u044f \u0432 \u043a\u043e\u043d\u0446\u0435 \u0441\u0442\u0440\u043e\u043a\u0438std::cout << carried(14) << '\\n';  \/\/ UB: \u0447\u0442\u0435\u043d\u0438\u0435 \u0447\u0435\u0440\u0435\u0437 \u0432\u0438\u0441\u044f\u0447\u0443\u044e \u0441\u0441\u044b\u043b\u043a\u0443<\/code>
<\/a><\/div><\/pre>\n
\u0414\u043b\u044f \u043f\u0440\u0438\u0432\u044f\u0437\u043a\u0438 \u0441\u0441\u044b\u043b\u043e\u0447\u043d\u043e\u0433\u043e \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u0430 \u043c\u0430\u0442\u0435\u0440\u0438\u0430\u043b\u0438\u0437\u0443\u0435\u0442\u0441\u044f \u0432\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0439 int<\/code>. \u0412 \u043a\u043e\u043d\u0446\u0435 \u043f\u043e\u043b\u043d\u043e\u0433\u043e \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u044f, \u0438\u043d\u0438\u0446\u0438\u0430\u043b\u0438\u0437\u0438\u0440\u0443\u044e\u0449\u0435\u0433\u043e carried<\/code>, \u044d\u0442\u043e\u0442 \u043e\u0431\u044a\u0435\u043a\u0442 \u0443\u043d\u0438\u0447\u0442\u043e\u0436\u0430\u0435\u0442\u0441\u044f. \u0421\u0430\u043c \u043a\u0430\u0440\u0440\u0438 \u043e\u0441\u0442\u0430\u0451\u0442\u0441\u044f, \u043d\u043e \u0441\u043e\u0445\u0440\u0430\u043d\u0451\u043d\u043d\u0430\u044f \u0432 \u043d\u0451\u043c \u0441\u0441\u044b\u043b\u043a\u0430 \u0443\u0436\u0435 \u0432\u0438\u0441\u0438\u0442: \u043f\u0440\u0438 \u0432\u044b\u0437\u043e\u0432\u0435 carried(14)<\/code> \u043c\u044b \u043e\u0431\u0440\u0430\u0449\u0430\u0435\u043c\u0441\u044f \u043a int<\/code>, \u0432\u0440\u0435\u043c\u044f \u0436\u0438\u0437\u043d\u0438 \u043a\u043e\u0442\u043e\u0440\u043e\u0433\u043e \u0437\u0430\u043a\u043e\u043d\u0447\u0438\u043b\u043e\u0441\u044c. \u041e\u0441\u043d\u043e\u0432\u0430\u043d\u0438\u0435 — \u043f\u0440\u0430\u0432\u0438\u043b\u043e \u0434\u043b\u044f \u0432\u0440\u0435\u043c\u0435\u043d\u043d\u043e\u0433\u043e \u043e\u0431\u044a\u0435\u043a\u0442\u0430, \u0441\u0432\u044f\u0437\u0430\u043d\u043d\u043e\u0433\u043e \u0441\u043e \u0441\u0441\u044b\u043b\u043e\u0447\u043d\u044b\u043c \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u043e\u043c<\/a>.<\/p>\n
\u041f\u043e\u044d\u0442\u043e\u043c\u0443 \u043d\u0435\u043c\u0435\u0434\u043b\u0435\u043d\u043d\u044b\u0439 \u0432\u044b\u0437\u043e\u0432 \u0432 \u0442\u043e\u043c \u0436\u0435 \u043f\u043e\u043b\u043d\u043e\u043c \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u0438 \u043a\u043e\u0440\u0440\u0435\u043a\u0442\u0435\u043d:<\/p>\n
int result = carry([](int a, int b) { return a + b; }, 5)(6);std::cout << result << '\\n';  \/\/ 11<\/code>
<\/a><\/div><\/pre>\n
\u0418 \u0432\u0440\u0435\u043c\u0435\u043d\u043d\u0430\u044f \u043b\u044f\u043c\u0431\u0434\u0430, \u0438 \u0432\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0439 int<\/code> \u0435\u0449\u0451 \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u044e\u0442 \u0432\u043e \u0432\u0440\u0435\u043c\u044f \u0432\u044b\u0437\u043e\u0432\u0430.<\/p>\n
Lvalue \u0442\u043e\u0436\u0435 \u043d\u0435 \u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u0433\u0430\u0440\u0430\u043d\u0442\u0438\u0435\u0439 \u0434\u043e\u043b\u0433\u043e\u0439 \u0436\u0438\u0437\u043d\u0438:<\/p>\n
auto make_carried() {  int x = 42;  auto functor = [](int a, int b) { return a + b; };  return carry(functor, x);}auto carried = make_carried();\/\/ carried(1); \/\/ UB: \u0438 x, \u0438 functor \u0443\u0436\u0435 \u0443\u043d\u0438\u0447\u0442\u043e\u0436\u0435\u043d\u044b<\/code>
<\/a><\/div><\/pre>\n
\u0422\u0435\u043f\u0435\u0440\u044c \u043f\u043e\u043f\u0440\u043e\u0431\u0443\u0435\u043c \u0432\u043b\u0430\u0434\u0435\u0442\u044c \u043f\u0435\u0440\u0435\u0434\u0430\u043d\u043d\u044b\u043c\u0438 \u043e\u0431\u044a\u0435\u043a\u0442\u0430\u043c\u0438. \u041f\u0435\u0440\u0432\u043e\u0435 \u0436\u0435\u043b\u0430\u043d\u0438\u0435 — \u0437\u0430\u043c\u0435\u043d\u0438\u0442\u044c [&]<\/code> \u043d\u0430 [=]<\/code>. \u041f\u043e\u0442\u0430\u043a\u043d\u0451\u043c \u043d\u0430\u0448\u0435\u043c\u0443 \u0436\u0435\u043b\u0430\u043d\u0438\u044e:<\/p>\n
  return      [=]<typename... RemainingArgs>(RemainingArgs&&... remaining_args) -> decltype(auto) {        return std::forward<Functor>(functor)(            \/\/ \u041e\u0448\u0438\u0431\u043a\u0430 \u043f\u0440\u0438 CarriedArgs = int: \u0437\u0430\u0445\u0432\u0430\u0447\u0435\u043d\u043d\u044b\u0439 \u043e\u0431\u044a\u0435\u043a\u0442 \u0434\u043e\u0441\u0442\u0443\u043f\u0435\u043d \u0447\u0435\u0440\u0435\u0437 const            std::forward<CarriedArgs>(carried_args)...,            std::forward<RemainingArgs>(remaining_args)...);      };<\/code>
<\/a><\/div><\/pre>\n
\u041d\u043e \u0437\u0430\u0445\u0432\u0430\u0447\u0435\u043d\u043d\u044b\u0435 \u043f\u043e \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044e \u043e\u0431\u044a\u0435\u043a\u0442\u044b \u0434\u043e\u0441\u0442\u0443\u043f\u043d\u044b \u0432 \u043e\u0431\u044b\u0447\u043d\u043e\u0439 \u043b\u044f\u043c\u0431\u0434\u0435 \u0447\u0435\u0440\u0435\u0437 \u043a\u043e\u043d\u0441\u0442\u0430\u043d\u0442\u043d\u044b\u0439 operator()<\/code>. \u041f\u043e\u044d\u0442\u043e\u043c\u0443, \u043d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, std::forward<int><\/code> \u0443\u0436\u0435 \u043d\u0435 \u0441\u043c\u043e\u0436\u0435\u0442 \u043f\u0440\u0438\u043d\u044f\u0442\u044c \u0437\u0430\u0445\u0432\u0430\u0447\u0435\u043d\u043d\u044b\u0439 int<\/code> \u043a\u0430\u043a \u043d\u0435\u043a\u043e\u043d\u0441\u0442\u0430\u043d\u0442\u043d\u044b\u0439 \u043e\u0431\u044a\u0435\u043a\u0442. \u0414\u043e\u0431\u0430\u0432\u043b\u0435\u043d\u0438\u0435 mutable<\/code> \u0443\u0431\u0438\u0440\u0430\u0435\u0442 \u044d\u0442\u0443 \u043a\u043e\u043d\u043a\u0440\u0435\u0442\u043d\u0443\u044e \u043f\u0440\u043e\u0431\u043b\u0435\u043c\u0443:<\/p>\n
return [=]<typename... RemainingArgs>(           RemainingArgs&&... remaining_args) mutable -> decltype(auto) {  return std::forward<Functor>(functor)(      std::forward<CarriedArgs>(carried_args)...,      std::forward<RemainingArgs>(remaining_args)...);};<\/code>
<\/a><\/div><\/pre>\n
\u0410 \u0442\u0435\u043f\u0435\u0440\u044c \u0432\u0435\u0440\u043d\u0451\u043c\u0441\u044f \u043a \u043d\u0430\u0448\u0438\u043c \u043f\u0440\u043e\u0431\u043b\u0435\u043c\u0430\u043c \u0441\u043e \u0432\u0440\u0435\u043c\u0435\u043d\u0435\u043c \u0436\u0438\u0437\u043d\u0438. \u0414\u0430\u0436\u0435 \u0441\u043e\u0431\u0435\u0440\u0451\u043c \u0438\u0445 \u0432\u043c\u0435\u0441\u0442\u0435:<\/p>\n
auto make_carried() {  std::string str_123{\"123\"};  auto functor = [](std::string lhs, std::string rhs) { return lhs + rhs; };  return carry(functor, str_123, std::string{\"456\"});}auto carried = make_carried();std::cout << carried() << '\\n';  \/\/ 123456<\/code>
<\/a><\/div><\/pre>\n
\u041b\u043e\u043a\u0430\u043b\u044c\u043d\u0430\u044f \u0441\u0442\u0440\u043e\u043a\u0430 \u0443\u043d\u0438\u0447\u0442\u043e\u0436\u0435\u043d\u0430, \u0432\u0440\u0435\u043c\u0435\u043d\u043d\u0430\u044f \u0441\u0442\u0440\u043e\u043a\u0430 \u0443\u043d\u0438\u0447\u0442\u043e\u0436\u0435\u043d\u0430, \u0441\u0430\u043c functor<\/code> \u0442\u043e\u0436\u0435. \u0410 \u043a\u0430\u0440\u0440\u0438 \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442: \u0442\u0435\u043f\u0435\u0440\u044c \u0443 \u043d\u0435\u0433\u043e \u0441\u0432\u043e\u0438 \u043a\u043e\u043f\u0438\u0438 \u0432\u0441\u0435\u0445 \u044d\u0442\u0438\u0445 \u043e\u0431\u044a\u0435\u043a\u0442\u043e\u0432.<\/p>\n
\u0421\u043e \u0432\u0440\u0435\u043c\u0435\u043d\u0435\u043c \u0436\u0438\u0437\u043d\u0438 \u0440\u0430\u0437\u043e\u0431\u0440\u0430\u043b\u0438\u0441\u044c. \u0410 \u0447\u0442\u043e, \u0435\u0441\u043b\u0438 \u0432\u044b\u0437\u0432\u0430\u0442\u044c \u044d\u0442\u043e\u0442 \u043a\u0430\u0440\u0440\u0438 \u0435\u0449\u0451 \u0440\u0430\u0437?<\/p>\n
std::string str_123{\"123\"};auto functor = [](std::string lhs, std::string rhs) { return lhs + rhs; };auto carried = carry(functor, str_123, std::string{\"456\"});std::cout << carried() << ' ' << carried() << '\\n';  \/\/ \u0412 \u044d\u0442\u043e\u043c \u0437\u0430\u043f\u0443\u0441\u043a\u0435: 123456 123<\/code>
<\/a><\/div><\/pre>\n
\u0421\u043e\u0445\u0440\u0430\u043d\u0451\u043d\u043d\u0430\u044f \u043a\u043e\u043f\u0438\u044f str_123<\/code> \u043f\u0440\u0438 \u043a\u0430\u0436\u0434\u043e\u043c \u0432\u044b\u0437\u043e\u0432\u0435 \u043a\u043e\u043f\u0438\u0440\u0443\u0435\u0442\u0441\u044f \u0432 lhs<\/code>, \u0430 \u0441\u043e\u0445\u0440\u0430\u043d\u0451\u043d\u043d\u0430\u044f \u0441\u0442\u0440\u043e\u043a\u0430 \"456\"<\/code> \u043f\u0435\u0440\u0435\u043c\u0435\u0449\u0430\u0435\u0442\u0441\u044f \u0432 rhs<\/code>. \u0412 \u044d\u0442\u043e\u043c \u0437\u0430\u043f\u0443\u0441\u043a\u0435 \u043f\u043e\u0441\u043b\u0435 \u043f\u0435\u0440\u0432\u043e\u0433\u043e \u043f\u0435\u0440\u0435\u043c\u0435\u0449\u0435\u043d\u0438\u044f \u043e\u043d\u0430 \u043e\u043a\u0430\u0437\u0430\u043b\u0430\u0441\u044c \u043f\u0443\u0441\u0442\u043e\u0439. \u0421\u0442\u0430\u043d\u0434\u0430\u0440\u0442 \u0433\u0430\u0440\u0430\u043d\u0442\u0438\u0440\u0443\u0435\u0442 \u0442\u043e\u043b\u044c\u043a\u043e \u043a\u043e\u0440\u0440\u0435\u043a\u0442\u043d\u043e\u0435, \u043d\u043e \u043d\u0435 \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0451\u043d\u043d\u043e\u0435 \u0437\u0430\u0440\u0430\u043d\u0435\u0435 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0435<\/a>. \u041f\u043e\u0432\u0442\u043e\u0440\u043d\u044b\u0439 \u0432\u044b\u0437\u043e\u0432 \u0434\u043e\u043f\u0443\u0441\u0442\u0438\u043c, \u043d\u043e \u043f\u0440\u0435\u0436\u043d\u0435\u0435 \u0441\u043e\u0434\u0435\u0440\u0436\u0438\u043c\u043e\u0435 \u0441\u043e\u0445\u0440\u0430\u043d\u0451\u043d\u043d\u043e\u0439 \u0441\u0442\u0440\u043e\u043a\u0438 \u043d\u0435 \u0433\u0430\u0440\u0430\u043d\u0442\u0438\u0440\u0443\u0435\u0442\u0441\u044f.<\/p>\n
\u0412\u043e\u043f\u0440\u043e\u0441 \u0432 \u0442\u043e\u043c, \u043e\u0436\u0438\u0434\u0430\u0435\u043c\u044b\u0439 \u043b\u0438 \u044d\u0442\u043e \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442? \u0425\u043e\u0442\u0438\u043c \u043b\u0438 \u043c\u044b \u043f\u0435\u0440\u0435\u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c \u043d\u0430\u0448\u0435 \u043a\u0430\u0440\u0440\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0435 \u0438\u043b\u0438 \u043d\u0435\u0442? \u042d\u0442\u043e\u0442 \u0432\u043e\u043f\u0440\u043e\u0441 \u0430\u043a\u0442\u0443\u0430\u043b\u0435\u043d \u0434\u043b\u044f \u0432\u0441\u0435\u0445 \u0432\u0435\u0440\u0441\u0438\u0439 \u043a\u0430\u0440\u0440\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f (\u0438 \u0434\u043b\u044f \u0432\u0435\u0440\u0441\u0438\u0438 \u0447\u0435\u0440\u0435\u0437 \u0430\u043c\u043f\u0435\u0440\u0441\u0430\u043d\u0434 \u0442\u043e\u0436\u0435). \u0412 \u0434\u0430\u043d\u043d\u043e\u043c \u0441\u043b\u0443\u0447\u0430\u0435 \u0443 \u043d\u0430\u0441 \u0442\u0430\u043a\u0430\u044f \u043f\u043e\u043b\u0438\u0442\u0438\u043a\u0430: \u043a\u0430\u043a \u043d\u0430\u043c \u0434\u0430\u043b\u0438, \u0442\u0430\u043a \u043c\u044b \u0438 \u043f\u0440\u0438\u043c\u0435\u043d\u0438\u043b\u0438. \u0415\u0441\u043b\u0438 \u043c\u044b \u0445\u043e\u0442\u0438\u043c \u043f\u043e\u0432\u0442\u043e\u0440\u043d\u043e \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c \u0441\u043e\u0445\u0440\u0430\u043d\u0451\u043d\u043d\u044b\u0435 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f, \u043d\u0443\u0436\u043d\u043e \u043e\u0442\u0434\u0435\u043b\u044c\u043d\u043e \u0440\u0435\u0448\u0438\u0442\u044c, \u0440\u0430\u0437\u0440\u0435\u0448\u0430\u0435\u043c \u043b\u0438 \u0444\u0443\u043d\u043a\u0442\u043e\u0440\u0443 \u043f\u0435\u0440\u0435\u043c\u0435\u0449\u0430\u0442\u044c \u0438\u0437 \u043d\u0438\u0445 \u043f\u0440\u0438 \u0432\u044b\u0437\u043e\u0432\u0435. \u041a \u044d\u0442\u043e\u043c\u0443 \u043c\u044b \u0435\u0449\u0451 \u0432\u0435\u0440\u043d\u0451\u043c\u0441\u044f.<\/p>\n
\u0423 \u0437\u0430\u0445\u0432\u0430\u0442\u0430 \u0447\u0435\u0440\u0435\u0437 [=]<\/code> \u043e\u0441\u0442\u0430\u0451\u0442\u0441\u044f \u0435\u0449\u0451 \u043e\u0434\u043d\u0430 \u043f\u0440\u043e\u0431\u043b\u0435\u043c\u0430: \u043c\u044b \u0441\u043e\u0445\u0440\u0430\u043d\u044f\u0435\u043c \u0432\u0441\u0451 \u043f\u043e \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044e \u0447\u0435\u0440\u0435\u0437 copy<\/code>-\u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0442\u043e\u0440\u044b, \u043e\u0447\u0435\u0432\u0438\u0434\u043d\u043e, \u0447\u0442\u043e \u044d\u0442\u043e \u043d\u0435 \u0441\u0430\u043c\u0430\u044f \u043e\u043f\u0442\u0438\u043c\u0430\u043b\u044c\u043d\u0430\u044f \u0441\u0442\u0440\u0430\u0442\u0435\u0433\u0438\u044f. \u0412\u0441\u0451-\u0442\u0430\u043a\u0438 \u0445\u043e\u0447\u0435\u0442\u0441\u044f \u0441\u043e\u0445\u0440\u0430\u043d\u044f\u0442\u044c \u043f\u043e \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044e \u043d\u0435 \u0442\u043e\u043b\u044c\u043a\u043e \u0447\u0435\u0440\u0435\u0437 copy<\/code>-\u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0442\u043e\u0440\u044b, \u043d\u043e \u0438 \u0447\u0435\u0440\u0435\u0437 move<\/code>-\u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0442\u043e\u0440\u044b. \u0412\u043e\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u043c\u0441\u044f init-capture \u043f\u0430\u043a\u0435\u0442\u0430, \u043f\u043e\u044f\u0432\u0438\u0432\u0448\u0438\u043c\u0441\u044f \u0432 C++20, \u0441 \u044f\u0432\u043d\u044b\u043c \u0444\u043e\u0440\u0432\u0430\u0440\u0434\u0438\u043d\u0433\u043e\u043c:<\/p>\n
template <typename Functor, typename... CarriedArgs>auto carry(Functor&& functor, CarriedArgs&&... carried_args) {  return [functor = std::forward<Functor>(functor),          ... carried_args =              std::forward<CarriedArgs>(carried_args)]<typename... RemainingArgs>(             RemainingArgs&&... remaining_args) mutable -> decltype(auto) {    return std::forward<Functor>(functor)(        std::forward<CarriedArgs>(carried_args)...,        std::forward<RemainingArgs>(remaining_args)...);  };}<\/code>
<\/a><\/div><\/pre>\n
Init-capture \u0431\u0435\u0437 &<\/code> \u0432\u044b\u0432\u043e\u0434\u0438\u0442 \u0442\u0438\u043f \u043f\u043e \u043f\u0440\u0430\u0432\u0438\u043b\u0430\u043c auto<\/code>. \u0412\u0435\u0440\u0445\u043d\u0435\u0443\u0440\u043e\u0432\u043d\u0435\u0432\u044b\u0435 \u0441\u0441\u044b\u043b\u043a\u0438 \u0438 cv-\u043a\u0432\u0430\u043b\u0438\u0444\u0438\u043a\u0430\u0442\u043e\u0440\u044b \u043d\u0435 \u0441\u043e\u0445\u0440\u0430\u043d\u044f\u044e\u0442\u0441\u044f, \u043c\u0430\u0441\u0441\u0438\u0432 \u043c\u043e\u0436\u0435\u0442 \u043f\u0440\u0435\u0432\u0440\u0430\u0442\u0438\u0442\u044c\u0441\u044f \u0432 \u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c, \u0444\u0443\u043d\u043a\u0446\u0438\u044f — \u0432 \u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c \u043d\u0430 \u0444\u0443\u043d\u043a\u0446\u0438\u044e. \u0424\u043e\u0440\u043c\u0443\u043b\u0438\u0440\u043e\u0432\u043a\u0430 \u043d\u0430\u0445\u043e\u0434\u0438\u0442\u0441\u044f \u0432 \u043e\u043f\u0438\u0441\u0430\u043d\u0438\u0438 init-capture<\/a>.<\/p>\n
\u041c\u044b \u0434\u043e\u0431\u0430\u0432\u0438\u043b\u0438 \u0432\u043e\u0437\u043c\u043e\u0436\u043d\u043e\u0441\u0442\u044c \u043f\u0435\u0440\u0435\u043c\u0435\u0449\u0430\u0442\u044c \u043e\u0431\u044a\u0435\u043a\u0442\u044b \u0432 \u0437\u0430\u043c\u044b\u043a\u0430\u043d\u0438\u0435, \u043d\u043e \u0437\u0430\u043e\u0434\u043d\u043e \u0438\u0437\u043c\u0435\u043d\u0438\u043b\u0438 \u043f\u0440\u0430\u0432\u0438\u043b\u0430 \u0432\u044b\u0432\u043e\u0434\u0430 \u0442\u0438\u043f\u043e\u0432. \u041f\u043e\u0441\u043c\u043e\u0442\u0440\u0438\u043c \u043d\u0430 \u043c\u0430\u0441\u0441\u0438\u0432:<\/p>\n
int values[]{1, 2, 3};auto functor = [](const int* values) { return values[0]; };auto carried = carry(functor, values);  \/\/ \u041e\u0448\u0438\u0431\u043a\u0430 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0446\u0438\u0438 \u0443\u0436\u0435 \u043f\u0440\u0438 \u0441\u043e\u0437\u0434\u0430\u043d\u0438\u0438 \u043a\u0430\u0440\u0440\u0438<\/code>
<\/a><\/div><\/pre>\n
\u0414\u043b\u044f \u043c\u0430\u0441\u0441\u0438\u0432\u0430 \u0441\u043e\u043e\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u0443\u044e\u0449\u0438\u0439 CarriedArgs<\/code> \u0432\u044b\u0432\u0435\u043b\u0441\u044f \u043a\u0430\u043a int (&)[3]<\/code>. \u0412 \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u0438 \u0437\u0430\u0445\u0432\u0430\u0442\u0430 std::forward<CarriedArgs>(carried_args)<\/code> \u0435\u0449\u0451 \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442 \u0441 \u0438\u0441\u0445\u043e\u0434\u043d\u044b\u043c \u043c\u0430\u0441\u0441\u0438\u0432\u043e\u043c \u0438 \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u0442 \u0441\u0441\u044b\u043b\u043a\u0443 \u043d\u0430 \u043d\u0435\u0433\u043e. \u041d\u043e \u0434\u0430\u043b\u044c\u0448\u0435 \u0442\u0438\u043f \u0441\u043e\u0445\u0440\u0430\u043d\u044f\u0435\u043c\u043e\u0433\u043e \u043e\u0431\u044a\u0435\u043a\u0442\u0430 \u0432\u044b\u0432\u043e\u0434\u0438\u0442\u0441\u044f \u043f\u043e \u043f\u0440\u0430\u0432\u0438\u043b\u0430\u043c auto<\/code>, \u0438 \u0432\u043d\u0443\u0442\u0440\u0438 \u0437\u0430\u043c\u044b\u043a\u0430\u043d\u0438\u044f \u043e\u043a\u0430\u0437\u044b\u0432\u0430\u0435\u0442\u0441\u044f int*<\/code>.<\/p>\n
\u0412 \u0442\u0435\u043b\u0435 \u043b\u044f\u043c\u0431\u0434\u044b \u0438\u043c\u044f carried_args<\/code> \u043e\u0431\u043e\u0437\u043d\u0430\u0447\u0430\u0435\u0442 \u0443\u0436\u0435 \u0441\u043e\u0445\u0440\u0430\u043d\u0451\u043d\u043d\u044b\u0439 \u043e\u0431\u044a\u0435\u043a\u0442, \u0430 CarriedArgs<\/code> \u043e\u0441\u0442\u0430\u0451\u0442\u0441\u044f \u0438\u0441\u0445\u043e\u0434\u043d\u044b\u043c \u0442\u0438\u043f\u043e\u043c. \u0415\u0441\u043b\u0438 \u0440\u0430\u0441\u043f\u0438\u0441\u0430\u0442\u044c \u044d\u0442\u043e \u0434\u043b\u044f \u043e\u0434\u043d\u043e\u0433\u043e \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u0430, \u043f\u043e\u043b\u0443\u0447\u0438\u0442\u0441\u044f:<\/p>\n
using OriginalType = int (&)[3];auto stored = std::forward<OriginalType>(values);  \/\/ int*\/\/ std::forward<OriginalType>(stored);  \/\/ \u041e\u0448\u0438\u0431\u043a\u0430: \u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c \u0432\u043c\u0435\u0441\u0442\u043e \u043c\u0430\u0441\u0441\u0438\u0432\u0430<\/code>
<\/a><\/div><\/pre>\n
\u041f\u0440\u0438 \u043e\u0431\u044b\u0447\u043d\u043e\u043c \u0437\u0430\u0445\u0432\u0430\u0442\u0435 [=]<\/code> \u044d\u0442\u043e\u0442 \u043f\u0440\u0438\u043c\u0435\u0440 \u0440\u0430\u0431\u043e\u0442\u0430\u043b: \u0437\u0430\u043c\u044b\u043a\u0430\u043d\u0438\u0435 \u0445\u0440\u0430\u043d\u0438\u043b\u043e \u0441\u043e\u0431\u0441\u0442\u0432\u0435\u043d\u043d\u0443\u044e \u043a\u043e\u043f\u0438\u044e \u043c\u0430\u0441\u0441\u0438\u0432\u0430, \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u044b \u043a\u043e\u0442\u043e\u0440\u043e\u0439 \u0438\u043d\u0438\u0446\u0438\u0430\u043b\u0438\u0437\u0438\u0440\u043e\u0432\u0430\u043b\u0438\u0441\u044c \u043f\u043e\u044d\u043b\u0435\u043c\u0435\u043d\u0442\u043d\u043e. \u042d\u0442\u043e \u043f\u0440\u0435\u0434\u0443\u0441\u043c\u043e\u0442\u0440\u0435\u043d\u043e \u043f\u0440\u0430\u0432\u0438\u043b\u0430\u043c\u0438 \u0437\u0430\u0445\u0432\u0430\u0442\u0430 \u043f\u043e \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044e<\/a>. Init-capture \u0438\u0437\u043c\u0435\u043d\u0438\u043b \u0442\u0438\u043f \u0445\u0440\u0430\u043d\u0438\u043b\u0438\u0449\u0430, \u0430 \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u0435 \u043f\u0435\u0440\u0435\u0434\u0430\u0447\u0438 \u0441\u043e\u0445\u0440\u0430\u043d\u0451\u043d\u043d\u043e\u0433\u043e \u043e\u0431\u044a\u0435\u043a\u0442\u0430 \u043c\u044b \u043e\u0441\u0442\u0430\u0432\u0438\u043b\u0438 \u043f\u0440\u0435\u0436\u043d\u0438\u043c.<\/p>\n
\u041f\u043e\u043b\u0443\u0447\u0430\u0435\u0442\u0441\u044f, \u0438\u0441\u0445\u043e\u0434\u043d\u044b\u0439 \u0442\u0438\u043f \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u0430 \u043d\u0435 \u0432\u0441\u0435\u0433\u0434\u0430 \u043f\u043e\u0434\u0445\u043e\u0434\u0438\u0442 \u0434\u043b\u044f \u043f\u0435\u0440\u0435\u0434\u0430\u0447\u0438 \u0441\u043e\u0445\u0440\u0430\u043d\u0451\u043d\u043d\u043e\u0433\u043e \u043e\u0431\u044a\u0435\u043a\u0442\u0430. \u041f\u0440\u0438 \u0432\u044b\u0431\u043e\u0440\u0435 \u0441\u043f\u043e\u0441\u043e\u0431\u0430 \u0445\u0440\u0430\u043d\u0435\u043d\u0438\u044f \u044d\u0442\u043e \u0442\u043e\u0436\u0435 \u043f\u0440\u0438\u0434\u0451\u0442\u0441\u044f \u0443\u0447\u0438\u0442\u044b\u0432\u0430\u0442\u044c.<\/p>\n
\u0423\u0442\u043e\u0447\u043d\u044e: \u0432\u043b\u0430\u0434\u0435\u043d\u0438\u0435 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435\u043c \u0442\u0430\u043a\u0436\u0435 \u043d\u0435 \u043e\u0437\u043d\u0430\u0447\u0430\u0435\u0442 \u0432\u043b\u0430\u0434\u0435\u043d\u0438\u044f \u0432\u0441\u0435\u043c, \u043d\u0430 \u0447\u0442\u043e \u044d\u0442\u043e \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 \u0441\u0441\u044b\u043b\u0430\u0435\u0442\u0441\u044f. \u041a\u043e\u043f\u0438\u044f string_view<\/code>, \u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044f \u0438\u043b\u0438 \u043b\u044f\u043c\u0431\u0434\u044b \u0441\u043e \u0441\u0441\u044b\u043b\u043e\u0447\u043d\u044b\u043c\u0438 \u0437\u0430\u0445\u0432\u0430\u0442\u0430\u043c\u0438 \u0441\u043e\u0445\u0440\u0430\u043d\u044f\u0435\u0442 \u0432\u043d\u0435\u0448\u043d\u0438\u0435 \u0437\u0430\u0432\u0438\u0441\u0438\u043c\u043e\u0441\u0442\u0438.<\/p>\n
\u0418 \u0435\u0449\u0451 \u043e\u0434\u0438\u043d \u0434\u043e\u043b\u0433 \u043e\u0441\u0442\u0430\u043b\u0441\u044f \u0437\u0430 mutable<\/code>:<\/p>\n
const auto carried = carry([](int a, int b) { return a + b; }, 5);\/\/ carried(6); \/\/ \u041e\u0448\u0438\u0431\u043a\u0430: \u0443 mutable-\u043b\u044f\u043c\u0431\u0434\u044b \u043d\u0435\u043a\u043e\u043d\u0441\u0442\u0430\u043d\u0442\u043d\u044b\u0439 operator()<\/code>
<\/a><\/div><\/pre>\n
\u0417\u0430\u043f\u043e\u043c\u043d\u0438\u043c \u044d\u0442\u043e.<\/p>\n
\u0421\u043d\u0430\u0447\u0430\u043b\u0430 \u0440\u0435\u0448\u0438\u043c \u0432\u043e\u043f\u0440\u043e\u0441 \u0445\u0440\u0430\u043d\u0435\u043d\u0438\u044f: \u0447\u0442\u043e \u0434\u0435\u043b\u0430\u0442\u044c, \u0435\u0441\u043b\u0438 lvalue \u0445\u043e\u0447\u0435\u0442\u0441\u044f \u043e\u0441\u0442\u0430\u0432\u043b\u044f\u0442\u044c \u043f\u043e \u0441\u0441\u044b\u043b\u043a\u0435, \u0430 rvalue \u0441\u043e\u0445\u0440\u0430\u043d\u044f\u0442\u044c \u043a\u0430\u043a \u0441\u043e\u0431\u0441\u0442\u0432\u0435\u043d\u043d\u044b\u0435 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f?<\/p>\n
\u0414\u043b\u044f \u044d\u0442\u043e\u0433\u043e \u0443\u0434\u043e\u0431\u043d\u043e \u0441\u043e\u0431\u0440\u0430\u0442\u044c \u0441\u0432\u044f\u0437\u0430\u043d\u043d\u044b\u0435 \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u044b \u0432 \u043a\u043e\u0440\u0442\u0435\u0436. \u0417\u0430\u0445\u0432\u0430\u0442:<\/p>\n
... carried_args = std::forward<CarriedArgs>(carried_args)<\/code>
<\/a><\/div><\/pre>\n
\u043d\u0443\u0436\u043d\u043e \u0437\u0430\u043c\u0435\u043d\u0438\u0442\u044c \u043d\u0430 \u043e\u0434\u0438\u043d carried_args_as_tuple<\/code>. \u0422\u043e\u043b\u044c\u043a\u043e \u0443 \u043d\u0430\u0441 \u043f\u043e\u043b\u0443\u0447\u0438\u0442\u0441\u044f \u0442\u0430\u043a, \u0447\u0442\u043e \u0435\u0441\u0442\u044c \u0444\u0443\u043d\u043a\u0442\u043e\u0440, \u0441\u0432\u044f\u0437\u0430\u043d\u043d\u044b\u0435 \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u044b \u0432 \u0432\u0438\u0434\u0435 \u043a\u043e\u0440\u0442\u0435\u0436\u0430 \u0438 \u043e\u0441\u0442\u0430\u0432\u0448\u0438\u0435\u0441\u044f \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u044b \u043e\u0442\u0434\u0435\u043b\u044c\u043d\u044b\u043c \u043f\u0430\u043a\u0435\u0442\u043e\u043c. \u041d\u0443\u0436\u043d\u043e \u044d\u0442\u043e \u0432\u0441\u0451 \u0441\u043e\u0435\u0434\u0438\u043d\u0438\u0442\u044c \u0432\u043c\u0435\u0441\u0442\u0435. \u0420\u0435\u0448\u0438\u043c \u044d\u0442\u043e \u043a\u0430\u043a \u043e\u0442\u0434\u0435\u043b\u044c\u043d\u0443\u044e \u043f\u043e\u0434\u0437\u0430\u0434\u0430\u0447\u0443.<\/p>\n
\u041a\u0442\u043e-\u0442\u043e \u043c\u043e\u0436\u0435\u0442 \u043f\u0440\u0435\u0434\u043b\u043e\u0436\u0438\u0442\u044c \u0441\u043a\u043e\u043d\u043a\u0430\u0442\u0435\u043d\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u043a\u043e\u0440\u0442\u0435\u0436\u0438 \u0447\u0435\u0440\u0435\u0437 std::tuple_cat<\/code>, \u0430 \u043f\u043e\u0442\u043e\u043c \u0440\u0430\u0441\u043a\u0440\u044b\u0442\u044c \u043e\u0434\u0438\u043d \u043e\u0431\u0449\u0438\u0439 \u043a\u043e\u0440\u0442\u0435\u0436 \u0447\u0435\u0440\u0435\u0437 std::apply<\/code>. \u041c\u043d\u0435 \u043d\u0435 \u0445\u043e\u0447\u0435\u0442\u0441\u044f \u0441\u043e\u0437\u0434\u0430\u0432\u0430\u0442\u044c \u043f\u0440\u043e\u043c\u0435\u0436\u0443\u0442\u043e\u0447\u043d\u044b\u0439 \u043a\u043e\u0440\u0442\u0435\u0436 \u0442\u043e\u043b\u044c\u043a\u043e \u0440\u0430\u0434\u0438 \u0432\u044b\u0437\u043e\u0432\u0430 \u0444\u0443\u043d\u043a\u0442\u043e\u0440\u0430. \u0415\u0441\u043b\u0438 \u0441\u0432\u044f\u0437\u0430\u043d\u043d\u044b\u0435 \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u044b \u0445\u0440\u0430\u043d\u044f\u0442\u0441\u044f \u043f\u043e \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044e, \u044d\u0442\u043e \u0435\u0449\u0451 \u0438 \u0434\u043e\u043f\u043e\u043b\u043d\u0438\u0442\u0435\u043b\u044c\u043d\u043e\u0435 \u043a\u043e\u043f\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0435 \u0438\u043b\u0438 \u043f\u0435\u0440\u0435\u043c\u0435\u0449\u0435\u043d\u0438\u0435 \u0432 \u043d\u043e\u0432\u044b\u0439 \u043a\u043e\u0440\u0442\u0435\u0436. \u0425\u043e\u0447\u0435\u0442\u0441\u044f \u0441\u0440\u0430\u0437\u0443 \u043f\u0435\u0440\u0435\u0434\u0430\u0442\u044c \u0444\u0443\u043d\u043a\u0442\u043e\u0440\u0443 \u0443\u0436\u0435 \u0441\u043e\u0445\u0440\u0430\u043d\u0451\u043d\u043d\u044b\u0435 \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u044b \u0438 \u0434\u043e\u0431\u0430\u0432\u0438\u0442\u044c \u043e\u0441\u0442\u0430\u0432\u0448\u0438\u0435\u0441\u044f. \u0412\u043e\u0442 \u0437\u0434\u0435\u0441\u044c std::apply<\/code> \u0438 \u043f\u0440\u0438\u0433\u043e\u0434\u0438\u0442\u0441\u044f.<\/p>\n
\u0414\u0430\u0432\u0430\u0439\u0442\u0435 \u043d\u0430 \u043c\u0438\u043d\u0443\u0442\u0443 \u043f\u0440\u0435\u0434\u043f\u043e\u043b\u043e\u0436\u0438\u043c, \u0447\u0442\u043e \u0432\u043d\u0443\u0442\u0440\u0438 carried_args_as_tuple<\/code> \u0443 \u043d\u0430\u0441 \u0432\u0441\u0435 \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u044b \u0434\u043b\u044f \u0432\u044b\u0437\u043e\u0432\u0430 \u0444\u0443\u043d\u043a\u0442\u043e\u0440\u0430. \u0422\u043e\u0433\u0434\u0430 \u0447\u0442\u043e \u043c\u044b \u043c\u043e\u0436\u0435\u043c \u043d\u0430\u043f\u0438\u0441\u0430\u0442\u044c? \u041d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, \u0442\u0430\u043a:<\/p>\n
std::apply(std::forward<Functor>(functor), carried_args_as_tuple);<\/code>
<\/a><\/div><\/pre>\n
\u041b\u0438\u0431\u043e \u0442\u0430\u043a:<\/p>\n
std::apply(std::forward<Functor>(functor), std::move(carried_args_as_tuple));<\/code>
<\/a><\/div><\/pre>\n
\u0412 \u0447\u0451\u043c \u0440\u0430\u0437\u043d\u0438\u0446\u0430? \u0414\u0430\u0432\u0430\u0439\u0442\u0435 \u043f\u043e\u0441\u043c\u043e\u0442\u0440\u0438\u043c \u043d\u0430 \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442 std::apply<\/code>: \u043f\u043e \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u0443 \u043e\u043d \u0440\u0430\u0441\u043a\u0440\u044b\u0432\u0430\u0435\u0442 \u0438\u043d\u0434\u0435\u043a\u0441\u044b Is...<\/code> \u0432 \u0442\u0430\u043a\u043e\u0435 \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u0435:<\/p>\n
std::invoke(std::forward<Functor>(functor),            std::get<Is>(std::forward<Tuple>(tuple))...);<\/code>
<\/a><\/div><\/pre>\n
\u041f\u043e\u043b\u043d\u044b\u0439 \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442 \u043f\u0440\u0438\u0432\u0435\u0434\u0451\u043d \u0432 \u043e\u043f\u0438\u0441\u0430\u043d\u0438\u0438 std::apply<\/code><\/a>. \u041a\u0430\u0442\u0435\u0433\u043e\u0440\u0438\u0438 \u043f\u043e\u043b\u0443\u0447\u0430\u0435\u043c\u044b\u0445 \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u043e\u0432 \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u044f\u044e\u0442\u0441\u044f \u043f\u0435\u0440\u0435\u0433\u0440\u0443\u0437\u043a\u0430\u043c\u0438 std::get<\/code> \u0438 \u0442\u0438\u043f\u0430\u043c\u0438 \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u043e\u0432.<\/p>\n
\u0414\u043b\u044f \u043d\u0435\u043a\u043e\u043d\u0441\u0442\u0430\u043d\u0442\u043d\u043e\u0433\u043e rvalue-\u043a\u043e\u0440\u0442\u0435\u0436\u0430 std::get<\/code><\/a> \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u0442 ElementType&&<\/code>, \u0441 \u0443\u0447\u0451\u0442\u043e\u043c reference collapsing: \u0434\u043b\u044f \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u0430 T&<\/code> \u043f\u043e\u043b\u0443\u0447\u0438\u043c T&<\/code>.<\/p>\n
\u0415\u0441\u043b\u0438 \u043a\u043e\u0440\u0442\u0435\u0436 \u0445\u0440\u0430\u043d\u0438\u0442 \u0438\u0441\u0445\u043e\u0434\u043d\u044b\u0435 lvalue \u043f\u043e \u0441\u0441\u044b\u043b\u043a\u0435, \u0430 rvalue \u043f\u043e \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044e, \u0442\u043e \u043a\u0430\u0442\u0435\u0433\u043e\u0440\u0438\u0438 \u043c\u043e\u0436\u043d\u043e \u043f\u043e\u043b\u0443\u0447\u0438\u0442\u044c \u043f\u0440\u044f\u043c\u043e \u0447\u0435\u0440\u0435\u0437 get<\/code>. \u0422\u043e\u0433\u0434\u0430 \u0434\u043e\u0441\u0442\u0430\u0442\u043e\u0447\u043d\u043e:<\/p>\n
return std::apply(std::forward<Functor>(functor),                  std::move(carried_args_as_tuple));<\/code>
<\/a><\/div><\/pre>\n
\u0423 \u043d\u0430\u0441, \u043e\u0434\u043d\u0430\u043a\u043e, \u0435\u0441\u0442\u044c \u0435\u0449\u0451 \u043e\u0441\u0442\u0430\u0432\u0448\u0438\u0435\u0441\u044f \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u044b. \u0412\u043a\u043b\u0438\u043d\u0438\u043c \u043c\u0435\u0436\u0434\u0443 apply<\/code> \u0438 \u0444\u0443\u043d\u043a\u0442\u043e\u0440\u043e\u043c \u043e\u0431\u0451\u0440\u0442\u043a\u0443: \u0441\u043d\u0430\u0447\u0430\u043b\u0430 \u043d\u0430\u0443\u0447\u0438\u043c \u0435\u0451 \u043f\u0435\u0440\u0435\u0434\u0430\u0432\u0430\u0442\u044c \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u044b \u043a\u043e\u0440\u0442\u0435\u0436\u0430 \u0444\u0443\u043d\u043a\u0442\u043e\u0440\u0443, \u0430 \u043f\u043e\u0442\u043e\u043c \u0434\u043e\u0431\u0430\u0432\u0438\u043c \u043e\u0441\u0442\u0430\u0432\u0448\u0443\u044e\u0441\u044f \u043f\u0430\u0447\u043a\u0443. \u041d\u0430\u0447\u043d\u0451\u043c \u0441 \u0437\u0430\u0433\u043e\u0442\u043e\u0432\u043a\u0438:<\/p>\n
std::apply(    []<typename... LvalueTypes>(LvalueTypes&&... stored_carried_args) {      \/\/ \u0422\u0443\u0442 \u0434\u0430\u043b\u0435\u0435 \u0447\u0442\u043e-\u0442\u043e \u0434\u0435\u043b\u0430\u0435\u043c \u0441 functor    },    carried_args_as_tuple);<\/code>
<\/a><\/div><\/pre>\n
\u041f\u043e\u043a\u0430 \u043f\u0440\u0438\u043d\u0438\u043c\u0430\u0435\u043c \u0438\u0445 \u0447\u0435\u0440\u0435\u0437 LvalueTypes&&...<\/code>, \u0441 \u0442\u043e\u0447\u043d\u043e\u0439 \u0441\u0438\u0433\u043d\u0430\u0442\u0443\u0440\u043e\u0439 \u0435\u0449\u0451 \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0438\u043c\u0441\u044f.<\/p>\n
\u0412\u0441\u043f\u043e\u043c\u0438\u043d\u0430\u0435\u043c, \u0447\u0442\u043e \u0441\u0441\u044b\u043b\u043e\u0447\u043d\u044b\u0439 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442 \u043d\u0430\u0434\u043e \u0441\u043e\u0445\u0440\u0430\u043d\u0438\u0442\u044c \u0438 \u043d\u0430 \u044d\u0442\u043e\u043c \u0443\u0440\u043e\u0432\u043d\u0435. \u041f\u043e\u044d\u0442\u043e\u043c\u0443 \u0443 \u043e\u0431\u0451\u0440\u0442\u043a\u0438 \u0442\u043e\u0436\u0435 \u0434\u043e\u043b\u0436\u0435\u043d \u0431\u044b\u0442\u044c decltype(auto)<\/code>:<\/p>\n
[]<typename... LvalueTypes>(LvalueTypes&&... stored_carried_args)    -> decltype(auto) {  \/\/ \u0422\u0443\u0442 \u0434\u0430\u043b\u0435\u0435 \u0447\u0442\u043e-\u0442\u043e \u0434\u0435\u043b\u0430\u0435\u043c \u0441 functor}<\/code>
<\/a><\/div><\/pre>\n
\u041e\u043f\u044f\u0442\u044c \u0436\u0435, \u0444\u0443\u043d\u043a\u0442\u043e\u0440 \u043c\u044b \u043d\u0435 \u0437\u0430\u0445\u0432\u0430\u0442\u0438\u043b\u0438. \u041d\u043e \u043e\u043d \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u0435\u0442 \u0432\u043e \u0432\u0440\u0435\u043c\u044f \u0432\u044b\u0437\u043e\u0432\u0430 apply<\/code>, \u0430 \u043d\u0430\u0448\u0430 \u043e\u0431\u0451\u0440\u0442\u043a\u0430 \u0432\u044b\u0437\u044b\u0432\u0430\u0435\u0442\u0441\u044f \u043f\u0440\u044f\u043c\u043e \u0432\u043d\u0443\u0442\u0440\u0438 apply<\/code> \u0438 \u043d\u0438\u043a\u0443\u0434\u0430 \u043d\u0435 \u0441\u043e\u0445\u0440\u0430\u043d\u044f\u0435\u0442\u0441\u044f. \u041f\u043e\u044d\u0442\u043e\u043c\u0443 \u043c\u043e\u0436\u043d\u043e \u0431\u0435\u0437 \u0443\u043f\u0440\u0451\u043a\u043e\u0432 \u0441\u043e\u0432\u0435\u0441\u0442\u0438 \u0438 \u0441 \u0447\u0443\u0432\u0441\u0442\u0432\u043e\u043c \u0432\u044b\u043f\u043e\u043b\u043d\u0435\u043d\u043d\u043e\u0433\u043e \u0434\u043e\u043b\u0433\u0430 \u043d\u0430\u043f\u0438\u0441\u0430\u0442\u044c \u0430\u043c\u043f\u0435\u0440\u0441\u0430\u043d\u0434:<\/p>\n
[&]<typename... LvalueTypes>(LvalueTypes&&... stored_carried_args)    -> decltype(auto) {  \/\/ \u0412\u044b\u0437\u044b\u0432\u0430\u0435\u043c functor. \u0410 \u0447\u0442\u043e \u0434\u0435\u043b\u0430\u0442\u044c \u0441\u043e stored_carried_args?}<\/code>
<\/a><\/div><\/pre>\n
\u0422\u0435\u043f\u0435\u0440\u044c \u0432\u043e\u043f\u0440\u043e\u0441: \u043a\u0430\u043a \u043f\u0435\u0440\u0435\u0434\u0430\u0432\u0430\u0442\u044c stored_carried_args<\/code>? \u0418\u0445 \u0441\u0441\u044b\u043b\u043e\u0447\u043d\u044b\u0435 \u0442\u0438\u043f\u044b \u0437\u0430\u0432\u0438\u0441\u044f\u0442 \u043e\u0442 \u0442\u043e\u0433\u043e, \u043a\u0430\u043a\u043e\u0439 \u043a\u043e\u0440\u0442\u0435\u0436 \u043c\u044b \u0434\u0430\u043b\u0438 apply<\/code>. \u041d\u043e \u0441\u0430\u043c\u0438 \u0438\u043c\u0435\u043d\u0430 \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u043e\u0432 \u0432\u043d\u0443\u0442\u0440\u0438 \u043e\u0431\u0451\u0440\u0442\u043a\u0438 — lvalue-\u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u044f. \u041c\u044b \u043c\u043e\u0436\u0435\u043c \u043e\u0441\u0442\u0430\u0432\u0438\u0442\u044c \u0438\u0445 \u043a\u0430\u043a lvalue \u0438\u043b\u0438 \u043f\u0440\u0438\u0432\u0435\u0441\u0442\u0438 \u043a xvalue.<\/p>\n
\u0418\u0441\u0445\u043e\u0434\u043d\u044b\u0435 CarriedArgs<\/code> \u0443 \u043d\u0430\u0441 \u0443\u0436\u0435 \u0435\u0441\u0442\u044c. \u041f\u043e\u043a\u0430 \u0442\u0438\u043f\u044b \u0441\u043e\u0445\u0440\u0430\u043d\u0451\u043d\u043d\u044b\u0445 \u043e\u0431\u044a\u0435\u043a\u0442\u043e\u0432 \u0441\u043e\u0432\u043c\u0435\u0441\u0442\u0438\u043c\u044b \u0441 \u043d\u0438\u043c\u0438, \u043d\u0443\u0436\u043d\u044b\u0435 \u043a\u0430\u0442\u0435\u0433\u043e\u0440\u0438\u0438 \u043c\u043e\u0436\u043d\u043e \u0432\u043e\u0441\u0441\u0442\u0430\u043d\u043e\u0432\u0438\u0442\u044c \u0447\u0435\u0440\u0435\u0437 std::forward<CarriedArgs><\/code>. \u041f\u043e\u044d\u0442\u043e\u043c\u0443 \u0434\u043b\u044f \u0432\u044b\u0431\u0440\u0430\u043d\u043d\u043e\u0433\u043e \u043f\u0440\u0430\u0432\u0438\u043b\u0430 \u043f\u0435\u0440\u0435\u0434\u0430\u0447\u0438 \u043d\u0430\u043c \u0434\u043e\u0441\u0442\u0430\u0442\u043e\u0447\u043d\u043e \u043f\u0435\u0440\u0435\u0434\u0430\u0442\u044c \u043a\u043e\u0440\u0442\u0435\u0436 \u043a\u0430\u043a lvalue, \u0430 \u043a\u0430\u0442\u0435\u0433\u043e\u0440\u0438\u0438 \u0432\u044b\u0431\u0440\u0430\u0442\u044c \u0432\u043d\u0443\u0442\u0440\u0438 \u043e\u0431\u0451\u0440\u0442\u043a\u0438. \u042f \u0441\u0447\u0438\u0442\u0430\u044e, \u0447\u0442\u043e \u0442\u0430\u043a \u0447\u0438\u0449\u0435:<\/p>\n
std::apply(    [&]<typename... LvalueTypes>(LvalueTypes&&... stored_carried_args)        -> decltype(auto) {      return std::forward<Functor>(functor)(          std::forward<CarriedArgs>(stored_carried_args)...);    },    carried_args_as_tuple);<\/code>
<\/a><\/div><\/pre>\n
\u041f\u043e\u0441\u043a\u043e\u043b\u044c\u043a\u0443 \u043c\u044b \u043f\u0435\u0440\u0435\u0434\u0430\u0451\u043c \u043a\u043e\u0440\u0442\u0435\u0436 \u043a\u0430\u043a lvalue, get<\/code> \u0434\u0430\u0441\u0442 lvalue-\u0441\u0441\u044b\u043b\u043a\u0438 \u043d\u0430 \u0435\u0433\u043e \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u044b. \u0417\u043d\u0430\u0447\u0438\u0442, LvalueTypes&&...<\/code> \u043d\u0435\u0441\u0451\u0442 \u0441\u043b\u0438\u0448\u043a\u043e\u043c \u043c\u043d\u043e\u0433\u043e \u043e\u0431\u0449\u043d\u043e\u0441\u0442\u0438: \u0434\u043e\u0441\u0442\u0430\u0442\u043e\u0447\u043d\u043e LvalueTypes&...<\/code>. \u0410 \u0441\u0430\u043c\u0438 \u0442\u0438\u043f\u044b LvalueTypes<\/code> \u0432 \u0442\u0435\u043b\u0435 \u043c\u044b \u043d\u0435 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u043c, \u043f\u043e\u044d\u0442\u043e\u043c\u0443 \u043c\u043e\u0436\u043d\u043e \u0441\u0440\u0430\u0437\u0443 \u043d\u0430\u043f\u0438\u0441\u0430\u0442\u044c auto&...<\/code>:<\/p>\n
[&](auto&... stored_carried_args) -> decltype(auto) {  return std::forward<Functor>(functor)(      std::forward<CarriedArgs>(stored_carried_args)...);}<\/code>
<\/a><\/div><\/pre>\n
\u0423\u0440\u0430, \u043c\u044b \u0441\u043c\u043e\u0433\u043b\u0438 \u0432\u044b\u0437\u0432\u0430\u0442\u044c \u0444\u0443\u043d\u043a\u0442\u043e\u0440 \u0441 \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u0430\u043c\u0438 \u0438\u0437 \u0442\u044e\u043f\u043b\u0430 \u0432 \u043d\u0443\u0436\u043d\u044b\u0445 \u043a\u0430\u0442\u0435\u0433\u043e\u0440\u0438\u044f\u0445. \u041d\u0430 \u044d\u0442\u043e\u043c \u044d\u0442\u0430\u043f\u0435 \u0443\u0436\u0435 \u043b\u0435\u0433\u043a\u043e \u0432\u0438\u0434\u0435\u0442\u044c, \u043a\u0430\u043a \u0432\u043f\u0438\u0445\u043d\u0443\u0442\u044c \u0441\u044e\u0434\u0430 \u043e\u0441\u0442\u0430\u0432\u0448\u0443\u044e\u0441\u044f \u043f\u0430\u0447\u043a\u0443 \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u043e\u0432: \u0434\u043e\u043f\u0438\u0441\u044b\u0432\u0430\u0435\u043c \u0435\u0451 \u043f\u043e\u0441\u043b\u0435 \u0441\u0432\u044f\u0437\u0430\u043d\u043d\u044b\u0445 \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u043e\u0432 \u0438 \u0442\u043e\u0436\u0435 \u0444\u043e\u0440\u0432\u0430\u0440\u0434\u0438\u043c:<\/p>\n
return std::apply(    [&](auto&... stored_carried_args) -> decltype(auto) {      return std::forward<Functor>(functor)(          std::forward<CarriedArgs>(stored_carried_args)...,          std::forward<RemainingArgs>(remaining_args)...);    },    carried_args_as_tuple);<\/code>
<\/a><\/div><\/pre>\n
\u0412\u0435\u0440\u043d\u0451\u043c\u0441\u044f \u043a \u043a\u0430\u0440\u0440\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044e. \u041f\u043e\u0434\u0433\u043e\u0442\u043e\u0432\u0438\u043c \u0432\u044b\u0437\u043e\u0432, \u0430 \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u0435 \u0441\u043e\u0437\u0434\u0430\u043d\u0438\u044f \u043a\u043e\u0440\u0442\u0435\u0436\u0430 \u043f\u043e\u043a\u0430 \u043e\u0441\u0442\u0430\u0432\u0438\u043c \u043d\u0435\u0437\u0430\u043f\u043e\u043b\u043d\u0435\u043d\u043d\u044b\u043c:<\/p>\n
template <typename Functor, typename... CarriedArgs>auto carry(Functor&& functor, CarriedArgs&&... carried_args) {  return [functor = std::forward<Functor>(functor),          carried_args_as_tuple = \/* \u0432\u044b\u0431\u0435\u0440\u0435\u043c \u043d\u0438\u0436\u0435 *\/]<typename... RemainingArgs>(             RemainingArgs&&... remaining_args) mutable -> decltype(auto) {    return std::apply(        [&](auto&... stored_carried_args) -> decltype(auto) {          return std::forward<Functor>(functor)(              std::forward<CarriedArgs>(stored_carried_args)...,              std::forward<RemainingArgs>(remaining_args)...);        },        carried_args_as_tuple);  };}<\/code>
<\/a><\/div><\/pre>\n
\u041a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0446\u0438\u044f \u0443\u0436\u0435 \u0432\u044b\u0433\u043b\u044f\u0434\u0438\u0442 \u043d\u0435 \u0441\u0430\u043c\u044b\u043c \u043e\u0447\u0435\u0432\u0438\u0434\u043d\u044b\u043c \u043e\u0431\u0440\u0430\u0437\u043e\u043c. \u041e\u0441\u0442\u0430\u043b\u0430\u0441\u044c \u043e\u0434\u043d\u0430 \u043d\u0435\u0440\u0430\u0437\u0440\u0435\u0448\u0451\u043d\u043d\u0430\u044f \u043f\u0440\u043e\u0431\u043b\u0435\u043c\u0430: \u043a\u0430\u043a \u043d\u0430\u043c \u043f\u0440\u043e\u0438\u043d\u0438\u0446\u0438\u0430\u043b\u0438\u0437\u0438\u0440\u043e\u0432\u0430\u0442\u044c carried_args_as_tuple<\/code>?<\/p>\n
\u0423 \u043d\u0430\u0441 \u0435\u0441\u0442\u044c \u0442\u0440\u0438 \u043f\u0443\u0442\u0438:<\/p>\n
    \n
  1. \n
    std::make_tuple<\/code>;<\/p>\n<\/li>\n
  2. \n
    std::forward_as_tuple<\/code>;<\/p>\n<\/li>\n
  3. \n
    \u0421\u0430\u043c\u043e\u0441\u0442\u043e\u044f\u0442\u0435\u043b\u044c\u043d\u043e \u043d\u0430\u043f\u0438\u0441\u0430\u0442\u044c, \u043a\u0430\u043a\u043e\u0439 \u0442\u0438\u043f \u043d\u0443\u0436\u0435\u043d \u0431\u0443\u0434\u0435\u0442 \u043a\u043e\u0440\u0442\u0435\u0436\u0443, \u0438 \u043f\u0440\u043e\u0438\u043d\u0438\u0446\u0438\u0430\u043b\u0438\u0437\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u0435\u0433\u043e.<\/p>\n<\/li>\n<\/ol>\n
    \u0414\u0430\u0432\u0430\u0439\u0442\u0435 \u0438\u0434\u0442\u0438 \u0441\u0432\u0435\u0440\u0445\u0443 \u0432\u043d\u0438\u0437. \u041d\u0430\u0447\u043d\u0451\u043c \u0441\u043e std::make_tuple<\/code>:<\/p>\n
    carried_args_as_tuple =    std::make_tuple(std::forward<CarriedArgs>(carried_args)...)<\/code>
    <\/a><\/div><\/pre>\n
    \u0414\u043b\u044f \u043e\u0431\u044b\u0447\u043d\u044b\u0445 \u043e\u0431\u044a\u0435\u043a\u0442\u043d\u044b\u0445 \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u043e\u0432 \u043c\u044b \u0441\u043d\u043e\u0432\u0430 \u043f\u043e\u043b\u0443\u0447\u0430\u0435\u043c \u0445\u0440\u0430\u043d\u0435\u043d\u0438\u0435 \u043f\u043e \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044e: lvalue \u043a\u043e\u043f\u0438\u0440\u0443\u044e\u0442\u0441\u044f, \u0430 rvalue \u043c\u043e\u0433\u0443\u0442 \u043f\u0435\u0440\u0435\u043c\u0435\u0449\u0430\u0442\u044c\u0441\u044f. \u0422\u043e \u0435\u0441\u0442\u044c \u043f\u043e \u0441\u043f\u043e\u0441\u043e\u0431\u0443 \u0445\u0440\u0430\u043d\u0435\u043d\u0438\u044f \u0441\u0432\u044f\u0437\u0430\u043d\u043d\u044b\u0445 \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u043e\u0432 \u043c\u044b \u0432\u0435\u0440\u043d\u0443\u043b\u0438\u0441\u044c \u043a \u0443\u0436\u0435 \u0440\u0430\u0437\u043e\u0431\u0440\u0430\u043d\u043d\u043e\u043c\u0443 init-capture. \u041d\u0435\u043f\u043b\u043e\u0445\u043e \u043c\u044b \u043d\u0430\u0447\u0430\u043b\u0438 \u0437\u0430\u043c\u044b\u043a\u0430\u0442\u044c \u043f\u043e\u0440\u043e\u0447\u043d\u044b\u0439 \u043a\u0440\u0443\u0433. \u0414\u0430\u0436\u0435 \u043f\u0440\u043e\u0431\u043b\u0435\u043c\u0430 \u0441 \u043c\u0430\u0441\u0441\u0438\u0432\u043e\u043c \u043e\u0441\u0442\u0430\u0451\u0442\u0441\u044f: \u0441\u043e\u0445\u0440\u0430\u043d\u0438\u0442\u0441\u044f \u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c, \u0430 std::forward<CarriedArgs><\/code> \u0432 \u0442\u0435\u043b\u0435 \u043f\u043e-\u043f\u0440\u0435\u0436\u043d\u0435\u043c\u0443 \u0431\u0443\u0434\u0435\u0442 \u043e\u0436\u0438\u0434\u0430\u0442\u044c \u043c\u0430\u0441\u0441\u0438\u0432.<\/p>\n
    \u0423 make_tuple<\/code> \u0435\u0441\u0442\u044c \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u0435\u043d\u043d\u0430\u044f \u043e\u0433\u043e\u0432\u043e\u0440\u043a\u0430: \u0435\u0433\u043e \u0442\u0438\u043f \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u0430 — std::tuple<std::unwrap_ref_decay_t<Args>...><\/code>. \u041f\u043e\u0441\u043b\u0435 \u043f\u0440\u0435\u043e\u0431\u0440\u0430\u0437\u043e\u0432\u0430\u043d\u0438\u044f \u0442\u0438\u043f\u043e\u0432 \u043f\u043e \u043f\u0440\u0430\u0432\u0438\u043b\u0430\u043c decay \u043e\u043d \u0442\u0430\u043a\u0436\u0435 \u0440\u0430\u0437\u0432\u043e\u0440\u0430\u0447\u0438\u0432\u0430\u0435\u0442 std::reference_wrapper<T><\/code> \u0432 T&<\/code>. \u042d\u0442\u043e \u0432\u0438\u0434\u043d\u043e \u0438\u0437 \u0441\u0438\u0433\u043d\u0430\u0442\u0443\u0440\u044b make_tuple<\/code><\/a>.<\/p>\n
    \u0421\u043b\u0435\u0434\u0443\u044e\u0449\u0438\u0439 \u0432\u0430\u0440\u0438\u0430\u043d\u0442 — std::forward_as_tuple<\/code>. \u041d\u0430\u0437\u0432\u0430\u043d\u0438\u0435 \u0442\u0430\u043a\u043e\u0435, \u043a\u0430\u043a \u0431\u0443\u0434\u0442\u043e \u0442\u043e, \u0447\u0442\u043e \u043d\u0430\u043c \u043d\u0430\u0434\u043e:<\/p>\n
    carried_args_as_tuple =    std::forward_as_tuple(std::forward<CarriedArgs>(carried_args)...)<\/code>
    <\/a><\/div><\/pre>\n
    \u0414\u043b\u044f \u0438\u0441\u0445\u043e\u0434\u043d\u043e\u0433\u043e lvalue \u043f\u043e\u043b\u0443\u0447\u0430\u0435\u043c \u044d\u043b\u0435\u043c\u0435\u043d\u0442 T&<\/code>, \u0434\u043b\u044f rvalue — T&&<\/code>. \u041d\u043e T&&<\/code> \u0437\u0434\u0435\u0441\u044c \u0442\u043e\u0436\u0435 \u0441\u0441\u044b\u043b\u043a\u0430, \u0441\u043e\u0431\u0441\u0442\u0432\u0435\u043d\u043d\u043e\u0433\u043e \u043e\u0431\u044a\u0435\u043a\u0442\u0430 \u0432 \u043a\u043e\u0440\u0442\u0435\u0436\u0435 \u043d\u0435 \u043f\u043e\u044f\u0432\u0438\u043b\u043e\u0441\u044c. \u041f\u043e \u0445\u0440\u0430\u043d\u0435\u043d\u0438\u044e \u0441\u0432\u044f\u0437\u0430\u043d\u043d\u044b\u0445 \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u043e\u0432 \u043c\u044b \u0432\u0435\u0440\u043d\u0443\u043b\u0438\u0441\u044c \u043a \u0437\u043d\u0430\u043a\u043e\u043c\u043e\u0439 \u0432\u0435\u0440\u0441\u0438\u0438 \u0441 \u0430\u043c\u043f\u0435\u0440\u0441\u0430\u043d\u0434\u043e\u043c: \u0437\u0430 \u0432\u0440\u0435\u043c\u044f \u0436\u0438\u0437\u043d\u0438 \u043e\u0431\u044a\u0435\u043a\u0442\u043e\u0432 \u043e\u043f\u044f\u0442\u044c \u043e\u0442\u0432\u0435\u0447\u0430\u0435\u0442 \u0442\u043e\u0442, \u043a\u0442\u043e \u0438\u0445 \u043f\u0435\u0440\u0435\u0434\u0430\u043b. \u0421\u0430\u043c \u0444\u0443\u043d\u043a\u0442\u043e\u0440 \u0432 \u043d\u0430\u0448\u0435\u0439 \u043d\u043e\u0432\u043e\u0439 \u0441\u0445\u0435\u043c\u0435 \u043f\u043e-\u043f\u0440\u0435\u0436\u043d\u0435\u043c\u0443 \u0441\u043e\u0445\u0440\u0430\u043d\u044f\u0435\u0442\u0441\u044f \u043f\u043e \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044e.<\/p>\n
    \u0412 \u043d\u0430\u0447\u0430\u043b\u0435 \u0441\u0442\u0430\u0442\u044c\u0438 \u0438 \u0432\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0439 \u0444\u0443\u043d\u043a\u0442\u043e\u0440, \u0438 \u0432\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0439 int<\/code> \u0431\u044b\u043b\u0438 \u0441\u043e\u0445\u0440\u0430\u043d\u0435\u043d\u044b \u0438\u043c\u0435\u043d\u043d\u043e \u0442\u0430\u043a. \u041f\u043e\u0441\u043b\u0435 \u0437\u0430\u0432\u0435\u0440\u0448\u0435\u043d\u0438\u044f \u0438\u043d\u0438\u0446\u0438\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438 \u043a\u0430\u0440\u0440\u0438 \u0441\u0441\u044b\u043b\u043a\u0438 \u043f\u043e\u0432\u0438\u0441\u043b\u0438.<\/p>\n
    \u041e\u0441\u0442\u0430\u043b\u0441\u044f \u043f\u043e\u0441\u043b\u0435\u0434\u043d\u0438\u0439, \u0442\u0440\u0435\u0442\u0438\u0439 \u0432\u0430\u0440\u0438\u0430\u043d\u0442 — \u0441\u0430\u043c\u043e\u043c\u0443 \u043d\u0430\u043f\u0438\u0441\u0430\u0442\u044c \u0442\u0438\u043f \u043a\u043e\u0440\u0442\u0435\u0436\u0430. \u0422\u0443\u0442 \u043d\u0443\u0436\u043d\u043e \u0437\u0430\u043c\u0435\u0442\u0438\u0442\u044c \u043f\u0440\u043e\u0441\u0442\u0443\u044e \u0432\u0435\u0449\u044c: \u0442\u0438\u043f\u044b \u0443\u0436\u0435 \u043f\u0440\u0438\u0448\u043b\u0438 \u043d\u0430\u043c \u0442\u0430\u043a\u0438\u043c\u0438, \u043a\u0430\u043a\u0438\u043c\u0438 \u043e\u043d\u0438 \u043d\u0443\u0436\u043d\u044b \u0434\u043b\u044f \u0432\u044b\u0431\u0440\u0430\u043d\u043d\u043e\u0433\u043e \u0445\u0440\u0430\u043d\u0435\u043d\u0438\u044f:<\/p>\n
    carried_args_as_tuple =    std::tuple<CarriedArgs...>{std::forward<CarriedArgs>(carried_args)...}<\/code>
    <\/a><\/div><\/pre>\n
    \u0422\u0440\u0435\u0442\u0438\u0439 \u0432\u0430\u0440\u0438\u0430\u043d\u0442 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u0442 \u0443\u0436\u0435 \u0432\u044b\u0432\u0435\u0434\u0435\u043d\u043d\u044b\u0435 CarriedArgs<\/code>: \u0434\u043b\u044f lvalue \u0432 \u044d\u0442\u043e\u043c \u043f\u0430\u043a\u0435\u0442\u0435 \u0435\u0441\u0442\u044c &<\/code>, \u0434\u043b\u044f rvalue \u0435\u0433\u043e \u043d\u0435\u0442. \u041a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0442\u043e\u0440 \u043a\u043e\u0440\u0442\u0435\u0436\u0430 \u043f\u043e\u043b\u0443\u0447\u0430\u0435\u0442 \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u044b \u0441 \u0432\u043e\u0441\u0441\u0442\u0430\u043d\u043e\u0432\u043b\u0435\u043d\u043d\u044b\u043c\u0438 \u043a\u0430\u0442\u0435\u0433\u043e\u0440\u0438\u044f\u043c\u0438. \u0412 \u0447\u0430\u0441\u0442\u043d\u043e\u0441\u0442\u0438, \u0437\u0430\u043c\u0435\u043d\u0438\u0442\u044c \u0437\u0434\u0435\u0441\u044c std::forward<\/code> \u043d\u0430 \u0431\u0435\u0437\u0443\u0441\u043b\u043e\u0432\u043d\u044b\u0439 std::move<\/code> \u043d\u0435\u043b\u044c\u0437\u044f: \u044d\u043b\u0435\u043c\u0435\u043d\u0442 T&<\/code> \u0434\u043e\u043b\u0436\u0435\u043d \u0441\u0432\u044f\u0437\u0430\u0442\u044c\u0441\u044f \u0441 lvalue, \u0430 \u043d\u0435 \u0441 xvalue.<\/p>\n
    \u042f\u0432\u043d\u044b\u0435 \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u044b \u0448\u0430\u0431\u043b\u043e\u043d\u0430 \u0443 tuple<\/code> \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u0435\u043d\u043d\u044b. \u041d\u0430\u043f\u0440\u0438\u043c\u0435\u0440:<\/p>\n
    int x = 0;auto carried_args_as_tuple = std::tuple{x};  \/\/ std::tuple<int><\/code>
    <\/a><\/div><\/pre>\n
    \u041f\u0440\u0438 \u044d\u0442\u043e\u043c CTAD \u043d\u0435 \u0442\u043e\u0436\u0434\u0435\u0441\u0442\u0432\u0435\u043d\u0435\u043d make_tuple<\/code> \u043f\u043e \u0432\u044b\u0448\u0435\u0443\u043f\u043e\u043c\u044f\u043d\u0443\u0442\u043e\u0439 \u043f\u0440\u0438\u0447\u0438\u043d\u0435.<\/p>\n
    \u0412\u0435\u0440\u043d\u0451\u043c\u0441\u044f \u043a \u043d\u0430\u0448\u0435\u043c\u0443 \u043c\u0430\u0441\u0441\u0438\u0432\u0443 values<\/code>. \u041e\u043d \u043f\u0435\u0440\u0435\u0434\u0430\u043d \u043a\u0430\u043a lvalue, \u043f\u043e\u044d\u0442\u043e\u043c\u0443 \u0441 \u0442\u0430\u043a\u0438\u043c \u0441\u043f\u043e\u0441\u043e\u0431\u043e\u043c \u0445\u0440\u0430\u043d\u0435\u043d\u0438\u044f \u043f\u043e\u043b\u0443\u0447\u0438\u0442\u0441\u044f:<\/p>\n
    std::tuple<int (&)[3]> carried_args_as_tuple{values};<\/code>
    <\/a><\/div><\/pre>\n
    \u041a\u043e\u0440\u0442\u0435\u0436 \u0445\u0440\u0430\u043d\u0438\u0442 \u0441\u0441\u044b\u043b\u043a\u0443 \u043d\u0430 \u0438\u0441\u0445\u043e\u0434\u043d\u044b\u0439 \u043c\u0430\u0441\u0441\u0438\u0432. \u041f\u0440\u0438 \u043f\u0435\u0440\u0435\u0434\u0430\u0447\u0435 \u0435\u0433\u043e \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u0430 std::forward<CarriedArgs><\/code> \u0441\u043d\u043e\u0432\u0430 \u043f\u043e\u043b\u0443\u0447\u0430\u0435\u0442 \u043c\u0430\u0441\u0441\u0438\u0432, \u043f\u043e\u044d\u0442\u043e\u043c\u0443 \u043f\u0440\u0435\u0436\u043d\u0435\u0439 \u043e\u0448\u0438\u0431\u043a\u0438 \u0442\u0438\u043f\u043e\u0432 \u0437\u0434\u0435\u0441\u044c \u043d\u0435\u0442. \u041d\u043e \u0441\u043e\u0431\u0441\u0442\u0432\u0435\u043d\u043d\u043e\u0439 \u043a\u043e\u043f\u0438\u0438 \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u043e\u0432 \u0443 \u043a\u0430\u0440\u0440\u0438 \u0442\u043e\u0436\u0435 \u043d\u0435\u0442: \u0438\u0441\u0445\u043e\u0434\u043d\u044b\u0439 \u043c\u0430\u0441\u0441\u0438\u0432 \u0434\u043e\u043b\u0436\u0435\u043d \u043e\u0441\u0442\u0430\u0432\u0430\u0442\u044c\u0441\u044f \u0436\u0438\u0432\u044b\u043c \u043f\u0440\u0438 \u043e\u0431\u0440\u0430\u0449\u0435\u043d\u0438\u0438 \u043a \u043d\u0435\u043c\u0443 \u0438\u0437 \u043a\u0430\u0440\u0440\u0438. \u041c\u044b \u0432\u044b\u0431\u0440\u0430\u043b\u0438 \u0434\u0440\u0443\u0433\u043e\u0439 \u0441\u043f\u043e\u0441\u043e\u0431 \u0445\u0440\u0430\u043d\u0435\u043d\u0438\u044f; \u0432\u0435\u0440\u0441\u0438\u044e \u0441 init-capture \u0438 \u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u0435\u043c \u044d\u0442\u043e \u0441\u0430\u043c\u043e \u043f\u043e \u0441\u0435\u0431\u0435 \u043d\u0435 \u0438\u0441\u043f\u0440\u0430\u0432\u0438\u043b\u043e.<\/p>\n
    \u0422\u0435\u043f\u0435\u0440\u044c \u043c\u043e\u0436\u043d\u043e \u0441\u0440\u0430\u0432\u043d\u0438\u0442\u044c, \u0447\u0442\u043e \u043f\u043e\u043b\u0443\u0447\u0438\u043b\u043e\u0441\u044c. \u0412 \u0442\u0430\u0431\u043b\u0438\u0446\u0435 T<\/code> — \u043e\u0431\u044a\u0435\u043a\u0442\u043d\u044b\u0439 \u0442\u0438\u043f \u0431\u0435\u0437 \u0432\u0435\u0440\u0445\u043d\u0435\u0443\u0440\u043e\u0432\u043d\u0435\u0432\u044b\u0445 cv-\u043a\u0432\u0430\u043b\u0438\u0444\u0438\u043a\u0430\u0442\u043e\u0440\u043e\u0432, \u043d\u0435 \u043c\u0430\u0441\u0441\u0438\u0432 \u0438 \u043d\u0435 reference_wrapper<\/code>:<\/p>\n
    \n
    \n\n\n\n\n\n\n
    \n
    \u0412\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u0435 \u0434\u043b\u044f \u0445\u0440\u0430\u043d\u0435\u043d\u0438\u044f<\/p>\n<\/th>\n
    		\n
    \u042d\u043b\u0435\u043c\u0435\u043d\u0442 \u0434\u043b\u044f \u0438\u0441\u0445\u043e\u0434\u043d\u043e\u0433\u043e lvalue \u0442\u0438\u043f\u0430 T<\/code><\/p>\n<\/th>\n
    		\n
    \u042d\u043b\u0435\u043c\u0435\u043d\u0442 \u0434\u043b\u044f \u0438\u0441\u0445\u043e\u0434\u043d\u043e\u0433\u043e rvalue \u0442\u0438\u043f\u0430 T<\/code><\/p>\n<\/th>\n<\/tr>\n
    \n
    std::make_tuple(std::forward<CarriedArgs>(carried_args)...)<\/code><\/p>\n<\/td>\n
    		\n
    T<\/code><\/p>\n<\/td>\n
    		\n
    T<\/code><\/p>\n<\/td>\n<\/tr>\n
    \n
    std::forward_as_tuple(std::forward<CarriedArgs>(carried_args)...)<\/code><\/p>\n<\/td>\n
    		\n
    T&<\/code><\/p>\n<\/td>\n
    		\n
    T&&<\/code><\/p>\n<\/td>\n<\/tr>\n
    \n
    std::tuple<CarriedArgs...>{std::forward<CarriedArgs>(carried_args)...}<\/code><\/p>\n<\/td>\n
    		\n
    T&<\/code><\/p>\n<\/td>\n
    		\n
    T<\/code><\/p>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<\/div>\n<\/div>\n
    \u041f\u043e\u0434\u0441\u0442\u0430\u0432\u043b\u044f\u0435\u043c \u0442\u0440\u0435\u0442\u0438\u0439 \u0432\u0430\u0440\u0438\u0430\u043d\u0442 \u0432 \u043e\u0441\u0442\u0430\u0432\u043b\u0435\u043d\u043d\u043e\u0435 \u043c\u0435\u0441\u0442\u043e \u0432 \u0441\u043f\u0438\u0441\u043a\u0435 \u0437\u0430\u0445\u0432\u0430\u0442\u0430.<\/p>\n
    \u0422\u0435\u043f\u0435\u0440\u044c \u0441\u0432\u044f\u0437\u0430\u043d\u043d\u044b\u0435 \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u044b \u0445\u0440\u0430\u043d\u044f\u0442\u0441\u044f \u043f\u043e \u043f\u0440\u0430\u0432\u0438\u043b\u0443 \u201clvalue \u043f\u043e \u0441\u0441\u044b\u043b\u043a\u0435, rvalue \u043f\u043e \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044e\u201d.<\/p>\n
    \u041f\u0440\u043e\u0432\u0435\u0440\u0438\u043c \u043e\u0431\u0430 \u0441\u043b\u0443\u0447\u0430\u044f \u043e\u0434\u043d\u0438\u043c \u043f\u0440\u0438\u043c\u0435\u0440\u043e\u043c:<\/p>\n
    std::string str_123{\"123\"};auto functor = [](const std::string& lhs, const std::string& rhs) {  return lhs + rhs;};auto carried = carry(functor, str_123, std::string{\"456\"});std::cout << carried() << '\\n';  \/\/ 123456str_123 = \"789\";std::cout << carried() << '\\n';  \/\/ 789456<\/code>
    <\/a><\/div><\/pre>\n
    \u0418\u0441\u0445\u043e\u0434\u043d\u043e\u0439 \u0432\u0440\u0435\u043c\u0435\u043d\u043d\u043e\u0439 \u0441\u0442\u0440\u043e\u043a\u0438 \u0443\u0436\u0435 \u043d\u0435\u0442, \u043d\u043e \u0435\u0451 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 \u0445\u0440\u0430\u043d\u0438\u0442\u0441\u044f \u0432\u043d\u0443\u0442\u0440\u0438 \u043a\u0430\u0440\u0440\u0438. \u0410 str_123<\/code> \u043e\u0441\u0442\u0430\u043b\u0430\u0441\u044c \u043f\u043e \u0441\u0441\u044b\u043b\u043a\u0435, \u043f\u043e\u044d\u0442\u043e\u043c\u0443 \u043f\u0440\u0438 \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0435\u043c \u0432\u044b\u0437\u043e\u0432\u0435 \u043c\u044b \u0432\u0438\u0434\u0438\u043c \u0435\u0451 \u043d\u043e\u0432\u043e\u0435 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435.<\/p>\n
    \u041d\u043e \u043e\u0441\u0442\u0430\u043b\u0441\u044f \u0442\u043e\u0442 \u0441\u0430\u043c\u044b\u0439 \u0434\u043e\u043b\u0433: \u043a\u043e\u043d\u0441\u0442\u0430\u043d\u0442\u043d\u044b\u0439 \u043a\u0430\u0440\u0440\u0438. \u0425\u043e\u0442\u0435\u043b\u043e\u0441\u044c \u0431\u044b, \u0447\u0442\u043e\u0431\u044b \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0438\u0439 \u0432\u044b\u0437\u043e\u0432 \u0431\u044b\u043b \u0434\u043e\u043f\u0443\u0441\u0442\u0438\u043c, \u0432\u0435\u0434\u044c \u0434\u043b\u044f \u0441\u043b\u043e\u0436\u0435\u043d\u0438\u044f \u0438\u0437\u043c\u0435\u043d\u044f\u0442\u044c \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0435 \u043d\u0435 \u0442\u0440\u0435\u0431\u0443\u0435\u0442\u0441\u044f:<\/p>\n
    const auto carried = carry([](int a, int b) { return a + b; }, 5);\/\/ std::cout << carried(6) << '\\n'; \/\/ \u041f\u043e\u043a\u0430 \u043e\u0448\u0438\u0431\u043a\u0430 \u0438\u0437-\u0437\u0430 mutable<\/code>
    <\/a><\/div><\/pre>\n
    \u0414\u043b\u044f \u043e\u0431\u0451\u0440\u0442\u043a\u0438 \u0445\u043e\u0442\u0435\u043b\u043e\u0441\u044c \u0431\u044b \u043f\u043e\u0434\u0434\u0435\u0440\u0436\u0430\u0442\u044c \u043e\u0431\u0430 \u0441\u043b\u0443\u0447\u0430\u044f: \u043d\u0435\u043a\u043e\u043d\u0441\u0442\u0430\u043d\u0442\u043d\u044b\u0439 \u0434\u043e\u0441\u0442\u0443\u043f \u043f\u0440\u0438 \u0432\u044b\u0437\u043e\u0432\u0435 \u043d\u0435\u043a\u043e\u043d\u0441\u0442\u0430\u043d\u0442\u043d\u043e\u0433\u043e \u043e\u0431\u044a\u0435\u043a\u0442\u0430 \u0438 \u043a\u043e\u043d\u0441\u0442\u0430\u043d\u0442\u043d\u044b\u0439 — \u043f\u0440\u0438 \u0432\u044b\u0437\u043e\u0432\u0435 \u043a\u043e\u043d\u0441\u0442\u0430\u043d\u0442\u043d\u043e\u0433\u043e.<\/p>\n
    \u0412 C++23 \u043c\u043e\u0436\u043d\u043e \u043e\u0431\u044a\u044f\u0432\u0438\u0442\u044c \u044f\u0432\u043d\u044b\u0439 \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440 \u043e\u0431\u044a\u0435\u043a\u0442\u0430. \u041c\u0435\u043d\u044f\u0435\u043c \u043d\u0430\u0447\u0430\u043b\u043e \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u0430 \u0432\u044b\u0437\u043e\u0432\u0430, \u0443\u0431\u0438\u0440\u0430\u044f mutable<\/code>:<\/p>\n
    ]<typename... RemainingArgs>(    this auto&&,    RemainingArgs&&... remaining_args) -> decltype(auto) {<\/code>
    <\/a><\/div><\/pre>\n
    this auto&&<\/code> \u0432\u044b\u0432\u043e\u0434\u0438\u0442\u0441\u044f \u0438\u0437 \u043e\u0431\u044a\u0435\u043a\u0442\u0430 \u043a\u0430\u0440\u0440\u0438 \u043f\u0440\u0438 \u043a\u0430\u0436\u0434\u043e\u043c \u0432\u044b\u0437\u043e\u0432\u0435. \u0414\u043b\u044f \u043e\u0431\u044b\u0447\u043d\u043e\u0433\u043e lvalue-\u043a\u0430\u0440\u0440\u0438 \u043f\u043e\u043b\u0443\u0447\u0430\u0435\u0442\u0441\u044f \u0441\u0441\u044b\u043b\u043a\u0430 \u043d\u0430 \u043d\u0435\u043a\u043e\u043d\u0441\u0442\u0430\u043d\u0442\u043d\u044b\u0439 \u043e\u0431\u044a\u0435\u043a\u0442 \u0437\u0430\u043c\u044b\u043a\u0430\u043d\u0438\u044f, \u0434\u043b\u044f \u043a\u043e\u043d\u0441\u0442\u0430\u043d\u0442\u043d\u043e\u0433\u043e — \u0441\u0441\u044b\u043b\u043a\u0430 \u043d\u0430 \u043a\u043e\u043d\u0441\u0442\u0430\u043d\u0442\u043d\u044b\u0439. \u041f\u0440\u0430\u0432\u0438\u043b\u0430 \u043f\u0440\u0438\u0432\u0435\u0434\u0435\u043d\u044b \u0432 \u043e\u043f\u0438\u0441\u0430\u043d\u0438\u0438 \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u0430 \u0432\u044b\u0437\u043e\u0432\u0430 \u043b\u044f\u043c\u0431\u0434\u044b<\/a>.<\/p>\n
    \u041d\u043e \u043e\u0434\u043d\u043e\u0439 \u0437\u0430\u043c\u0435\u043d\u044b \u0441\u0438\u0433\u043d\u0430\u0442\u0443\u0440\u044b \u043d\u0435\u0434\u043e\u0441\u0442\u0430\u0442\u043e\u0447\u043d\u043e. \u0412\u043d\u0443\u0442\u0440\u0438 \u0432\u0441\u0451 \u0435\u0449\u0451 \u043d\u0430\u043f\u0438\u0441\u0430\u043d\u043e std::forward<CarriedArgs>(stored_carried_args)<\/code>. \u041f\u0440\u0438 \u0441\u043e\u0437\u0434\u0430\u043d\u0438\u0438 \u043a\u0430\u0440\u0440\u0438 \u0438\u0437 \u0432\u0440\u0435\u043c\u0435\u043d\u043d\u043e\u0433\u043e std::string<\/code> \u0441\u043e\u043e\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u0443\u044e\u0449\u0438\u0439 CarriedArgs<\/code> \u0432\u044b\u0432\u0435\u043b\u0441\u044f \u043a\u0430\u043a std::string<\/code>. \u041f\u0440\u0438 \u0432\u044b\u0437\u043e\u0432\u0435 \u043a\u043e\u043d\u0441\u0442\u0430\u043d\u0442\u043d\u043e\u0433\u043e \u043a\u0430\u0440\u0440\u0438 \u0435\u0433\u043e \u0441\u043e\u0431\u0441\u0442\u0432\u0435\u043d\u043d\u0430\u044f \u0441\u0442\u0440\u043e\u043a\u0430 \u0434\u043e\u0441\u0442\u0443\u043f\u043d\u0430 \u0443\u0436\u0435 \u043a\u0430\u043a const std::string&<\/code>.<\/p>\n
    \u041f\u043e\u043b\u0443\u0447\u0430\u0435\u0442\u0441\u044f \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0430\u044f \u0441\u0438\u0442\u0443\u0430\u0446\u0438\u044f:<\/p>\n
    const std::string text = \"hello\";\/\/ std::forward<std::string>(text); \/\/ \u041e\u0448\u0438\u0431\u043a\u0430: \u043d\u0443\u0436\u0435\u043d \u043d\u0435\u043a\u043e\u043d\u0441\u0442\u0430\u043d\u0442\u043d\u044b\u0439 \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442std::forward<const std::string>(text);   \/\/ const std::string&&std::forward<const std::string&>(text);  \/\/ const std::string&std::move(text);                         \/\/ const std::string&&<\/code>
    <\/a><\/div><\/pre>\n
    std::forward<std::string><\/code> \u0437\u0434\u0435\u0441\u044c \u043f\u043e\u0442\u0440\u0435\u0431\u043e\u0432\u0430\u043b \u0431\u044b \u043e\u0442\u0431\u0440\u043e\u0441\u0438\u0442\u044c const<\/code>. \u0423 move<\/code> \u0442\u0438\u043f \u0432\u044b\u0432\u043e\u0434\u0438\u0442\u0441\u044f \u0438\u0437 \u0442\u0435\u043a\u0443\u0449\u0435\u0433\u043e \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u044f, \u0438 \u043a\u043e\u043d\u0441\u0442\u0430\u043d\u0442\u043d\u043e\u0441\u0442\u044c \u0441\u043e\u0445\u0440\u0430\u043d\u044f\u0435\u0442\u0441\u044f. \u042d\u0442\u043e \u0432\u0438\u0434\u043d\u043e \u0438\u0437 \u0441\u0438\u0433\u043d\u0430\u0442\u0443\u0440 \u0438 \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u043e\u0432 \u044d\u0442\u0438\u0445 \u0444\u0443\u043d\u043a\u0446\u0438\u0439<\/a>.<\/p>\n
    \u0417\u0434\u0435\u0441\u044c \u043c\u044b \u0441\u0442\u043e\u043b\u043a\u043d\u0443\u043b\u0438\u0441\u044c \u0441 \u0440\u0430\u0437\u043b\u0438\u0447\u0438\u0435\u043c \u043c\u0435\u0436\u0434\u0443 \u0434\u0432\u0443\u043c\u044f \u043c\u043e\u043c\u0435\u043d\u0442\u0430\u043c\u0438 \u0432\u0440\u0435\u043c\u0435\u043d\u0438. CarriedArgs<\/code> \u043e\u043f\u0438\u0441\u044b\u0432\u0430\u0435\u0442 \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442 \u043f\u0440\u0438 \u0441\u043e\u0437\u0434\u0430\u043d\u0438\u0438 \u043a\u0430\u0440\u0440\u0438. \u0422\u0438\u043f \u0434\u043e\u0441\u0442\u0443\u043f\u0430 \u043a \u0441\u043e\u0445\u0440\u0430\u043d\u0451\u043d\u043d\u043e\u043c\u0443 \u043e\u0431\u044a\u0435\u043a\u0442\u0443 \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u044f\u0435\u0442\u0441\u044f \u0435\u0449\u0451 \u0438 \u0442\u0435\u043c, \u043a\u0430\u043a \u043c\u044b \u0432\u044b\u0437\u044b\u0432\u0430\u0435\u043c \u043a\u0430\u0440\u0440\u0438 \u0441\u0435\u0439\u0447\u0430\u0441. \u041a\u0440\u043e\u043c\u0435 \u0442\u043e\u0433\u043e, \u043c\u044b \u0443\u0436\u0435 \u0432\u0438\u0434\u0435\u043b\u0438, \u0447\u0442\u043e \u0445\u0440\u0430\u043d\u0435\u043d\u0438\u0435 \u043f\u043e \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044e \u043c\u043e\u0436\u0435\u0442 \u043f\u0440\u0435\u043e\u0431\u0440\u0430\u0437\u043e\u0432\u0430\u0442\u044c \u0441\u0430\u043c \u0442\u0438\u043f, \u043d\u0430\u043f\u0440\u0438\u043c\u0435\u0440 \u043c\u0430\u0441\u0441\u0438\u0432 \u0432 \u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c.<\/p>\n
    \u0417\u043d\u0430\u0447\u0438\u0442, \u043f\u0440\u0438 \u0432\u044b\u0437\u043e\u0432\u0435 \u043d\u0430\u043c \u0434\u043e\u0441\u0442\u0430\u0442\u043e\u0447\u043d\u043e \u0437\u043d\u0430\u0442\u044c, \u0431\u044b\u043b \u043b\u0438 \u0438\u0441\u0445\u043e\u0434\u043d\u044b\u0439 \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442 \u043f\u0435\u0440\u0435\u0434\u0430\u043d \u043a\u0430\u043a lvalue. \u0414\u0435\u0439\u0441\u0442\u0432\u0438\u0442\u0435\u043b\u044c\u043d\u044b\u0439 \u0442\u0438\u043f \u043e\u0431\u044a\u0435\u043a\u0442\u0430 \u0438 \u0434\u043e\u0441\u0442\u0443\u043f\u043d\u0443\u044e \u043a\u043e\u043d\u0441\u0442\u0430\u043d\u0442\u043d\u043e\u0441\u0442\u044c \u0432\u043e\u0437\u044c\u043c\u0451\u043c \u0438\u0437 \u043d\u043e\u0432\u043e\u0433\u043e \u0432\u044b\u0432\u043e\u0434\u0430:<\/p>\n
    template <typename OriginalType, typename LvalueType>decltype(auto) forward_stored(LvalueType& arg) {  if constexpr (std::is_lvalue_reference_v<OriginalType>) {    return (arg);  } else {    return std::move(arg);  }}<\/code>
    <\/a><\/div><\/pre>\n
    \u0422\u0435\u043f\u0435\u0440\u044c \u043c\u043e\u0436\u0435\u043c \u043f\u0435\u0440\u0435\u0434\u0430\u0442\u044c \u0438 \u043d\u0430\u0448\u0443 \u043a\u043e\u043d\u0441\u0442\u0430\u043d\u0442\u043d\u0443\u044e \u0441\u0442\u0440\u043e\u043a\u0443:<\/p>\n
    forward_stored<std::string>(text);  \/\/ const std::string&&<\/code>
    <\/a><\/div><\/pre>\n
    LvalueType<\/code> \u0432\u044b\u0432\u043e\u0434\u0438\u0442\u0441\u044f \u043a\u0430\u043a const std::string<\/code>. \u0418\u0441\u0445\u043e\u0434\u043d\u044b\u0439 \u0442\u0438\u043f std::string<\/code> \u043d\u0435 \u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f lvalue-\u0441\u0441\u044b\u043b\u043a\u043e\u0439, \u043f\u043e\u044d\u0442\u043e\u043c\u0443 \u0432\u044b\u043f\u043e\u043b\u043d\u044f\u0435\u0442\u0441\u044f std::move(arg)<\/code>. \u0414\u043b\u044f \u043e\u0441\u0442\u0430\u0432\u0448\u0438\u0445\u0441\u044f \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u043e\u0432 \u043e\u0431\u044b\u0447\u043d\u044b\u0439 std::forward<\/code> \u043f\u043e\u0434\u0445\u043e\u0434\u0438\u0442: \u0438\u0445 \u0442\u0438\u043f\u044b \u0442\u043e\u043b\u044c\u043a\u043e \u0447\u0442\u043e \u0432\u044b\u0432\u0435\u043b\u0438\u0441\u044c \u0432 \u0442\u0435\u043a\u0443\u0449\u0435\u043c \u0432\u044b\u0437\u043e\u0432\u0435.<\/p>\n
    \u0422\u0435\u043f\u0435\u0440\u044c \u043c\u043e\u0436\u043d\u043e \u0432\u0435\u0440\u043d\u0443\u0442\u044c\u0441\u044f \u0438 \u043a \u043e\u0448\u0438\u0431\u043a\u0435 \u0432 \u0432\u0435\u0440\u0441\u0438\u0438 \u0441 init-capture:<\/p>\n
    int values[]{1, 2, 3};using OriginalType = int (&)[3];auto stored = std::forward<OriginalType>(values);  \/\/ int*forward_stored<OriginalType>(stored);  \/\/ int*&<\/code>
    <\/a><\/div><\/pre>\n
    \u0417\u0434\u0435\u0441\u044c OriginalType<\/code> — \u0441\u0441\u044b\u043b\u043a\u0430 \u043d\u0430 \u043c\u0430\u0441\u0441\u0438\u0432, \u0430 LvalueType<\/code> \u0432\u044b\u0432\u0435\u043b\u0441\u044f \u043a\u0430\u043a int*<\/code>. \u041f\u043e\u044d\u0442\u043e\u043c\u0443 \u0432 \u0442\u0435\u043b\u0435 \u043f\u0440\u0435\u0436\u043d\u0435\u0439 \u043b\u044f\u043c\u0431\u0434\u044b \u0441 init-capture \u043c\u043e\u0436\u043d\u043e \u0437\u0430\u043c\u0435\u043d\u0438\u0442\u044c \u043f\u0435\u0440\u0435\u0434\u0430\u0447\u0443 \u0441\u0432\u044f\u0437\u0430\u043d\u043d\u044b\u0445 \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u043e\u0432:<\/p>\n
    \/\/ \u0411\u044b\u043b\u043e:std::forward<CarriedArgs>(carried_args)...\/\/ \u0421\u0442\u0430\u043b\u043e:forward_stored<CarriedArgs>(carried_args)...<\/code>
    <\/a><\/div><\/pre>\n
    \u041f\u043e\u0441\u043b\u0435 \u044d\u0442\u043e\u0439 \u0437\u0430\u043c\u0435\u043d\u044b \u0432\u0435\u0440\u043d\u0451\u043c\u0441\u044f \u043a \u043d\u0430\u0448\u0435\u043c\u0443 \u043f\u0440\u0438\u043c\u0435\u0440\u0443 \u0441 \u0444\u0443\u043d\u043a\u0442\u043e\u0440\u043e\u043c, \u043f\u0440\u0438\u043d\u0438\u043c\u0430\u044e\u0449\u0438\u043c const int*<\/code>:<\/p>\n
    auto carried = carry(functor, values);std::cout << carried() << '\\n';  \/\/ 1<\/code>
    <\/a><\/div><\/pre>\n
    \u041c\u0430\u0441\u0441\u0438\u0432 \u043f\u0440\u0438 \u044d\u0442\u043e\u043c \u043f\u043e-\u043f\u0440\u0435\u0436\u043d\u0435\u043c\u0443 \u0434\u043e\u043b\u0436\u0435\u043d \u0431\u044b\u0442\u044c \u0436\u0438\u0432.<\/p>\n
    \u0421\u043e\u0431\u0435\u0440\u0451\u043c \u0432\u0435\u0440\u0441\u0438\u044e \u0441 \u043a\u043e\u0440\u0442\u0435\u0436\u0435\u043c \u0438 forward_stored<\/code> \u0446\u0435\u043b\u0438\u043a\u043e\u043c:<\/p>\n
    template <typename Functor, typename... CarriedArgs>auto carry(Functor&& functor, CarriedArgs&&... carried_args) {  return [functor = std::forward<Functor>(functor),          carried_args_as_tuple =              std::tuple<CarriedArgs...>{std::forward<CarriedArgs>(                  carried_args)...}]<typename... RemainingArgs>(             this auto&&, RemainingArgs&&... remaining_args) -> decltype(auto) {    return std::apply(        [&](auto&... stored_carried_args) -> decltype(auto) {          return forward_stored<Functor>(functor)(              forward_stored<CarriedArgs>(stored_carried_args)...,              std::forward<RemainingArgs>(remaining_args)...);        },        carried_args_as_tuple);  };}<\/code>
    <\/a><\/div><\/pre>\n
    \u0421\u043b\u043e\u0436\u0435\u043d\u0438\u0435 \u0447\u0435\u0440\u0435\u0437 \u043a\u043e\u043d\u0441\u0442\u0430\u043d\u0442\u043d\u044b\u0439 \u043a\u0430\u0440\u0440\u0438 \u0442\u0435\u043f\u0435\u0440\u044c \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442:<\/p>\n
    const auto add_five = carry([](int a, int b) { return a + b; }, 5);std::cout << add_five(6) << '\\n';  \/\/ 11<\/code>
    <\/a><\/div><\/pre>\n
    \u041a\u043e\u043d\u0441\u0442\u0430\u043d\u0442\u043d\u043e\u0441\u0442\u044c \u0437\u0434\u0435\u0441\u044c \u043f\u043e\u0432\u0435\u0440\u0445\u043d\u043e\u0441\u0442\u043d\u0430\u044f. \u0421\u043e\u0431\u0441\u0442\u0432\u0435\u043d\u043d\u043e\u0435 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 \u0432 \u043a\u043e\u043d\u0441\u0442\u0430\u043d\u0442\u043d\u043e\u043c \u043a\u043e\u0440\u0442\u0435\u0436\u0435 \u0434\u043e\u0441\u0442\u0443\u043f\u043d\u043e \u0447\u0435\u0440\u0435\u0437 const<\/code>, \u0430 \u0441\u0441\u044b\u043b\u043a\u0430 \u043d\u0430 \u0432\u043d\u0435\u0448\u043d\u0438\u0439 \u043e\u0431\u044a\u0435\u043a\u0442 \u043d\u0435 \u0441\u0442\u0430\u043d\u043e\u0432\u0438\u0442\u0441\u044f \u0441\u0441\u044b\u043b\u043a\u043e\u0439 \u043d\u0430 \u043a\u043e\u043d\u0441\u0442\u0430\u043d\u0442\u043d\u044b\u0439 \u043e\u0431\u044a\u0435\u043a\u0442:<\/p>\n
    int x = 0;const std::tuple<int, int&> values{42, x};static_assert(std::is_same_v<decltype(std::get<0>(values)), const int&>);static_assert(std::is_same_v<decltype(std::get<1>(values)), int&>);<\/code>
    <\/a><\/div><\/pre>\n
    \u042d\u0442\u043e \u0442\u0430\u043a\u0436\u0435 \u043e\u0433\u043e\u0432\u043e\u0440\u0435\u043d\u043e \u0432 \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u0435 std::get<\/code><\/a>. \u041f\u043e\u044d\u0442\u043e\u043c\u0443 \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0438\u0439 \u043a\u043e\u0434 \u0434\u043e\u043f\u0443\u0441\u0442\u0438\u043c:<\/p>\n
    int x = 0;const auto increment = carry([](int& value) { ++value; }, x);increment();std::cout << x << '\\n';  \/\/ 1<\/code>
    <\/a><\/div><\/pre>\n
    \u0418 \u0435\u0449\u0451 \u043e\u0434\u043d\u0430 \u0433\u0440\u0430\u043d\u0438\u0446\u0430 \u0432\u043b\u0430\u0434\u0435\u043d\u0438\u044f: \u0441\u0441\u044b\u043b\u043e\u0447\u043d\u044b\u0439 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442 \u043c\u043e\u0436\u0435\u0442 \u0437\u0430\u0432\u0438\u0441\u0435\u0442\u044c \u043e\u0442 \u0432\u0440\u0435\u043c\u0435\u043d\u0438 \u0436\u0438\u0437\u043d\u0438 \u0441\u0430\u043c\u043e\u0433\u043e \u043a\u0430\u0440\u0440\u0438. \u041d\u0430\u043f\u0440\u0438\u043c\u0435\u0440:<\/p>\n
    auto&& result =    carry([](const std::string& value) -> const std::string& { return value; },          std::string{\"hello\"})();\/\/ \u0417\u0434\u0435\u0441\u044c result \u0443\u0436\u0435 \u0432\u0438\u0441\u0438\u0442: \u0432\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0439 \u043a\u0430\u0440\u0440\u0438 \u0443\u043d\u0438\u0447\u0442\u043e\u0436\u0435\u043d \u0432 \u043a\u043e\u043d\u0446\u0435 \u0438\u043d\u0438\u0446\u0438\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438.\/\/ std::cout << result; \/\/ UB<\/code>
    <\/a><\/div><\/pre>\n
    \u0422\u0435\u043f\u0435\u0440\u044c \u0441\u0442\u0430\u043d\u043e\u0432\u044f\u0442\u0441\u044f \u0432\u0438\u0434\u043d\u044b \u0434\u0432\u0430 \u0441\u0430\u043c\u043e\u0441\u0442\u043e\u044f\u0442\u0435\u043b\u044c\u043d\u044b\u0445 \u0440\u0435\u0448\u0435\u043d\u0438\u044f, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0440\u0430\u043d\u044c\u0448\u0435 \u0431\u044b\u043b\u0438 \u0437\u0430\u043f\u0438\u0441\u0430\u043d\u044b \u0447\u0435\u0440\u0435\u0437 \u043e\u0434\u0438\u043d \u0438 \u0442\u043e\u0442 \u0436\u0435 CarriedArgs<\/code>. \u0412\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u0435 std::tuple<CarriedArgs...><\/code> \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u044f\u0435\u0442 \u0445\u0440\u0430\u043d\u0435\u043d\u0438\u0435. \u0412\u044b\u0437\u043e\u0432 forward_stored<CarriedArgs><\/code> \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u044f\u0435\u0442, \u0432 \u043a\u0430\u043a\u043e\u043c \u0432\u0438\u0434\u0435 \u0441\u043e\u0445\u0440\u0430\u043d\u0451\u043d\u043d\u044b\u0439 \u043e\u0431\u044a\u0435\u043a\u0442 \u043f\u043e\u043b\u0443\u0447\u0438\u0442 \u0444\u0443\u043d\u043a\u0442\u043e\u0440.<\/p>\n
    \u041d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, \u0441\u0442\u0440\u043e\u043a\u0443 \u043c\u043e\u0436\u043d\u043e \u043f\u0435\u0440\u0435\u043c\u0435\u0441\u0442\u0438\u0442\u044c \u0432\u043d\u0443\u0442\u0440\u044c \u043a\u0430\u0440\u0440\u0438, \u0430 \u043f\u0440\u0438 \u043a\u0430\u0436\u0434\u043e\u043c \u0432\u044b\u0437\u043e\u0432\u0435 \u043f\u0435\u0440\u0435\u0434\u0430\u0432\u0430\u0442\u044c \u043a\u0430\u043a lvalue. \u0418\u043b\u0438 \u0441\u043e\u0445\u0440\u0430\u043d\u0438\u0442\u044c \u043a\u043e\u043f\u0438\u044e \u0438\u0441\u0445\u043e\u0434\u043d\u043e\u0433\u043e lvalue, \u043d\u043e \u043f\u0440\u043e\u0434\u043e\u043b\u0436\u0430\u0442\u044c \u043f\u0435\u0440\u0435\u0434\u0430\u0432\u0430\u0442\u044c \u044d\u0442\u0443 \u043a\u043e\u043f\u0438\u044e \u043a\u0430\u043a lvalue. \u0415\u0441\u043b\u0438 \u0445\u0440\u0430\u043d\u0438\u0442\u044c \u0432\u0441\u0451 \u043f\u043e \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044e, \u0442\u0438\u043f \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u0430 \u043a\u043e\u0440\u0442\u0435\u0436\u0430 \u0443\u0436\u0435 \u043d\u0435 \u043f\u043e\u043a\u0430\u0437\u044b\u0432\u0430\u0435\u0442, \u043a\u0430\u043a \u043e\u0431\u044a\u0435\u043a\u0442 \u0431\u044b\u043b \u043f\u0435\u0440\u0435\u0434\u0430\u043d \u043f\u0435\u0440\u0432\u043e\u043d\u0430\u0447\u0430\u043b\u044c\u043d\u043e, — \u0432\u043e\u0442 \u0433\u0434\u0435 \u043e\u0442\u0434\u0435\u043b\u044c\u043d\u043e\u0435 \u043f\u0440\u0430\u0432\u0438\u043b\u043e \u043f\u0435\u0440\u0435\u0434\u0430\u0447\u0438 \u043e\u0441\u043e\u0431\u0435\u043d\u043d\u043e \u043f\u043e\u043b\u0435\u0437\u043d\u043e.<\/p>\n
    \u042d\u0442\u043e \u043f\u043e\u0434\u0432\u043e\u0434\u0438\u0442 \u043a \u0442\u0440\u0451\u043c \u043d\u0430\u0441\u0442\u0440\u043e\u0439\u043a\u0430\u043c \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438:<\/p>\n
    \n
    \n\n\n\n\n\n\n
    \n
    \u041d\u0430\u0441\u0442\u0440\u043e\u0439\u043a\u0430<\/p>\n<\/th>\n
    		\n
    \u041a\u0430\u043a\u043e\u0435 \u0440\u0435\u0448\u0435\u043d\u0438\u0435 \u043f\u0440\u0438\u043d\u0438\u043c\u0430\u0435\u0442<\/p>\n<\/th>\n<\/tr>\n
    \n
    storage<\/code><\/p>\n<\/td>\n
    		\n
    \u041a\u0430\u043a \u0445\u0440\u0430\u043d\u0438\u0442\u044c \u0441\u0432\u044f\u0437\u0430\u043d\u043d\u044b\u0435 \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u044b: \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f, \u0441\u0441\u044b\u043b\u043a\u0438 \u0438\u043b\u0438 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f \u0434\u043b\u044f rvalue \u0438 \u0441\u0441\u044b\u043b\u043a\u0438 \u0434\u043b\u044f lvalue<\/p>\n<\/td>\n<\/tr>\n
    \n
    call<\/code><\/p>\n<\/td>\n
    		\n
    \u041a\u0430\u043a \u043f\u0435\u0440\u0435\u0434\u0430\u0432\u0430\u0442\u044c \u0441\u043e\u0445\u0440\u0430\u043d\u0451\u043d\u043d\u044b\u0435 \u043e\u0431\u044a\u0435\u043a\u0442\u044b: \u0432\u0441\u0435\u0433\u0434\u0430 \u043a\u0430\u043a lvalue \u0438\u043b\u0438 \u0432\u044b\u0431\u0438\u0440\u0430\u0442\u044c \u043a\u0430\u0442\u0435\u0433\u043e\u0440\u0438\u044e \u043f\u043e \u0438\u0441\u0445\u043e\u0434\u043d\u043e\u043c\u0443 \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u0443<\/p>\n<\/td>\n<\/tr>\n
    \n
    target<\/code><\/p>\n<\/td>\n
    		\n
    \u041a\u0430\u043a \u0445\u0440\u0430\u043d\u0438\u0442\u044c \u0441\u0430\u043c \u0444\u0443\u043d\u043a\u0442\u043e\u0440; \u043a \u043d\u0435\u043c\u0443 \u043c\u043e\u0436\u043d\u043e \u043f\u0440\u0438\u043c\u0435\u043d\u0438\u0442\u044c \u0442\u0435 \u0436\u0435 \u0432\u0430\u0440\u0438\u0430\u043d\u0442\u044b \u0445\u0440\u0430\u043d\u0435\u043d\u0438\u044f<\/p>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<\/div>\n<\/div>\n
    \u041f\u0438\u0441\u0430\u0442\u044c \u0432\u043e\u0441\u0435\u043c\u043d\u0430\u0434\u0446\u0430\u0442\u044c \u0438\u043c\u043f\u043b\u0435\u043c\u0435\u043d\u0442\u0430\u0446\u0438\u0439 \u043c\u043e\u0442\u0438\u0432\u0430\u0446\u0438\u0438 \u043d\u0435\u0442 (\u0431\u0443\u043a\u0432\u0430\u043b\u044c\u043d\u043e \u0432\u043e\u0441\u0435\u043c\u043d\u0430\u0434\u0446\u0430\u0442\u044c). \u0412\u044b\u0434\u0435\u043b\u0438\u043c \u044d\u0442\u0438 \u043d\u0430\u0441\u0442\u0440\u043e\u0439\u043a\u0438 \u0432 \u043e\u0442\u0434\u0435\u043b\u044c\u043d\u044b\u0435 \u043f\u043e\u043b\u0438\u0442\u0438\u043a\u0438. call::as_passed<\/code> \u0431\u0443\u0434\u0435\u0442 \u0441\u043e\u043e\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u043e\u0432\u0430\u0442\u044c \u043f\u043e\u043a\u0430\u0437\u0430\u043d\u043d\u043e\u043c\u0443 forward_stored<\/code>, \u0430 call::as_lvalue<\/code> — \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0442\u044c \u0441\u043e\u0445\u0440\u0430\u043d\u0451\u043d\u043d\u044b\u0439 \u043e\u0431\u044a\u0435\u043a\u0442 \u043a\u0430\u043a lvalue. \u041f\u043e\u043b\u0438\u0442\u0438\u043a\u0430 call<\/code> \u0431\u0443\u0434\u0435\u0442 \u043f\u0440\u0438\u043c\u0435\u043d\u044f\u0442\u044c\u0441\u044f \u0438 \u043a \u0441\u043e\u0445\u0440\u0430\u043d\u0451\u043d\u043d\u044b\u043c \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u0430\u043c, \u0438 \u043a \u0444\u0443\u043d\u043a\u0442\u043e\u0440\u0443; \u043d\u043e\u0432\u044b\u0435 \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u044b \u0432\u044b\u0437\u043e\u0432\u0430 \u043f\u043e-\u043f\u0440\u0435\u0436\u043d\u0435\u043c\u0443 \u0431\u0443\u0434\u0435\u043c \u0444\u043e\u0440\u0432\u0430\u0440\u0434\u0438\u0442\u044c \u043e\u0442\u0434\u0435\u043b\u044c\u043d\u043e.<\/p>\n
    \u041f\u0435\u0440\u0435\u0434\u0430\u0447\u0430 lvalue \u0441\u0430\u043c\u0430 \u043f\u043e \u0441\u0435\u0431\u0435 \u0442\u043e\u0436\u0435 \u043d\u0435 \u0433\u0430\u0440\u0430\u043d\u0442\u0438\u0440\u0443\u0435\u0442 \u043f\u043e\u0432\u0442\u043e\u0440\u044f\u0435\u043c\u043e\u0441\u0442\u044c \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u0430 \u0438\u043b\u0438 \u043d\u0435\u0438\u0437\u043c\u0435\u043d\u043d\u043e\u0441\u0442\u044c \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f: \u0444\u0443\u043d\u043a\u0442\u043e\u0440 \u043c\u043e\u0436\u0435\u0442 \u0438\u0437\u043c\u0435\u043d\u0438\u0442\u044c \u043e\u0431\u044a\u0435\u043a\u0442 \u0447\u0435\u0440\u0435\u0437 \u043d\u0435\u043a\u043e\u043d\u0441\u0442\u0430\u043d\u0442\u043d\u0443\u044e \u0441\u0441\u044b\u043b\u043a\u0443.<\/p>\n
    \u0414\u0430\u0432\u0430\u0439\u0442\u0435 \u0442\u0435\u043f\u0435\u0440\u044c \u0432\u044b\u043d\u0435\u0441\u0435\u043c \u044d\u0442\u0438 \u0440\u0435\u0448\u0435\u043d\u0438\u044f \u0438\u0437 carry<\/code>. \u041a\u0430\u0436\u0434\u0443\u044e \u043f\u043e\u043b\u0438\u0442\u0438\u043a\u0443 \u043e\u0444\u043e\u0440\u043c\u0438\u043c \u043a\u0430\u043a \u043e\u0442\u0434\u0435\u043b\u044c\u043d\u0443\u044e \u0441\u0442\u0440\u0443\u043a\u0442\u0443\u0440\u0443 \u0441\u043e \u0441\u0442\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u043c \u0448\u0430\u0431\u043b\u043e\u043d\u043d\u044b\u043c \u043c\u0435\u0442\u043e\u0434\u043e\u043c.<\/p>\n
    \u0421\u0432\u043e\u0431\u043e\u0434\u043d\u0443\u044e \u0444\u0443\u043d\u043a\u0446\u0438\u044e carry<\/code> \u0437\u0430\u043c\u0435\u043d\u0438\u043c \u0441\u0442\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u043c \u043c\u0435\u0442\u043e\u0434\u043e\u043c policy::carry<\/code>, \u0430 \u043d\u043e\u0432\u044b\u0435 \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u0438\u044f \u0441\u043e\u0431\u0435\u0440\u0451\u043c \u0432 \u043f\u0440\u043e\u0441\u0442\u0440\u0430\u043d\u0441\u0442\u0432\u0435 \u0438\u043c\u0451\u043d carry<\/code>.<\/p>\n
    \u041d\u0430\u0447\u043d\u0451\u043c \u0441 \u0445\u0440\u0430\u043d\u0435\u043d\u0438\u044f. \u0412\u043c\u0435\u0441\u0442\u043e \u043a\u043e\u043d\u043a\u0440\u0435\u0442\u043d\u043e\u0433\u043e \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0442\u043e\u0440\u0430 \u043a\u043e\u0440\u0442\u0435\u0436\u0430 \u0432 \u0441\u043f\u0438\u0441\u043a\u0435 \u0437\u0430\u0445\u0432\u0430\u0442\u0430 \u0445\u043e\u0447\u0435\u0442\u0441\u044f \u043d\u0430\u043f\u0438\u0441\u0430\u0442\u044c:<\/p>\n
    carried_args_as_tuple = Storage::template store<CarriedArgs...>(carried_args...)<\/code>
    <\/a><\/div><\/pre>\n
    store<\/code> \u043f\u0440\u0438\u043d\u0438\u043c\u0430\u0435\u0442 \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u044b \u043a\u0430\u043a lvalue, \u0430 \u0438\u0441\u0445\u043e\u0434\u043d\u044b\u0435 \u0442\u0438\u043f\u044b \u043f\u043e\u043b\u0443\u0447\u0430\u0435\u0442 \u044f\u0432\u043d\u043e \u0447\u0435\u0440\u0435\u0437 OriginalTypes...<\/code>. LvalueTypes...<\/code> \u0432\u044b\u0432\u043e\u0434\u044f\u0442\u0441\u044f \u0438\u0437 \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u043e\u0432. \u0424\u043e\u0440\u0432\u0430\u0440\u0434\u0438\u043d\u0433 \u0432\u044b\u043f\u043e\u043b\u043d\u0438\u043c \u043f\u0440\u0438 \u0441\u043e\u0437\u0434\u0430\u043d\u0438\u0438 \u043a\u043e\u0440\u0442\u0435\u0436\u0430.<\/p>\n
    \u041f\u0435\u0440\u0432\u043e\u0439 \u0432\u044b\u043d\u0435\u0441\u0435\u043c \u0442\u0443 \u0441\u0442\u0440\u0430\u0442\u0435\u0433\u0438\u044e, \u0434\u043e \u043a\u043e\u0442\u043e\u0440\u043e\u0439 \u0443\u0436\u0435 \u0434\u043e\u0448\u043b\u0438: lvalue \u043f\u043e \u0441\u0441\u044b\u043b\u043a\u0435, rvalue \u043f\u043e \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044e.<\/p>\n
    namespace carry::storage {struct as_passed {  template <typename... OriginalTypes, typename... LvalueTypes>  static auto store(LvalueTypes&... args) {    return std::tuple<OriginalTypes...>(std::forward<OriginalTypes>(args)...);  }};}  \/\/ namespace carry::storage<\/code>
    <\/a><\/div><\/pre>\n
    \u0422\u0435\u043f\u0435\u0440\u044c \u0445\u043e\u0442\u0438\u043c \u0432\u0441\u0451 \u0441\u043e\u0445\u0440\u0430\u043d\u044f\u0442\u044c \u043f\u043e \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044e. \u0418\u043d\u0442\u0435\u0440\u0444\u0435\u0439\u0441 \u0442\u043e\u0442 \u0436\u0435, \u043c\u0435\u043d\u044f\u044e\u0442\u0441\u044f \u0442\u043e\u043b\u044c\u043a\u043e \u0442\u0438\u043f\u044b \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u043e\u0432 \u043a\u043e\u0440\u0442\u0435\u0436\u0430:<\/p>\n
    namespace carry::storage {struct by_value {  template <typename... OriginalTypes, typename... LvalueTypes>  static auto store(LvalueTypes&... args) {    return std::tuple<std::decay_t<OriginalTypes>...>(        std::forward<OriginalTypes>(args)...);  }};}  \/\/ namespace carry::storage<\/code>
    <\/a><\/div><\/pre>\n
    \u0417\u0434\u0435\u0441\u044c \u043d\u0430\u043c\u0435\u0440\u0435\u043d\u043d\u043e \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u043c decay_t<\/code>, \u0447\u0442\u043e\u0431\u044b \u0441\u043e\u0445\u0440\u0430\u043d\u0438\u0442\u044c std::reference_wrapper<\/code> \u043a\u0430\u043a \u043e\u0431\u044a\u0435\u043a\u0442. \u0415\u0441\u043b\u0438 \u043f\u043e\u0441\u0442\u0430\u0432\u0438\u0442\u044c make_tuple<\/code>, \u0441\u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442 \u0443\u0436\u0435 \u0440\u0430\u0437\u043e\u0431\u0440\u0430\u043d\u043d\u043e\u0435 \u0440\u0430\u0437\u0432\u043e\u0440\u0430\u0447\u0438\u0432\u0430\u043d\u0438\u0435 \u0432 T&<\/code>, \u0430 \u043c\u044b \u0445\u043e\u0442\u0438\u043c \u043e\u0441\u0442\u0430\u0432\u0438\u0442\u044c \u044d\u0442\u043e\u0442 \u0432\u044b\u0431\u043e\u0440 \u044f\u0432\u043d\u044b\u043c.<\/p>\n
    \u0418 \u0442\u0440\u0435\u0442\u0438\u0439 \u0432\u0430\u0440\u0438\u0430\u043d\u0442 — \u0445\u0440\u0430\u043d\u0438\u0442\u044c \u0441\u0441\u044b\u043b\u043a\u0438:<\/p>\n
    namespace carry::storage {struct by_reference {  template <typename... OriginalTypes, typename... LvalueTypes>  static auto store(LvalueTypes&... args) {    return std::forward_as_tuple(std::forward<OriginalTypes>(args)...);  }};}  \/\/ namespace carry::storage<\/code>
    <\/a><\/div><\/pre>\n
    \u0421 \u0445\u0440\u0430\u043d\u0435\u043d\u0438\u0435\u043c \u0432\u0441\u0451. \u0422\u0435\u043f\u0435\u0440\u044c \u0440\u0430\u0437\u0431\u0435\u0440\u0451\u043c\u0441\u044f \u0441 \u043f\u0435\u0440\u0435\u0434\u0430\u0447\u0435\u0439 \u043f\u0440\u0438 \u0432\u044b\u0437\u043e\u0432\u0435. \u041d\u0430\u0448\u0430 forward_stored<\/code> \u0443\u0436\u0435 \u0434\u0435\u043b\u0430\u0435\u0442 \u043d\u0443\u0436\u043d\u0443\u044e \u0440\u0430\u0431\u043e\u0442\u0443, \u043e\u0441\u0442\u0430\u043b\u043e\u0441\u044c \u043f\u043e\u043c\u0435\u0441\u0442\u0438\u0442\u044c \u0435\u0451 \u0432 \u043f\u043e\u043b\u0438\u0442\u0438\u043a\u0443:<\/p>\n
    namespace carry::call {struct as_passed {  template <typename OriginalType, typename LvalueType>  static decltype(auto) forward(LvalueType& arg) {    if constexpr (std::is_lvalue_reference_v<OriginalType>) {      return arg;    } else {      return std::move(arg);    }  }};}  \/\/ namespace carry::call<\/code>
    <\/a><\/div><\/pre>\n
    \u0414\u043b\u044f \u043f\u0435\u0440\u0435\u0434\u0430\u0447\u0438 \u0441\u043e\u0445\u0440\u0430\u043d\u0451\u043d\u043d\u044b\u0445 \u043e\u0431\u044a\u0435\u043a\u0442\u043e\u0432 \u043a\u0430\u043a lvalue \u0434\u043e\u0431\u0430\u0432\u0438\u043c call::as_lvalue<\/code>:<\/p>\n
    namespace carry::call {struct as_lvalue {  template <typename OriginalType, typename LvalueType>  static decltype(auto) forward(LvalueType& arg) {    return arg;  }};}  \/\/ namespace carry::call<\/code>
    <\/a><\/div><\/pre>\n
    \u041e\u0441\u0442\u0430\u043b\u0441\u044f \u0441\u0430\u043c \u0444\u0443\u043d\u043a\u0442\u043e\u0440. \u0412 \u043f\u0440\u0435\u0434\u044b\u0434\u0443\u0449\u0435\u0439 \u0432\u0435\u0440\u0441\u0438\u0438 \u043e\u043d \u0441\u043e\u0445\u0440\u0430\u043d\u044f\u043b\u0441\u044f \u043f\u043e \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044e, \u0430 \u0442\u0435\u043f\u0435\u0440\u044c \u0445\u043e\u0447\u0435\u0442\u0441\u044f \u0432\u044b\u0431\u0438\u0440\u0430\u0442\u044c \u0438 \u0437\u0434\u0435\u0441\u044c. \u041c\u044b \u0443\u0436\u0435 \u043d\u0430\u043f\u0438\u0441\u0430\u043b\u0438 \u0432\u0441\u0435 \u0442\u0440\u0438 \u0441\u043f\u043e\u0441\u043e\u0431\u0430 \u0445\u0440\u0430\u043d\u0435\u043d\u0438\u044f, \u0442\u0430\u043a \u0447\u0442\u043e \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u043c \u0438\u0445 \u0435\u0449\u0451 \u0440\u0430\u0437:<\/p>\n
    namespace carry::target {using storage::as_passed;using storage::by_reference;using storage::by_value;}  \/\/ namespace carry::target<\/code>
    <\/a><\/div><\/pre>\n
    \u0424\u0443\u043d\u043a\u0442\u043e\u0440 \u0441\u043e\u0445\u0440\u0430\u043d\u0438\u043c \u0432 \u043a\u043e\u0440\u0442\u0435\u0436\u0435 \u0438\u0437 \u043e\u0434\u043d\u043e\u0433\u043e \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u0430:<\/p>\n
    functor = Target::template store<Functor>(functor)<\/code>
    <\/a><\/div><\/pre>\n
    \u0410 \u043f\u043e\u043b\u0443\u0447\u0430\u0442\u044c \u0444\u0443\u043d\u043a\u0442\u043e\u0440 \u0434\u043b\u044f \u0432\u044b\u0437\u043e\u0432\u0430 \u0431\u0443\u0434\u0435\u043c \u0447\u0435\u0440\u0435\u0437 std::get<0>(functor)<\/code>.<\/p>\n
    \u0422\u0435\u043f\u0435\u0440\u044c \u0441\u043e\u0431\u0435\u0440\u0451\u043c \u0442\u0440\u0438 \u043d\u0430\u0441\u0442\u0440\u043e\u0439\u043a\u0438 \u0432 \u043e\u0434\u043d\u0443 \u043a\u043e\u043d\u0444\u0438\u0433\u0443\u0440\u0430\u0446\u0438\u044e. \u0412 \u0441\u043f\u0438\u0441\u043a\u0435 \u0437\u0430\u0445\u0432\u0430\u0442\u0430 \u0440\u0430\u0431\u043e\u0442\u0430\u044e\u0442 Storage<\/code> \u0438 Target<\/code>, \u0430 \u0432\u043d\u0443\u0442\u0440\u0438 apply<\/code> — Call<\/code>:<\/p>\n
    namespace carry {template <typename Storage, typename Call, typename Target>struct policy {  template <typename Functor, typename... CarriedArgs>  static auto carry(Functor&& functor, CarriedArgs&&... carried_args) {    return        [functor = Target::template store<Functor>(functor),         carried_args_as_tuple = Storage::template store<CarriedArgs...>(             carried_args...)]<typename... RemainingArgs>(            this auto&&, RemainingArgs&&... remaining_args) -> decltype(auto) {          return std::apply(              [&](auto&... stored_carried_args) -> decltype(auto) {                return Call::template forward<Functor>(std::get<0>(functor))(                    Call::template forward<CarriedArgs>(stored_carried_args)...,                    std::forward<RemainingArgs>(remaining_args)...);              },              carried_args_as_tuple);        };  }};}  \/\/ namespace carry<\/code>
    <\/a><\/div><\/pre>\n
    \u0412\u0435\u0440\u043d\u0451\u043c\u0441\u044f \u043a \u043f\u0440\u0438\u043c\u0435\u0440\u0443 \u0441 \u043f\u043e\u0432\u0442\u043e\u0440\u043d\u044b\u043c \u0432\u044b\u0437\u043e\u0432\u043e\u043c. \u0421\u043e\u0445\u0440\u0430\u043d\u0438\u043c \u0441\u0442\u0440\u043e\u043a\u0438 \u043f\u043e \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044e, \u0430 \u043f\u0440\u0438 \u0432\u044b\u0437\u043e\u0432\u0435 \u0431\u0443\u0434\u0435\u043c \u043f\u0435\u0440\u0435\u0434\u0430\u0432\u0430\u0442\u044c \u0438\u0445 \u043a\u0430\u043a lvalue:<\/p>\n
    using owning = carry::policy<carry::storage::by_value, carry::call::as_lvalue,                             carry::target::by_value>;std::string str_123{\"123\"};auto functor = [](std::string lhs, std::string rhs) { return lhs + rhs; };auto carried = owning::carry(functor, str_123, std::string{\"456\"});std::cout << carried() << ' ' << carried() << '\\n';  \/\/ 123456 123456<\/code>
    <\/a><\/div><\/pre>\n
    \u0424\u0443\u043d\u043a\u0442\u043e\u0440 \u043f\u0440\u0438\u043d\u0438\u043c\u0430\u0435\u0442 \u0441\u0442\u0440\u043e\u043a\u0438 \u043f\u043e \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044e, \u043f\u043e\u044d\u0442\u043e\u043c\u0443 \u043f\u0440\u0438 \u043a\u0430\u0436\u0434\u043e\u043c \u0432\u044b\u0437\u043e\u0432\u0435 \u043a\u043e\u043f\u0438\u0440\u0443\u0435\u0442 \u0438\u0445 \u0438\u0437 \u0445\u0440\u0430\u043d\u0438\u043b\u0438\u0449\u0430. \u0421\u0430\u043c\u043e \u0445\u0440\u0430\u043d\u0435\u043d\u0438\u0435 \u043e\u0441\u0442\u0430\u043b\u043e\u0441\u044c \u043f\u043e \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044e, \u0430 \u0441\u043f\u043e\u0441\u043e\u0431 \u043f\u0435\u0440\u0435\u0434\u0430\u0447\u0438 \u043c\u044b \u043f\u043e\u043c\u0435\u043d\u044f\u043b\u0438.<\/p>\n
    \u041f\u043e\u043c\u0435\u043d\u044f\u0435\u043c \u0442\u0435\u043f\u0435\u0440\u044c \u0442\u043e\u043b\u044c\u043a\u043e \u0445\u0440\u0430\u043d\u0435\u043d\u0438\u0435 \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u043e\u0432:<\/p>\n
    using mixed = carry::policy<carry::storage::as_passed, carry::call::as_lvalue,                            carry::target::by_value>;int x = 10;auto functor = [](int value, int delta) { return value + delta; };auto copied = owning::carry(functor, x);auto referenced = mixed::carry(functor, x);x = 20;std::cout << copied(1) << ' ' << referenced(1) << '\\n';  \/\/ 11 21<\/code>
    <\/a><\/div><\/pre>\n
    \u0412 \u043f\u0435\u0440\u0432\u043e\u043c \u0441\u043b\u0443\u0447\u0430\u0435 \u0441\u043e\u0445\u0440\u0430\u043d\u0438\u043b\u0438 \u043a\u043e\u043f\u0438\u044e x<\/code>, \u0432\u043e \u0432\u0442\u043e\u0440\u043e\u043c — \u0441\u0441\u044b\u043b\u043a\u0443.<\/p>\n
    \u0410 \u0434\u043b\u044f \u0432\u044b\u0431\u043e\u0440\u0430 \u043a\u0430\u0442\u0435\u0433\u043e\u0440\u0438\u0438 \u0443 \u043d\u0430\u0441 \u0443\u0436\u0435 \u0431\u044b\u043b \u043f\u043e\u0434\u0445\u043e\u0434\u044f\u0449\u0438\u0439 \u0444\u0443\u043d\u043a\u0442\u043e\u0440 — ValueCategoryBasedFunctor<\/code>. \u041e\u043d \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u043b false<\/code> \u043f\u0440\u0438 \u0432\u044b\u0437\u043e\u0432\u0435 \u0447\u0435\u0440\u0435\u0437 lvalue \u0438 true<\/code> \u043f\u0440\u0438 \u0432\u044b\u0437\u043e\u0432\u0435 \u0447\u0435\u0440\u0435\u0437 rvalue. \u041f\u043e\u0441\u043c\u043e\u0442\u0440\u0438\u043c, \u043a\u0430\u043a \u043d\u0430 \u043d\u0435\u0433\u043e \u0432\u043b\u0438\u044f\u0435\u0442 Call<\/code>:<\/p>\n
    using moving = carry::policy<carry::storage::by_value, carry::call::as_passed,                             carry::target::by_value>;auto as_lvalue = owning::carry(ValueCategoryBasedFunctor{});auto as_rvalue = moving::carry(ValueCategoryBasedFunctor{});std::cout << as_lvalue() << ' ' << as_rvalue() << '\\n';  \/\/ 0 1<\/code>
    <\/a><\/div><\/pre>\n
    \u041e\u0431\u0430 \u0444\u0443\u043d\u043a\u0442\u043e\u0440\u0430 \u0441\u043e\u0445\u0440\u0430\u043d\u0435\u043d\u044b \u043f\u043e \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044e \u0438\u0437 rvalue. \u041f\u0440\u0438 \u044d\u0442\u043e\u043c call::as_lvalue<\/code> \u043f\u0435\u0440\u0435\u0434\u0430\u043b\u0430 \u0441\u0432\u043e\u0439 \u0444\u0443\u043d\u043a\u0442\u043e\u0440 \u043a\u0430\u043a lvalue, \u0430 call::as_passed<\/code> — \u043a\u0430\u043a xvalue.<\/p>\n
    \u0425\u0440\u0430\u043d\u0435\u043d\u0438\u0435 \u0444\u0443\u043d\u043a\u0442\u043e\u0440\u0430 \u0442\u043e\u0436\u0435 \u043c\u043e\u0436\u043d\u043e \u043f\u043e\u043c\u0435\u043d\u044f\u0442\u044c \u043e\u0442\u0434\u0435\u043b\u044c\u043d\u043e. \u0412\u043e\u0437\u044c\u043c\u0451\u043c \u0444\u0443\u043d\u043a\u0442\u043e\u0440 \u0441 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0435\u043c:<\/p>\n
    struct Counter {  int calls = 0;  int operator()(int value) { return value + ++calls; }};using borrowed_target =    carry::policy<carry::storage::by_value, carry::call::as_lvalue,                  carry::target::by_reference>;Counter functor;auto copied = owning::carry(functor, 10);auto referenced = borrowed_target::carry(functor, 10);std::cout << copied() << ' ' << functor.calls << '\\n';      \/\/ 11 0std::cout << referenced() << ' ' << functor.calls << '\\n';  \/\/ 11 1<\/code>
    <\/a><\/div><\/pre>\n
    \u041f\u0435\u0440\u0432\u044b\u0439 \u043a\u0430\u0440\u0440\u0438 \u0438\u0437\u043c\u0435\u043d\u044f\u0435\u0442 \u0441\u0432\u043e\u044e \u043a\u043e\u043f\u0438\u044e \u0441\u0447\u0451\u0442\u0447\u0438\u043a\u0430, \u0432\u0442\u043e\u0440\u043e\u0439 — \u0438\u0441\u0445\u043e\u0434\u043d\u044b\u0439 functor<\/code>.<\/p>\n
    \u0414\u0430\u0436\u0435 \u0441 call::as_lvalue<\/code> \u043c\u043e\u0436\u043d\u043e \u043f\u0435\u0440\u0435\u0434\u0430\u0442\u044c \u043d\u043e\u0432\u044b\u0439 unique_ptr<\/code> \u043f\u043e \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044e:<\/p>\n
    auto carried = owning::carry(    [](int value, std::unique_ptr<int> pointer) { return value + *pointer; },    5);std::cout << carried(std::make_unique<int>(6)) << '\\n';  \/\/ 11<\/code>
    <\/a><\/div><\/pre>\n
    \u041f\u044f\u0442\u0451\u0440\u043a\u0430 \u043f\u0440\u0438\u0448\u043b\u0430 \u0438\u0437 \u0445\u0440\u0430\u043d\u0438\u043b\u0438\u0449\u0430 \u0447\u0435\u0440\u0435\u0437 Call::forward<\/code>, \u0430 \u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c — \u0447\u0435\u0440\u0435\u0437 std::forward<RemainingArgs><\/code>. \u0412\u044b\u0431\u043e\u0440 \u043f\u043e\u043b\u0438\u0442\u0438\u043a\u0438 \u0434\u043b\u044f \u0441\u043e\u0445\u0440\u0430\u043d\u0451\u043d\u043d\u044b\u0445 \u043e\u0431\u044a\u0435\u043a\u0442\u043e\u0432 \u043d\u0435 \u043c\u0435\u043d\u044f\u0435\u0442 \u043f\u0435\u0440\u0435\u0434\u0430\u0447\u0443 \u043d\u043e\u0432\u044b\u0445 \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u043e\u0432.<\/p>\n
    \u041f\u043e\u043b\u0443\u0447\u0438\u043b\u043e\u0441\u044c \u0431\u043e\u043b\u044c\u0448\u0435 \u043f\u044f\u0442\u0438 \u0441\u0442\u0440\u043e\u0447\u0435\u043a, \u0437\u0430\u0442\u043e \u043c\u044b \u043d\u0430\u043f\u0438\u0441\u0430\u043b\u0438 carry<\/code> \u0438 \u043f\u043e \u043f\u0443\u0442\u0438 \u0440\u0430\u0437\u043e\u0431\u0440\u0430\u043b\u0438\u0441\u044c \u0432 \u0442\u043e\u043d\u043a\u043e\u0441\u0442\u044f\u0445 \u0432\u043b\u0430\u0434\u0435\u043d\u0438\u044f, \u0432\u0440\u0435\u043c\u0435\u043d\u0438 \u0436\u0438\u0437\u043d\u0438 \u043e\u0431\u044a\u0435\u043a\u0442\u043e\u0432 \u0438 \u043a\u0430\u0442\u0435\u0433\u043e\u0440\u0438\u0439 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0439. \u041d\u0430 \u044d\u0442\u043e\u0439 \u043d\u0435\u0431\u043e\u043b\u044c\u0448\u043e\u0439 \u0437\u0430\u0434\u0430\u0447\u0435 \u043c\u044b \u0443\u0432\u0438\u0434\u0435\u043b\u0438, \u043e\u0442\u043a\u0443\u0434\u0430 \u0431\u0435\u0440\u0443\u0442\u0441\u044f \u0432\u0438\u0441\u044f\u0447\u0438\u0435 \u0441\u0441\u044b\u043b\u043a\u0438, \u043a\u043e\u0433\u0434\u0430 \u0432\u043e\u0437\u043d\u0438\u043a\u0430\u044e\u0442 \u043a\u043e\u043f\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f \u0438 \u043f\u0435\u0440\u0435\u043c\u0435\u0449\u0435\u043d\u0438\u044f \u0438 \u043f\u043e\u0447\u0435\u043c\u0443 \u043f\u043e\u0432\u0442\u043e\u0440\u043d\u044b\u0439 \u0432\u044b\u0437\u043e\u0432 \u043c\u043e\u0436\u0435\u0442 \u0434\u0430\u0442\u044c \u0434\u0440\u0443\u0433\u043e\u0439 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442.<\/p>\n
    \u0418\u043c\u043f\u043b\u0435\u043c\u0435\u043d\u0442\u0430\u0446\u0438\u044e \u043c\u043e\u0436\u043d\u043e \u043d\u0430\u0439\u0442\u0438 \u0442\u0443\u0442: https:\/\/github.com\/kxigor\/Carry<\/a><\/p>\n<\/div>\n
    \u0441\u0441\u044b\u043b\u043a\u0430 \u043d\u0430 \u043e\u0440\u0438\u0433\u0438\u043d\u0430\u043b \u0441\u0442\u0430\u0442\u044c\u0438 https:\/\/habr.com\/ru\/articles\/1084890\/<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"
    \u041a\u0430\u0440\u0440\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0435 \u0438 \u0447\u0430\u0441\u0442\u0438\u0447\u043d\u043e\u0435 \u043f\u0440\u0438\u043c\u0435\u043d\u0435\u043d\u0438\u0435 \u0432 C++: \u0432\u043b\u0430\u0434\u0435\u043d\u0438\u0435, \u0432\u0440\u0435\u043c\u044f \u0436\u0438\u0437\u043d\u0438 \u0438 \u043a\u0430\u0442\u0435\u0433\u043e\u0440\u0438\u0438 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0439\u041d\u043e\u0441\u0438\u0442\u0435\u043b\u044f\u043c \u043f\u0440\u0435\u043a\u0440\u0430\u0441\u043d\u043e\u0433\u043e \u044f\u0437\u044b\u043a\u0430 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f C++ \u0442\u0435\u043c\u0430 \u0447\u0430\u0441\u0442\u0438\u0447\u043d\u043e\u0433\u043e \u043f\u0440\u0438\u043c\u0435\u043d\u0435\u043d\u0438\u044f \u043c\u043e\u0436\u0435\u0442 \u043f\u043e\u043a\u0430\u0437\u0430\u0442\u044c\u0441\u044f \u0441\u043a\u0443\u0447\u043d\u043e\u0439. \u0427\u0442\u043e \u043f\u0440\u0438\u043c\u0435\u0447\u0430\u0442\u0435\u043b\u044c\u043d\u043e\u0433\u043e \u0432 \u043f\u044f\u0442\u0438 \u0441\u0442\u0440\u043e\u0447\u043a\u0430\u0445 \u043a\u043e\u0434\u0430? \u041d\u043e \u0434\u044c\u044f\u0432\u043e\u043b \u043a\u0440\u043e\u0435\u0442\u0441\u044f \u0432 \u0434\u0435\u0442\u0430\u043b\u044f\u0445: \u044f \u0447\u0430\u0441\u0442\u043e \u0432\u0441\u0442\u0440\u0435\u0447\u0430\u043b \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0440\u0430\u0431\u043e\u0442\u0430\u043b\u0438 \u043d\u0435 \u0442\u0430\u043a, \u043a\u0430\u043a \u043e\u0436\u0438\u0434\u0430\u043b\u0438 \u0438\u0445 \u0430\u0432\u0442\u043e\u0440\u044b. \u0418\u043d\u043e\u0433\u0434\u0430 \u0434\u0435\u043b\u043e \u0434\u043e\u0445\u043e\u0434\u0438\u043b\u043e \u0434\u043e undefined behavior. \u041f\u043e\u044d\u0442\u043e\u043c\u0443 \u0437\u0434\u0435\u0441\u044c \u0445\u043e\u0447\u0435\u0442\u0441\u044f \u0440\u0430\u0437\u043e\u0431\u0440\u0430\u0442\u044c\u0441\u044f \u043f\u0440\u0435\u0436\u0434\u0435 \u0432\u0441\u0435\u0433\u043e \u0441 \u0432\u043b\u0430\u0434\u0435\u043d\u0438\u0435\u043c, \u0432\u0440\u0435\u043c\u0435\u043d\u0435\u043c \u0436\u0438\u0437\u043d\u0438 \u0438 \u043a\u0430\u0442\u0435\u0433\u043e\u0440\u0438\u044f\u043c\u0438 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0439.\u041a\u043e\u0434 \u0431\u0443\u0434\u0435\u0442 \u043d\u0430 C++23. \u0412 \u043a\u043e\u043d\u0446\u0435 \u043d\u0430\u043c \u043f\u0440\u0438\u0433\u043e\u0434\u0438\u0442\u0441\u044f explicit object parameter. \u0414\u043b\u044f \u0441\u0430\u043c\u043e\u0439 \u0438\u0434\u0435\u0438 C++23 \u043d\u0435 \u043e\u0431\u044f\u0437\u0430\u0442\u0435\u043b\u0435\u043d.\u0421\u0440\u0430\u0437\u0443 \u0434\u043e\u0433\u043e\u0432\u043e\u0440\u0438\u043c\u0441\u044f \u043e \u0442\u0435\u0440\u043c\u0438\u043d\u0430\u0445. \u0427\u0430\u0441\u0442\u0438\u0447\u043d\u043e\u0435 \u043f\u0440\u0438\u043c\u0435\u043d\u0435\u043d\u0438\u0435 \u0444\u0438\u043a\u0441\u0438\u0440\u0443\u0435\u0442 \u0447\u0430\u0441\u0442\u044c \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u043e\u0432 \u0444\u0443\u043d\u043a\u0446\u0438\u0438. \u041a\u0430\u0440\u0440\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0435 \u0432 \u0441\u0442\u0440\u043e\u0433\u043e\u043c \u0441\u043c\u044b\u0441\u043b\u0435 \u043f\u0440\u0435\u043e\u0431\u0440\u0430\u0437\u0443\u0435\u0442 \u0444\u0443\u043d\u043a\u0446\u0438\u044e \u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u0438\u0445 \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u043e\u0432 \u0432 \u0446\u0435\u043f\u043e\u0447\u043a\u0443 \u0444\u0443\u043d\u043a\u0446\u0438\u0439 \u043e\u0434\u043d\u043e\u0433\u043e \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u0430. \u0417\u0434\u0435\u0441\u044c \u043c\u044b \u0440\u0435\u0430\u043b\u0438\u0437\u0443\u0435\u043c \u0438\u043c\u0435\u043d\u043d\u043e \u0447\u0430\u0441\u0442\u0438\u0447\u043d\u043e\u0435 \u043f\u0440\u0438\u043c\u0435\u043d\u0435\u043d\u0438\u0435, \u0445\u043e\u0442\u044f \u0444\u0443\u043d\u043a\u0446\u0438\u044e \u043d\u0430\u0437\u043e\u0432\u0451\u043c carry. \u0418\u0441\u0445\u043e\u0434\u043d\u044b\u0439 \u0432\u044b\u0437\u044b\u0432\u0430\u0435\u043c\u044b\u0439 \u043e\u0431\u044a\u0435\u043a\u0442 \u0431\u0443\u0434\u0435\u043c \u043d\u0430\u0437\u044b\u0432\u0430\u0442\u044c \u0444\u0443\u043d\u043a\u0442\u043e\u0440\u043e\u043c, \u0430 \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u043c\u0443\u044e \u043e\u0431\u0451\u0440\u0442\u043a\u0443 — \u043a\u0430\u0440\u0440\u0438.\u041f\u0440\u0438\u043c\u0435\u0440\u044b \u043d\u0438\u0436\u0435 \u0440\u0430\u0437\u0432\u0438\u0432\u0430\u044e\u0442 \u043e\u0434\u043d\u0443 \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u044e: \u043e\u0447\u0435\u0440\u0435\u0434\u043d\u043e\u0435 \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u0438\u0435 carry \u0437\u0430\u043c\u0435\u043d\u044f\u0435\u0442 \u043f\u0440\u0435\u0434\u044b\u0434\u0443\u0449\u0435\u0435. \u0414\u043b\u044f \u043a\u0440\u0430\u0442\u043a\u043e\u0441\u0442\u0438 \u043d\u0435 \u0431\u0443\u0434\u0435\u043c \u043f\u043e\u0432\u0442\u043e\u0440\u044f\u0442\u044c \u0437\u0430\u0433\u043e\u043b\u043e\u0432\u043a\u0438 \u0438 main \u0432 \u043a\u0430\u0436\u0434\u043e\u043c \u043b\u0438\u0441\u0442\u0438\u043d\u0433\u0435. \u041d\u0430\u043c \u043f\u043e\u043d\u0430\u0434\u043e\u0431\u044f\u0442\u0441\u044f:#include <functional>#include <iostream>#include <memory>#include <string>#include <tuple>#include <type_traits>#include <utility>\u041f\u0435\u0440\u0435\u0434 \u0442\u0435\u043c \u043a\u0430\u043a \u043d\u0430\u0447\u0430\u0442\u044c, \u0432\u043e\u0442 \u043f\u0440\u0438\u043c\u0435\u0440 \u0442\u043e\u0433\u043e, \u043a\u0430\u043a \u043b\u0435\u0433\u043a\u043e \u0437\u0434\u0435\u0441\u044c \u043e\u0448\u0438\u0431\u0438\u0442\u044c\u0441\u044f:template <typename Functor, typename… CarriedArgs>auto carry_bad(Functor&& functor, CarriedArgs&&… carried_args) {  return      [functor = std::forward_as_tuple(std::forward<Functor>(functor)),       carried_args_as_tuple = std::forward_as_tuple(std::forward<CarriedArgs>(           carried_args)…)](auto&&… remaining_args) mutable {        auto remaining_args_as_tuple = std::forward_as_tuple(            std::forward<decltype(remaining_args)>(remaining_args)…);        auto total_args = std::tuple_cat(std::move(carried_args_as_tuple),                                         std::move(remaining_args_as_tuple));        return std::apply(std::get<0>(functor), total_args);      };}auto carried = carry_bad([](int a, int b) { return a + b; }, 5);std::cout << carried(7) << ‘\\n’;  \/\/ UB\u0410\u0432\u0442\u043e\u0440 \u043e\u0436\u0438\u0434\u0430\u043b, \u0447\u0442\u043e \u0432\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0435 \u043e\u0431\u044a\u0435\u043a\u0442\u044b \u0441\u043e\u0445\u0440\u0430\u043d\u044f\u0442\u0441\u044f \u0432\u043d\u0443\u0442\u0440\u0438 \u043a\u0430\u0440\u0440\u0438. \u041d\u0430 \u0434\u0435\u043b\u0435 \u0441\u043e\u0445\u0440\u0430\u043d\u0438\u043b\u0438\u0441\u044c \u0442\u043e\u043b\u044c\u043a\u043e \u0441\u0441\u044b\u043b\u043a\u0438. \u042f \u043d\u0435 \u0431\u0443\u0434\u0443 \u043e\u0431\u044a\u044f\u0441\u043d\u044f\u0442\u044c, \u0447\u0442\u043e \u043f\u0440\u043e\u0438\u0441\u0445\u043e\u0434\u0438\u0442 \u0432 \u043a\u043e\u0434\u0435 \u0432\u044b\u0448\u0435. \u041f\u043e \u0445\u043e\u0434\u0443 \u0441\u0442\u0430\u0442\u044c\u0438 \u0432\u0441\u0451 \u0441\u0442\u0430\u043d\u0435\u0442 \u044f\u0441\u043d\u043e.\u041d\u0430\u0447\u043d\u0451\u043c \u0441 \u0441\u0438\u0433\u043d\u0430\u0442\u0443\u0440\u044b. \u041c\u044b \u043f\u0440\u0438\u043d\u0438\u043c\u0430\u0435\u043c \u0432 \u043a\u0430\u0447\u0435\u0441\u0442\u0432\u0435 \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u043e\u0432 \u0444\u0443\u043d\u043a\u0446\u0438\u0438 \u0444\u0443\u043d\u043a\u0442\u043e\u0440 \u0438 \u043f\u0440\u043e\u0438\u0437\u0432\u043e\u043b\u044c\u043d\u043e\u0435 \u0447\u0438\u0441\u043b\u043e \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u043e\u0432, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043d\u0430\u043c\u0435\u0440\u0435\u0432\u0430\u0435\u043c\u0441\u044f \u0447\u0430\u0441\u0442\u0438\u0447\u043d\u043e \u043f\u0440\u0438\u043c\u0435\u043d\u0438\u0442\u044c, \u0438 \u0445\u043e\u0442\u0438\u043c \u0441\u043e\u0445\u0440\u0430\u043d\u0438\u0442\u044c \u0438\u043d\u0444\u043e\u0440\u043c\u0430\u0446\u0438\u044e \u043e \u0442\u043e\u043c, \u043a\u0430\u043a \u043a\u0430\u0436\u0434\u044b\u0439 \u0438\u0437 \u043d\u0438\u0445 \u043f\u0435\u0440\u0435\u0434\u0430\u043b\u0438. \u0418\u0437 \u044d\u0442\u043e\u0433\u043e \u0436\u0435\u043b\u0430\u043d\u0438\u044f \u043e\u0447\u0435\u0432\u0438\u0434\u043d\u043e\u0439 \u0441\u0442\u0430\u043d\u043e\u0432\u0438\u0442\u0441\u044f \u0441\u0438\u0433\u043d\u0430\u0442\u0443\u0440\u0430:template <typename Functor, typename… CarriedArgs>auto carry(Functor&& functor, CarriedArgs&&… carried_args);\u0421\u043d\u0430\u0447\u0430\u043b\u0430 \u0440\u0435\u0448\u0438\u043c \u0431\u043e\u043b\u0435\u0435 \u043f\u0440\u043e\u0441\u0442\u0443\u044e \u0437\u0430\u0434\u0430\u0447\u0443: \u0432\u0441\u0435 \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u044b \u0443\u0436\u0435 \u043f\u0435\u0440\u0435\u0434\u0430\u043d\u044b, \u043d\u0430\u0434\u043e \u0442\u043e\u043b\u044c\u043a\u043e \u0432\u044b\u0437\u0432\u0430\u0442\u044c \u0444\u0443\u043d\u043a\u0442\u043e\u0440. \u041d\u0430\u0437\u043e\u0432\u0451\u043c \u044d\u0442\u0443 \u0444\u0443\u043d\u043a\u0446\u0438\u044e invoke.\u0412 \u043f\u0435\u0440\u0432\u043e\u043c \u043f\u0440\u0438\u0431\u043b\u0438\u0436\u0435\u043d\u0438\u0438 \u043c\u043e\u0436\u043d\u043e \u043d\u0430\u043f\u0438\u0441\u0430\u0442\u044c \u0447\u0442\u043e-\u0442\u043e \u0442\u0430\u043a\u043e\u0435:template <typename Functor, typename… CarriedArgs>auto invoke(Functor&& functor, CarriedArgs&&… carried_args) {  return functor(std::forward<CarriedArgs>(carried_args)…);}\u0410\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u044b \u043c\u044b \u0444\u043e\u0440\u0432\u0430\u0440\u0434\u0438\u043c, \u0430 \u0444\u0443\u043d\u043a\u0442\u043e\u0440 \u043d\u0435\u0442? \u041d\u0430\u0434\u043e \u0441\u0442\u0440\u043e\u0433\u043e \u043f\u043e\u043d\u0438\u043c\u0430\u0442\u044c, \u043f\u043e\u0447\u0435\u043c\u0443 \u044d\u0442\u043e \u043c\u043e\u0436\u0435\u0442 \u0431\u044b\u0442\u044c \u0432\u0430\u0436\u043d\u043e. \u041d\u0430\u043f\u0440\u0438\u043c\u0435\u0440:struct ValueCategoryBasedFunctor {  bool operator()() & { return false; }  bool operator()() && { return true; }};ValueCategoryBasedFunctor functor;std::cout << invoke(std::move(functor)) << ‘\\n’;  \/\/ 0\u0427\u0442\u043e\u0431\u044b \u0432\u044b\u0437\u0432\u0430\u0442\u044c \u0444\u0443\u043d\u043a\u0442\u043e\u0440 \u0441 \u0443\u0447\u0451\u0442\u043e\u043c \u043a\u0430\u0442\u0435\u0433\u043e\u0440\u0438\u0438 \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u044f, \u043f\u0435\u0440\u0435\u0434\u0430\u043d\u043d\u043e\u0433\u043e \u0432 invoke, \u0438\u0441\u043f\u0440\u0430\u0432\u0438\u043c \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u0435 \u0432\u044b\u0437\u043e\u0432\u0430:return std::forward<Functor>(functor)(    std::forward<CarriedArgs>(carried_args)…);std::cout << invoke(std::move(functor)) << ‘\\n’;  \/\/ 1\u0411\u0443\u0434\u0435\u043c \u0441\u0447\u0438\u0442\u0430\u0442\u044c \u044d\u0442\u043e \u043f\u043e\u0432\u0435\u0434\u0435\u043d\u0438\u0435 \u043e\u0436\u0438\u0434\u0430\u0435\u043c\u044b\u043c (\u0441\u043f\u043e\u0439\u043b\u0435\u0440, \u044d\u0442\u043e \u043c\u043e\u0436\u0435\u0442 \u0431\u044b\u0442\u044c \u043d\u0435 \u0442\u0430\u043a).\u041e\u0441\u0442\u0430\u043b\u0430\u0441\u044c \u043f\u0440\u043e\u0431\u043b\u0435\u043c\u0430 \u0441 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u043e\u043c. \u041f\u0443\u0441\u0442\u044c \u0444\u0443\u043d\u043a\u0442\u043e\u0440 \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u0442 \u0441\u0441\u044b\u043b\u043a\u0443:int x = 0;auto get_x = [&x]() -> int& { return x; };auto&& result = invoke(get_x);result = 5;std::cout << x << ‘\\n’;  \/\/ 0: invoke \u043f\u043e\u043a\u0430 \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u0442 int\u041e\u0431\u044b\u0447\u043d\u044b\u0439 auto \u0432 \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u043c\u043e\u043c \u0442\u0438\u043f\u0435 \u043d\u0435 \u0441\u043e\u0445\u0440\u0430\u043d\u044f\u0435\u0442 \u0441\u0441\u044b\u043b\u043a\u0443. \u0412 \u043f\u0440\u0438\u043c\u0435\u0440\u0435 result \u0441\u0441\u044b\u043b\u0430\u0435\u0442\u0441\u044f \u043d\u0430 \u043e\u0442\u0434\u0435\u043b\u044c\u043d\u044b\u0439 \u0432\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0439 int, \u0432\u0440\u0435\u043c\u044f \u0436\u0438\u0437\u043d\u0438 \u043a\u043e\u0442\u043e\u0440\u043e\u0433\u043e \u043f\u0440\u043e\u0434\u043b\u0435\u043d\u043e \u044d\u0442\u043e\u0439 \u043b\u043e\u043a\u0430\u043b\u044c\u043d\u043e\u0439 \u0441\u0441\u044b\u043b\u043a\u043e\u0439.\u041d\u0430\u043c \u043d\u0443\u0436\u0435\u043d decltype(auto): \u0434\u043b\u044f \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u043c\u043e\u0433\u043e \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u044f \u043f\u0440\u0438\u043c\u0435\u043d\u044f\u044e\u0442\u0441\u044f \u043f\u0440\u0430\u0432\u0438\u043b\u0430 decltype, \u0438 \u0432\u044b\u0437\u043e\u0432 \u0444\u0443\u043d\u043a\u0446\u0438\u0438, \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u044e\u0449\u0435\u0439 int&, \u0441\u043e\u0445\u0440\u0430\u043d\u044f\u0435\u0442 \u044d\u0442\u043e\u0442 \u0442\u0438\u043f. \u0424\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u044b\u0435 \u043f\u0440\u0430\u0432\u0438\u043b\u0430 \u043d\u0430\u0445\u043e\u0434\u044f\u0442\u0441\u044f \u0432 \u0432\u044b\u0432\u043e\u0434\u0435 placeholder-\u0442\u0438\u043f\u043e\u0432 \u0438 \u043e\u043f\u0438\u0441\u0430\u043d\u0438\u0438 decltype.template <typename Functor, typename… CarriedArgs>decltype(auto) invoke(Functor&& functor, CarriedArgs&&… carried_args) {  return std::forward<Functor>(functor)(      std::forward<CarriedArgs>(carried_args)…);}invoke(get_x) = 5;std::cout << x << ‘\\n’;  \/\/ 5\u0412\u0435\u0440\u043d\u0451\u043c\u0441\u044f \u043a \u0447\u0430\u0441\u0442\u0438\u0447\u043d\u043e\u043c\u0443 \u043f\u0440\u0438\u043c\u0435\u043d\u0435\u043d\u0438\u044e \u0438 \u0444\u0443\u043d\u043a\u0446\u0438\u0438 carry.template <typename Functor, typename… CarriedArgs>auto carry(Functor&& functor, CarriedArgs&&… carried_args);\u041c\u044b \u0445\u043e\u0442\u0438\u043c \u0443\u043c\u0435\u0442\u044c \u0434\u0435\u043b\u0430\u0442\u044c \u043f\u0440\u0438\u043c\u0435\u0440\u043d\u043e \u0442\u0430\u043a\u0438\u0435 \u0432\u0435\u0449\u0438:auto functor = [](auto, auto) { \/* … *\/ };auto carried = carry(functor, x);\/\/ \u041f\u043e\u0437\u0436\u0435 \u0432\u044b\u0437\u044b\u0432\u0430\u0435\u043c \u0444\u0443\u043d\u043a\u0442\u043e\u0440:carried(y);\u0417\u043d\u0430\u0447\u0438\u0442, \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0442\u044c \u043d\u0430\u0434\u043e \u0444\u0443\u043d\u043a\u0442\u043e\u0440:  return [](){};\u0424\u0443\u043d\u043a\u0442\u043e\u0440 \u043f\u0440\u0438\u043d\u0438\u043c\u0430\u0435\u0442 \u043e\u0441\u0442\u0430\u0432\u0448\u0438\u0435\u0441\u044f \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u044b:  return [](auto&&… remaining_args){};\u041c\u043d\u0435 \u0431\u043e\u043b\u044c\u0448\u0435 \u043d\u0440\u0430\u0432\u0438\u0442\u0441\u044f \u044f\u0432\u043d\u043e\u0435 \u0443\u043a\u0430\u0437\u0430\u043d\u0438\u0435 \u0442\u0438\u043f\u0430, \u043f\u043e\u044d\u0442\u043e\u043c\u0443:  return []<typename… RemainingArgs>(RemainingArgs&&… remaining_args){};\u0412 \u0442\u0435\u043b\u0435 \u043a\u0430\u0440\u0440\u0438 \u0434\u043e\u043b\u0436\u0435\u043d \u0431\u0443\u0434\u0435\u0442 \u0432\u044b\u0437\u044b\u0432\u0430\u0442\u044c\u0441\u044f \u0444\u0443\u043d\u043a\u0442\u043e\u0440. \u041f\u043e\u043a\u0430 \u043c\u044b \u043d\u0435 \u0431\u0443\u0434\u0435\u043c \u0434\u0443\u043c\u0430\u0442\u044c \u0438 \u043d\u0430\u043f\u0438\u0448\u0435\u043c \u043f\u0440\u043e\u0441\u0442\u043e \u0430\u043c\u043f\u0435\u0440\u0441\u0430\u043d\u0434:  return [&]<typename… RemainingArgs>(RemainingArgs&&… remaining_args){};\u041e\u0441\u0442\u0430\u043b\u043e\u0441\u044c \u0432\u043e\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c\u0441\u044f \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u0435\u043c \u0432\u044b\u0437\u043e\u0432\u0430 \u0438\u0437 \u0442\u043e\u043b\u044c\u043a\u043e \u0447\u0442\u043e \u043d\u0430\u043f\u0438\u0441\u0430\u043d\u043d\u043e\u0433\u043e invoke:  return      [&]<typename… RemainingArgs>(RemainingArgs&&… remaining_args) -> decltype(auto) {        return std::forward<Functor>(functor)(            std::forward<CarriedArgs>(carried_args)…,            std::forward<RemainingArgs>(remaining_args)…);      };\u0418\u0442\u043e\u0433\u043e \u0438\u043c\u0435\u0435\u043c:template <typename Functor, typename… CarriedArgs>auto carry(Functor&& functor, CarriedArgs&&… carried_args) {  return      [&]<typename… RemainingArgs>(RemainingArgs&&… remaining_args) -> decltype(auto) {        return std::forward<Functor>(functor)(            std::forward<CarriedArgs>(carried_args)…,            std::forward<RemainingArgs>(remaining_args)…);      };}\u0422\u0435\u043f\u0435\u0440\u044c \u043d\u0443\u0436\u043d\u043e \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0438\u0442\u044c\u0441\u044f \u0441 \u201c\u0437\u043e\u043d\u043e\u0439 \u043e\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u0435\u043d\u043d\u043e\u0441\u0442\u0438\u201d \u043d\u0430\u0448\u0435\u0433\u043e \u043a\u0430\u0440\u0440\u0438. \u0421 \u0436\u0438\u0432\u0443\u0449\u0438\u043c\u0438 \u0434\u043e\u0441\u0442\u0430\u0442\u043e\u0447\u043d\u043e \u0434\u043e\u043b\u0433\u043e \u043e\u0431\u044a\u0435\u043a\u0442\u0430\u043c\u0438 \u0432\u0441\u0451 \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442:int x = 42;int y = 14;auto functor = [](int a, int b) { return a + b; };auto carried = carry(functor, x);std::cout << carried(y) << ‘\\n’;  \/\/ 56\u0417\u0434\u0435\u0441\u044c \u043a\u0430\u0440\u0440\u0438 \u043d\u0435 \u0432\u043b\u0430\u0434\u0435\u0435\u0442 \u043d\u0438 \u0444\u0443\u043d\u043a\u0442\u043e\u0440\u043e\u043c, \u043d\u0438 x. \u0412\u044b\u0437\u044b\u0432\u0430\u044e\u0449\u0430\u044f \u0441\u0442\u043e\u0440\u043e\u043d\u0430 \u0434\u043e\u043b\u0436\u043d\u0430 \u043e\u0431\u0435\u0441\u043f\u0435\u0447\u0438\u0442\u044c \u0438\u0445 \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u043e\u0432\u0430\u043d\u0438\u0435 \u043f\u0440\u0438 \u043a\u0430\u0436\u0434\u043e\u043c \u043e\u0431\u0440\u0430\u0449\u0435\u043d\u0438\u0438 \u043a \u043d\u0438\u043c \u0438\u0437 \u043a\u0430\u0440\u0440\u0438.\u0414\u0430\u043b\u0435\u0435 \u043d\u0435\u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043f\u0440\u043e\u0441\u0442\u044b\u0435 \u043d\u0430\u0440\u0443\u0448\u0435\u043d\u0438\u044f \u044d\u0442\u043e\u0433\u043e \u043f\u0440\u0430\u0432\u0438\u043b\u0430. \u0417\u0430\u043c\u0435\u043d\u0438\u043c x \u043b\u0438\u0442\u0435\u0440\u0430\u043b\u043e\u043c:auto functor = [](int a, int b) { return a + b; };auto carried = carry(functor, 5);  \/\/ \u0412\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0439 int \u0443\u043d\u0438\u0447\u0442\u043e\u0436\u0430\u0435\u0442\u0441\u044f \u0432 \u043a\u043e\u043d\u0446\u0435 \u0441\u0442\u0440\u043e\u043a\u0438std::cout << carried(14) << ‘\\n’;  \/\/ UB: \u0447\u0442\u0435\u043d\u0438\u0435 \u0447\u0435\u0440\u0435\u0437 \u0432\u0438\u0441\u044f\u0447\u0443\u044e \u0441\u0441\u044b\u043b\u043a\u0443\u0414\u043b\u044f \u043f\u0440\u0438\u0432\u044f\u0437\u043a\u0438 \u0441\u0441\u044b\u043b\u043e\u0447\u043d\u043e\u0433\u043e \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u0430 \u043c\u0430\u0442\u0435\u0440\u0438\u0430\u043b\u0438\u0437\u0443\u0435\u0442\u0441\u044f \u0432\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0439 int. \u0412 \u043a\u043e\u043d\u0446\u0435 \u043f\u043e\u043b\u043d\u043e\u0433\u043e \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u044f, \u0438\u043d\u0438\u0446\u0438\u0430\u043b\u0438\u0437\u0438\u0440\u0443\u044e\u0449\u0435\u0433\u043e carried, \u044d\u0442\u043e\u0442 \u043e\u0431\u044a\u0435\u043a\u0442 \u0443\u043d\u0438\u0447\u0442\u043e\u0436\u0430\u0435\u0442\u0441\u044f. \u0421\u0430\u043c \u043a\u0430\u0440\u0440\u0438 \u043e\u0441\u0442\u0430\u0451\u0442\u0441\u044f, \u043d\u043e \u0441\u043e\u0445\u0440\u0430\u043d\u0451\u043d\u043d\u0430\u044f \u0432 \u043d\u0451\u043c \u0441\u0441\u044b\u043b\u043a\u0430 \u0443\u0436\u0435 \u0432\u0438\u0441\u0438\u0442: \u043f\u0440\u0438 \u0432\u044b\u0437\u043e\u0432\u0435 carried(14) \u043c\u044b \u043e\u0431\u0440\u0430\u0449\u0430\u0435\u043c\u0441\u044f \u043a int, \u0432\u0440\u0435\u043c\u044f \u0436\u0438\u0437\u043d\u0438 \u043a\u043e\u0442\u043e\u0440\u043e\u0433\u043e \u0437\u0430\u043a\u043e\u043d\u0447\u0438\u043b\u043e\u0441\u044c. \u041e\u0441\u043d\u043e\u0432\u0430\u043d\u0438\u0435 — \u043f\u0440\u0430\u0432\u0438\u043b\u043e \u0434\u043b\u044f \u0432\u0440\u0435\u043c\u0435\u043d\u043d\u043e\u0433\u043e \u043e\u0431\u044a\u0435\u043a\u0442\u0430, \u0441\u0432\u044f\u0437\u0430\u043d\u043d\u043e\u0433\u043e \u0441\u043e \u0441\u0441\u044b\u043b\u043e\u0447\u043d\u044b\u043c \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u043e\u043c.\u041f\u043e\u044d\u0442\u043e\u043c\u0443 \u043d\u0435\u043c\u0435\u0434\u043b\u0435\u043d\u043d\u044b\u0439 \u0432\u044b\u0437\u043e\u0432 \u0432 \u0442\u043e\u043c \u0436\u0435 \u043f\u043e\u043b\u043d\u043e\u043c \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u0438 \u043a\u043e\u0440\u0440\u0435\u043a\u0442\u0435\u043d:int result = carry([](int a, int b) { return a + b; }, 5)(6);std::cout << result << ‘\\n’;  \/\/ 11\u0418 \u0432\u0440\u0435\u043c\u0435\u043d\u043d\u0430\u044f \u043b\u044f\u043c\u0431\u0434\u0430, \u0438 \u0432\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0439 int \u0435\u0449\u0451 \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u044e\u0442 \u0432\u043e \u0432\u0440\u0435\u043c\u044f \u0432\u044b\u0437\u043e\u0432\u0430.Lvalue \u0442\u043e\u0436\u0435 \u043d\u0435 \u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u0433\u0430\u0440\u0430\u043d\u0442\u0438\u0435\u0439 \u0434\u043e\u043b\u0433\u043e\u0439 \u0436\u0438\u0437\u043d\u0438:auto make_carried() {  int x = 42;  auto functor = [](int a, int b) { return a + b; };  return carry(functor, x);}auto carried = make_carried();\/\/ carried(1); \/\/ UB: \u0438 x, \u0438 functor \u0443\u0436\u0435 \u0443\u043d\u0438\u0447\u0442\u043e\u0436\u0435\u043d\u044b\u0422\u0435\u043f\u0435\u0440\u044c \u043f\u043e\u043f\u0440\u043e\u0431\u0443\u0435\u043c \u0432\u043b\u0430\u0434\u0435\u0442\u044c \u043f\u0435\u0440\u0435\u0434\u0430\u043d\u043d\u044b\u043c\u0438 \u043e\u0431\u044a\u0435\u043a\u0442\u0430\u043c\u0438. \u041f\u0435\u0440\u0432\u043e\u0435 \u0436\u0435\u043b\u0430\u043d\u0438\u0435 — \u0437\u0430\u043c\u0435\u043d\u0438\u0442\u044c [&] \u043d\u0430 [=]. \u041f\u043e\u0442\u0430\u043a\u043d\u0451\u043c \u043d\u0430\u0448\u0435\u043c\u0443 \u0436\u0435\u043b\u0430\u043d\u0438\u044e:  return      [=]<typename… RemainingArgs>(RemainingArgs&&… remaining_args) -> decltype(auto) {        return std::forward<Functor>(functor)(            \/\/ \u041e\u0448\u0438\u0431\u043a\u0430 \u043f\u0440\u0438 CarriedArgs = int: \u0437\u0430\u0445\u0432\u0430\u0447\u0435\u043d\u043d\u044b\u0439 \u043e\u0431\u044a\u0435\u043a\u0442 \u0434\u043e\u0441\u0442\u0443\u043f\u0435\u043d \u0447\u0435\u0440\u0435\u0437 const            std::forward<CarriedArgs>(carried_args)…,            std::forward<RemainingArgs>(remaining_args)…);      };\u041d\u043e \u0437\u0430\u0445\u0432\u0430\u0447\u0435\u043d\u043d\u044b\u0435 \u043f\u043e \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044e \u043e\u0431\u044a\u0435\u043a\u0442\u044b \u0434\u043e\u0441\u0442\u0443\u043f\u043d\u044b \u0432 \u043e\u0431\u044b\u0447\u043d\u043e\u0439 \u043b\u044f\u043c\u0431\u0434\u0435 \u0447\u0435\u0440\u0435\u0437 \u043a\u043e\u043d\u0441\u0442\u0430\u043d\u0442\u043d\u044b\u0439 operator(). \u041f\u043e\u044d\u0442\u043e\u043c\u0443, \u043d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, std::forward<int> \u0443\u0436\u0435 \u043d\u0435 \u0441\u043c\u043e\u0436\u0435\u0442 \u043f\u0440\u0438\u043d\u044f\u0442\u044c \u0437\u0430\u0445\u0432\u0430\u0447\u0435\u043d\u043d\u044b\u0439 int \u043a\u0430\u043a \u043d\u0435\u043a\u043e\u043d\u0441\u0442\u0430\u043d\u0442\u043d\u044b\u0439 \u043e\u0431\u044a\u0435\u043a\u0442. \u0414\u043e\u0431\u0430\u0432\u043b\u0435\u043d\u0438\u0435 mutable \u0443\u0431\u0438\u0440\u0430\u0435\u0442 \u044d\u0442\u0443 \u043a\u043e\u043d\u043a\u0440\u0435\u0442\u043d\u0443\u044e \u043f\u0440\u043e\u0431\u043b\u0435\u043c\u0443:return [=]<typename… RemainingArgs>(           RemainingArgs&&… remaining_args) mutable -> decltype(auto) {  return std::forward<Functor>(functor)(      std::forward<CarriedArgs>(carried_args)…,      std::forward<RemainingArgs>(remaining_args)…);};\u0410 \u0442\u0435\u043f\u0435\u0440\u044c \u0432\u0435\u0440\u043d\u0451\u043c\u0441\u044f \u043a \u043d\u0430\u0448\u0438\u043c \u043f\u0440\u043e\u0431\u043b\u0435\u043c\u0430\u043c \u0441\u043e \u0432\u0440\u0435\u043c\u0435\u043d\u0435\u043c \u0436\u0438\u0437\u043d\u0438. \u0414\u0430\u0436\u0435 \u0441\u043e\u0431\u0435\u0440\u0451\u043c \u0438\u0445 \u0432\u043c\u0435\u0441\u0442\u0435:auto make_carried() {  std::string str_123{«123»};  auto functor = [](std::string lhs, std::string rhs) { return lhs + rhs; };  return carry(functor, str_123, std::string{«456»});}auto carried = make_carried();std::cout << carried() << ‘\\n’;  \/\/ 123456\u041b\u043e\u043a\u0430\u043b\u044c\u043d\u0430\u044f \u0441\u0442\u0440\u043e\u043a\u0430 \u0443\u043d\u0438\u0447\u0442\u043e\u0436\u0435\u043d\u0430, \u0432\u0440\u0435\u043c\u0435\u043d\u043d\u0430\u044f \u0441\u0442\u0440\u043e\u043a\u0430 \u0443\u043d\u0438\u0447\u0442\u043e\u0436\u0435\u043d\u0430, \u0441\u0430\u043c functor \u0442\u043e\u0436\u0435. \u0410 \u043a\u0430\u0440\u0440\u0438 \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442: \u0442\u0435\u043f\u0435\u0440\u044c \u0443 \u043d\u0435\u0433\u043e \u0441\u0432\u043e\u0438 \u043a\u043e\u043f\u0438\u0438 \u0432\u0441\u0435\u0445 \u044d\u0442\u0438\u0445 \u043e\u0431\u044a\u0435\u043a\u0442\u043e\u0432.\u0421\u043e \u0432\u0440\u0435\u043c\u0435\u043d\u0435\u043c \u0436\u0438\u0437\u043d\u0438 \u0440\u0430\u0437\u043e\u0431\u0440\u0430\u043b\u0438\u0441\u044c. \u0410 \u0447\u0442\u043e, \u0435\u0441\u043b\u0438 \u0432\u044b\u0437\u0432\u0430\u0442\u044c \u044d\u0442\u043e\u0442 \u043a\u0430\u0440\u0440\u0438 \u0435\u0449\u0451 \u0440\u0430\u0437?std::string str_123{«123»};auto functor = [](std::string lhs, std::string rhs) { return lhs + rhs; };auto carried = carry(functor, str_123, std::string{«456»});std::cout << carried() << ‘ ‘ << carried() << ‘\\n’;  \/\/ \u0412 \u044d\u0442\u043e\u043c \u0437\u0430\u043f\u0443\u0441\u043a\u0435: 123456 123\u0421\u043e\u0445\u0440\u0430\u043d\u0451\u043d\u043d\u0430\u044f \u043a\u043e\u043f\u0438\u044f str_123 \u043f\u0440\u0438 \u043a\u0430\u0436\u0434\u043e\u043c \u0432\u044b\u0437\u043e\u0432\u0435 \u043a\u043e\u043f\u0438\u0440\u0443\u0435\u0442\u0441\u044f \u0432 lhs, \u0430 \u0441\u043e\u0445\u0440\u0430\u043d\u0451\u043d\u043d\u0430\u044f \u0441\u0442\u0440\u043e\u043a\u0430 «456» \u043f\u0435\u0440\u0435\u043c\u0435\u0449\u0430\u0435\u0442\u0441\u044f \u0432 rhs. \u0412 \u044d\u0442\u043e\u043c \u0437\u0430\u043f\u0443\u0441\u043a\u0435 \u043f\u043e\u0441\u043b\u0435 \u043f\u0435\u0440\u0432\u043e\u0433\u043e \u043f\u0435\u0440\u0435\u043c\u0435\u0449\u0435\u043d\u0438\u044f \u043e\u043d\u0430 \u043e\u043a\u0430\u0437\u0430\u043b\u0430\u0441\u044c \u043f\u0443\u0441\u0442\u043e\u0439. \u0421\u0442\u0430\u043d\u0434\u0430\u0440\u0442 \u0433\u0430\u0440\u0430\u043d\u0442\u0438\u0440\u0443\u0435\u0442 \u0442\u043e\u043b\u044c\u043a\u043e \u043a\u043e\u0440\u0440\u0435\u043a\u0442\u043d\u043e\u0435, \u043d\u043e \u043d\u0435…<\/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-495488","post","type-post","status-publish","format-standard","hentry"],"_links":{"self":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts\/495488","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=495488"}],"version-history":[{"count":0,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts\/495488\/revisions"}],"wp:attachment":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=495488"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=495488"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=495488"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}