ການຂຽນໂປລແກລມ meta ແບບ C++ ແບບ Lisp

ປະເພດທີ່ແຕກຕ່າງກັນຂອງ Compiler Magic: Lisp-Style C++ Template Metaprogramming

ໃນພູມສັນຖານອັນໃຫຍ່ຫຼວງຂອງການພັດທະນາຊອບແວ, C ++ ແມ່ນມີຊື່ສຽງສໍາລັບພະລັງງານແລະປະສິດທິພາບດິບຂອງມັນ. ຢ່າງໃດກໍຕາມ, tucked ໄປພາຍໃນຂະບວນການລວບລວມຊັບຊ້ອນຂອງຕົນເປັນ paradigm ທີ່ມີຄວາມຮູ້ສຶກເກືອບມະນຸດຕ່າງດາວ: metaprogramming template (TMP). ເມື່ອຖືກປະຕິບັດຢ່າງມີເຫດຜົນ, C ++ TMP ເລີ່ມຄ້າຍຄືກັບພາສາການຂຽນໂປລແກລມທີ່ມີປະໂຫຍດໃນສິດທິຂອງຕົນເອງ, ເຊິ່ງດໍາເນີນການທັງຫມົດໃນເວລາລວບລວມ. ການຂະຫນານກັບ Lisp, ຫນຶ່ງໃນພາສາການຂຽນໂປລແກລມເກົ່າແກ່ທີ່ສຸດແລະມີອິດທິພົນທີ່ສຸດ, ມີຄວາມໂດດເດັ່ນແລະເລິກເຊິ່ງ. ວິທີການນີ້ເຮັດໃຫ້ນັກພັດທະນາສາມາດຍົກເລີກການຄິດໄລ່ທີ່ສັບສົນແລະເຫດຜົນຈາກເວລາແລ່ນໄປຫາເວລາລວບລວມ, ສ້າງລະຫັດທີ່ມີປະສິດທິພາບສູງແລະປອດໄພ. ການເຂົ້າໃຈວິທີການແບບ Lisp ນີ້ແມ່ນກຸນແຈເພື່ອປົດລັອກລະດັບໃຫມ່ຂອງ abstraction, ຫຼັກການທີ່ພວກເຮົາໃຫ້ຄວາມສໍາຄັນຢ່າງເລິກເຊິ່ງກັບ Mewayz ໃນເວລາທີ່ສະຖາປະນິກລະບົບທຸລະກິດແບບໂມດູນທີ່ເຂັ້ມແຂງ.

ພາສາການຂຽນໂປຣແກຣມອຸບັດຕິເຫດພາຍໃນ C++

ແມ່ແບບ C++ ໄດ້ຖືກອອກແບບໃນເບື້ອງຕົ້ນສໍາລັບການທົດແທນປະເພດງ່າຍດາຍ, ເຊັ່ນ: ການສ້າງ `List` ຫຼື `List`. ຢ່າງໃດກໍຕາມ, ມາດຕະຖານ C ++, ໃນການສະແຫວງຫາທົ່ວໄປຂອງມັນ, ບັງເອີນໄດ້ສ້າງພາສາຍ່ອຍ Turing-complete. ນີ້ຫມາຍຄວາມວ່າໃນທາງທິດສະດີ, ການຄິດໄລ່ໃດໆທີ່ສາມາດປະຕິບັດໄດ້ໂດຍໂຄງການກໍ່ສາມາດປະຕິບັດໄດ້ໂດຍ C++ compiler ໃນລະຫວ່າງການຂະບວນການສ້າງແມ່ແບບ. ການຄົ້ນພົບຄວາມສາມາດນີ້ເຮັດໃຫ້ການເກີດຂອງ metaprogramming ແມ່ແບບ. ມັນໄດ້ຖືກພົບເຫັນວ່າໂດຍການນໍາໃຊ້ຄວາມຊ່ຽວຊານຂອງແມ່ແບບ, recursion, ແລະຕົວກໍານົດການແມ່ແບບ, ຫນຶ່ງສາມາດຂຽນບັນດາໂຄງການທີ່ compiler ປະຕິບັດໃນຂະນະທີ່ສ້າງຄໍາຮ້ອງສະຫມັກຂອງທ່ານ. "ພາສາ" ເວລາລວບລວມນີ້ບໍ່ມີຕົວແປໃນຄວາມຮູ້ສຶກແບບດັ້ງເດີມ; ສະຖານະຂອງມັນຖືກຝັງຢູ່ໃນຕົວກໍານົດການແມ່ແບບເອງ, ແລະໂຄງສ້າງການຄວບຄຸມຂອງມັນແມ່ນອີງໃສ່ recursion ແລະການລວບລວມເງື່ອນໄຂ.

