同じ型に対して一つのインスタンスしか存在しないことが保証されてる？

その認識です。