例えば、c++で以下のようなコードを書くと、間違ってはいますが、スタックの連続した領域へのアクセスによってランタイムがなにか例外を吐くことはしません。
int a[1],b[1];
a[1] = 999; // out of range
std::cout << b[0] << std::endl; // 999
また、例えばgoで
package main
import (
"fmt"
)
func main() {
var a [1]int
var b [1]int
var i int;
b[0] = 123;
fmt.Scan(&i)
a[i] = 456; // panic
fmt.Println(b[0])
}
のように書くと、ランタイムにindex out of rangeがpanicとして出ます。
これはどのようにして検知したものなのでしょうか?
Arrayはランタイムでもわかるようにサイズを持っていますか?
もしサイズを持っていないなら、どのようにして判定していますか?
もしサイズを持っているなら、なぜerrとして返却するようなものではなく、panicを起こすように作られているのですか?