ການຮັບເອົາແນວຄິດທີ່ມີປະໂຫຍດ, ຄ້າຍຄື Lisp

ເພື່ອຂຽນເມຕາໂປແກມແມ່ແບບຢ່າງມີປະສິດທິພາບ, ຄົນເຮົາຕ້ອງໃຊ້ແນວຄວາມຄິດການຂຽນໂປຼແກຼມທີ່ມີປະສິດຕິພາບ, ຄືກັບນັກຂຽນໂປລແກລມ Lisp. ບໍ່ມີສະຖານະທີ່ປ່ຽນແປງໄດ້ຫຼື loops ໃນຄວາມຮູ້ສຶກຄລາສສິກ. ແທນທີ່ຈະ, ທຸກສິ່ງທຸກຢ່າງແມ່ນບັນລຸໄດ້ໂດຍຜ່ານການ recursion ແລະການຫມູນໃຊ້ຂອງປະເພດແລະການລວບລວມເວລາຄົງທີ່. ພິຈາລະນາຕົວຢ່າງງ່າຍໆ: ການຄິດໄລ່ factorial. ໃນ Lisp, ທ່ານອາດຈະໃຊ້ຟັງຊັນ recursive. ໃນ C++ TMP, ວິທີການແມ່ນຄ້າຍຄືກັນຢ່າງໂດດເດັ່ນ, ແຕ່ມັນໃຊ້ໄດ້ກັບປະເພດ ແລະຄ່າຕ່າງໆ.

• ຂໍ້ມູນທີ່ບໍ່ປ່ຽນແປງໄດ້: ຄືກັນກັບໃນ Lisp, ຂໍ້ມູນໃນ TMP ແມ່ນບໍ່ສາມາດປ່ຽນແປງໄດ້. ເມື່ອຕົວກໍານົດການແມ່ແບບຖືກຕັ້ງ, ມັນບໍ່ສາມາດປ່ຽນແປງໄດ້; ທ່ານສາມາດສ້າງ "ຕົວຢ່າງ" ໃໝ່ໆທີ່ມີພາລາມິເຕີທີ່ແຕກຕ່າງກັນເທົ່ານັ້ນ.
• Recursion as Iteration: ເນື່ອງຈາກບໍ່ມີ `for` ຫຼື `while` loops, recursion is the primary mechanism for repeating operations. ແມ່ແບບເອີ້ນຕົວມັນເອງດ້ວຍຕົວກໍານົດການອັບເດດຈົນກ່ວາກໍລະນີພື້ນຖານ (ຜ່ານຄວາມຊ່ຽວຊານແມ່ແບບ) ບັນລຸໄດ້.
• ປະເພດການຈັດການ, ບໍ່ພຽງແຕ່ຄຸນຄ່າເທົ່ານັ້ນ: ລັກສະນະທີ່ມີປະສິດທິພາບທີ່ສຸດຂອງ TMP ແມ່ນຄວາມສາມາດໃນການຄິດໄລ່ຂອງປະເພດຕ່າງໆ. ທ່ານ​ສາ​ມາດ​ສ້າງ​ລາຍ​ການ​ປະ​ເພດ​, ກວດ​ສອບ​ຄຸນ​ສົມ​ບັດ​ຂອງ​ປະ​ເພດ​, ແລະ​ຄັດ​ເລືອກ​ເອົາ​ປະ​ເພດ​ໂດຍ​ອີງ​ໃສ່​ເງື່ອນ​ໄຂ​, ເຮັດ​ໃຫ້​ເຕັກ​ນິກ​ການ​ຂຽນ​ໂປຣ​ແກຣມ​ທົ່ວ​ໄປ​ທີ່​ມີ​ອໍາ​ນາດ​.

