为什么Python的函数调用语义传入关键字参数不是有序的？

python

Why Python’s function call semantics pass-in keyword arguments are not ordered?

利用函数定义中的双星语法，我们得到了一个规则字典。问题是，它松动了用户输入顺序。有时，我们可能想知道传递给函数的关键字参数的顺序。

因为函数调用通常不涉及很多参数，所以我不认为这是性能问题，所以我想知道为什么默认情况下不维护顺序。

我知道我们可以使用：

1
2
3
4

from collections import Ordereddict
def my_func(kwargs):
print kwargs
my_func(Ordereddict(a=1, b=42))

但它不如：

1
2
3

def my_func(**kwargs):
print kwargs
my_func(a=1, b=42)

[编辑1 ]：

1)我认为有两种情况：

我需要知道顺序，用户可以通过文档了解这种行为。
我不需要这个订单，所以我不在乎它是否被订购。

我没有想到，即使用户知道它使用命令，他也可以使用：

1 2	a = dict(a=1, b=42) my_func(**a)

因为他不知道听写是不受命令的(即使他应该知道)

2)我认为，在几个论点的情况下，开销不会很大，因此，有一个新的可能性来管理论点的好处将优于这个缺点。

但(从乔的回答来看)开销似乎不可忽略。

[编辑2 ]：

似乎PEP 0468——在一个函数中保持**kwargs的顺序，是朝着这个方向发展的。

相关讨论

因为字典不是按定义排序的。我觉得这真的很简单。kwargs的要点是精确地处理那些没有排序的形式参数。如果您知道订单，那么您可以将其作为"正常"参数或*args接收。

这是词典的定义。

CPython implementation detail: Keys and values are listed in an
arbitrary order which is non-random, varies across Python
implementations, and depends on the dictionary’s history of insertions
and deletions.

http://docs.python.org/2/library/stdtypes.html dict

python的字典是整个语言工作方式的核心，因此它们是高度优化的。添加排序将影响性能，并需要更多的存储和处理开销。

你可能会遇到一个不真实的情况，但我认为这比普通情况更为特殊。为一个非常热的代码路径添加一个"以防万一"的特性不是一个明智的设计决策。

编辑：

只是FYI

1
2
3
4
5

>>> timeit.timeit(stmt="z = dict(x)", setup='x = ((("one","two"), ("three","four"), ("five","six")))', number=1000000)
1.6569631099700928

>>> timeit.timeit(stmt="z = OrderedDict(x)", setup='from collections import OrderedDict; x = ((("one","two"), ("three","four"), ("five","six")))', number=1000000)
31.618864059448242

在构造一个小的"正常"大小的字典时，这大约是30倍的速度差。ordereddict是标准库的一部分，所以我不认为有更多的性能可以从中挤出。

相关讨论

这是一种糟糕的时间安排方式——timeit模块的存在是有原因的。
它又快又脏，可以测量经过的时间差。"太可怕了？系数是30。您应该为stackoverflow.com/questions/3426870/calculating time differe&zwnj；&8203；nce提供答案。
"因为字典不是按定义排序的。"—我想你把字典和哈希表混淆了。
@piokuc在这里阅读定义：docs.python.org/2/library/stdtypes.html dict。它说"键和值是以非随机的任意顺序列出的，这些顺序在不同的Python实现中有所不同，并且取决于字典的插入和删除历史。"
实现字典有很多方法。最简单的是一个成对的列表，对于少数的项目来说，这实际上是相当好的数据结构，通常是带有关键字参数的情况。因此，在我看来，您的测试是无用的——语言特性可以在不使用ordereddict的当前实现的情况下实现。
@乔，我说的不是Python中实现的字典，而是作为抽象数据结构的字典。
@Joe不会问如何测试代码片段——比如说，这个问题可能是要在网页上添加一个计时器，以便生成具有不同目标和要求的代码片段。timeit是准确计算时间段的最佳方法。
@皮奥库克在回答中，乔显然是在谈论Python的口述。
@piokuc这个问题是关于Python的实现。我不知道你为什么不说Python。
@拉特器好。我要说的是，可以实现关键字参数，这样它们就可以保持顺序，不一定比现在慢。
@更新后使用timeit。不争论使用timeit或不同类型的基准度量，但结果基本相同。
只是提醒我们，我们要讨论的问题是"为什么Python的函数调用语义传入关键字参数没有排序？"例如，"为什么要按原样实现Python"。
@Joe在这个例子中，timeit产生了相同的结果——这并不总是如此，除非你同时尝试它们，否则你永远不会知道——因此应该始终使用timeit——它覆盖了边缘情况。是的，他们是罕见的，为什么重新发明车轮，而不是正确地做？
@拿铁咖啡是因为我太懒了，试图证明一个数量级的差异。正如我所说，我并不是在争论不同的时间安排方式。我将从我的答案中删除经过的时间版本。
哈希表是最快实现字典的afaik。如果您知道实现有序字典的算法比哈希表更快(或者考虑到函数中的用例百分比，以值得的方式较慢)，请告诉我们。
回复："这个问题是关于Python的实现。我不知道你为什么说的不是python。"这是关于python的可能的替代实现，所以我们不必讨论ordereddictionary与标准python字典，我们可以自由讨论字典的其他可能实现。"

作为一个相反的论点，这里有一个这样做会导致复杂语义的例子。这里有几个案例：

函数总是得到一个无序的字典。
函数总是得到一个有序的字典-鉴于此，我们不知道顺序是否有任何意义，就像用户传递无序的数据结构一样，顺序是任意的，而数据类型则意味着顺序。
函数获取传入的内容——这看起来很理想，但并不那么简单。

关于some_func(a=1, b=2, **unordered_dict)的情况如何？原始关键字参数中存在隐式排序，但是dict没有排序。在订购和不订购之间没有明确的选择。

考虑到这一点，我会说对关键字参数进行排序是没有用的，因为不可能知道这个顺序是否只是一个任意的顺序。这会模糊函数调用的语义。

考虑到这一点，将其作为呼叫的一部分所获得的任何好处都将失去——相反，只需期待一个OrderedDict作为论据。

检索通过**kwargs传递的关键字参数的顺序对于我正在进行的特定项目非常有用。它是关于制作一种具有有意义的尺寸的n-d numpy阵列(现在称为dimarray)，特别适用于地球物理数据处理。

我在这里发布了一个有例子的问题：

如何检索传递给函数调用的关键字参数的原始顺序？

相关讨论

如果函数的参数是如此相关以至于名称和顺序都很重要，那么考虑使用特定的数据结构或定义一个类来保存它们。很有可能，您希望它们在代码的其他地方放在一起，并可能定义使用它们的其他函数/方法。