{"id":7129,"date":"2026-09-23T03:46:43","date_gmt":"2026-09-23T03:46:43","guid":{"rendered":"https:\/\/otus.ru\/journal\/?p=7129"},"modified":"2026-09-25T15:37:37","modified_gmt":"2026-09-25T15:37:37","slug":"shablony-v-si-semejstve","status":"publish","type":"post","link":"https:\/\/otus.ru\/journal\/shablony-v-si-semejstve\/","title":{"rendered":"\u0428\u0430\u0431\u043b\u043e\u043d\u044b \u0432 C++: \u0444\u0443\u043d\u043a\u0446\u0438\u0438, \u043a\u043b\u0430\u0441\u0441\u044b, \u0441\u043f\u0435\u0446\u0438\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u044f \u0438 \u043a\u043e\u043d\u0446\u0435\u043f\u0442\u044b C++20"},"content":{"rendered":"

\u0428\u0430\u0431\u043b\u043e\u043d (template) \u0432 C++<\/strong> — \u044d\u0442\u043e \u0437\u0430\u0433\u043e\u0442\u043e\u0432\u043a\u0430 \u0444\u0443\u043d\u043a\u0446\u0438\u0438 \u0438\u043b\u0438 \u043a\u043b\u0430\u0441\u0441\u0430, \u0432 \u043a\u043e\u0442\u043e\u0440\u043e\u0439 \u0442\u0438\u043f (\u0430 \u0438\u043d\u043e\u0433\u0434\u0430 \u0438 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435) \u0432\u044b\u043d\u0435\u0441\u0435\u043d \u0432 \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440. \u041f\u043e \u044d\u0442\u043e\u0439 \u0437\u0430\u0433\u043e\u0442\u043e\u0432\u043a\u0435 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440 \u0441\u0430\u043c \u0441\u043e\u0437\u0434\u0430\u0435\u0442 \u043a\u043e\u043d\u043a\u0440\u0435\u0442\u043d\u044b\u0439 \u043a\u043e\u0434 \u0434\u043b\u044f \u043a\u0430\u0436\u0434\u043e\u0433\u043e \u043d\u0430\u0431\u043e\u0440\u0430 \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u043e\u0432, \u043d\u0430\u043f\u0440\u0438\u043c\u0435\u0440 maxOf<int><\/code> \u0438 maxOf<double><\/code>. \u041d\u0438\u0436\u0435 \u0440\u0430\u0437\u0431\u0435\u0440\u0435\u043c \u0448\u0430\u0431\u043b\u043e\u043d\u044b \u0444\u0443\u043d\u043a\u0446\u0438\u0439 \u0438 \u043a\u043b\u0430\u0441\u0441\u043e\u0432, \u0441\u043f\u0435\u0446\u0438\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u044e, \u043a\u043e\u043d\u0446\u0435\u043f\u0442\u044b C++20 \u0438 \u0442\u0438\u043f\u043e\u0432\u044b\u0435 \u043e\u0448\u0438\u0431\u043a\u0438, \u0430 \u0432 \u043a\u043e\u043d\u0446\u0435 \u043a\u043e\u0440\u043e\u0442\u043a\u043e \u0441\u0440\u0430\u0432\u043d\u0438\u043c \u0441 generics \u0432 C#.<\/p>\n

\n

\u0421\u043e\u0434\u0435\u0440\u0436\u0430\u043d\u0438\u0435<\/strong><\/p>\n

    \n
  1. \u041c\u0438\u043d\u0438\u043c\u0430\u043b\u044c\u043d\u044b\u0439 \u0440\u0430\u0431\u043e\u0447\u0438\u0439 \u043f\u0440\u0438\u043c\u0435\u0440<\/a><\/li>\n
  2. \u041a\u0430\u043a \u044d\u0442\u043e \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442: \u0440\u0430\u0437\u0431\u043e\u0440 \u043f\u0440\u0438\u043c\u0435\u0440\u0430<\/a><\/li>\n
  3. \u0422\u0438\u043f\u043e\u0432\u0430\u044f \u043e\u0448\u0438\u0431\u043a\u0430: \u0432\u044b\u0432\u043e\u0434 \u0442\u0438\u043f\u0430 \u043d\u0435 \u0441\u043e\u0448\u0435\u043b\u0441\u044f<\/a><\/li>\n
  4. \u0421\u043f\u0435\u0446\u0438\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u044f: \u043e\u0441\u043e\u0431\u0430\u044f \u0432\u0435\u0440\u0441\u0438\u044f \u0434\u043b\u044f \u043e\u0441\u043e\u0431\u044b\u0445 \u0442\u0438\u043f\u043e\u0432<\/a><\/li>\n
  5. \u041a\u043e\u043d\u0446\u0435\u043f\u0442\u044b C++20: \u043e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d\u0438\u044f \u043d\u0430 \u0442\u0438\u043f<\/a><\/li>\n
  6. \u0413\u0434\u0435 \u0445\u0440\u0430\u043d\u0438\u0442\u044c \u0448\u0430\u0431\u043b\u043e\u043d\u044b \u0438 \u0447\u0442\u043e \u0434\u0435\u043b\u0430\u0442\u044c, \u0435\u0441\u043b\u0438 \u043d\u0435 \u0441\u043e\u0431\u0438\u0440\u0430\u0435\u0442\u0441\u044f<\/a><\/li>\n
  7. \u0412\u0440\u0435\u0437\u043a\u0430: \u0448\u0430\u0431\u043b\u043e\u043d\u044b C++ \u0438 generics C<\/a><\/li>\n
  8. \u0412\u044b\u0432\u043e\u0434\u044b<\/a><\/li>\n
  9. \u0413\u0434\u0435 \u043f\u0440\u0438\u043c\u0435\u043d\u044f\u0435\u0442\u0441\u044f \/ \u0441\u0432\u044f\u0437\u044c \u0441 \u043f\u0440\u0430\u043a\u0442\u0438\u043a\u043e\u0439<\/a><\/li>\n
  10. FAQ<\/a><\/li>\n<\/ol>\n<\/div>\n

    \u0421\u043d\u0430\u0447\u0430\u043b\u0430 \u043e \u0433\u0440\u0430\u043d\u0438\u0446\u0430\u0445 \u00ab\u0421\u0438-\u0441\u0435\u043c\u0435\u0439\u0441\u0442\u0432\u0430\u00bb. \u0428\u0430\u0431\u043b\u043e\u043d\u044b \u0435\u0441\u0442\u044c \u0442\u043e\u043b\u044c\u043a\u043e \u0432 C++. \u0412 \u044f\u0437\u044b\u043a\u0435 C \u0438\u0445 \u043d\u0435\u0442: \u0431\u043b\u0438\u0436\u0430\u0439\u0448\u0435\u0435 \u0441\u0440\u0435\u0434\u0441\u0442\u0432\u043e — \u043c\u0430\u043a\u0440\u043e\u0441\u044b \u0438 _Generic<\/code> \u0438\u0437 C11, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u0432\u044b\u0431\u0438\u0440\u0430\u0435\u0442 \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u0435 \u043f\u043e \u0442\u0438\u043f\u0443 \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u0430, \u043d\u043e \u043d\u043e\u0432\u044b\u0439 \u043a\u043e\u0434 \u043f\u043e \u0442\u0438\u043f\u0443 \u043d\u0435 \u0433\u0435\u043d\u0435\u0440\u0438\u0440\u0443\u0435\u0442. \u0412 C# \u0435\u0441\u0442\u044c generics<\/strong> — \u043f\u043e\u0445\u043e\u0436\u0438\u0439 \u043f\u043e \u0446\u0435\u043b\u0438, \u043d\u043e \u0434\u0440\u0443\u0433\u043e\u0439 \u043c\u0435\u0445\u0430\u043d\u0438\u0437\u043c. \u0410 \u00ab\u0448\u0430\u0431\u043b\u043e\u043d\u044b\u00bb \u0432 C#-\u0434\u043e\u043a\u0443\u043c\u0435\u043d\u0442\u0430\u0446\u0438\u0438 \u043f\u0440\u043e is<\/code> \u0438 switch<\/code> — \u044d\u0442\u043e \u0441\u043e\u043f\u043e\u0441\u0442\u0430\u0432\u043b\u0435\u043d\u0438\u0435 \u0441 \u043e\u0431\u0440\u0430\u0437\u0446\u043e\u043c<\/strong> (pattern matching), \u043a \u043e\u0431\u043e\u0431\u0449\u0435\u043d\u043d\u043e\u043c\u0443 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044e \u043e\u043d\u043e \u043e\u0442\u043d\u043e\u0448\u0435\u043d\u0438\u044f \u043d\u0435 \u0438\u043c\u0435\u0435\u0442.<\/p>\n

    \u041c\u0438\u043d\u0438-\u0441\u043b\u043e\u0432\u0430\u0440\u044c, \u0447\u0442\u043e\u0431\u044b \u043d\u0435 \u043f\u0443\u0442\u0430\u0442\u044c\u0441\u044f \u0434\u0430\u043b\u044c\u0448\u0435:<\/p>\n\n\n\n\n\n\n\n\n
    \u0422\u0435\u0440\u043c\u0438\u043d<\/th>\n\u0427\u0442\u043e \u044d\u0442\u043e<\/th>\n\u041f\u0440\u0438\u043c\u0435\u0440<\/th>\n<\/tr>\n<\/thead>\n
    \u041f\u0430\u0440\u0430\u043c\u0435\u0442\u0440 \u0448\u0430\u0431\u043b\u043e\u043d\u0430<\/td>\n\u00ab\u0414\u044b\u0440\u043a\u0430\u00bb \u0432 \u0437\u0430\u0433\u043e\u0442\u043e\u0432\u043a\u0435: \u0442\u0438\u043f \u0438\u043b\u0438 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435<\/td>\ntypename T<\/code>, int N<\/code><\/td>\n<\/tr>\n
    \u0410\u0440\u0433\u0443\u043c\u0435\u043d\u0442 \u0448\u0430\u0431\u043b\u043e\u043d\u0430<\/td>\n\u0427\u0442\u043e \u043f\u043e\u0434\u0441\u0442\u0430\u0432\u0438\u043b\u0438 \u0432\u043c\u0435\u0441\u0442\u043e \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u0430<\/td>\nint<\/code>, 3<\/code><\/td>\n<\/tr>\n
    \u0418\u043d\u0441\u0442\u0430\u043d\u0446\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0435<\/td>\n\u0413\u0435\u043d\u0435\u0440\u0430\u0446\u0438\u044f \u043a\u043e\u043d\u043a\u0440\u0435\u0442\u043d\u043e\u0433\u043e \u043a\u043e\u0434\u0430 \u043f\u043e \u0448\u0430\u0431\u043b\u043e\u043d\u0443 \u043f\u0440\u0438 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0446\u0438\u0438<\/td>\nmaxOf<int><\/code><\/td>\n<\/tr>\n
    \u0421\u043f\u0435\u0446\u0438\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u044f<\/td>\n\u041e\u0442\u0434\u0435\u043b\u044c\u043d\u0430\u044f \u0432\u0435\u0440\u0441\u0438\u044f \u0448\u0430\u0431\u043b\u043e\u043d\u0430 \u0434\u043b\u044f \u043e\u0441\u043e\u0431\u044b\u0445 \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u043e\u0432<\/td>\n\u0432\u0435\u0440\u0441\u0438\u044f \u0434\u043b\u044f const char*<\/code><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n

    \u041c\u0438\u043d\u0438\u043c\u0430\u043b\u044c\u043d\u044b\u0439 \u0440\u0430\u0431\u043e\u0447\u0438\u0439 \u043f\u0440\u0438\u043c\u0435\u0440<\/h2>\n

    \u041e\u0434\u0438\u043d \u0444\u0430\u0439\u043b, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u043a\u043e\u043c\u043f\u0438\u043b\u0438\u0440\u0443\u0435\u0442\u0441\u044f \u0438 \u0437\u0430\u043f\u0443\u0441\u043a\u0430\u0435\u0442\u0441\u044f \u043a\u0430\u043a \u0435\u0441\u0442\u044c (\u043f\u0440\u043e\u0432\u0435\u0440\u0435\u043d\u043e \u0432 Apple clang 21, \u0440\u0435\u0436\u0438\u043c \u043f\u043e \u0443\u043c\u043e\u043b\u0447\u0430\u043d\u0438\u044e C++14; \u0432 GCC \u0438 MSVC \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442 \u0442\u0430\u043a \u0436\u0435):<\/p>\n

    #include<\/span> <\/span><iostream><\/span>\n#include<\/span> <\/span><string><\/span>\n\n\/\/ \u0428\u0430\u0431\u043b\u043e\u043d \u0444\u0443\u043d\u043a\u0446\u0438\u0438: T \u0432\u044b\u0432\u043e\u0434\u0438\u0442\u0441\u044f \u0438\u0437 \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u043e\u0432<\/span>\ntemplate<\/span> <\/span><<\/span>typename<\/span> <\/span>T<\/span>><\/span>\nT<\/span> <\/span>maxOf<\/span>(<\/span>T<\/span> <\/span>a<\/span>, <\/span>T<\/span> <\/span>b<\/span>) {<\/span>\n    <\/span>return<\/span> (<\/span>a<\/span> <\/span><<\/span> <\/span>b<\/span>) <\/span>?<\/span> <\/span>b<\/span> <\/span>:<\/span> <\/span>a<\/span>;<\/span>\n}<\/span>\n\n\/\/ \u0428\u0430\u0431\u043b\u043e\u043d \u043a\u043b\u0430\u0441\u0441\u0430: T - \u0442\u0438\u043f, N - \u043d\u0435\u0442\u0438\u043f\u043e\u0432\u043e\u0439 \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440 (\u0440\u0430\u0437\u043c\u0435\u0440)<\/span>\ntemplate<\/span> <\/span><<\/span>typename<\/span> <\/span>T<\/span>, <\/span>int<\/span> <\/span>N<\/span>><\/span>\nclass<\/span> <\/span>FixedStack<\/span> {<\/span>\n    <\/span>T<\/span> <\/span>data<\/span>[<\/span>N<\/span>];<\/span>\n    <\/span>int<\/span> <\/span>size<\/span> <\/span>=<\/span> <\/span>0<\/span>;<\/span>\npublic<\/span>:<\/span>\n    <\/span>bool<\/span> <\/span>push<\/span>(<\/span>const<\/span> <\/span>T<\/span>&<\/span> <\/span>v<\/span>) {<\/span>\n        <\/span>if<\/span> (<\/span>size<\/span> <\/span>==<\/span> <\/span>N<\/span>) <\/span>return<\/span> <\/span>false<\/span>;   <\/span>\/\/ \u043f\u0435\u0440\u0435\u043f\u043e\u043b\u043d\u0435\u043d\u0438\u0435 - \u043d\u0435 \u043f\u0438\u0448\u0435\u043c \u0437\u0430 \u0433\u0440\u0430\u043d\u0438\u0446\u0443<\/span>\n        <\/span>data<\/span>[<\/span>size<\/span>++<\/span>] <\/span>=<\/span> <\/span>v<\/span>;<\/span>\n        <\/span>return<\/span> <\/span>true<\/span>;<\/span>\n    }<\/span>\n    <\/span>T<\/span> <\/span>top<\/span>() <\/span>const<\/span> { <\/span>return<\/span> <\/span>data<\/span>[<\/span>size<\/span> <\/span>-<\/span> <\/span>1<\/span>]; }<\/span>\n    <\/span>int<\/span> <\/span>count<\/span>() <\/span>const<\/span> { <\/span>return<\/span> <\/span>size<\/span>; }<\/span>\n};<\/span>\n\nint<\/span> <\/span>main<\/span>() {<\/span>\n    <\/span>std<\/span>::<\/span>cout<\/span> <\/span><<<\/span> <\/span>maxOf<\/span>(<\/span>3<\/span>, <\/span>7<\/span>) <\/span><<<\/span> <\/span>\"\\n\"<\/span>;                    <\/span>\/\/ T = int<\/span>\n    <\/span>std<\/span>::<\/span>cout<\/span> <\/span><<<\/span> <\/span>maxOf<\/span>(<\/span>2.5<\/span>, <\/span>1.5<\/span>) <\/span><<<\/span> <\/span>\"\\n\"<\/span>;                <\/span>\/\/ T = double<\/span>\n    <\/span>std<\/span>::<\/span>cout<\/span> <\/span><<<\/span> <\/span>maxOf<\/span><<\/span>std<\/span>::<\/span>string<\/span>><\/span>(<\/span>\"kiwi\"<\/span>, <\/span>\"apple\"<\/span>) <\/span><<<\/span> <\/span>\"\\n\"<\/span>;<\/span>\n\n    <\/span>FixedStack<\/span><<\/span>std<\/span>::<\/span>string<\/span>, <\/span>2<\/span>><\/span> <\/span>s<\/span>;<\/span>\n    <\/span>s<\/span>.<\/span>push<\/span>(<\/span>\"a\"<\/span>);<\/span>\n    <\/span>s<\/span>.<\/span>push<\/span>(<\/span>\"b\"<\/span>);<\/span>\n    <\/span>bool<\/span> <\/span>ok<\/span> <\/span>=<\/span> <\/span>s<\/span>.<\/span>push<\/span>(<\/span>\"c\"<\/span>);                               <\/span>\/\/ \u043c\u0435\u0441\u0442\u0430 \u043d\u0435\u0442<\/span>\n    <\/span>std<\/span>::<\/span>cout<\/span> <\/span><<<\/span> <\/span>s<\/span>.<\/span>top<\/span>() <\/span><<<\/span> <\/span>\" \"<\/span> <\/span><<<\/span> <\/span>s<\/span>.<\/span>count<\/span>() <\/span><<<\/span> <\/span>\" \"<\/span> <\/span><<<\/span> <\/span>ok<\/span> <\/span><<<\/span> <\/span>\"\\n\"<\/span>;<\/span>\n}<\/span><\/code><\/pre>\n
    \u0412 \u043a\u043e\u043d\u0441\u043e\u043b\u0438 \u043f\u043e\u044f\u0432\u0438\u0442\u0441\u044f:<\/p>\n
    7\n2.5\nkiwi\nb 2 0\n<\/code><\/pre>\n
    \u041a\u0430\u043a \u044d\u0442\u043e \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442: \u0440\u0430\u0437\u0431\u043e\u0440 \u043f\u0440\u0438\u043c\u0435\u0440\u0430<\/h2>\n
    \u0428\u0430\u0431\u043b\u043e\u043d \u0444\u0443\u043d\u043a\u0446\u0438\u0438.<\/strong> \u0421\u0442\u0440\u043e\u043a\u0430 template <typename T><\/code> \u043e\u0431\u044a\u044f\u0432\u043b\u044f\u0435\u0442 \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440 \u0442\u0438\u043f\u0430 T<\/code>. \u041a\u043e\u0433\u0434\u0430 \u0432\u044b \u043f\u0438\u0448\u0435\u0442\u0435 maxOf(3, 7)<\/code>, \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440 \u0432\u044b\u0432\u043e\u0434\u0438\u0442 T = int<\/code> \u0438\u0437 \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u043e\u0432 \u0438 \u0438\u043d\u0441\u0442\u0430\u043d\u0446\u0438\u0440\u0443\u0435\u0442 \u0444\u0443\u043d\u043a\u0446\u0438\u044e int maxOf(int, int)<\/code>. \u0414\u043b\u044f maxOf(2.5, 1.5)<\/code> \u043f\u043e\u044f\u0432\u0438\u0442\u0441\u044f \u0432\u0442\u043e\u0440\u0430\u044f, \u043d\u0435\u0437\u0430\u0432\u0438\u0441\u0438\u043c\u0430\u044f \u0444\u0443\u043d\u043a\u0446\u0438\u044f \u0434\u043b\u044f double<\/code>. \u041a\u043b\u044e\u0447\u0435\u0432\u044b\u0435 \u0441\u043b\u043e\u0432\u0430 typename<\/code> \u0438 class<\/code> \u0432 \u0441\u043f\u0438\u0441\u043a\u0435 \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u043e\u0432 \u0432\u0437\u0430\u0438\u043c\u043e\u0437\u0430\u043c\u0435\u043d\u044f\u0435\u043c\u044b.<\/p>\n
    \u042f\u0432\u043d\u044b\u0439 \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442.<\/strong> \u0412 \u0442\u0440\u0435\u0442\u044c\u0435\u0439 \u0441\u0442\u0440\u043e\u043a\u0435 \u0442\u0438\u043f \u0443\u043a\u0430\u0437\u0430\u043d \u0432\u0440\u0443\u0447\u043d\u0443\u044e: maxOf<std::string><\/code>. \u0411\u0435\u0437 \u044d\u0442\u043e\u0433\u043e T<\/code> \u0432\u044b\u0432\u0435\u043b\u0441\u044f \u0431\u044b \u043a\u0430\u043a const char*<\/code>, \u0438 a < b<\/code> \u0441\u0440\u0430\u0432\u043d\u0438\u0432\u0430\u043b \u0431\u044b \u0430\u0434\u0440\u0435\u0441\u0430 \u0441\u0442\u0440\u043e\u043a \u0432 \u043f\u0430\u043c\u044f\u0442\u0438, \u0430 \u043d\u0435 \u0442\u0435\u043a\u0441\u0442. \u0428\u0430\u0431\u043b\u043e\u043d \u043f\u043e\u0434\u0441\u0442\u0430\u0432\u043b\u044f\u0435\u0442 \u0442\u0438\u043f \u0431\u0443\u043a\u0432\u0430\u043b\u044c\u043d\u043e.<\/p>\n
    \u0428\u0430\u0431\u043b\u043e\u043d \u043a\u043b\u0430\u0441\u0441\u0430.<\/strong> \u0423 FixedStack<\/code> \u0434\u0432\u0430 \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u0430: \u0442\u0438\u043f \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u043e\u0432 T<\/code> \u0438 \u043d\u0435\u0442\u0438\u043f\u043e\u0432\u043e\u0439 \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440 N<\/code> — \u0446\u0435\u043b\u043e\u0435, \u0438\u0437\u0432\u0435\u0441\u0442\u043d\u043e\u0435 \u043d\u0430 \u044d\u0442\u0430\u043f\u0435 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0446\u0438\u0438. FixedStack<std::string, 2><\/code> \u0438 FixedStack<std::string, 3><\/code> — \u0434\u0432\u0430 \u0440\u0430\u0437\u043d\u044b\u0445 \u0442\u0438\u043f\u0430. \u0414\u043b\u044f \u0448\u0430\u0431\u043b\u043e\u043d\u0430 \u043a\u043b\u0430\u0441\u0441\u0430 \u0434\u043e C++17 \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u044b \u0443\u043a\u0430\u0437\u044b\u0432\u0430\u044e\u0442 \u0432\u0441\u0435\u0433\u0434\u0430; \u0441 C++17 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440 \u0443\u043c\u0435\u0435\u0442 \u0432\u044b\u0432\u043e\u0434\u0438\u0442\u044c \u0438\u0445 \u0438\u0437 \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0442\u043e\u0440\u0430 (CTAD), \u043d\u0430\u043f\u0440\u0438\u043c\u0435\u0440 std::pair p(1, 2.0)<\/code>.<\/p>\n
    \u0412\u0430\u0436\u043d\u0430\u044f \u0433\u0440\u0430\u043d\u0438\u0446\u0430 \u043c\u043e\u0434\u0435\u043b\u0438: \u0448\u0430\u0431\u043b\u043e\u043d \u0441\u0430\u043c \u043f\u043e \u0441\u0435\u0431\u0435 \u043d\u0435 \u043a\u043e\u0434, \u0430 \u0437\u0430\u0433\u043e\u0442\u043e\u0432\u043a\u0430. \u041f\u043e\u043a\u0430 \u0435\u0433\u043e \u043d\u0438\u043a\u0442\u043e \u043d\u0435 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043b \u0441 \u043a\u043e\u043d\u043a\u0440\u0435\u0442\u043d\u044b\u043c\u0438 \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u0430\u043c\u0438, \u043c\u0430\u0448\u0438\u043d\u043d\u043e\u0433\u043e \u043a\u043e\u0434\u0430 \u043d\u0435\u0442, \u0430 \u043c\u043d\u043e\u0433\u0438\u0435 \u043e\u0448\u0438\u0431\u043a\u0438 \u0432 \u0442\u0435\u043b\u0435 \u0448\u0430\u0431\u043b\u043e\u043d\u0430 \u0432\u0441\u043f\u043b\u044b\u0432\u0443\u0442 \u0442\u043e\u043b\u044c\u043a\u043e \u043f\u0440\u0438 \u0438\u043d\u0441\u0442\u0430\u043d\u0446\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0438.<\/p>\n
    \u0422\u0438\u043f\u043e\u0432\u0430\u044f \u043e\u0448\u0438\u0431\u043a\u0430: \u0432\u044b\u0432\u043e\u0434 \u0442\u0438\u043f\u0430 \u043d\u0435 \u0441\u043e\u0448\u0435\u043b\u0441\u044f<\/h2>\n
    \u041d\u0435\u0432\u0435\u0440\u043d\u043e — \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u044b \u0440\u0430\u0437\u043d\u044b\u0445 \u0442\u0438\u043f\u043e\u0432 \u043f\u0440\u0438 \u043e\u0434\u043d\u043e\u043c \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u0435 T<\/code>:<\/p>\n
    template<\/span> <\/span><<\/span>typename<\/span> <\/span>T<\/span>><\/span>\nT<\/span> <\/span>maxOf<\/span>(<\/span>T<\/span> <\/span>a<\/span>, <\/span>T<\/span> <\/span>b<\/span>) { <\/span>return<\/span> (<\/span>a<\/span> <\/span><<\/span> <\/span>b<\/span>) <\/span>?<\/span> <\/span>b<\/span> <\/span>:<\/span> <\/span>a<\/span>; }<\/span>\nint<\/span> <\/span>main<\/span>() { <\/span>return<\/span> <\/span>maxOf<\/span>(<\/span>1<\/span>, <\/span>2.5<\/span>) <\/span>><\/span> <\/span>0<\/span> <\/span>?<\/span> <\/span>0<\/span> <\/span>:<\/span> <\/span>1<\/span>; }<\/span><\/code><\/pre>\n
    \u0420\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442 — \u043e\u0448\u0438\u0431\u043a\u0430 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0446\u0438\u0438. Clang 21 \u043f\u0438\u0448\u0435\u0442 no matching function for call to 'maxOf'<\/code> \u0438 \u043f\u043e\u044f\u0441\u043d\u044f\u0435\u0442 deduced conflicting types for parameter 'T' ('int' vs. 'double')<\/code>. \u0423 GCC \u0438 MSVC \u0444\u043e\u0440\u043c\u0443\u043b\u0438\u0440\u043e\u0432\u043a\u0430 \u0434\u0440\u0443\u0433\u0430\u044f, \u043d\u043e \u0441\u0443\u0442\u044c \u0442\u0430 \u0436\u0435: \u0438\u0437 1<\/code> \u0432\u044b\u0448\u0435\u043b int<\/code>, \u0438\u0437 2.5<\/code> — double<\/code>.<\/p>\n
    \u0418\u0441\u043f\u0440\u0430\u0432\u043b\u0435\u043d\u0438\u0435 — \u043e\u0434\u043d\u043e \u0438\u0437 \u0442\u0440\u0435\u0445, \u043f\u043e \u0437\u0430\u0434\u0430\u0447\u0435:
    \n— \u0443\u043a\u0430\u0437\u0430\u0442\u044c \u0442\u0438\u043f \u044f\u0432\u043d\u043e: maxOf<double>(1, 2.5)<\/code>;
    \n— \u043f\u0440\u0438\u0432\u0435\u0441\u0442\u0438 \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442: maxOf(1.0, 2.5)<\/code>;
    \n— \u0432\u0432\u0435\u0441\u0442\u0438 \u0434\u0432\u0430 \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u0430 template <typename A, typename B><\/code> \u0438 \u0432\u0435\u0440\u043d\u0443\u0442\u044c \u043e\u0431\u0449\u0438\u0439 \u0442\u0438\u043f \u0447\u0435\u0440\u0435\u0437 std::common_type_t<A, B><\/code> — \u0435\u0441\u043b\u0438 \u0441\u043c\u0435\u0448\u0430\u043d\u043d\u044b\u0435 \u0442\u0438\u043f\u044b \u0434\u0435\u0439\u0441\u0442\u0432\u0438\u0442\u0435\u043b\u044c\u043d\u043e \u043d\u0443\u0436\u043d\u044b.<\/p>\n
    \u0421\u043f\u0435\u0446\u0438\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u044f: \u043e\u0441\u043e\u0431\u0430\u044f \u0432\u0435\u0440\u0441\u0438\u044f \u0434\u043b\u044f \u043e\u0441\u043e\u0431\u044b\u0445 \u0442\u0438\u043f\u043e\u0432<\/h2>\n
    \u0418\u043d\u043e\u0433\u0434\u0430 \u043e\u0431\u0449\u0438\u0439 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c \u0434\u043b\u044f \u043a\u043e\u043d\u043a\u0440\u0435\u0442\u043d\u043e\u0433\u043e \u0442\u0438\u043f\u0430 \u043d\u0435\u0432\u0435\u0440\u0435\u043d. \u041a\u043b\u0430\u0441\u0441\u0438\u043a\u0430 — \u0441\u0440\u0430\u0432\u043d\u0435\u043d\u0438\u0435 C-\u0441\u0442\u0440\u043e\u043a: a == b<\/code> \u0434\u043b\u044f const char*<\/code> \u0441\u0440\u0430\u0432\u043d\u0438\u0432\u0430\u0435\u0442 \u0430\u0434\u0440\u0435\u0441\u0430. \u0422\u043e\u0433\u0434\u0430 \u043f\u0438\u0448\u0443\u0442 \u043f\u043e\u043b\u043d\u0443\u044e \u0441\u043f\u0435\u0446\u0438\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u044e<\/strong> — \u043e\u0442\u0434\u0435\u043b\u044c\u043d\u0443\u044e \u0432\u0435\u0440\u0441\u0438\u044e \u0434\u043b\u044f \u043a\u043e\u043d\u043a\u0440\u0435\u0442\u043d\u043e\u0433\u043e \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u0430. \u0414\u043b\u044f \u0448\u0430\u0431\u043b\u043e\u043d\u043e\u0432 \u043a\u043b\u0430\u0441\u0441\u043e\u0432 \u0435\u0441\u0442\u044c \u0435\u0449\u0435 \u0447\u0430\u0441\u0442\u0438\u0447\u043d\u0430\u044f \u0441\u043f\u0435\u0446\u0438\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u044f<\/strong> — \u0432\u0435\u0440\u0441\u0438\u044f \u0434\u043b\u044f \u0446\u0435\u043b\u043e\u0433\u043e \u0441\u0435\u043c\u0435\u0439\u0441\u0442\u0432\u0430 \u0442\u0438\u043f\u043e\u0432, \u043d\u0430\u043f\u0440\u0438\u043c\u0435\u0440 \u0434\u043b\u044f \u0432\u0441\u0435\u0445 \u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u0435\u0439.<\/p>\n
    #include<\/span> <\/span><iostream><\/span>\n#include<\/span> <\/span><cstring><\/span>\n\ntemplate<\/span> <\/span><<\/span>typename<\/span> <\/span>T<\/span>><\/span>\nbool<\/span> <\/span>isEqual<\/span>(<\/span>T<\/span> <\/span>a<\/span>, <\/span>T<\/span> <\/span>b<\/span>) { <\/span>return<\/span> <\/span>a<\/span> <\/span>==<\/span> <\/span>b<\/span>; }<\/span>\n\n\/\/ \u041f\u043e\u043b\u043d\u0430\u044f \u0441\u043f\u0435\u0446\u0438\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u044f \u0434\u043b\u044f C-\u0441\u0442\u0440\u043e\u043a: \u0441\u0440\u0430\u0432\u043d\u0438\u0432\u0430\u0435\u043c \u0441\u043e\u0434\u0435\u0440\u0436\u0438\u043c\u043e\u0435, \u0430 \u043d\u0435 \u0430\u0434\u0440\u0435\u0441\u0430<\/span>\ntemplate<\/span> <\/span><><\/span>\nbool<\/span> <\/span>isEqual<\/span><<\/span>const<\/span> <\/span>char<\/span>*><\/span>(<\/span>const<\/span> <\/span>char<\/span>*<\/span> <\/span>a<\/span>, <\/span>const<\/span> <\/span>char<\/span>*<\/span> <\/span>b<\/span>) {<\/span>\n    <\/span>return<\/span> <\/span>std<\/span>::<\/span>strcmp<\/span>(<\/span>a<\/span>, <\/span>b<\/span>) <\/span>==<\/span> <\/span>0<\/span>;<\/span>\n}<\/span>\n\n\/\/ \u0427\u0430\u0441\u0442\u0438\u0447\u043d\u0430\u044f \u0441\u043f\u0435\u0446\u0438\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u044f (\u0442\u043e\u043b\u044c\u043a\u043e \u0434\u043b\u044f \u0448\u0430\u0431\u043b\u043e\u043d\u043e\u0432 \u043a\u043b\u0430\u0441\u0441\u043e\u0432): \u0432\u0441\u0435 \u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u0438<\/span>\ntemplate<\/span> <\/span><<\/span>typename<\/span> <\/span>T<\/span>><\/span>\nstruct<\/span> <\/span>TypeName<\/span> { <\/span>static<\/span> <\/span>const<\/span> <\/span>char<\/span>*<\/span> <\/span>get<\/span>() { <\/span>return<\/span> <\/span>\"value\"<\/span>; } };<\/span>\n\ntemplate<\/span> <\/span><<\/span>typename<\/span> <\/span>T<\/span>><\/span>\nstruct<\/span> <\/span>TypeName<\/span><<\/span>T<\/span>*><\/span> { <\/span>static<\/span> <\/span>const<\/span> <\/span>char<\/span>*<\/span> <\/span>get<\/span>() { <\/span>return<\/span> <\/span>\"pointer\"<\/span>; } };<\/span>\n\nint<\/span> <\/span>main<\/span>() {<\/span>\n    <\/span>char<\/span> <\/span>buf<\/span>[] <\/span>=<\/span> <\/span>\"otus\"<\/span>;<\/span>\n    <\/span>const<\/span> <\/span>char<\/span>*<\/span> <\/span>p<\/span> <\/span>=<\/span> <\/span>buf<\/span>;<\/span>\n    <\/span>std<\/span>::<\/span>cout<\/span> <\/span><<<\/span> <\/span>isEqual<\/span>(<\/span>p<\/span>, <\/span>\"otus\"<\/span>) <\/span><<<\/span> <\/span>\"\\n\"<\/span>;          <\/span>\/\/ 1<\/span>\n    <\/span>std<\/span>::<\/span>cout<\/span> <\/span><<<\/span> <\/span>TypeName<\/span><<\/span>int<\/span>>::<\/span>get<\/span>() <\/span><<<\/span> <\/span>\" \"<\/span>\n              <\/span><<<\/span> <\/span>TypeName<\/span><<\/span>int<\/span>*>::<\/span>get<\/span>() <\/span><<<\/span> <\/span>\"\\n\"<\/span>;       <\/span>\/\/ value pointer<\/span>\n}<\/span><\/code><\/pre>\n
    \u041f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0430 \u0432\u044b\u0432\u0435\u0434\u0435\u0442 1<\/code> \u0438 value pointer<\/code>. \u0411\u0435\u0437 \u0441\u043f\u0435\u0446\u0438\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438 \u043f\u0435\u0440\u0432\u0430\u044f \u0441\u0442\u0440\u043e\u043a\u0430 \u0434\u0430\u043b\u0430 \u0431\u044b 0<\/code>: buf<\/code> \u0438 \u043b\u0438\u0442\u0435\u0440\u0430\u043b \"otus\"<\/code> \u043b\u0435\u0436\u0430\u0442 \u043f\u043e \u0440\u0430\u0437\u043d\u044b\u043c \u0430\u0434\u0440\u0435\u0441\u0430\u043c. \u0428\u0430\u0431\u043b\u043e\u043d\u044b \u0444\u0443\u043d\u043a\u0446\u0438\u0439 \u0447\u0430\u0441\u0442\u0438\u0447\u043d\u043e \u0441\u043f\u0435\u0446\u0438\u0430\u043b\u0438\u0437\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u043d\u0435\u043b\u044c\u0437\u044f — \u0434\u043b\u044f \u043d\u0438\u0445 \u0432\u043c\u0435\u0441\u0442\u043e \u044d\u0442\u043e\u0433\u043e \u043f\u0438\u0448\u0443\u0442 \u043e\u0431\u044b\u0447\u043d\u0443\u044e \u043f\u0435\u0440\u0435\u0433\u0440\u0443\u0437\u043a\u0443.<\/p>\n
    \u041a\u043e\u043d\u0446\u0435\u043f\u0442\u044b C++20: \u043e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d\u0438\u044f \u043d\u0430 \u0442\u0438\u043f<\/h2>\n
    \u0411\u0435\u0437 \u043e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d\u0438\u0439 \u0448\u0430\u0431\u043b\u043e\u043d \u043f\u0440\u0438\u043d\u0438\u043c\u0430\u0435\u0442 \u043b\u044e\u0431\u043e\u0439 \u0442\u0438\u043f, \u0430 \u043e\u0448\u0438\u0431\u043a\u0430 \u0432\u0441\u043f\u043b\u044b\u0432\u0430\u0435\u0442 \u0433\u0434\u0435-\u0442\u043e \u0432 \u0433\u043b\u0443\u0431\u0438\u043d\u0435 \u0442\u0435\u043b\u0430. \u041a\u043e\u043d\u0446\u0435\u043f\u0442<\/strong> — \u0438\u043c\u0435\u043d\u043e\u0432\u0430\u043d\u043d\u043e\u0435 \u0442\u0440\u0435\u0431\u043e\u0432\u0430\u043d\u0438\u0435 \u043a \u0442\u0438\u043f\u0443, \u043a\u043e\u0442\u043e\u0440\u043e\u0435 \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u0435\u0442\u0441\u044f \u0434\u043e \u0438\u043d\u0441\u0442\u0430\u043d\u0446\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f. \u0420\u0430\u043d\u044c\u0448\u0435 \u0442\u043e \u0436\u0435 \u0434\u0435\u043b\u0430\u043b\u0438 \u0433\u0440\u043e\u043c\u043e\u0437\u0434\u043a\u0438\u043c\u0438 SFINAE \u0438 static_assert<\/code>. \u041f\u0440\u0438\u043c\u0435\u0440 \u0442\u0440\u0435\u0431\u0443\u0435\u0442 -std=c++20<\/code> (GCC 10+, Clang 10+, MSVC 2019 16.3+ \u0441 \/std:c++20<\/code>):<\/p>\n
    #include<\/span> <\/span><concepts><\/span>\n#include<\/span> <\/span><iostream><\/span>\n\n\/\/ \u0421\u0432\u043e\u0439 \u043a\u043e\u043d\u0446\u0435\u043f\u0442: \u0442\u0438\u043f \u043f\u043e\u0434\u0434\u0435\u0440\u0436\u0438\u0432\u0430\u0435\u0442 \u0441\u043b\u043e\u0436\u0435\u043d\u0438\u0435 \u0438 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442 \u0442\u043e\u0433\u043e \u0436\u0435 \u0442\u0438\u043f\u0430<\/span>\ntemplate<\/span> <\/span><<\/span>typename<\/span> <\/span>T<\/span>><\/span>\nconcept<\/span> <\/span>Addable<\/span> <\/span>=<\/span> <\/span>requires<\/span>(<\/span>T<\/span> <\/span>a<\/span>, <\/span>T<\/span> <\/span>b<\/span>) {<\/span>\n    { <\/span>a<\/span> <\/span>+<\/span> <\/span>b<\/span> } <\/span>-><\/span> <\/span>std<\/span>::<\/span>same_as<\/span><<\/span>T<\/span>><\/span>;<\/span>\n};<\/span>\n\ntemplate<\/span> <\/span><<\/span>Addable<\/span> <\/span>T<\/span>><\/span>\nT<\/span> <\/span>sum3<\/span>(<\/span>T<\/span> <\/span>a<\/span>, <\/span>T<\/span> <\/span>b<\/span>, <\/span>T<\/span> <\/span>c<\/span>) { <\/span>return<\/span> <\/span>a<\/span> <\/span>+<\/span> <\/span>b<\/span> <\/span>+<\/span> <\/span>c<\/span>; }<\/span>\n\n\/\/ \u0421\u0442\u0430\u043d\u0434\u0430\u0440\u0442\u043d\u044b\u0439 \u043a\u043e\u043d\u0446\u0435\u043f\u0442 \u0438\u0437 <concepts><\/span>\ntemplate<\/span> <\/span><<\/span>std<\/span>::<\/span>integral<\/span> <\/span>T<\/span>><\/span>\nT<\/span> <\/span>half<\/span>(<\/span>T<\/span> <\/span>x<\/span>) { <\/span>return<\/span> <\/span>x<\/span> <\/span>\/<\/span> <\/span>2<\/span>; }<\/span>\n\nint<\/span> <\/span>main<\/span>() {<\/span>\n    <\/span>std<\/span>::<\/span>cout<\/span> <\/span><<<\/span> <\/span>sum3<\/span>(<\/span>1<\/span>, <\/span>2<\/span>, <\/span>3<\/span>) <\/span><<<\/span> <\/span>\"\\n\"<\/span>;           <\/span>\/\/ 6<\/span>\n    <\/span>std<\/span>::<\/span>cout<\/span> <\/span><<<\/span> <\/span>sum3<\/span>(<\/span>0.5<\/span>, <\/span>0.25<\/span>, <\/span>0.25<\/span>) <\/span><<<\/span> <\/span>\"\\n\"<\/span>;   <\/span>\/\/ 1<\/span>\n    <\/span>std<\/span>::<\/span>cout<\/span> <\/span><<<\/span> <\/span>half<\/span>(<\/span>7<\/span>) <\/span><<<\/span> <\/span>\"\\n\"<\/span>;                 <\/span>\/\/ 3<\/span>\n    <\/span>\/\/ half(7.0);  \/\/ \u043d\u0435 \u0441\u043a\u043e\u043c\u043f\u0438\u043b\u0438\u0440\u0443\u0435\u0442\u0441\u044f: double \u043d\u0435 \u0443\u0434\u043e\u0432\u043b\u0435\u0442\u0432\u043e\u0440\u044f\u0435\u0442 std::integral<\/span>\n}<\/span><\/code><\/pre>\n
    \u0412\u044b\u0432\u043e\u0434: 6<\/code>, 1<\/code>, 3<\/code>. \u0415\u0441\u043b\u0438 \u0440\u0430\u0441\u043a\u043e\u043c\u043c\u0435\u043d\u0442\u0438\u0440\u043e\u0432\u0430\u0442\u044c half(7.0)<\/code>, Clang \u0441\u043e\u043e\u0431\u0449\u0438\u0442 \u043f\u0440\u044f\u043c\u043e \u0432 \u0442\u043e\u0447\u043a\u0435 \u0432\u044b\u0437\u043e\u0432\u0430: because 'double' does not satisfy 'integral'<\/code>. \u042d\u0442\u043e \u0433\u043b\u0430\u0432\u043d\u044b\u0439 \u043f\u0440\u0430\u043a\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u0439 \u0432\u044b\u0438\u0433\u0440\u044b\u0448 \u043a\u043e\u043d\u0446\u0435\u043f\u0442\u043e\u0432 — \u043f\u043e\u043d\u044f\u0442\u043d\u0430\u044f \u043e\u0448\u0438\u0431\u043a\u0430 \u0438 \u044f\u0432\u043d\u044b\u0439 \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442 \u0432 \u0441\u0438\u0433\u043d\u0430\u0442\u0443\u0440\u0435.<\/p>\n
    \u0413\u0434\u0435 \u0445\u0440\u0430\u043d\u0438\u0442\u044c \u0448\u0430\u0431\u043b\u043e\u043d\u044b \u0438 \u0447\u0442\u043e \u0434\u0435\u043b\u0430\u0442\u044c, \u0435\u0441\u043b\u0438 \u043d\u0435 \u0441\u043e\u0431\u0438\u0440\u0430\u0435\u0442\u0441\u044f<\/h2>\n
    \u041e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u0438\u0435 \u0448\u0430\u0431\u043b\u043e\u043d\u0430 \u043e\u0431\u044b\u0447\u043d\u043e \u0446\u0435\u043b\u0438\u043a\u043e\u043c \u043a\u043b\u0430\u0434\u0443\u0442 \u0432 \u0437\u0430\u0433\u043e\u043b\u043e\u0432\u043e\u0447\u043d\u044b\u0439 \u0444\u0430\u0439\u043b: \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440\u0443 \u043d\u0443\u0436\u043d\u043e \u0432\u0438\u0434\u0435\u0442\u044c \u0442\u0435\u043b\u043e \u0432 \u043a\u0430\u0436\u0434\u043e\u0439 \u0435\u0434\u0438\u043d\u0438\u0446\u0435 \u0442\u0440\u0430\u043d\u0441\u043b\u044f\u0446\u0438\u0438, \u0433\u0434\u0435 \u0448\u0430\u0431\u043b\u043e\u043d \u0438\u043d\u0441\u0442\u0430\u043d\u0446\u0438\u0440\u0443\u0435\u0442\u0441\u044f. \u0422\u0438\u043f\u043e\u0432\u044b\u0435 \u0441\u0438\u043c\u043f\u0442\u043e\u043c\u044b:<\/p>\n\n\n\n\n\n\n\n\n
    \u0421\u0438\u043c\u043f\u0442\u043e\u043c<\/th>\n\u0412\u0435\u0440\u043e\u044f\u0442\u043d\u0430\u044f \u043f\u0440\u0438\u0447\u0438\u043d\u0430<\/th>\n\u0427\u0442\u043e \u0434\u0435\u043b\u0430\u0442\u044c<\/th>\n<\/tr>\n<\/thead>\n
    undefined reference<\/code> \/ undefined symbol<\/code> \u043f\u0440\u0438 \u043b\u0438\u043d\u043a\u043e\u0432\u043a\u0435<\/td>\n\u0422\u0435\u043b\u043e \u0448\u0430\u0431\u043b\u043e\u043d\u0430 \u0432 .cpp<\/code>, \u0430 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u0442\u0441\u044f \u0432 \u0434\u0440\u0443\u0433\u043e\u043c \u0444\u0430\u0439\u043b\u0435<\/td>\n\u041f\u0435\u0440\u0435\u043d\u0435\u0441\u0442\u0438 \u0442\u0435\u043b\u043e \u0432 \u0437\u0430\u0433\u043e\u043b\u043e\u0432\u043e\u043a \u0438\u043b\u0438 \u0441\u0434\u0435\u043b\u0430\u0442\u044c \u044f\u0432\u043d\u043e\u0435 \u0438\u043d\u0441\u0442\u0430\u043d\u0446\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0435 template int maxOf<int>(int, int);<\/code><\/td>\n<\/tr>\n
    deduced conflicting types<\/code><\/td>\n\u0410\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u044b \u0440\u0430\u0437\u043d\u044b\u0445 \u0442\u0438\u043f\u043e\u0432 \u043f\u0440\u0438 \u043e\u0434\u043d\u043e\u043c T<\/code><\/td>\n\u042f\u0432\u043d\u044b\u0439 \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442, \u043f\u0440\u0438\u0432\u0435\u0434\u0435\u043d\u0438\u0435 \u0438\u043b\u0438 \u0434\u0432\u0430 \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u0430<\/td>\n<\/tr>\n
    \u0414\u043b\u0438\u043d\u043d\u0430\u044f \u043e\u0448\u0438\u0431\u043a\u0430 \u0438\u0437 \u0433\u043b\u0443\u0431\u0438\u043d\u044b \u0442\u0435\u043b\u0430 \u0448\u0430\u0431\u043b\u043e\u043d\u0430<\/td>\n\u0422\u0438\u043f \u043d\u0435 \u043f\u043e\u0434\u0434\u0435\u0440\u0436\u0438\u0432\u0430\u0435\u0442 \u043d\u0443\u0436\u043d\u0443\u044e \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u044e<\/td>\n\u0414\u043e\u0431\u0430\u0432\u0438\u0442\u044c \u043a\u043e\u043d\u0446\u0435\u043f\u0442 (C++20) \u0438\u043b\u0438 static_assert<\/code><\/td>\n<\/tr>\n
    concept<\/code> \u043d\u0435 \u0440\u0430\u0441\u043f\u043e\u0437\u043d\u0430\u0435\u0442\u0441\u044f<\/td>\n\u041a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440 \u0432 \u0440\u0435\u0436\u0438\u043c\u0435 \u043d\u0438\u0436\u0435 C++20<\/td>\n\u0424\u043b\u0430\u0433 -std=c++20<\/code> \u0438\u043b\u0438 \/std:c++20<\/code><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n
    \u0412\u0440\u0435\u0437\u043a\u0430: \u0448\u0430\u0431\u043b\u043e\u043d\u044b C++ \u0438 generics C<\/h2>\n
    \u0426\u0435\u043b\u044c \u0443 \u043d\u0438\u0445 \u043e\u0431\u0449\u0430\u044f — \u043e\u0434\u0438\u043d \u043a\u043e\u0434 \u0434\u043b\u044f \u043c\u043d\u043e\u0433\u0438\u0445 \u0442\u0438\u043f\u043e\u0432, \u043d\u043e \u0443\u0441\u0442\u0440\u043e\u0435\u043d\u044b \u043e\u043d\u0438 \u043f\u043e-\u0440\u0430\u0437\u043d\u043e\u043c\u0443:<\/p>\n\n\n\n\n\n\n\n\n\n
    \u0421\u0432\u043e\u0439\u0441\u0442\u0432\u043e<\/th>\n\u0428\u0430\u0431\u043b\u043e\u043d\u044b C++<\/th>\nGenerics C#<\/th>\n<\/tr>\n<\/thead>\n
    \u041a\u043e\u0433\u0434\u0430 \u0441\u043e\u0437\u0434\u0430\u0435\u0442\u0441\u044f \u043a\u043e\u043d\u043a\u0440\u0435\u0442\u043d\u044b\u0439 \u043a\u043e\u0434<\/td>\n\u041f\u0440\u0438 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0446\u0438\u0438, \u043e\u0442\u0434\u0435\u043b\u044c\u043d\u043e \u0434\u043b\u044f \u043a\u0430\u0436\u0434\u043e\u0433\u043e \u043d\u0430\u0431\u043e\u0440\u0430 \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u043e\u0432<\/td>\n\u041e\u0431\u043e\u0431\u0449\u0435\u043d\u043d\u044b\u0439 \u0442\u0438\u043f \u0445\u0440\u0430\u043d\u0438\u0442\u0441\u044f \u0432 \u0441\u0431\u043e\u0440\u043a\u0435; \u043a\u043e\u043d\u043a\u0440\u0435\u0442\u0438\u0437\u0430\u0446\u0438\u044f \u0432\u043e \u0432\u0440\u0435\u043c\u044f \u0432\u044b\u043f\u043e\u043b\u043d\u0435\u043d\u0438\u044f (JIT\/AOT)<\/td>\n<\/tr>\n
    \u041f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u044b-\u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f<\/td>\n\u0415\u0441\u0442\u044c (int N<\/code>)<\/td>\n\u041d\u0435\u0442, \u0442\u043e\u043b\u044c\u043a\u043e \u0442\u0438\u043f\u044b<\/td>\n<\/tr>\n
    \u0421\u043f\u0435\u0446\u0438\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u044f<\/td>\n\u041f\u043e\u043b\u043d\u0430\u044f \u0438 \u0447\u0430\u0441\u0442\u0438\u0447\u043d\u0430\u044f<\/td>\n\u041d\u0435\u0442<\/td>\n<\/tr>\n
    \u041e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d\u0438\u044f<\/td>\n\u041a\u043e\u043d\u0446\u0435\u043f\u0442\u044b C++20 (\u0440\u0430\u043d\u044c\u0448\u0435 SFINAE)<\/td>\nwhere T : ...<\/code><\/td>\n<\/tr>\n
    \u041f\u0440\u043e\u0432\u0435\u0440\u043a\u0430 \u0442\u0435\u043b\u0430<\/td>\n\u0412\u043e \u043c\u043d\u043e\u0433\u043e\u043c \u043f\u0440\u0438 \u0438\u043d\u0441\u0442\u0430\u043d\u0446\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0438<\/td>\n\u0421\u0440\u0430\u0437\u0443, \u043f\u043e \u043e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d\u0438\u044f\u043c<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n
    \u0410\u043d\u0430\u043b\u043e\u0433 maxOf<\/code> \u043d\u0430 C#: static T MaxOf<T>(T a, T b) where T : IComparable<T> => a.CompareTo(b) < 0 ? b : a;<\/code>. \u0411\u0435\u0437 \u043e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d\u0438\u044f where<\/code> \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440 C# \u043d\u0435 \u0434\u0430\u0441\u0442 \u0432\u044b\u0437\u0432\u0430\u0442\u044c CompareTo<\/code>, \u043f\u043e\u0442\u043e\u043c\u0443 \u0447\u0442\u043e \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u0435\u0442 \u0442\u0435\u043b\u043e \u0437\u0430\u0440\u0430\u043d\u0435\u0435, \u0430 \u043d\u0435 \u043f\u0440\u0438 \u043f\u043e\u0434\u0441\u0442\u0430\u043d\u043e\u0432\u043a\u0435 \u0442\u0438\u043f\u0430.<\/p>\n
    \u0412\u044b\u0432\u043e\u0434\u044b<\/h2>\n