在** kwargs中使用OrderedDict

Question

是否可以将OrderedDict实例传递给使用**kwargs语法并保留排序的函数？

我想做的是：

def I_crave_order(**kwargs):
    for k, v in kwargs.items():
        print k, v

example = OrderedDict([('first', 1), ('second', 2), ('third', -1)])

I_crave_order(**example)
>> first 1
>> second 2
>> third -1

但实际结果是：

>> second 2
>> third -1
>> first 1

即，典型的随机字典排序。

我有其他用途，明确设置顺序是好的，所以我想保持**kwargs而不是只是将OrderedDict作为常规参数传递

Answer 1

从Python 3.6开始， 保留关键字参数顺序 。 在3.6之前，由于OrderedDict变成了一个dict ，所以不可能。

---

首先要意识到的是， **example中传递的值不会自动成为**kwargs的值。 考虑这种情况，其中kwargs只有部分example ：

def f(a, **kwargs):
    pass
example = {'a': 1, 'b': 2}
f(**example)

或者这种情况下，它将具有比示例中更多的值：

example = {'b': 2}
f(a=1, c=3, **example)

甚至根本没有重叠：

example = {'a': 1}
f(b=2, **example)

---

所以，你所要求的并没有多大意义。

尽管如此，如果有一些方法可以指定你想要一个有序的**kwargs ，无论关键字来自哪里 - 显式关键字args按照它们出现的顺序，然后是**example中的所有项目，它可能会很好它们在example出现的顺序（如果example是dict ，则可以是任意的，但如果它是OrderedDict ，也可能是有意义的）。

定义所有繁琐的细节，并保持性能可接受，结果证明比听起来更难。 有关该想法的一些讨论，请参阅PEP 468和链接的线程。 这次似乎已经停滞不前了，但是如果有人拿起并支持它（并为人们编写参考实现 - 这取决于可从C API访问的OrderedDict ，但希望在3.5+中有用） ），我怀疑它最终会进入语言。

---

顺便说一句，请注意，如果这是可能的，它几乎肯定会在OrderedDict本身的构造函数中使用。 但是，如果你尝试这样做，你所做的只是冻结一些任意顺序作为永久订单：

>>> d = OrderedDict(a=1, b=2, c=3)
OrderedDict([('a', 1), ('c', 3), ('b', 2)])

---

同时，你有什么选择？

好吧，显而易见的选择只是将example作为普通参数传递而不是解压缩它：

def f(example):
    pass
example = OrderedDict([('a', 1), ('b', 2)])
f(example)

或者，当然，您可以使用*args并将项目作为元组传递，但这通常更加丑陋。

从PEP链接的线程中可能还有其他一些解决方法，但实际上，它们都不会比这更好。 （除了...... IIRC， 李浩义想出了一个基于他的MacroPy的解决方案来传递保留关键字的参数，但我不记得细节了。如果你愿意使用MacroPy并编写代码，MacroPy解决方案一般都很棒这听起来不像Python，但这并不总是合适的......）

Answer 2

现在这是python 3.6中的默认值 。

Python 3.6.0a4+ (default:d43f819caea7, Sep  8 2016, 13:05:34)
>>> def func(**kw): print(kw.keys())
...
>>> func(a=1, b=2, c=3, d=4, e=5)
dict_keys(['a', 'b', 'c', 'd', 'e'])   # expected order

如其他答案所述，之前不可能这样做。

Answer 3

当Python在签名中遇到**kwargs构造时，它期望kwargs是一个“映射”，这意味着两件事：（1）能够调用kwargs.keys()来获取包含的密钥的迭代。映射，以及（2）可以为keys()返回的iterable中的每个键调用kwargs.__getitem__(key) ，并且结果值是与该键关联的所需值。

在内部，Python将“转换”任何映射到字典中，如下所示：

**kwargs -> {key:kwargs[key] for key in kwargs.keys()}

如果你认为kwargs已经是一个dict ，这看起来有点傻 - 而且它会是，因为没有理由从传入的那个中构造一个dict 。

但是当kwargs不一定是dict ，重要的是将其内容放入合适的默认数据结构中，以便执行参数解包的代码始终知道它正在使用什么。

所以，你可以搞乱某种数据类型被解压缩的方式，但是由于为了一致的arg-unpacking-protocol而转换为dict ，只是在参数解包的顺序上放置保证是不可能的（因为dict没有跟踪添加元素的顺序）。 如果Python的语言将**kwargs带入OrderedDict而不是dict （意味着键的顺序作为关键字args将是它们被遍历的顺序），那么通过传递OrderedDict或其他一些数据结构keys()尊重某种排序，你可以期望对参数进行某种排序。 这只是实现的一个怪癖， dict被选为标准，而不是其他类型的映射。

这是一个可以“解包”的类的一个愚蠢的例子，但它总是将所有解压缩的值视为42（即使它们不是真的）：

class MyOrderedDict(object):
    def __init__(self, odict):
        self._odict = odict

    def __repr__(self):
        return self._odict.__repr__()

    def __getitem__(self, item):
        return 42

    def __setitem__(self, item, value):
        self._odict[item] = value

    def keys(self):
        return self._odict.keys()

然后定义一个函数来打印解压缩的内容：

def foo(**kwargs):
    for k, v in kwargs.iteritems():
        print k, v

并创造一个价值并试一试：

In [257]: import collections; od = collections.OrderedDict()

In [258]: od['a'] = 1; od['b'] = 2; od['c'] = 3;

In [259]: md = MyOrderedDict(od)

In [260]: print md
OrderedDict([('a', 1), ('b', 2), ('c', 3)])

In [261]: md.keys()
Out[261]: ['a', 'b', 'c']

In [262]: foo(**md)
a 42
c 42
b 42

这种键值对的定制交付（这里，dumbly总是返回42）是你修改**kwargs如何在Python中运行的能力的程度。

稍微更灵活地修改*args如何解包。 有关更多信息，请参阅此问题：< 参数解包使用迭代还是项目获取？ >。