为什么 Python 会引发 TypeError 而不是 SyntaxError？

Question

纯粹出于好奇而提出的问题。这显然是无效的语法：

foo = {}
foo['bar': 'baz']

很明显发生了什么，开发人员从字典定义中移出了一行，但没有将其从字面字典声明更改为赋值语法（因此被适当地模拟了）。

但我的问题是，为什么 Python 在这里提出 TypeError: unhashable type 而不是 SyntaxError？它试图散列什么类型？只是这样做：

'bar': 'baz'

是一个 SyntaxError，如下所示：

['bar': 'baz']

所以我看不到正在创建的不可散列的类型。

Answer 1

在索引操作generates a slice object 中使用冒号，这是不可散列的。

Answer 2

我只是想为Ignacio answer 添加一些细节（这很棒），这需要我一些时间来理解，对于像我这样没有得到它的人来说（我可能是唯一没有得到的人）这是因为我没有看到有人问我不明白，但我怎么知道 :) ) :

我第一次想知道是什么切片？字典索引不接受切片？

但这对我来说是一个愚蠢的问题，因为我忘记了 python 是动态的（我是多么愚蠢）所以当 python 第一次编译代码时 python 不知道 foo 是字典还是列表所以它只是读取任何像这样的表达式 foo['foo':'bar'] 作为 slice ，知道你可以这样做：

def f():
    foo = {}
    foo['bar':'foo']

通过使用dis 模块，您将看到表达式'bar':'foo' 已自动转换为切片：

dis.dis(f)
  2           0 BUILD_MAP                0
              3 STORE_FAST               0 (foo)

  3           6 LOAD_FAST                0 (foo)
              9 LOAD_CONST               1 ('bar')
             12 LOAD_CONST               2 ('foo')
             15 SLICE+3             <<<<<<<<<<<<<<<<<<<<<< HERE!!!!!!            
             16 POP_TOP             
             17 LOAD_CONST               0 (None)
             20 RETURN_VALUE   

我第一次承认我没有考虑过这一点，我确实直接去 python 的源代码试图理解为什么，因为列表的__getitems__ 不像字典的__getitem__ 但现在我明白为什么，因为如果切片和切片是不可散列的，它应该引发unhashable type，所以这里是字典__getitem__的代码：

static PyObject *
dict_subscript(PyDictObject *mp, register PyObject *key)
{
    PyObject *v;
    long hash;
    PyDictEntry *ep;
    assert(mp->ma_table != NULL);   
    if (!PyString_CheckExact(key) ||                // if check it's not a string 
        (hash = ((PyStringObject *) key)->ob_shash) == -1) {
        hash = PyObject_Hash(key);    // check if key (sliceobject) is hashable which is false 
        if (hash == -1)
            return NULL;
    } 
    ....

希望这可以帮助像我这样的人理解伊格纳西奥的伟大回应，如果我只是重复伊格纳西奥的答案，我很抱歉:)