インデックスが範囲外の部分文字列スライスが機能するのはなぜですか？

なぜ'example'[999:9999]エラーが発生しないのですか？それ以来'example'[9]、その背後にある動機は何ですか？

この振る舞いから、両方が同じ文字列になる'example'[3]として'example'[3:4]も、本質的に/内部的には、と同じではないと推測でき'm'ます。

あなたは正しいです！'example'[3:4]と'example'[3]は根本的に異なり、シーケンスの境界の外側でスライスしても（少なくとも組み込みの場合）、エラーは発生しません。

最初は意外かもしれませんが、考えてみると理にかなっています。インデックス付けは単一のアイテムを返しますが、スライスはアイテムのサブシーケンスを返します。したがって、存在しない値にインデックスを付けようとしても、何も返されません。ただし、シーケンスを境界外でスライスした場合でも、空のシーケンスを返すことができます。

ここで紛らわしいのは、文字列の動作がリストと少し異なることです。リストに対して同じことをするとどうなるか見てみましょう。

>>> [0, 1, 2, 3, 4, 5][3]
3
>>> [0, 1, 2, 3, 4, 5][3:4]
[3]

ここで違いは明らかです。文字列の場合、Pythonでは文字列の外側に個々の文字などがないため、結果は同じように見えます。1文字は1文字の文字列です。

（シーケンスの範囲外でスライスする正確なセマンティクスについては、mgilsonの回答を参照してください。）

ドキュメントの堅牢なセクションを指す回答を追加するために：

のようなスライス式が与えられるとs[i:j:k]、

ステップkでのiからjまでのsのスライスは、次のようなインデックスを持つアイテムのシーケンスとして定義されます。つまり、インデックスがあり、、、ときなど、停止jが到達している（しかし、決して含めないJ）。kが正の場合、iとjは大きい場合に縮小されます。x = i + n*k0 <= n < (j-i)/kii+ki+2*ki+3*klen(s)

と書くとs[999:9999]、s[len(s):len(s)]それ以降Pythonが返され、len(s) < 999ステップは正になります（1-デフォルト）。

スライスは制限されていません-組み込みのタイプによってチェックされます。また、両方の例で同じ結果が得られているように見えますが、動作は異なります。代わりにリストで試してください。