Lisp-sitaila C ++ sipinga meta polokalama

Ngaahi Fehuʻi ʻoku Faʻa ʻEke

Ko ha fa'ahinga kehekehe 'o e me'a fakaofo 'o e Compiler: Lisp-Style C ++ Tepile Metapolokalama

'I he fonua lahi 'o e fakalakalaka 'o e polokalama fakakomipiuta, 'Oku 'iloa 'a e C ++ 'i hono malohi raw mo e fakahoko. Ka, tucked 'i loto 'i hono founga faingata'a 'o e fakatahataha'i 'oku 'i ai ha fakatata 'oku ongo'i meimei muli: metaprogramming 'o e sipinga (TMP). 'I hono 'ave ki hono tu'unga fakalokiloki, 'Oku kamata ke hange 'a e C ++ TMP ko ha lea fakapolokalama ngaue 'i hono totonu 'o'ona, 'a e taha 'oku ne fakahoko kakato 'i he compile-time. Ko e ngaahi meʻa tatau mo e Lisp, ko e taha ʻo e ngaahi lea fakapolokalama motuʻa mo tākiekina lahi tahá, ʻoku fakaofo mo loloto. 'Oku faka'ata 'e he founga ko 'eni 'a e kau developers ke offload 'a e ngaahi fakafuofua faingata'a mo e logic mei he taimi lele ki he taimi-fakatahataha'i, 'o fa'u 'a e code 'oku fu'u ola lelei mo e fa'ahinga-malu. Ko e mahino ki he founga ko 'eni 'o e Lisp-style ko e kī ia ki hono fakaava ha tu'unga fo'ou 'o e abstraction, ko ha tefito'i mo'oni 'oku tau fakamahu'inga'i loloto 'i he Mewayz 'i he taimi 'oku fa'u ai 'a e ngaahi sisitemi pisinisi fefeka, modular.

Ko e Lea Fakapolokalama Fakatu'upakee 'i loto 'i he C++

Na'e 'uluaki fa'u 'a e ngaahi sipinga 'o e C++ ki he fetongi 'o e fa'ahinga faingofua, hange ko hono fa'u 'o ha `Lisi` pe ko ha `Lisi`. Ka neongo ia, ko e tu'unga C ++, 'i he'ene tuli ki he generality, na'e fakatupu fakatu'upakee ha lea si'isi'i 'o e Turing-kakato. 'Oku 'uhinga 'eni 'i he theoretically, ha fa'ahinga fakafuofua 'e lava ke fakahoko 'e ha polokalama 'e lava foki ke fakahoko 'e he C ++ compiler lolotonga 'a e founga 'o e instantiation 'o e sipinga. Ko hono ma'u 'o e malava ko 'eni na'e iku ia ki hono fanau'i 'o e metaprogramming 'o e sipinga. Na'e 'ilo'i 'i hono faka'aonga'i 'o e sipinga 'o e makehe, recursion, mo e ngaahi fakangatangata 'o e sipinga, 'e lava ke tohi 'e ha taha 'a e ngaahi polokalama 'oku fakahoko 'e he compiler lolotonga hono langa ho'o tohi kole. Ko e "lea" ko 'eni 'o e taimi fakatahataha'i 'oku 'ikai ha ngaahi kehekehe 'i he 'uhinga tukufakaholo; 'oku fakakakano'i hono tu'unga 'i he ngaahi fakangatangata 'o e sipinga 'iate kinautolu pe, pea 'oku makatu'unga hono ngaahi fokotu'utu'u pule 'i he recursion mo e fakatahataha'i 'o e tu'unga.

Ko hono 'uma ki ha 'atamai 'oku ngaue, hange ha Lisp

Ke tohi lelei 'a e ngaahi metaprograms 'o e sipinga, kuo pau ke 'ave 'e ha taha ha fakakaukau fakapolokalama ngaue, 'o hange ko ha tokotaha polokalama Lisp. 'Oku 'ikai ha tu'unga mutable pe loops 'i he 'uhinga fakakalasi. Ka, 'oku a'usia 'a e me'a kotoa pe 'o fakafou 'i he recursion mo e manipulation 'o e ngaahi fa'ahinga mo e ngaahi tu'uma'u 'o e taimi-compile. Fakakaukau ki ha sīpinga faingofua: ko hono fikaʻi ha factorial. 'I he Lisp, te ke lava 'o faka'aonga'i ha ngaue recursive. 'I he C++ TMP, 'oku fakaofo 'a e founga 'oku faitatau, ka 'oku ngaue ia mo e ngaahi fa'ahinga mo e ngaahi mahu'inga.

