Nu am de gand sa smulg cutia pentru ca este inca potrivita pentru scopul propus, dar pe masura ce trece timpul, aceasta va deveni din ce in ce mai departe de evolutia Rust, astfel incat utilizatorii sunt incurajati sa exploreze alte solutii. De asemenea, nu voi combina nicio cerere de extragere, deoarece codul este suficient de complicat incat nu mai am incredere in capacitatea mea de a le examina eficient. Inchirierea poate fi considerata „inghetata” in starea sa actuala, iar orice dezvoltare ulterioara va trebui sa aiba loc sub o furculita pentru oricine doreste sa o faca.
Documentatie
Uneori se poate intampla in timpul proiectarii unui API ca ar fi convenabil, sau chiar necesar, sa permiti campurilor dintr-o structura sa detina referinte la alte campuri din aceeasi structura. Conceptul de proprietate si imprumut al lui Rust este puternic, dar nu poate exprima inca un astfel de scenariu.
Crearea manuala a unei astfel de structuri ar necesita cod nesigur pentru stergerea parametrilor de viata din tipurile de camp. Accesarea directa a campurilor ar fi, in consecinta, complet nesigura. Aceasta biblioteca abordeaza aceasta problema, permitand accesul la campurile interne numai in circumstante atent controlate, prin inchideri care sunt delimitate de durata de viata generica pentru a preveni infiltrarea sau exfiltrarea oricaror date cu o durata de viata incorecta. Pe scurt, in timp ce structul utilizeaza intern cod nesigur pentru a stoca campurile, interfata expusa consumatorului structului este complet sigura. Implementarea acestei interfete este subtila si detaliata, de unde macro-ul pentru automatizarea procesului.
API-ul acestei cutii consta din macro-ul de inchiriere care genereaza structuri auto-referentiale sigure, cateva exemple de instantieri pentru a demonstra API-ul furnizat de astfel de structuri (a se vedea exemplele) si un modul de instantieri premade pentru a acoperi cazurile de utilizare obisnuite (a se vedea comun) .
Un caz in care aceasta cutie este utila este atunci cand se lucreaza cu libloading. Acea cutie ofera o structura de biblioteca care defineste metode pentru a imprumuta simboluri de la aceasta. Aceste simboluri sunt delimitate de durata de viata a bibliotecii si, prin urmare, sunt considerate un imprumut. In circumstante normale, nu s-ar putea stoca atat biblioteca, cat si simbolurile intr-o singura structura, dar macro-ul definit in aceasta cutie va permite sa definiti o structura care este capabila sa le stocheze simultan, astfel:
el mejor video porno videos porno corridas
porno abuela sex porne
porno incesto asiatico videosdeincesto
videos porno corridas madura española con joven
tios desnudos porno agresivo
muy jovencitas porno hentai scat
madres viciosas colegialas cachondas
lesbianas maduras españolas penes de abuelos
casadas cachondas creampie abuelas
travestis meando española folla
comiendo polla escuchar relatos porno
sexo playa nudista corrida boca
chochitos jovencitos corridas internas peludas
porno forzadas como folla mi vecina
pilladas desnudas pornotrans
coñitos sexo con viejas
forzadas a follar videos porno casero españa
cine xxx miakalifa
incesto italiano porno porno gay chino
cerdas com gratis porno viola a su madre
}}} fn main () {let lib = libloading :: Library :: new (“my_lib.so”). unwrap (); // Deschideti dylib-ul nostru. if let Ok (rs) = rent_libloading :: RentSymbol :: try_new (Box :: new (lib), | lib | nesigur {lib.get :: <extern “C” fn ()> (b “my_symbol”)}) // Incarcarea simbolurilor este nesigura. {(* rs) (); // Apelati functia noastra}; }
In acest fel putem stoca atat Biblioteca, cat si Simbolul care o imprumuta intr-o singura structura. Putem chiar sa spunem structurii noastre de a derefera indicatorul functional in sine, astfel incat sa il putem numi cu usurinta. Acest lucru este legal, deoarece indicatorul functiei nu contine nicio durata de viata speciala introdusa de structura de inchiriere in semnatura sa de tip, ceea ce inseamna ca reborroring nu le va expune lumii exterioare. Ca o parte, blocul nesigur pentru incarcarea simbolului este necesar, deoarece actul de incarcare a unui simbol dintr-un dylib este nesigur si nu are legatura cu inchirierea.
Exista cateva limitari ale implementarii actuale din cauza erorilor sau a caracteristicilor in asteptare din rugina. Acestea vor fi ridicate odata ce limba de baza o permite.
- In prezent, structura de inchiriere in sine poate lua parametrii de viata numai in anumite conditii. Aceste conditii sunt dificil de descris pe deplin, dar, in general, un parametru de viata al structurii de inchiriere in sine trebuie sa apara „in afara” oricarei vieti speciale de inchiriere in semnaturile de tip ale campurilor struct. Cu alte cuvinte, inlocuirea duratei de inchiriere cu „static” trebuie sa produca in continuare tipuri legale, altfel nu se va compila. In cele mai multe situatii, acest lucru este in regula, deoarece majoritatea cazurilor de utilizare pentru aceasta biblioteca implica oricum stergerea tuturor duratei de viata, dar nu exista niciun motiv pentru care elementul principal al unei structuri de inchiriere nu ar trebui sa poata lua parametri arbitrari pe durata vietii. In prezent, acest lucru este imposibil de suportat din cauza lipsei unei durate de viata nesigure sau a unei caracteristici echivalente.
- Campurile de prefix si campul de cap, daca ESTE subinchiriat, trebuie sa aiba forma Foo <T> unde Foo este un container StableDeref sau inchirierea nu va putea ghici corect Deref :: Target de tip. Daca utilizati un tip personalizat care nu se potriveste acestui model, puteti utiliza atributul target_ty din camp pentru a specifica manual tipul tinta. Daca campul principal NU este un subinchiriat, atunci acesta poate avea orice forma atata timp cat este StableDeref.
- Structurile de inchiriere pot avea maximum 32 de durate de inchiriere, inclusiv durate de inchiriere tranzitive de la subinchirieri. Aceasta limitare este rezultatul necesitatii de a implementa o noua trasatura pentru fiecare aritate de inchiriere. Aceasta limita poate fi usor marita daca este necesar.
- Referintele primite in inchiderile constructorului nu au in prezent relatia lor de-a lungul vietii exprimate in limite, deoarece durata de viata HRTB nu accepta in prezent limite. Aceasta nu este o gaura de soliditate, dar impiedica compilarea unor utilizari valabile altfel.
