Papatono tauira tauira C++ kāhua Lisp

He Rerekē Momo Kaihanga Maama: Lisp-Style C++ Tauira Papahōtakameta

I roto i te whenua nui o te whanaketanga rorohiko, he rongonui a C++ mo tona kaha me te mahi. Heoi ano, kei roto i tana mahi whakahiato uaua kei roto tetahi tauira e ahua tauhou ana: tauira metaprogramming (TMP). Ka eke ki te tino arorau, ka tiimata a C++ TMP ki te ahua o te reo hootaka mahi i a ia ano, ka mahia katoatia i te wa whakahiato. Ko nga ritenga ki a Lisp, tetahi o nga reo whakamaoritanga tawhito me te tino whai mana, he tino whakamiharo, he hohonu. Ma tenei huarahi ka taea e nga kaiwhakawhanake te tango i nga tatauranga uaua me te arorau mai i te wa whakahaere ki te wa whakahiato, te hanga waehere tino pai me te momo-haumaru. Ko te mohio ki tenei huarahi ahua-Lisp he mea matua ki te whakatuwhera i te taumata hou o te tangohanga, he maapono e tino whakanuia ana e matou i Mewayz i te wa e hangai ana i nga punaha pakihi pakari.

Te Reo Papatono Tupono i Roto i te C++

Ko nga tauira C++ i hoahoa tuatahi mo te momo whakakapinga ngawari, penei i te hanga `Rarangi` ranei `Rarangi`. Heoi, ko te paerewa C ++, i runga i tana whai i te whanuitanga, i pohehe i hangaia he reo-iti-Turing-oti. Ko te tikanga ko te tikanga, ko nga tatauranga ka taea e te hotaka te mahi ka taea ano e te C++ compiler i te wa o te tukanga whakauru tauira. Na te kitenga o tenei kaha ka puta mai te kaupapa metaprogramming. I kitea ma te whakamahi i te motuhaketanga tauira, te recursion, me nga tawhā tauira, ka taea e te tangata te tuhi i nga papatono ka mahia e te kaitoi i te wa e hanga ana to tono. Ko tenei "reo" whakahiato-wa kaore he taurangi i roto i te tikanga tuku iho; ko tona ahua kei roto tonu i nga tawhā tauira, a ko ona hanganga mana kei runga i te whakahokinga me te whakahiato herenga.

Te awhi i te Hinengaro Mahi, He rite te Hinengaro

Kia pai ai te tuhi i nga papatono meta tauira, me whai whakaaro te tangata ki te kaupapa mahi, he rite tonu ki te kaitoha Lisp. Karekau he ahua rerekee, he porowhita ranei i roto i te tikanga matarohia. Engari, ka tutuki nga mea katoa na roto i te recursion me te raweke o nga momo me te whakahiato-waa tonu. Whakaarohia he tauira ngawari: te tatau i te tauwehenga. I roto i te Lisp, ka whakamahi pea koe i te mahi recursive. I roto i te C++ TMP, he tino rite te huarahi, engari ka mahi me nga momo me nga uara.

• Raraunga Korekore: Pērā i a Lisp, ko te raraunga kei TMP he kore e taea te huri. Ina whakaritea he tawhā tauira, kaore e taea te whakarereke; ka taea anake e koe te hanga "tauira" hou me nga tawhā rereke.
• Whakahokitanga hei Tauruatanga: I te mea karekau he koropiko `mo`, `while` ranei, ko te hokinga te tikanga tuatahi mo te tukurua i nga mahi. Ka karanga te tauira ki a ia ano me nga tawhā kua whakahoutia kia tae ra ano he take turanga (ma te motuhake tauira).
• Whakawhanawete Momo, Ehara i te Uara anake: Ko te ahua tino kaha o TMP ko tona kaha ki te tatau me nga momo. Ka taea e koe te hanga rarangi momo, te tirotiro mo nga momo momo, me te kowhiri i nga momo i runga i nga tikanga, ka taea ai te whakamahi i nga tikanga whakamaoritanga kaha.

Ka kaha ake tenei tauira ki te whakaaro rerekee, ko te mea e aro nui ana ki te arorau whakapuakanga i runga i nga mahi whakahirahira, e arai atu ai ki te waehere pakari me te aukati hapa.

"Ko te kaupapa metaprogramming he reo mahi kua mau ki roto i te C++. He taputapu kaha, engari me whai whakaaro ki nga kaupapa i roto i te huarahi rereke-he huarahi he maamaa ake me te pangarau." — He mema Komiti Paerewa C++

Nga Tono Mahi i roto i te Pūnaha Tauira

Ahakoa ko te tauira takenga he matauranga, ko te tino mana o te TMP ahua Lisp e whiti ana i roto i nga tono whaihua e whai hua ana i nga tangohanga kore-whakahaere-i runga ake. Hei tauira, ka taea te whakamahi ki te whakaputa i nga hanganga raraunga tino arotau mo tetahi momo, ki te whakamana i nga whirihoranga uaua i te wa whakahiato, ki te whakatinana tauira hoahoa maamaa penei i te Hoahoa Kaupapa-a-kaupapa. I roto i te horopaki o te papaa rite Mewayz, e whai ana kia waiho hei OS pakihi modular, he mea tino nui enei tikanga. Ka taea e maatau te hanga i nga waahanga matua he tino ngawari me te tino pai. Ka taea te hoahoa API o te kōwae ma te whakamahi i te TMP hei whakamana i nga ture pakihi me nga hononga raraunga i te taumata momo, ka mau i nga whirihoranga pohehe i mua noa i te tukunga o te rorohiko. He mea nui tenei haumaru-wa-whakahiato mo te hanga i nga punaha pono, whakaineine e whakawhirinaki ana nga pakihi.

Te Kunenga me te heke mai me te `constexpr`

Ko te C++ TMP moata i whakahēhia mo tana wetereo huna me te puhoi o te wa whakahiato. I runga i te mohiotanga ki tenei, kua whakauruhia e te komiti paerewa C++ etahi atu waahanga whakahiato-whakahoahoa-whakawhanake, ko te mea nui ko te `constexpr` me te mea tata nei, ko te `consteval`. Ka taea e enei ahuatanga te maha o nga tatauranga e kii ana i nga tinihanga tauira uaua ki te tuhi ma te whakamahi i te wetereo C++ e tino mohio ana ka mahia i te wa whakahiato. Heoi, ko te huarahi TMP ahua-Lisp e whai kiko tonu ana mo nga tatauranga momo-momo me nga ahuatanga e kii ana i te mana tino nui ki runga i te tukanga whakauru tauira. Ko te kaiwhakawhanake C++ hou inaianei he momo taputapu, mai i te TMP tuku iho ki nga mahi `constexpr`, ka taea e ratou te kowhiri i te taputapu tika mo te mahi me te tuhi i nga papatono meta ka taea te tiaki.