Ngaahi Ngaue'aki 'Aonga 'i ha Sisitemi Modular

Lolotonga 'oku fakaako 'a e sipinga factorial, 'oku ulo 'a e malohi mo'oni 'o e Lisp-style TMP 'i he ngaahi polokalama 'aonga 'oku nau ma'u 'aonga mei he abstractions 'o e zero-runtime-'olunga. Hange ko 'eni, 'e lava ke faka'aonga'i ia ke fakatupu 'a e ngaahi fokotu'utu'u 'o e fakamatala optimized ma'olunga 'oku pau ki ha fa'ahinga kuo 'oatu, ke fakamo'oni'i 'a e ngaahi configurations faingata'a 'i he taimi compile-, pe ke fakahoko 'a e ngaahi founga tisaini fakapotopoto hange ko e Policy-Based Design. 'I he tu'unga 'o ha tu'unga hange ko e Mewayz, 'a ia 'oku fakataumu'a ke hoko ko ha OS pisinisi modular, 'Oku mahu'inga 'aupito 'a e ngaahi founga ko 'eni. 'Oku nau faka'ata kitautolu ke langa hake 'a e ngaahi konga tefito 'oku fakatou incredibly 'a e fe'unu'aki mo e makehe 'a e ola lelei. 'E lava ke fa'u 'a e API 'o ha module 'o faka'aonga'i 'a e TMP ke fakamālohi'i 'a e ngaahi tu'utu'uni fakapisinisi mo e ngaahi fetu'utaki 'o e fakamatala 'i he tu'unga 'o e fa'ahinga, puke 'a e ngaahi misconfigurations 'e lava ke hoko fuoloa kimu'a pea toki fakahoko 'a e polokalama fakakomipiuta. Ko e malu ko 'eni 'o e taimi fakatahataha'i 'oku mahu'inga ia ki hono langa 'o e ngaahi sisitemi falala'anga, scalable 'oku fakafalala ki ai 'a e ngaahi pisinisi.

Ko e Fakatupu mo e Kaha'u mo e `constexpr`

Na'e fa'a fakaanga'i 'a e C ++ TMP 'i he kamata'anga 'o 'ene syntax cryptic mo e taimi 'o e fakatahataha'i 'o e tuai. 'I hono 'ilo'i 'eni, kuo fakafe'iloaki 'e he komiti tu'unga mo'ui 'o e C ++ talu mei ai 'a e ngaahi fotunga 'o e taimi-fakatahataha'i 'oku lahi ange 'a e developer-fakakaume'a, tautautefito ki he `constexpr` pea, kimui ni mai, `consteval`. 'Oku faka'ata 'e he ngaahi fotunga ko 'eni 'a e ngaahi fakafuofua lahi na'e fie ma'u 'i ha taimi 'a e ngaahi founga faingata'a 'o e sipinga ke tohi 'o faka'aonga'i 'a e maheni, 'oku fie ma'u 'a e C ++ syntax 'oku fakahoko 'i he taimi 'o e compile-time. Ka neongo ia, 'oku kei fe'unga pe 'a e founga 'o e Lisp-style TMP ki he ngaahi fakafuofua 'oku makatu'unga 'i he fa'ahinga mo e ngaahi tu'unga 'oku fie ma'u 'a e pule tefito taha ki he founga 'o e instantiation 'o e sipinga. Ko e developer C++ fakaonopooni 'oku 'i ai 'a e ngaahi me'angaue kehekehe, mei he TMP tukufakaholo ki he ngaahi ngaue 'o e `constexpr`, 'o faka'ata kinautolu ke nau fili 'a e me'angaue totonu ki he ngaue pea tohi 'a e ngaahi metaprograms 'oku ma'a ange, mo tauhi lahi ange.