次の表現について考えてみましょう。一部の表現は「文脈」を示すために繰り返されていることに注意してください。
(長いリストです)
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
このような式の結果を手作業で正しく推測するにはどうすればよいでしょうか?
ベストアンサー1
この投稿が長くて申し訳ありませんが、完全性を優先することにしました。
いくつかの基本的なルールがわかれば、それを一般化するのは難しくありません。いくつかの例を挙げて説明できるよう最善を尽くします。これらを「手作業で」評価することについて話しているのだから、いくつかの簡単な置換ルールを提案します。基本的に、すべての反復可能オブジェクトが同じ方法でフォーマットされていると、式を理解しやすくなるかもしれません。
展開の目的のみで、次の置換は=
(つまり、右辺値):
'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)
b
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 つの愚かな例です。