Ordre d'évaluation des littéraux de dictionnaire

Question

def key(): print 'key' 
def val(): print 'val' 

{key() : val()} 

imprime val, key, c'est-à-dire que la valeur est évaluée en premier. Ce comportement est-il

• cohérente entre les versions et les implémentations Python?
• documenté n'importe où? (http://docs.python.org/2/reference/expressions.html#dictionary-displays dit rien)

Answer 1

Cette section du manuel de référence documente l'ordre, mais prétend qu'il est différent de ce que vous voyez: http://docs.python.org/2/reference/expressions.html#evaluation-order

Dans les lignes, les expressions suivantes seront évaluées dans le arithmétique ordre de leurs suffixes:

expr1, expr2, expr3, expr4 
(expr1, expr2, expr3, expr4) 
{expr1: expr2, expr3: expr4} 
expr1 + expr2 * (expr3 - expr4) 
expr1(expr2, expr3, *expr4, **expr5) 
expr3, expr4 = expr1, expr2 

Et il y a un bug ouverte contre la mise en œuvre à ce sujet: Evaluation order of dictionary display is different from reference manual

Answer 2

Il s'avère que c'est pas cohérente entre les implémentations.

def p(x): 
    print(x) 
    return x 

{p('k1'): p('v1'), p('k2'): p('v2'), p('k3'): p('v3')} 

donne:

Python 2.7.3 (default, Aug 1 2012, 05:16:07) 
IronPython 2.7.3 (2.7.0.40) on Mono 4.0.30319.1 (32-bit) 
[PyPy 2.0.0-beta1 with GCC 4.4.3] on linux2 

v1 
k1 
v2 
k2 
v3 
k3 

mais

Jython 2.5.1+ (Release_2_5_1, Oct 31 2011, 11:44:27) 
[OpenJDK Server VM (Sun Microsystems Inc.)] on java1.6.0_27 
Jython 2.7b1 (default:ac42d59644e9, Feb 9 2013, 15:24:52)  
[OpenJDK Server VM (Sun Microsystems Inc.)] on java1.6.0_27 

k1 
v1 
k2 
v2 
k3 
v3