Something I implemented today: “is void”

['Herb Sutter', 'View All Posts Herb Sutter', 'Herb Sutter Is An Author', 'Speaker', 'A Technical Fellow At Citadel Securities. He Serves As Chair Of The Standard C', 'Foundation', 'Its Conference Cppcon', 'Served As Chair Of The Iso C', 'Standards Committee To'] Sutter’s Mill 2022-09-25 00:00:00

is the empty state for raw/smart pointers More generally, the default-constructed state T() is the empty state for all Pointer-like things including iterators, and this is already the way the Lifetime profile handles it: a Pointer is any type that can be dereferenced, and a default-constructed Pointer is considered its null/empty value (including that an STL iterator is treated identically to a default-constructed (null) raw or smart pointer) and you can already see this in cppfront’s cpp2util.h null test (currently at line 298).