由于元组是不可变的,为什么切片它们会复制而不是视图？

据我所知,元组和字符串是不可变的,允许优化,例如重新使用不会改变的内存.但是,一个明显的优化,使得元组切片引用与原始元组相同的内存,不包含在python中.

我知道这个优化不包括在内,因为当我计算以下函数时,所用的时间就像O(n ^ 2)而不是O(n),因此正在进行完全复制:

def test(n):
    tup = tuple(range(n))
    for i in xrange(n):
        tup[0:i]

如果实现了这种优化,是否会出现一些python行为？即使原始文件是不可变的,复制还有一些性能优势吗？