3 ms·
I'm skeptical. Did they really make the type information stored in the ABI that advanced? Storing that kind of information outside of name mangling is a nontriv
by wfunction 12y ago
I'm skeptical. Did they really make the type information stored in the ABI that advanced? Storing that kind of information outside of name mangling is a nontrivial feat (i.e. they'd need to rewrite the linker) and there's not a whole lot of information you can pack into name mangling.
- wtetzner 12y agoI believe it's stored as the value of a special symbol in the object. I'm pretty sure I read about it somewhere, but I can't find the link now. Does anyone know where to read about how Rust handles this?
- tomjakubowski 12y agoThey aren't stored in the mangled names. Types and other metadata on items are encoded into a special metadata file that lives in the archive.
- adrusi 12y agoIt basically generates a header file from the source code and then stores it alongside the object data containing the type information of all public items.
- wfunction 12y agoSo there's no run-time dynamic linking? Or is it possible, but only with additional metadata files present? Or maybe the assumptions are statically verified according to the interface and it is assumed that they are never broken by clients?