124

次の式を考えてみましょう。「コンテキスト」を表すために、いくつかの式が繰り返されることに注意してください。

（これは長いリストです）

a, b = 1, 2                          # simple sequence assignment
a, b = ['green', 'blue']             # list asqignment
a, b = 'XY'                          # string assignment
a, b = range(1,5,2)                  # any iterable will do


                                     # nested sequence assignment

(a,b), c = "XY", "Z"                 # a = 'X', b = 'Y', c = 'Z' 

(a,b), c = "XYZ"                     # ERROR -- too many values to unpack
(a,b), c = "XY"                      # ERROR -- need more than 1 value to unpack

(a,b), c, = [1,2],'this'             # a = '1', b = '2', c = 'this'
(a,b), (c,) = [1,2],'this'           # ERROR -- too many values to unpack


                                     # extended sequence unpacking

a, *b = 1,2,3,4,5                    # a = 1, b = [2,3,4,5]
*a, b = 1,2,3,4,5                    # a = [1,2,3,4], b = 5
a, *b, c = 1,2,3,4,5                 # a = 1, b = [2,3,4], c = 5

a, *b = 'X'                          # a = 'X', b = []
*a, b = 'X'                          # a = [], b = 'X'
a, *b, c = "XY"                      # a = 'X', b = [], c = 'Y'
a, *b, c = "X...Y"                   # a = 'X', b = ['.','.','.'], c = 'Y'

a, b, *c = 1,2,3                     # a = 1, b = 2, c = [3]
a, b, c, *d = 1,2,3                  # a = 1, b = 2, c = 3, d = []

a, *b, c, *d = 1,2,3,4,5             # ERROR -- two starred expressions in assignment

(a,b), c = [1,2],'this'              # a = '1', b = '2', c = 'this'
(a,b), *c = [1,2],'this'             # a = '1', b = '2', c = ['this']

(a,b), c, *d = [1,2],'this'          # a = '1', b = '2', c = 'this', d = []
(a,b), *c, d = [1,2],'this'          # a = '1', b = '2', c = [], d = 'this'

(a,b), (c, *d) = [1,2],'this'        # a = '1', b = '2', c = 't', d = ['h', 'i', 's']

*a = 1                               # ERROR -- target must be in a list or tuple
*a = (1,2)                           # ERROR -- target must be in a list or tuple
*a, = (1,2)                          # a = [1,2]
*a, = 1                              # ERROR -- 'int' object is not iterable
*a, = [1]                            # a = [1]
*a = [1]                             # ERROR -- target must be in a list or tuple
*a, = (1,)                           # a = [1]
*a, = (1)                            # ERROR -- 'int' object is not iterable

*a, b = [1]                          # a = [], b = 1
*a, b = (1,)                         # a = [], b = 1

(a,b),c = 1,2,3                      # ERROR -- too many values to unpack
(a,b), *c = 1,2,3                    # ERROR - 'int' object is not iterable
(a,b), *c = 'XY', 2, 3               # a = 'X', b = 'Y', c = [2,3]


                                     # extended sequence unpacking -- NESTED

(a,b),c = 1,2,3                      # ERROR -- too many values to unpack
*(a,b), c = 1,2,3                    # a = 1, b = 2, c = 3

*(a,b) = 1,2                         # ERROR -- target must be in a list or tuple
*(a,b), = 1,2                        # a = 1, b = 2

*(a,b) = 'XY'                        # ERROR -- target must be in a list or tuple
*(a,b), = 'XY'                       # a = 'X', b = 'Y'

*(a, b) = 'this'                     # ERROR -- target must be in a list or tuple
*(a, b), = 'this'                    # ERROR -- too many values to unpack
*(a, *b), = 'this'                   # a = 't', b = ['h', 'i', 's']

*(a, *b), c = 'this'                 # a = 't', b = ['h', 'i'], c = 's'

*(a,*b), = 1,2,3,3,4,5,6,7           # a = 1, b = [2, 3, 3, 4, 5, 6, 7]

*(a,*b), *c = 1,2,3,3,4,5,6,7        # ERROR -- two starred expressions in assignment
*(a,*b), (*c,) = 1,2,3,3,4,5,6,7     # ERROR -- 'int' object is not iterable
*(a,*b), c = 1,2,3,3,4,5,6,7         # a = 1, b = [2, 3, 3, 4, 5, 6], c = 7
*(a,*b), (*c,) = 1,2,3,4,5,'XY'      # a = 1, b = [2, 3, 4, 5], c = ['X', 'Y']

