static-analysis – Page 2 – Make Me Engineer

Tentative definitions in C and linking

May 16, 2022 by Tarik

See also What are extern variables in C. This is mentioned in the C standard in informative Annex J as a common extension: J.5.11 Multiple external definitions There may be more than one external definition for the identifier of an object, with or without the explicit use of the keyword extern; if the definitions disagree, … Read more

Why are explicit lifetimes needed in Rust?

May 10, 2022 by Tarik

The other answers all have salient points (fjh’s concrete example where an explicit lifetime is needed), but are missing one key thing: why are explicit lifetimes needed when the compiler will tell you you’ve got them wrong? This is actually the same question as “why are explicit types needed when the compiler can infer them”. … Read more