python中关于元祖的+=的谜题

由 python 内置的数据类型所知
列表 属于 可变数据类型，而元祖属于不可变数据类型
但是，由于数据类型可以嵌套，比如我们可以在列表里使用索引赋值或者切片赋值使它等于某个元祖t1，
这在 python 当中并没有任何问题，即使再次使用列表索引赋值为另外一个元祖t2也并不冲突，因为对
python 数据类型来说，并非是不可变的元祖被改变了，改变的只是列表的下标的绑定关系，两个元祖t1和t2
的id值并不相同，没有关系，这不是我想说的重点，这只是为了引出下面一段话：即在不可变数据类型元祖中
嵌套列表，没错，在python中这么做是不冲突的，但是在数据结构中，这看起来问题就很大了，因为，我们在 不可变数据类型当中使用了可变的值，那么我们是否可以改变这个可变的列表，使得元祖的值跟着改变？
下面请看代码

>>> t = (10, 20, [30, 40])
>>> t[2] += [50, 60]
>>> # t会报错吗？

细想一下，其实会出现的情况无外乎4种：

A. t变成(10, 20, [30, 40, 50, 60]))
B. 因为元祖不支持对它的元素赋值，所以会抛出 TypeError 异常
C. 以上两个都不是
D. A和B都是对的

由于笔者想到元祖的数据类型是不可变类型，所以几乎没有由于就认为 B 肯定是正确答案
实际上，笔者在自证的时候，解释器的确抛出了 TypeError 异常，但是答案是D
以下是实际演示的结果

>>> t = (10, 20, [30, 40])
>>> t[2] += [50, 60]
Traceback (most recent call last):
File "<stdin>", line 1, in <module>
TypeError: 'tuple' object does not support item assignment
>>> t
(10, 20, [30, 40, 50, 60])

这是莱昂纳多在2013的Python巴西会议上提到的问题，真是一个有趣的问题

这是一个边界问题，这个问题使得python变得更加有趣，因为从逻辑上来说作为可变类型的元祖允许嵌套不可变数据类型的列表已经是很奇怪的一件事情了，更奇怪的是，在运行上，出现了并非 False 也不是 True的结果，笔者几乎马上联想上，元祖是可以作为字典的键的，那么，如果使用上面这种暗度陈仓的方式，是不是也能用来改变字典的键了呢？