C++ template instantiations are exported as weak linker symbols. It's just that the linker elides all of the implementations.

Yes and dead code elimination should also be able to get rid of much of the code duplication even before it reaches the linker.