PhantomData & typestate
Në shqip: PhantomData dhe gjendjet në tip
ShpjegimiSQ
PhantomData<T> i thotë kompajlerit që struct-i „përdor“ një tip pa e ruajtur. Me „typestate“, gjendja (p.sh. E_Hapur / E_Mbyllur) bëhet pjesë e tipit, dhe veprimet e gabuara s'kompajlohen fare.
EnglishEN
PhantomData<T> tells the compiler the struct “uses” a type without storing it. With “typestate”, the state (e.g. Open / Closed) becomes part of the type, and wrong operations don't even compile.
Si ta mendosh
Si një derë që s'të lejon ta hapësh pa e zhbllokuar më parë.
Lexoje në anglisht
Like a door that won't let you open it before you unlock it.