Programim dhe zhvillim, javascript, python, php, html

Si të përdorni konceptet C++20 për të kontrolluar disa kufizime në vetë shabllonin

Më falni për titullin e paqartë, nuk gjeta fjalët e duhura për ta shprehur. Po përpiqem të detyroj një klasë të përcaktojë disa funksione/operatorë që të jenë të sakta. për shembull ForwardIterator kërkohet që të ketë disa operatorë përndryshe duhet të marr një gabim përpiluesi. E kam bërë pyetjen këtu dhe mua m'u dha një metodë me trashëgimi, funksionon në mënyrë perfekte, por konceptet C++20 duken më intuitive dhe japin gabime më të mira. Ideja fillestare është:

template <typename T> concept is_ForwardIterator= requires(T x, T y)
{
    x == y;
};
template <typename T>
requires  is_ForwardIterator<T>
struct ForwardIterator {
};

Pastaj, sa herë që dua të zbatoj një përsëritës përpara, trashëgoj nga ForwardIterator:

struct MyCustomIterator
   : public ForwardIterator <MyCustomIterator> 
{
  bool operator ==(const MyCustomIterator& other) const;
};

Por përpiluesi vazhdon të ankohet se MyCustomIterator nuk e plotëson kërkesën:

error: constraints not satisfied for class template 'ForwardIterator' [with T = MyCustomIterator]
note: because 'MyCustomIterator' does not satisfy 'is_ForwardIterator'
template <typename T> requires is_ForwardIterator<T> struct ForwardIterator {
                               ^
note: because 'x == y' would be invalid: invalid operands to binary expression ('MyCustomIterator' and 'MyCustomIterator')
        x == y;
c++ oop c++20 c++-concepts
28.12.2020

  • Cili është qëllimi i ForwardIterator? Vetëm një mënyrë për të etiketuar dhe kontrolluar llojin e personalizuar për plotësimin e kufizimeve? Dhe nëse po, nëse lloji duhet të zgjedhë këtë kontroll, pse nuk mund të pohohet vetëm statik mbi llojin pas përkufizimit të plotë të klasës? class MyCustomIterator{}; static_assert(is_ForwardIterator<MyCustomIterator>); 28.12.2020
  • A jeni të vetëdijshëm se parametri i mbingarkesës == duhet të jetë një parametër referencë const, dhe jo një parametër referencë i ndryshueshëm? 28.12.2020
  • Është pak e çuditshme të shtosh kufizime në një klasë në përkufizimin e saj. Zakonisht ju dëshironi të kontrolloni kufizimet kur përdoret klasa. 28.12.2020

Përgjigjet:


1

Në CRTP, klasa e prejardhur është e paplotë, kështu që kontrollimi i vetive të saj nuk është i mundur.

Një mënyrë për të kontrolluar ndërfaqen me tipare/koncept është thjesht static_assert pas klasës:

template <typename T> concept is_ForwardIterator= requires(T x, T y)
{
    x == y;
    // ...
};

struct MyCustomIterator
{
    bool operator ==(const MyCustomIterator& other) const;
    // ...
};
static_assert(is_ForwardIterator<MyCustomIterator>);
28.12.2020

2

Kur përpiqeni të përdorni CRTP, gjatë përpilimit të shabllonit të klasës bazë, klasa e prejardhur është e paplotë. Si i tillë, bërja e shumicës së pyetjeve në lidhje me sjelljen e tij është e pamundur. Kjo përfshin shumicën e arsyeve për të përdorur një koncept.

Ajo që po përpiqeni të bëni nuk mund të bëhet në mënyrë të arsyeshme në këtë mënyrë. Ju mund të keni nevojë për një klasë tiparesh ose diçka tjetër, në varësi të qëllimit tuaj.

28.12.2020

3

Problemi është se aty ku specifikohet kufizimi në ForwardIterator, klasa T (d.m.th., MyCustomIterator) është e paplotë - ekziston vetëm si emër i klasës.

Ju duhet të vononi kontrollin e kufizimit derisa MyCustomIterator të përfundojë. Një mënyrë për ta bërë këtë është një kufizim për destruktorin i ForwardIterator:

template <typename T>
struct ForwardIterator {
    ~ForwardIterator() requires is_ForwardIterator<T> {}
};

Problemi i vetëm këtu është se kjo nuk do të kontrollohet derisa të ketë një arsye për të instancuar destruktorin ~ForwardIterator, d.m.th. nëse nuk e instantoni një objekt MyCustomIterator, ai nuk do të kontrollohet. Por kjo nuk duhet të jetë problem në praktikë.

28.12.2020
Materiale të reja
Masterclass Coroutines: Kapitulli-3: Anulimi i korutinave dhe trajtimi i përjashtimeve.
Mirë se vini në udhëzuesin gjithëpërfshirës mbi Kotlin Coroutines! Në këtë seri artikujsh, unë do t'ju çoj në një udhëtim magjepsës, duke filluar nga bazat dhe gradualisht duke u thelluar në..
Faketojeni derisa ta arrini me të dhënat false
A e gjeni ndonjëherë veten duke ndërtuar një aplikacion të ri dhe keni nevojë për të dhëna testimi që duken dhe duken më realiste ose një grup i madh të dhënash për performancën e ngarkesës...
Si të përdorni kërkesën API në Python
Kërkesë API në GitHub për të marrë depot e përdoruesve duke përdorur Python. Në këtë artikull, unë shpjegoj procesin hap pas hapi për të trajtuar një kërkesë API për të marrë të dhëna nga..
Një udhëzues hap pas hapi për të zotëruar React
Në këtë artikull, do të mësoni se si të krijoni aplikacionin React, do të mësoni se si funksionon React dhe konceptet thelbësore që duhet të dini për të ndërtuar aplikacione React. Learning..
AI dhe Psikologjia — Pjesa 2
Në pjesën 2 të serisë sonë të AI dhe Psikologji ne diskutojmë se si makineritë mbledhin dhe përpunojnë të dhëna për të mësuar emocione dhe ndjenja të ndryshme në mendjen e njeriut, duke ndihmuar..
Esencialet e punës ditore të kodit tim VS
Shtesat e mia të preferuara - Git Graph 💹 Kjo shtesë është vërtet e mahnitshme, e përdor përpara se të filloj të punoj për të kontrolluar dy herë ndryshimet dhe degët më të fundit, mund të..
Pse Python? Zbulimi i fuqisë së gjithanshme të një gjiganti programues
Në peizazhin gjithnjë në zhvillim të gjuhëve të programimit, Python është shfaqur si një forcë dominuese. Rritja e tij meteorike nuk është rastësi. Joshja e Python qëndron në thjeshtësinë,..