回答ではありませんが、ソースコード上での処理はどの様になっているのか調べてみました。
スライスの処理はここで行われています。
slice computes the slice v[i:j:k] and returns ptr, len, and cap of result. i,j,k may be nil, in which case they are set to their default value.
コメントにあるように、a[len(a):]
の場合は a[len(a):len(a)]
として扱われて、境界チェック(bounds checking)が行われます。この場合、a
は文字列ですので、最終的に s.boundsCheck(i, j, ssa.BoundsSliceB, bounded)
が実行されることになります。
case t.IsString():
ptr = s.newValue1(ssa.OpStringPtr, types.NewPtr(types.Types[TUINT8]), v)
len = s.newValue1(ssa.OpStringLen, types.Types[TINT], v)
cap = len
:
// Set default values
:
if j == nil {
j = len
}
three := true
if k == nil {
three = false
k = cap
}
// Panic if slice indices are not in bounds.
:
if three {
:
} else {
if j != k {
:
}
i = s.boundsCheck(i, j, ssa.BoundsSliceB, bounded)
}
ssa.BoundsSliceB
は境界チェック用のオペレーション・コードですが、ここで定義されています。
type BoundsKind uint8
const (
BoundsIndex BoundsKind = iota // indexing operation, 0 <= idx < len failed
:
BoundsSliceB // 2-arg slicing operation, 0 <= low <= high failed
判定条件は 0 <= low <= high
となっていて、low
, high
ともに len(a)
であるため境界内であると判定されることになります。
a[len(a)+1:]
の場合は low = len(a)+1
, high = len(a)
となるので、low > high
となってしまい、境界チェックに引っ掛かってしまいます(panic(bounds out of range)
が発生)。
仮に判定条件が 0 <= low < high
となっていたとすれば a[len(a):]
でも panic が発生することになったはずです。
ちなみに、a[len(a)]
の様なインデックスによるアクセスの場合には BoundsIndex
でチェックされますので、先に引用したコードにもある通り、0 <= idx < len
が判定条件になります(a[len(a)]
では index out of range
となる)。