Odpověď na názor
Odpovídáte na názor k článku Rust v jádře má první zranitelnost. Názory mohou přidávat pouze registrovaní uživatelé. Nově přidané názory se na webu objeví až po schválení redakcí.
-
Tohle je teoreticky neprůstřelné, ale prakticky nepoužitelné. Znamená to, že každý unsafe blok musí zkontrolovat úplně všechno a navíc to ošetřit stylem, aby safe kód neměl šanci nic podělat.
Tenhle přístup povede k tomu, že unsafe bloky budou růst a požírat veškerý kód, co na ně může mít nějaký vliv.
Nebo by se to dalo přeformulovat i tak, že za každý bug v safe části kódu může unsafe kód, který to tomu safe kódu dovolil. V důsledku by byl každý unsafe blok buď nekompletní nebo chybný ;)
Stačí kouknout pod čím diskutujeme. Opravili safe kód. Nepřesunuli všechny kontroly do unsafe kódu. Protože by to mimo jiné kolidovalo s požadavkem mít unsafe kódu co možná nejmíň.
19. 12. 2025, 14:58 editováno autorem komentáře