ຮູບ​ແບບ​ນີ້​ບັງຄັບ​ໃຫ້​ມີ​ວິທີ​ຄິດ​ທີ່​ແຕກ​ຕ່າງ​ກັນ, ອັນ​ໜຶ່ງ​ທີ່​ຈັດ​ລຳດັບ​ຄວາມ​ສຳຄັນ​ໃນ​ການ​ປະກາດ​ຕາມ​ຂັ້ນ​ຕອນ​ທີ່​ຈຳ​ເປັນ, ນຳ​ໄປ​ສູ່​ລະຫັດ​ທີ່​ແຂງ​ແຮງ​ກວ່າ ​ແລະ ຕ້ານ​ຄວາມ​ຜິດ​ພາດ.

"Template metaprogramming ເປັນພາສາທີ່ເປັນປະໂຫຍດທີ່ຝັງຢູ່ໃນ C ++. ມັນເປັນເຄື່ອງມືທີ່ມີປະສິດທິພາບ, ແຕ່ມັນຮຽກຮ້ອງໃຫ້ມີການຄິດກ່ຽວກັບໂປຼແກຼມຕ່າງໆ - ວິທີທີ່ມັກຈະເປັນ abstract ແລະຄະນິດສາດ." — ສະມາຊິກຄະນະກໍາມະການມາດຕະຖານ C++

ການ​ນໍາ​ໃຊ້​ປະ​ຕິ​ບັດ​ໃນ​ລະ​ບົບ Modular

ໃນຂະນະທີ່ຕົວຢ່າງ factorial ແມ່ນທາງວິຊາການ, ພະລັງທີ່ແທ້ຈິງຂອງ Lisp-style TMP ສ່ອງແສງໃນການປະຕິບັດຕົວຈິງທີ່ໄດ້ຮັບຜົນປະໂຫຍດຈາກການ abstractions zero-runtime-overhead. ສໍາລັບຕົວຢ່າງ, ມັນສາມາດຖືກນໍາໃຊ້ເພື່ອສ້າງໂຄງສ້າງຂໍ້ມູນທີ່ເພີ່ມປະສິດທິພາບສູງສະເພາະກັບປະເພດໃດຫນຶ່ງ, ການກວດສອບການຕັ້ງຄ່າທີ່ສັບສົນໃນເວລາລວບລວມ, ຫຼືເພື່ອປະຕິບັດຮູບແບບການອອກແບບທີ່ຊັບຊ້ອນເຊັ່ນ: ການອອກແບບໂດຍອີງໃສ່ນະໂຍບາຍ. ໃນສະພາບການຂອງເວທີເຊັ່ນ Mewayz, ເຊິ່ງມີຈຸດປະສົງເພື່ອເປັນ OS ທຸລະກິດແບບໂມດູນ, ເຕັກນິກເຫຼົ່ານີ້ແມ່ນບໍ່ມີຄ່າ. ພວກເຂົາເຈົ້າອະນຸຍາດໃຫ້ພວກເຮົາສ້າງອົງປະກອບຫຼັກທີ່ມີທັງຄວາມຍືດຫຍຸ່ນ incredibly ແລະປະສິດທິພາບ exceptionally. API ຂອງໂມດູນສາມາດຖືກອອກແບບໂດຍໃຊ້ TMP ເພື່ອບັງຄັບໃຊ້ກົດລະບຽບທຸລະກິດແລະຄວາມສໍາພັນຂອງຂໍ້ມູນໃນລະດັບປະເພດ, ຈັບຕົວກໍານົດການທີ່ບໍ່ຖືກຕ້ອງເປັນເວລາດົນນານກ່ອນທີ່ຊອບແວຈະຖືກນໍາໃຊ້. ຄວາມ​ປອດ​ໄພ​ທີ່​ໃຊ້​ເວ​ລາ​ສັງ​ລວມ​ນີ້​ແມ່ນ​ສໍາ​ຄັນ​ສໍາ​ລັບ​ການ​ສ້າງ​ລະ​ບົບ​ທີ່​ເຊື່ອ​ຖື​ໄດ້​, ສາ​ມາດ​ຂະ​ຫຍາຍ​ຕົວ​ທີ່​ທຸ​ລະ​ກິດ​ຂຶ້ນ​ກັບ​.

ວິວັດທະນາການ ແລະອະນາຄົດດ້ວຍ `constexpr`

