数据结构应该总是“拥有”包含的对象吗？

这个问题是由用户提到的以下 question 的第二个答案引发的：

决定您的容器是否“拥有”所包含的对象。

我能看到一个数据结构不拥有它指向的对象的唯一情况是它指向的对象是不可变的，并且该对象由一个比数据结构寿命更长的容器管理。在这种情况下，您可以通过防止对象的任何深度复制来节省内存。尽管如此，这是否会被视为过早优化，因为您必须确保数据结构仅指向不可变对象？