Բլոգ

Rust-ի soundness թերություն՝ կոդը դաշտի նշանակմամբ խախտում է 'static կյանքի սահմանափակումը

Նոր հայտնաբերված Rust-ի խնդիրը ցույց է տալիս, որ կովարիանտ դաշտի նշանակումը խախտում է կառուցվածքի 'static կյանքի պահանջը և Drop-ի կոդին հնարավորություն է տալիս կարճաժամկետ հղումները static ճանաչել և հեռացված հիշողությունը կարդալ։