ຕົ້ນ C++ TMP ມັກຈະຖືກວິພາກວິຈານສໍາລັບ syntax cryptic ແລະເວລາລວບລວມຊ້າ. ການຮັບຮູ້ນີ້, ຄະນະກໍາມະການມາດຕະຖານ C ++ ໄດ້ນໍາສະເຫນີຄຸນສົມບັດເວລາການລວບລວມທີ່ເປັນມິດກັບນັກພັດທະນາຫຼາຍຂຶ້ນ, ໂດຍສະເພາະແມ່ນ 'constexpr' ແລະ, ບໍ່ດົນມານີ້, 'consteval'. ຄຸນສົມບັດເຫຼົ່ານີ້ອະນຸຍາດໃຫ້ມີການຄໍານວນຫຼາຍຄັ້ງທີ່ຕ້ອງຂຽນ tricks ແມ່ແບບທີ່ສັບສົນໂດຍໃຊ້ syntax C++ ທີ່ຄຸ້ນເຄີຍ, ທີ່ຈໍາເປັນທີ່ປະຕິບັດໃນເວລາລວບລວມ. ຢ່າງໃດກໍ່ຕາມ, ວິທີການ TMP ແບບ Lisp ຍັງຄົງມີຄວາມກ່ຽວຂ້ອງສໍາລັບການຄິດໄລ່ຕາມປະເພດແລະສະຖານະການທີ່ຕ້ອງການການຄວບຄຸມພື້ນຖານທີ່ສຸດຕໍ່ຂະບວນການສ້າງຕົວແບບ. ຕອນນີ້ນັກພັດທະນາ C++ ທີ່ທັນສະໄຫມມີເຄື່ອງມືຕ່າງໆ, ຈາກ TMP ແບບດັ້ງເດີມໄປຫາຫນ້າທີ່ 'constexpr', ໃຫ້ພວກເຂົາເລືອກເຄື່ອງມືທີ່ເຫມາະສົມສໍາລັບວຽກແລະຂຽນ metaprograms ທີ່ສະອາດ, ຮັກສາໄດ້ຫຼາຍຂຶ້ນ.

ຄຳຖາມທີ່ຖາມເລື້ອຍໆ

ປະເພດທີ່ແຕກຕ່າງກັນຂອງ Compiler Magic: Lisp-Style C++ Template Metaprogramming

ໃນພູມສັນຖານອັນໃຫຍ່ຫຼວງຂອງການພັດທະນາຊອບແວ, C ++ ແມ່ນມີຊື່ສຽງສໍາລັບພະລັງງານແລະປະສິດທິພາບດິບຂອງມັນ. ຢ່າງໃດກໍຕາມ, tucked ໄປພາຍໃນຂະບວນການລວບລວມຊັບຊ້ອນຂອງຕົນເປັນ paradigm ທີ່ມີຄວາມຮູ້ສຶກເກືອບມະນຸດຕ່າງດາວ: metaprogramming template (TMP). ເມື່ອຖືກປະຕິບັດຢ່າງມີເຫດຜົນ, C ++ TMP ເລີ່ມຄ້າຍຄືກັບພາສາການຂຽນໂປລແກລມທີ່ມີປະໂຫຍດໃນສິດທິຂອງຕົນເອງ, ເຊິ່ງດໍາເນີນການທັງຫມົດໃນເວລາລວບລວມ. ການຂະຫນານກັບ Lisp, ຫນຶ່ງໃນພາສາການຂຽນໂປລແກລມເກົ່າແກ່ທີ່ສຸດແລະມີອິດທິພົນທີ່ສຸດ, ມີຄວາມໂດດເດັ່ນແລະເລິກເຊິ່ງ. ວິທີການນີ້ເຮັດໃຫ້ນັກພັດທະນາສາມາດຍົກເລີກການຄິດໄລ່ທີ່ສັບສົນແລະເຫດຜົນຈາກເວລາແລ່ນໄປຫາເວລາລວບລວມ, ສ້າງລະຫັດທີ່ມີປະສິດທິພາບສູງແລະປອດໄພ. ການເຂົ້າໃຈວິທີການແບບ Lisp ນີ້ແມ່ນກຸນແຈເພື່ອປົດລັອກລະດັບໃຫມ່ຂອງ abstraction, ຫຼັກການທີ່ພວກເຮົາໃຫ້ຄວາມສໍາຄັນຢ່າງເລິກເຊິ່ງກັບ Mewayz ໃນເວລາທີ່ສະຖາປະນິກລະບົບທຸລະກິດແບບໂມດູນທີ່ເຂັ້ມແຂງ.

ພາສາການຂຽນໂປຣແກຣມອຸບັດຕິເຫດພາຍໃນ C++

