C++ Alliance təşkilatının prezidenti, C++ dilinə Rust dilində tətbiq olunan təhlükəsiz yaddaş idarəetmə imkanlarına bənzər uzantılar əlavə edəcək spesifikasiyanın hazırlanması üzərində işləməyə başladığını elan etdi. Layihə üçün Sean Baxter, Circle adlı eksperimental C++ kompilyatorunun müəllifi cəlb edilib. Bu, C++ kodunun təhlükəsizliyini artırmağa yönəlmiş ideyaları irəlilətmək məqsədindədir. Layihə çərçivəsində Sean, Rust dilində təklif olunan təhlükəsizlik tədbirlərinin tətbiqinin imkanlarına dair bir sənəd yayımlayıb, həmçinin C++ dilinə təhlükəsiz kodu artıran uzantıların əlavə edilməsi ilə bağlı təkliflər irəl sürmüşdür.
İddia olunur ki, bu təşəbbüs inkişaf etdiricilər arasında təhlükəsiz proqramlaşdırma metodlarına artan tələbat nəticəsində başlamışdır. Bu, C++ dilinə yaddaşla işləyərkən ortaya çıxan, məsələn, artıq sərbəst buraxılmış yaddaşa müraciət və ayrılmış buffer-ların sərhədini aşma kimi yaygın xətalardan qorunmaq üçün yeni imkanlar inteqrasiya etməyə yönəlmişdir. Dəyişikliklər, mövcud "təhqir olunmamış" kodla uyğunluğu qorumaq şərti ilə təhlükəsiz metodlara layihələrin mərhələli olaraq keçidini təmin edəcək opsiyaların inkişafı kimi irəliləyir.
Yaddaşın təhlükəsizliyini təmin etmək üçün təklif edilən mexanizmlər kompilyasiya mərhələsində həyata keçirilir və tullantı toplayıcısı istifadə edən dillərə məxsus əlavə xərclər yaratmır. Təhlükəsizliyin təminatının əsas təklif olunan metodları arasında obyekt sahibliyinin izlənməsi, dəyişənlərin borc yoxlayıcısı (borrow checker), təhlükəsiz kontekstdən (safe) istifadə edilməsi və std2::send və std2::sync interfeyslərinin yaradılması qeyd edilir. İş, yaddaşla təhlükəsiz işləməyi təmin edən alqoritmlərin və məlumat strukturlarının realizasiyasını təklif edən standart kitabxananın müdafiə variantının yaradılmasını da əhatə edir.
Mənbə: opennet.ru
