Python字典的key都可以是什么

ゝ一世哀愁。 2024-03-30 10:48 24阅读 0赞

一个对象能不能作为字典的key，就取决于其有没有\_\_hash\_\_方法。所以所有python自带类型中，除了list、dict、set和内部至少带有上述三种类型之一的tuple之外，其余的对象都能当key。

比如数值/字符串/完全不可变的元祖/函数(内建或自定义)/类(内建或自定义)/方法/包等等你能拿出手的，不过有的实际意义不高。还有数值型要注意，因为两个不同的相等数字可以有相同的哈希值，比如1和1.0。

#### 解释 ####

代码版本：3.6.3；文档版本：3.6.6

> Unlike sequences, which are indexed by a range of numbers, dictionaries are indexed by keys, which can be any immutable type; strings and numbers can always be keys. Tuples can be used as keys if they contain only strings, numbers, or tuples; if a tuple contains any mutable object either directly or indirectly, it cannot be used as a key. You can’t use lists as keys, since lists can be modified in place using index assignments, slice assignments, or methods like append()and extend().

字典的键可以是任意不可变类型，需要注意的是tuple元组作为键时，其中不能以任何方式包含可变对象。

那。。到底什么样的是不可变类型呢？不可能给对象专门标注一个属性是可变类型还是不可变类型啊，这没有任何其他意义，一定是通过其他途径实现的。把list当做键试一下

<table> 
 <tbody> 
 <tr> 
 <td> 1 2 3 4 5 6 </td> 
 <td> <code>a </code><code>=</code> <code>[</code><code>1</code><code>, </code><code>2</code><code>, </code><code>3</code><code>]</code> <code>d </code><code>=</code> <code>{a: a}</code> <code>&nbsp;</code>&nbsp; <code>&nbsp;</code>&nbsp; <code># 第二行报错：</code> <code># TypeError: unhashable type: 'list'</code> </td> 
 </tr> 
 </tbody> 
</table>

报错说list类型是不可哈希的，噢，原来是靠能不能hash来判断的，另外文档下面接着说同一字典中每个键都是唯一的，正好每个对象的哈希值也是唯一的，对应的很好。

> It is best to think of a dictionary as an unordered set of key: value pairs, with the requirement that the keys are unique (within one dictionary).

查看源代码可以看到object对象是定义了\_\_hash\_\_方法的，

而list、set和dict都把\_\_hash\_\_赋值为None了

<table> 
 <tbody> 
 <tr> 
 <td> 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 </td> 
 <td> <code># 部分源码</code> <code>&nbsp;</code>&nbsp; <code>class</code> <code>object</code><code>:</code> <code>&nbsp;&nbsp;&nbsp; </code><code>""" The most base type """</code> <code>&nbsp;</code>&nbsp; <code>&nbsp;&nbsp;&nbsp; </code><code>def</code> <code>__hash__(</code><code>self</code><code>, </code><code>*</code><code>args, </code><code>*</code><code>*</code><code>kwargs): &nbsp;</code><code># real signature unknown</code> <code>&nbsp;&nbsp;&nbsp; &nbsp; &nbsp; </code><code>""" Return hash(self). """</code> <code>&nbsp;&nbsp;&nbsp; &nbsp; &nbsp; </code><code>pass</code> <code>&nbsp;</code>&nbsp; <code>&nbsp;</code>&nbsp; <code>class</code> <code>list</code><code>(</code><code>object</code><code>):</code> <code>&nbsp;&nbsp;&nbsp; </code><code>__hash__ </code><code>=</code> <code>None</code> <code>&nbsp;</code>&nbsp; <code>&nbsp;</code>&nbsp; <code>class</code> <code>set</code><code>(</code><code>object</code><code>):</code> <code>&nbsp;&nbsp;&nbsp; </code><code>__hash__ </code><code>=</code> <code>None</code> <code>&nbsp;</code>&nbsp; <code>&nbsp;</code>&nbsp; <code>class</code> <code>dict</code><code>(</code><code>object</code><code>):</code> <code>&nbsp;&nbsp;&nbsp; </code><code>__hash__ </code><code>=</code> <code>None</code> </td> 
 </tr> 
 </tbody> 
</table>

那这样的话。。。我给他加一个hash不就能当字典的key了，key不就是可变的了。

#### 注意 ####

此处只是我跟着想法随便试，真的应用场景不要用可变类型作为字典的key。

