文字列が不変の場合、これはどのように可能ですか？

Question

私はpythonを初めて使っていて、python3のドキュメントを使っていました。 Pythonでは、文字列は、その後、どのようにこの可能である不変であると言われている。

if __name__ == '__main__': 
     l = 'string' 
     print(l) 
     l = l[:2] 
     print(l) 

戻り、この出力：

string 
st 

Answer 1

非公式には、lは今のコピーである新しい不変の文字列、を指します古いものの一部。

文字列を変更することはできません。

a = "hello" 
a[0] = "b" # not allowed to modify the string `a` is referencing; raises TypeError 

print(a) # not reached, since we got an exception at the previous line 

いますが、この操作を行うことができます。

a = "hello" 
a = "b" + a[1:] # ok, since we're making a new copy 

print(a) # prints "bello" 

Answer 2

この問題を理解するための鍵は、Pythonでその変数がちょうど基礎となるオブジェクトを指し示す「ポインタ」で実現することです。そして、あなたは不変オブジェクトと不変変数（Pythonには存在しない）という概念を混同しました。

たとえば、lは、当初、内容が "string"のstrオブジェクトを指すポインタでした。しかし、後で、コンテンツを "st"という新しいstrオブジェクトにリダイレクトします。プログラムが行l = l[:2]に実行されるとき、ポインタが指し示すオブジェクトではなく、ポインタが変更されていることに注意してください。そうであれば、lをstr以外のタイプの別のオブジェクト、たとえばl = 123にリダイレクトすることもできます。 l（str "文字列"）が指す元のオブジェクトは、まったく変更されていません。ガベージコレクションされていない限り、まだメモリに残っていますが、もはやlで指されていません。

不変オブジェクトの概念を理解するために、変更可能なオブジェクトを見てみましょう。たとえば、Pythonのlistは変更可能です。上記のコードで

l = [1, 2, 3] # a new list with three elements 
l.append(4) # append a new element 4 to the list (l is now modified!!!) 

、我々はそれに新たな要素を追加することによってl修飾。プログラム全体を通して、lは同じオブジェクトを指しますが、処理中に変更されるのはlによって指し示されるオブジェクトです。