*(a,*b), c, d = 1,2,3,3,4,5,6,7      # a = 1, b = [2, 3, 3, 4, 5], c = 6, d = 7
*(a,*b), (c, d) = 1,2,3,3,4,5,6,7    # ERROR -- 'int' object is not iterable
*(a,*b), (*c, d) = 1,2,3,3,4,5,6,7   # ERROR -- 'int' object is not iterable
*(a,*b), *(c, d) = 1,2,3,3,4,5,6,7   # ERROR -- two starred expressions in assignment


*(a,b), c = 'XY', 3                  # ERROR -- need more than 1 value to unpack
*(*a,b), c = 'XY', 3                 # a = [], b = 'XY', c = 3
(a,b), c = 'XY', 3                   # a = 'X', b = 'Y', c = 3

*(a,b), c = 'XY', 3, 4               # a = 'XY', b = 3, c = 4
*(*a,b), c = 'XY', 3, 4              # a = ['XY'], b = 3, c = 4
(a,b), c = 'XY', 3, 4                # ERROR -- too many values to unpack

そのような表現の結果を手で正しく推測するにはどうすればよいですか？

4

4 に答える 4

126

この投稿の長さについてお詫びしますが、完全性を選択することにしました。

いくつかの基本的なルールを知ったら、それらを一般化するのは難しくありません。いくつかの例で説明するために最善を尽くします。これらを「手作業で」評価することについて話しているので、いくつかの簡単な置換ルールを提案します。基本的に、すべての反復可能オブジェクトが同じ方法でフォーマットされていると、式を理解しやすくなる場合があります。

=解凍の目的でのみ、次の置換が（つまり右辺値の）右側で有効です。

'XY' -> ('X', 'Y')
['X', 'Y'] -> ('X', 'Y')

値が解凍されないことがわかった場合は、置換を元に戻します。（詳細については、以下を参照してください。）

また、「裸の」コンマが表示されている場合は、トップレベルのタプルがあるふりをします。左側と右側の両方でこれを行います（つまり、左辺値と右辺値の場合）。

'X', 'Y' -> ('X', 'Y')
a, b -> (a, b)

これらの単純なルールを念頭に置いて、ここにいくつかの例を示します。 

(a,b), c = "XY", "Z"                 # a = 'X', b = 'Y', c = 'Z'

上記のルールを適用して、に変換"XY"し('X', 'Y')、括弧内の裸のコンマをカバーします。

((a, b), c) = (('X', 'Y'), 'Z')

ここでの視覚的な対応により、割り当てがどのように機能するかがかなり明確になります。

間違った例を次に示します。

(a,b), c = "XYZ"

上記の置換規則に従うと、次のようになります。

((a, b), c) = ('X', 'Y', 'Z')

これは明らかに誤りです。ネストされた構造が一致しません。次に、もう少し複雑な例でどのように機能するかを見てみましょう。

(a,b), c, = [1,2],'this'             # a = '1', b = '2', c = 'this'

上記のルールを適用すると、次のようになります。

((a, b), c) = ((1, 2), ('t', 'h', 'i', 's'))

'this'しかし、これで、解凍されずにに直接割り当てられる構造から明らかcです。したがって、置換を元に戻します。

((a, b), c) = ((1, 2), 'this')

cタプルでラップするとどうなるか見てみましょう。

(a,b), (c,) = [1,2],'this'           # ERROR -- too many values to unpack

になる

((a, b), (c,)) = ((1, 2), ('t', 'h', 'i', 's'))

繰り返しますが、エラーは明らかです。cは裸の変数ではなく、シーケンス内の変数であるため、右側の対応するシーケンスはに解凍され(c,)ます。ただし、シーケンスの長さが異なるため、エラーが発生します。

*次に、演算子を使用して拡張アンパックします。これはもう少し複雑ですが、それでもかなり簡単です。が前に付いた変数*はリストになり、変数名に割り当てられていない対応するシーケンスの項目が含まれます。かなり単純な例から始めます。

a, *b, c = "X...Y"                   # a = 'X', b = ['.','.','.'], c = 'Y'

これは

(a, *b, c) = ('X', '.', '.', '.', 'Y')

これを分析する最も簡単な方法は、最後から作業することです。'X'に割り当てられa、'Y'に割り当てられcます。シーケンスの残りの値はリストに入れられ、に割り当てられbます。

(*a, b)およびのような左辺値(a, *b)は、上記の特殊なケースにすぎません。*あいまいになるため、1つの左辺値シーケンス内に2つの演算子を含めることはできません。値は次のようにどこに行きますか(a, *b, *c, d)-inbまたはc？ネストされたケースについては、すぐに検討します。

*a = 1                               # ERROR -- target must be in a list or tuple

ここで、エラーはかなり自明です。ターゲット（*a）はタプルに含まれている必要があります。

*a, = (1,2)                          # a = [1,2]

裸のコンマがあるため、これは機能します。ルールを適用する...

(*a,) = (1, 2)