<table> 
 <tbody> 
 <tr> 
 <td> 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 </td> 
 <td> <code>class</code> <code>MyList(</code><code>list</code><code>):</code> <code>&nbsp;&nbsp;&nbsp; </code><code>"""比普通的list多一个__hash__方法"""</code> <code>&nbsp;</code>&nbsp; <code>&nbsp;&nbsp;&nbsp; </code><code>def</code> <code>__hash__(</code><code>self</code><code>):</code> <code>&nbsp;&nbsp;&nbsp; &nbsp; &nbsp; </code><code># 不能返回hash(self)</code> <code>&nbsp;&nbsp;&nbsp; &nbsp; &nbsp; </code><code># hash(self)会调用self的本方法，再调用回去，那就没完了(RecursionError)</code> <code>&nbsp;&nbsp;&nbsp; &nbsp; &nbsp; </code><code># 用的时候要注意实例中至少有一个元素，不然0怎么取(IndexError)</code> <code>&nbsp;&nbsp;&nbsp; &nbsp; &nbsp; </code><code>return</code> <code>hash</code><code>(</code><code>self</code><code>[</code><code>0</code><code>])</code> <code>&nbsp;</code>&nbsp; <code>&nbsp;</code>&nbsp; <code>l1 </code><code>=</code> <code>MyList([</code><code>1</code><code>, </code><code>2</code><code>]) &nbsp;</code><code># print(l1) -&gt; [1, 2]</code> <code>d </code><code>=</code> <code>{l1: </code><code>'Can?'</code><code>}</code> <code>print</code><code>(d) &nbsp;</code><code># --&gt; &nbsp;{[1, 2]: 'Can?'}</code> <code>l1.append(</code><code>3</code><code>)</code> <code>print</code><code>(d) &nbsp;</code><code># {[1, 2, 3]: 'Can?'}</code> <code>print</code><code>(d[l1]) &nbsp;</code><code># --&gt; &nbsp;Can?</code> </td> 
 </tr> 
 </tbody> 
</table>

到这里就可以肯定的说，一个对象能不能作为字典的key，就取决于其有没有\_\_hash\_\_方法。所以所有python自带类型中，目前我已知的除了list、dict、set和内部带有以上三种类型的tuple之外，其余的对象都能当key。而我们自己定义的类，一般情况下都直接间接的和object有关，都带有\_\_hash\_\_方法。

另外我想到，既然字典的键是唯一的，而哈希值也是唯一的，这么巧，键的唯一性不会就是用哈希值来确定的吧？我上一个例子中\_\_hash\_\_方法返回的是0号元素的哈希值，那我直接用相同哈希值的对象是不是就能改变那本来不属于它的字典值呢？

<table> 
 <tbody> 
 <tr> 
 <td> 1 2 3 4 5 6 7 8 9 10 11 </td> 
 <td> <code>class</code> <code>MyList(</code><code>list</code><code>):</code> <code>&nbsp;&nbsp;&nbsp; </code><code>def</code> <code>__hash__(</code><code>self</code><code>):</code> <code>&nbsp;&nbsp;&nbsp; &nbsp; &nbsp; </code><code>return</code> <code>hash</code><code>(</code><code>self</code><code>[</code><code>0</code><code>])</code> <code>&nbsp;</code>&nbsp; <code>&nbsp;</code>&nbsp; <code>l1 </code><code>=</code> <code>MyList([</code><code>1</code><code>, </code><code>2</code><code>]) &nbsp;</code><code># print(l1) -&gt; [1, 2]</code> <code>d </code><code>=</code> <code>{}</code> <code>d[l1] </code><code>=</code> <code>l1</code> <code>print</code><code>(d) &nbsp;</code><code># {[1, 2]: [1, 2]}</code> <code>d[</code><code>1</code><code>] </code><code>=</code> <code>1</code> <code>print</code><code>(d) &nbsp;</code><code># {[1, 2]: [1, 2], 1: 1}</code> </td> 
 </tr> 
 </tbody> 
</table>

竟然没有改成功而是新添加了一个键值对，可self\[0\]就是1啊，哈希值一样啊，怎么会不一样呢？难道要键的值一样才能判断是同一个键吗？重写\_\_eq\_\_方法试一下。

