O Python i C++: Pam mae'r Bwlch yn Teimlo Mor Fawr

Mae pob rhaglenydd Python sy'n cyffwrdd C++ am y tro cyntaf yn cael yr un adwaith: pam mae argraffu "hello world" yn gofyn am yr holl ddefod hon? Nid dim ond cystrawen yw'r naid. Mae'n newid yn y ffordd y disgwylir i ti feddwl am atgoffa, mathau, a beth yn union y mae'r cyfrifiadur yn ei wneud tra bod dy raglen yn rhedeg.

Beth oedd Python yn ei guddio oddi wrthot ti

Mae Python yn rhedeg ar ben dehonglydd (CPython, yn y rhan fwyaf o achosion) sy'n trin dyrannu atgoffa, casglu sbwriel, a gwirio mathau y tu ôl i'r llenni. Pan ysgrifenni di x = 5 ac yna x = "hello", mae Python yn codi ei ysgwyddau ac yn ailneilltuo'r enw. Dim cwynion, dim glanhau gofynnol ar dy ran.

Nid yw C++ yn gwneud unrhyw un o hynny ar dy gyfer. Pan ysgrifenni di int x = 5;, rwyt ti wedi cadw darn sefydlog o atgoffa wedi'i faint ar gyfer integer. Ni alli di ollwng llinyn iddo yn nes ymlaen. A phan rwyt ti'n dyrannu atgoffa'n ddeinamig gyda new, rwyt ti'n gyfrifol am ei ryddhau gyda delete — anghofio hynny, a mae gennym ti ddraenen atgoffa. Anghofio gwirio a yw pointer yn null cyn ei ddatgelu, a mae gennym ti segfault. Mae Python yn masnachu perfformiad am rwydau diogelu. Mae C++ yn rhoi'r sisyrn i ti ac yn ymddiried na fyddi di'n rhedeg.

Mae teipio statig yn newid sut ysgrifenni di god, nid dim ond sut y datgani di newidynnau

Mewn Python, nodweddau swyddogaeth yw awgrymiadau. Mewn C++, maent yn gontractau a orfodwir ar amser llunio:

int add(int a, int b) {
    return a + b;
}

Alwada add(3, "four") a'r crwth yn stopio cyn i'r rhaglen redeg erioed. Byddai Python yn hapus i ti ysgrifennu def add(a, b): return a + b, yna byrstio adeg rhedeg y foment y mae rhywun yn pasio mathau anghymharus iddo. Nid yw hyn yn anghyfleustra bychan — mae'n athroniaeth wahanol am pryd y dylai gwallau ddod i'r wyneb. Mae C++ eisiau i ti ddal bagiau ar amser llunio. Mae Python yn iawn eu dal mewn cynhyrchiad os na ysgrifennaist ti brofion.

Rheoli atgoffa yw'r cwricwlwm gwirioneddol

Y naid cysyniadol unigol fwyaf yw deall y pentwr yn erbyn y bentwr. Mae newidynnau lleol a pharamedrau swyddogaeth fel arfer yn byw ar y pentwr, ac maent yn glanhau eu hunain yn awtomatig pan fydd swyddogaeth yn dychwelyd. Mae unrhyw beth a grëwyd gyda new yn byw ar y bentwr, ac mae'n aros yno nes dy fod ti'n ei ddileu'n bendant delete neu ei lapio mewn pointer clyfar.

Mae C++ modern (C++11 ymlaen) yn rhoi std::unique_ptr a std::shared_ptr i ti yn benodol fel na fydd raid i ti reoli pwyntyrau amrwd â llaw cyn aml:

std::unique_ptr<int> ptr = std::make_unique<int>(42);

Mae'r gwrthrych hwn yn dinistrio ei hun pan fydd yn mynd allan o'i gwmpas — dim delete â llaw angen. Os wyt ti'n dysgu C++ yn 2024, tro'n syth i bwyntyrau clyfar a phatrymau RAII (Caffael Adnodd Yw Cychwyn) yn hytrach nag idio drwy ymarferion rhifyddeg pwyntyr amrwd a fwriadwyd ar gyfer cwricwlwm 1998. Byddi di dal angen deall pwyntyrau'n gysyniadol, ond nid oes angen i ti ysgrifennu cod malloc/free i brofi hynny.

Mae llunio yn ddolen adborth wahanol

Mae Python yn rhoi adborth ar unwaith: rhedeg y sgript, gweld y gwall, ei drwsio, rhedeg eto. Mae C++ yn mewnosod cam crwth rhyngddo, ac mae'r cam hwnnw yn dal categori cyflawn o wallau y mae Python yn ohirio i amser rhedeg. Llunio gyda g++ -Wall -Wextra program.cpp -o program a thalu sylw i bob rhybudd fydd yn arbed oriau o dddiweddaru dryslyd yn ddiweddarach. Mae camdaro mathau, newidynnau heb eu cychwyn, a phroblemau cymharu wedi'u llofnodi/heb eu llofnodi i gyd yn ymddangos yma yn hytrach nag fel ymddygiad rhedeg dirgelwch. Y trawiad yw cyflymder dychwelyd: mae dy ddolenni golygu-crwth-rhedeg yn arafach nag ysgript golygu-rhedeg Python, yn enwedig ar basgenni mwy lle gall adeiladu llawn gymryd munudau. Dyna pam mae offer fel ccache ac adeiladau cynyddol trwy CMake yn bwysig unwaith y bydd dy brosiectau yn tyfu tu hwnt i ychydig ffeiliau.

Ble mae hyn yn bwysig mewn ymarfer gwirioneddol

Nid wyt ti'n dysgu C++ i ysgrifennu'r un rhaglenni a ysgrifennaist ti mewn Python, yn gynt. Rwyt ti'n ei ddysgu oherwydd mae rhai problemau eu hangen: peiriannau gemau gyda cyllidebu ffrâm llym, systemau mewnosod gyda chilobytes o RAM, systemau masnachu amledd uchel lle mae microsecondau yn costio arian, neu gydrannau system weithredol sy'n eistedd islaw dehonglydd Python ei hun. Os wyt ti'n gwneud gwaith diogelwch, mae deall modelwaith atgoffa C++ hefyd yn egluro'n uniongyrchol sut y mae gorlifoedd byffer a thdefnyddio-ar-ôl-rhyddid agored yn digwydd ar lefel deuaidd — gwybodaeth y mae tyniadau Python yn ei guddio'n weithredol oddi wrthot ti.

Y cyngor gonest: paid â cheisio gwneud i C++ deimlo fel Python. Gad iddi fod yn anghyfforddus am ychydig. Y diosgwydd yw'r pwynt — mae'n dysgu i ti beth y mae dy ddehonglydd Python wedi bod yn ei wneud ar dy ran yr amser i gyd.

Os yw'r math hwn o gymhariaeth iaith-i-iaith yn ddefnyddiol, mae gan Korra Studio segmentau cysylltiedig ar ddiogelwch atgoffa, hanfodion rhaglennu systemau, ac astudio peiriannau gwrthdro sy'n adeiladu ar yr union gysyniadau hyn.