ແມ່ແບບ C++ ໄດ້ຖືກອອກແບບໃນເບື້ອງຕົ້ນສໍາລັບການທົດແທນປະເພດງ່າຍດາຍ, ເຊັ່ນ: ການສ້າງ 'List' ຫຼື 'List'. ຢ່າງໃດກໍຕາມ, ມາດຕະຖານ C ++, ໃນການສະແຫວງຫາທົ່ວໄປຂອງມັນ, ບັງເອີນໄດ້ສ້າງພາສາຍ່ອຍ Turing-complete. ນີ້ຫມາຍຄວາມວ່າໃນທາງທິດສະດີ, ການຄິດໄລ່ໃດໆທີ່ສາມາດປະຕິບັດໄດ້ໂດຍໂຄງການກໍ່ສາມາດປະຕິບັດໄດ້ໂດຍ C++ compiler ໃນລະຫວ່າງການຂະບວນການສ້າງແມ່ແບບ. ການຄົ້ນພົບຄວາມສາມາດນີ້ເຮັດໃຫ້ການເກີດຂອງ metaprogramming ແມ່ແບບ. ມັນໄດ້ຖືກພົບເຫັນວ່າໂດຍການນໍາໃຊ້ຄວາມຊ່ຽວຊານຂອງແມ່ແບບ, recursion, ແລະຕົວກໍານົດການແມ່ແບບ, ຫນຶ່ງສາມາດຂຽນບັນດາໂຄງການທີ່ compiler ປະຕິບັດໃນຂະນະທີ່ສ້າງຄໍາຮ້ອງສະຫມັກຂອງທ່ານ. "ພາສາ" ເວລາລວບລວມນີ້ບໍ່ມີຕົວແປໃນຄວາມຮູ້ສຶກແບບດັ້ງເດີມ; ສະຖານະຂອງມັນຖືກຝັງຢູ່ໃນຕົວກໍານົດການແມ່ແບບເອງ, ແລະໂຄງສ້າງການຄວບຄຸມຂອງມັນແມ່ນອີງໃສ່ recursion ແລະການລວບລວມເງື່ອນໄຂ.

ການຮັບເອົາແນວຄິດທີ່ມີປະໂຫຍດ, ຄ້າຍຄື Lisp

ເພື່ອຂຽນເມຕາໂປແກມແມ່ແບບຢ່າງມີປະສິດທິພາບ, ຄົນເຮົາຕ້ອງໃຊ້ແນວຄວາມຄິດການຂຽນໂປຼແກຼມທີ່ມີປະສິດຕິພາບ, ຄືກັບນັກຂຽນໂປລແກລມ Lisp. ບໍ່ມີສະຖານະທີ່ປ່ຽນແປງໄດ້ຫຼື loops ໃນຄວາມຮູ້ສຶກຄລາສສິກ. ແທນທີ່ຈະ, ທຸກສິ່ງທຸກຢ່າງແມ່ນບັນລຸໄດ້ໂດຍຜ່ານການ recursion ແລະການຫມູນໃຊ້ຂອງປະເພດແລະການລວບລວມເວລາຄົງທີ່. ພິຈາລະນາຕົວຢ່າງງ່າຍໆ: ການຄິດໄລ່ factorial. ໃນ Lisp, ທ່ານອາດຈະໃຊ້ຟັງຊັນ recursive. ໃນ C++ TMP, ວິທີການແມ່ນຄ້າຍຄືກັນຢ່າງໂດດເດັ່ນ, ແຕ່ມັນໃຊ້ໄດ້ກັບປະເພດ ແລະຄ່າຕ່າງໆ.

ການ​ນໍາ​ໃຊ້​ປະ​ຕິ​ບັດ​ໃນ​ລະ​ບົບ Modular ເປັນ