<table> 
 <tbody> 
 <tr> 
 <td> 1 2 3 4 5 6 7 8 9 10 11 12 13 14 </td> 
 <td> <code>class</code> <code>MyList(</code><code>list</code><code>):</code> <code>&nbsp;&nbsp;&nbsp; </code><code>def</code> <code>__hash__(</code><code>self</code><code>):</code> <code>&nbsp;&nbsp;&nbsp; &nbsp; &nbsp; </code><code>return</code> <code>hash</code><code>(</code><code>self</code><code>[</code><code>0</code><code>])</code> <code>&nbsp;</code>&nbsp; <code>&nbsp;&nbsp;&nbsp; </code><code>def</code> <code>__eq__(</code><code>self</code><code>, other):</code> <code>&nbsp;&nbsp;&nbsp; &nbsp; &nbsp; </code><code>return</code> <code>self</code><code>[</code><code>0</code><code>] </code><code>=</code><code>=</code> <code>other</code> <code>&nbsp;</code>&nbsp; <code>&nbsp;</code>&nbsp; <code>l1 </code><code>=</code> <code>MyList([</code><code>1</code><code>, </code><code>2</code><code>]) &nbsp;</code><code># print(l1) -&gt; [1, 2]</code> <code>d </code><code>=</code> <code>{}</code> <code>d[l1] </code><code>=</code> <code>l1</code> <code>print</code><code>(d) &nbsp;</code><code># {[1, 2]: [1, 2]}</code> <code>d[</code><code>1</code><code>] </code><code>=</code> <code>1</code> <code>print</code><code>(d) &nbsp;</code><code># {[1, 2]: 1}</code> </td> 
 </tr> 
 </tbody> 
</table>

这回成功了，那就是\_\_hash\_\_返回值相等，且eq判断也相等，才会被认为是同一个键。那这两个先判断哪个呢？加个代码试一下

<table> 
 <tbody> 
 <tr> 
 <td> 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 </td> 
 <td> <code>class</code> <code>MyList(</code><code>list</code><code>):</code> <code>&nbsp;&nbsp;&nbsp; </code><code>def</code> <code>__hash__(</code><code>self</code><code>):</code> <code>&nbsp;&nbsp;&nbsp; &nbsp; &nbsp; </code><code>print</code><code>(</code><code>'hash is run'</code><code>)</code> <code>&nbsp;&nbsp;&nbsp; &nbsp; &nbsp; </code><code>return</code> <code>hash</code><code>(</code><code>self</code><code>[</code><code>0</code><code>])</code> <code>&nbsp;</code>&nbsp; <code>&nbsp;&nbsp;&nbsp; </code><code>def</code> <code>__eq__(</code><code>self</code><code>, other):</code> <code>&nbsp;&nbsp;&nbsp; &nbsp; &nbsp; </code><code>print</code><code>(</code><code>'eq is run'</code><code>)</code> <code>&nbsp;&nbsp;&nbsp; &nbsp; &nbsp; </code><code>return</code> <code>self</code><code>[</code><code>0</code><code>] </code><code>=</code><code>=</code> <code>other</code> <code>&nbsp;</code>&nbsp; <code>&nbsp;</code>&nbsp; <code>l1 </code><code>=</code> <code>MyList([</code><code>1</code><code>, </code><code>2</code><code>]) &nbsp;</code><code># print(l1) -&gt; [1, 2]</code> <code>d </code><code>=</code> <code>{}</code> <code>d[</code><code>1</code><code>] </code><code>=</code> <code>1</code> <code>d[l1] </code><code>=</code> <code>'l1'</code> <code>print</code><code>(d)</code> <code>&nbsp;</code>&nbsp; <code>&nbsp;</code>&nbsp; <code># 结果：</code> <code># hash is run</code> <code># eq is run</code> <code># {1: 'l1'}</code> </td> 
 </tr> 
 </tbody> 
</table>

\_\_hash\_\_先执行，另外字典在内存中存储数据的位置和键的hash也是有关的，逻辑上也像印证。

先计算hash，找到相对应的那片内存空间，里面没有值的话就直接写入，对于字典来说就是新增键值对；如果里面已经有值了，那就判断新来的键和原来的那里的键是不是相等，相等就认为是一个键，对于字典来说就是更新值，不相等就再开空间，相当于字典新增键值对。

转自：[https://www.weidianyuedu.com][https_www.weidianyuedu.com]

[https_www.weidianyuedu.com]: https://www.weidianyuedu.com