以外の変数はないので*a、*a右辺値シーケンスのすべての値を丸呑みにします。(1, 2)を単一の値に置き換えるとどうなりますか？

*a, = 1                              # ERROR -- 'int' object is not iterable

になります

(*a,) = 1

繰り返しますが、ここでのエラーは自明です。シーケンスではないものを解凍することはできず、解凍する*aために何かが必要です。だから私たちはそれを順番に並べます

*a, = [1]                            # a = [1]

これはに相当します

(*a,) = (1,)

最後に、これはよくある混乱のポイントです。これは(1)と同じ1です。タプルと算術ステートメントを区別するには、コンマが必要です。

*a, = (1)                            # ERROR -- 'int' object is not

さあ、入れ子にします。実際、この例は「NESTED」セクションにはありませんでした。ネストされていることに気づかなかったのではないでしょうか。

(a,b), *c = 'XY', 2, 3               # a = 'X', b = 'Y', c = [2,3]

になる

((a, b), *c) = (('X', 'Y'), 2, 3)

トップレベルタプルの最初の値が割り当てられ、トップレベルタプル（2および3）の残りの値がc-に割り当てられます。

(a,b),c = 1,2,3                      # ERROR -- too many values to unpack
*(a,b), c = 1,2,3                    # a = 1, b = 2, c = 3

最初の行がエラーをスローする理由については、すでに説明しました。2行目はばかげていますが、これが機能する理由です。

(*(a, b), c) = (1, 2, 3)

前に説明したように、私たちは最後から作業します。3がに割り当てられc、残りの値が*前の変数（この場合は。）に割り当てられます(a, b)。つまり(a, b) = (1, 2)、これは、適切な数の要素があるために機能する、と同等です。これが動作中のコードに表示される理由は考えられません。同様に、

*(a, *b), c = 'this'                 # a = 't', b = ['h', 'i'], c = 's'

になります

(*(a, *b), c) = ('t', 'h', 'i', 's')

端から作業し、に's'割り当てられc、に('t', 'h', 'i')割り当てられ(a, *b)ます。最後からやり直し、に't'割り当てられa、('h', 'i')リストとしてbに割り当てられます。これは、動作中のコードに表示されるべきではないもう1つのばかげた例です。

于 2011-08-06T17:30:57.297 に答える
7

Python2タプルの解凍は非常に簡単です。左側の各名前は、シーケンス全体または右側のシーケンスの1つの項目に対応しています。名前が任意のシーケンスの単一のアイテムに対応する場合、すべてのアイテムをカバーするのに十分な名前が必要です。

ただし、拡張アンパックは非常に強力であるため、混乱を招く可能性があります。現実には、最後の10以上の有効な例を実行するべきではありません。データが構造化されているdict場合は、リストのような非構造化形式ではなく、またはクラスインスタンスである必要があります。

明らかに、新しい構文は悪用される可能性があります。あなたの質問に対する答えは、そのような表現を読む必要はないということです-それらは悪い習慣であり、それらが使用されることはないと思います。

複雑な式を任意に記述できるからといって、そうする必要があるとは限りません。次のようなコードを書くことはできますmap(map, iterable_of_transformations, map(map, iterable_of_transformations, iterable_of_iterables_of_iterables))が、そうではありません。

于 2011-08-06T15:13:59.297 に答える
3

あなたのコードは誤解を招く可能性があると思います。他の形式を使用して表現してください。

これは、演算子の優先順位に関する質問を避けるために、式で余分な角かっこを使用するようなものです。私はあなたのコードを読みやすくするために常に良い投資をしているわけではありません。

私は、スワップのような単純なタスクにのみ解凍を使用することを好みます。

于 2011-08-06T15:08:04.583 に答える
0

lhsでのスター付き表現の元のアイデアは、以下のように反復可能な解凍の可読性を向上させることです。

first_param, rest_param, third_param = param[0], param[1:-1], param[-1]

このステートメントは、

first_param, *rest_param, third_param = param

上記のステートメントでは、スター付きの式を使用して、「必須ターゲット」に割り当てられていないすべての要素を「キャッチ」します（この例ではfirst_param＆ ）third_param

lhsでのスター付き表現の使用には、次のルールがあります。

  1. lhsで最大で1つのスター付きの表現、または開梱は一意ではありません
*a,b,*c = range(5) # wrong
*a,b,c = range(5) # right
a,*b,c = range(5) # right
  1. 'rest'要素を収集するには、必須のターゲットでスター付きの式を使用する必要があります。末尾のコンマは、必須のターゲットが存在しないことを示すために使用されます
*a = range(5) # wrong
*a, = range(5) # right

これらの2つのルールをマスターすれば、lhsでスター付きの表現の結果を推測できます。

于 2021-04-13T12:05:14.970 に答える