До питання узагальненого метапрограмування в C++
| dc.contributor.author | Бублик, Володимир | uk_UA |
| dc.contributor.author | Трохимчук, Артем | uk_UA |
| dc.date.accessioned | 2026-02-06T11:53:11Z | |
| dc.date.available | 2026-02-06T11:53:11Z | |
| dc.date.issued | 2025 | |
| dc.description | The paper explores C++ metaprogramming as a form of declarative functional programming that originates from Alonzo Church's lambda calculus. Paper describes the imperative approach based on iteration with the functional style centered around recursion. The core of C++ metaprogramming, the template system, is analyzed. Key techniques such as Substitution Failure Is Not An Error (SFINAE) and template specializations are explored in detail. The methods enable compile-time computations, turning the template language into a Turing-complete functional programming language within C++ itself. As a practical demonstration, the paper presents a modern solution to the "Abstract Factory" design pattern problem, originally formulated by A. Alexandrescu, showcasing the power of template metaprogramming in C++. | en_US |
| dc.description.abstract | Програмування історично розвивалося у двох основних стилях: імперативному та декларативному (зокрема, функціональному). Ітерація є ключовим засобом організації обчислень в імперативному програмуванні, яке, за своєю суттю, є програмуванням над комірками пам'яті. На противагу цьому, рекурсія є основним інструментом функціонального (декларативного) програмування, яке не вимагає явного керування пам'яттю та операцій присвоєння. | uk_UA |
| dc.identifier.citation | Бублик В. В. До питання узагальненого метапрограмування в C++ / Бублик В. В., Трохимчук А. А. // Теоретичні та прикладні аспекти побудови програмних систем : праці 16 Міжнародної науково-практичної конференції, 23-24 листопада 2025 року, Київ / [за заг. ред. М. М. Глибовця, Т. В. Панченка та ін. ; Факультет інформатики Національного університету "Києво-Могилянська академія" та ін.]. - Київ : НаУКМА, 2025. - С. 75-77. | uk_UA |
| dc.identifier.uri | https://ekmair.ukma.edu.ua/handle/123456789/38283 | |
| dc.language.iso | uk | uk_UA |
| dc.publisher | Національний університет "Києво-Могилянська академія" | uk_UA |
| dc.relation.source | Теоретичні та прикладні аспекти побудови програмних систем : праці 16 Міжнародної науково-практичної конференції, 23-24 листопада 2025 року, Київ | uk_UA |
| dc.status | first published | uk_UA |
| dc.subject | метапрограмування | uk_UA |
| dc.subject | мова шаблонів | uk_UA |
| dc.subject | C++ | uk_UA |
| dc.subject | SFINAE | en_US |
| dc.subject | матеріали конференції | uk_UA |
| dc.title | До питання узагальненого метапрограмування в C++ | uk_UA |
| dc.title.alternative | Towards the issue of template metaprogramming in C++ | en_US |
| dc.type | Conference materials | uk_UA |