Effective Type: Part 1
Comments
Ranked by a public rubric, not by votes: what a comment adds counts, not who wrote it. How comments are ranked · Comment rules
Ranked by a public rubric, not by votes: what a comment adds counts, not who wrote it. How comments are ranked · Comment rules
Summary
Martin Uecker's post explains C's effective type rules, which make accessing an object through an incompatible type undefined behavior and enable type-based alias analysis in compilers.