ໃນຂະນະທີ່ຕົວຢ່າງ factorial ແມ່ນທາງວິຊາການ, ພະລັງທີ່ແທ້ຈິງຂອງ Lisp-style TMP ສ່ອງແສງໃນການປະຕິບັດຕົວຈິງທີ່ໄດ້ຮັບຜົນປະໂຫຍດຈາກການ abstractions zero-runtime-overhead. ສໍາລັບຕົວຢ່າງ, ມັນສາມາດຖືກນໍາໃຊ້ເພື່ອສ້າງໂຄງສ້າງຂໍ້ມູນທີ່ເພີ່ມປະສິດທິພາບສູງສະເພາະກັບປະເພດໃດຫນຶ່ງ, ການກວດສອບການຕັ້ງຄ່າທີ່ສັບສົນໃນເວລາລວບລວມ, ຫຼືເພື່ອປະຕິບັດຮູບແບບການອອກແບບທີ່ຊັບຊ້ອນເຊັ່ນ: ການອອກແບບໂດຍອີງໃສ່ນະໂຍບາຍ. ໃນສະພາບການຂອງເວທີເຊັ່ນ Mewayz, ເຊິ່ງມີຈຸດປະສົງເພື່ອເປັນ OS ທຸລະກິດແບບໂມດູນ, ເຕັກນິກເຫຼົ່ານີ້ແມ່ນບໍ່ມີຄ່າ. ພວກເຂົາເຈົ້າອະນຸຍາດໃຫ້ພວກເຮົາສ້າງອົງປະກອບຫຼັກທີ່ມີທັງຄວາມຍືດຫຍຸ່ນ incredibly ແລະປະສິດທິພາບ exceptionally. API ຂອງໂມດູນສາມາດຖືກອອກແບບໂດຍໃຊ້ TMP ເພື່ອບັງຄັບໃຊ້ກົດລະບຽບທຸລະກິດແລະຄວາມສໍາພັນຂອງຂໍ້ມູນໃນລະດັບປະເພດ, ຈັບຕົວກໍານົດການທີ່ບໍ່ຖືກຕ້ອງເປັນເວລາດົນນານກ່ອນທີ່ຊອບແວຈະຖືກນໍາໃຊ້. ຄວາມ​ປອດ​ໄພ​ທີ່​ໃຊ້​ເວ​ລາ​ສັງ​ລວມ​ນີ້​ແມ່ນ​ສໍາ​ຄັນ​ສໍາ​ລັບ​ການ​ສ້າງ​ລະ​ບົບ​ທີ່​ເຊື່ອ​ຖື​ໄດ້​, ສາ​ມາດ​ຂະ​ຫຍາຍ​ຕົວ​ທີ່​ທຸ​ລະ​ກິດ​ຂຶ້ນ​ກັບ​.

ວິວັດທະນາການ ແລະອະນາຄົດດ້ວຍ `constexpr`

ຕົ້ນ C++ TMP ມັກຈະຖືກວິພາກວິຈານສໍາລັບ syntax cryptic ແລະເວລາລວບລວມຊ້າ. ການຮັບຮູ້ນີ້, ຄະນະກໍາມະການມາດຕະຖານ C ++ ໄດ້ນໍາສະເຫນີຄຸນສົມບັດເວລາການລວບລວມທີ່ເປັນມິດກັບນັກພັດທະນາຫຼາຍຂຶ້ນ, ໂດຍສະເພາະແມ່ນ 'constexpr' ແລະ, ບໍ່ດົນມານີ້, 'consteval'. ຄຸນສົມບັດເຫຼົ່ານີ້ອະນຸຍາດໃຫ້ມີການຄໍານວນຫຼາຍຄັ້ງທີ່ຕ້ອງຂຽນ tricks ແມ່ແບບທີ່ສັບສົນໂດຍໃຊ້ syntax C++ ທີ່ຄຸ້ນເຄີຍ, ທີ່ຈໍາເປັນທີ່ປະຕິບັດໃນເວລາລວບລວມ. ຢ່າງໃດກໍ່ຕາມ, ວິທີການ TMP ແບບ Lisp ຍັງຄົງມີຄວາມກ່ຽວຂ້ອງສໍາລັບການຄິດໄລ່ຕາມປະເພດແລະສະຖານະການທີ່ຕ້ອງການການຄວບຄຸມພື້ນຖານທີ່ສຸດຕໍ່ຂະບວນການສ້າງຕົວແບບ. ຕອນນີ້ນັກພັດທະນາ C++ ທີ່ທັນສະໄຫມມີເຄື່ອງມືຕ່າງໆ, ຈາກ TMP ແບບດັ້ງເດີມໄປຫາຫນ້າທີ່ 'constexpr', ໃຫ້ພວກເຂົາເລືອກເຄື່ອງມືທີ່ເຫມາະສົມສໍາລັບວຽກແລະຂຽນ metaprograms ທີ່ສະອາດ, ຮັກສາໄດ້ຫຼາຍຂຶ້ນ.