phpのインターフェイス、定義済みインターフェイスArrayAccessについて

パーフェクトphpでインターフェイスについて勉強していて疑問が発生しました。
そもそもインターフェイスとは、「抽象メソッドの集合」。そのインターフェイスを実装するクラスは、
そのインターフェイスが有する抽象メソッドを定義(実装)したものを有することが保証される、という
説明がされています。
次のページにphpの定義済インターフェイスとしてIteator,ArrayAccessなど挙げられています。
http://jp2.php.net/manual/ja/class.arrayaccess.php

php
1<?php
2class obj implements ArrayAccess {
3    private $container = array();
4
5    public function __construct() {
6        $this->container = array(
7            "one"   => 1,
8            "two"   => 2,
9            "three" => 3,
10        );
11    }
12
13    public function offsetSet($offset, $value) {
14        if (is_null($offset)) {
15            $this->container[] = $value;
16        } else {
17            $this->container[$offset] = $value;
18        }
19    }
20
21    public function offsetExists($offset) {
22        return isset($this->container[$offset]);
23    }
24
25    public function offsetUnset($offset) {
26        unset($this->container[$offset]);
27    }
28
29    public function offsetGet($offset) {
30        return isset($this->container[$offset]) ? $this->container[$offset] : null;
31    }
32}
33
34$obj = new obj;
35
36var_dump(isset($obj["two"]));
37var_dump($obj["two"]);
38unset($obj["two"]);
39var_dump(isset($obj["two"]));
40$obj["two"] = "A value";
41var_dump($obj["two"]);
42$obj[] = 'Append 1';
43$obj[] = 'Append 2';
44$obj[] = 'Append 3';
45print_r($obj);
46?>

result
1bool(true)
2int(2)
3bool(false)
4string(7) "A value"
5obj Object
6(
7    [container:obj:private] => Array
8        (
9            [one] => 1
10            [three] => 3
11            [two] => A value
12            [0] => Append 1
13            [1] => Append 2
14            [2] => Append 3
15        )
16
17)

ArrayAccessのページに上記の基本的な使用法があるのですが、offsetGetを例にとると、

●ArrayAccessインターフェイスではoffsetGetというメソッド名のみ示されている。
●インターフェイスを実装したobjクラス内でoffsetGetメソッドを定義していますが、その中身は
「container[$offset] があればcontainer[$offset] を返す、無ければnullを返す」
ということだけ。

これだけで、上記の結果が出るのが不思議に思えます。
「$obj["two"]のように配列のようにアクセスされた時にoffsetGetメソッドを呼び出す。」
ということを全くプログラマが書かなくてもそのように動作している、ということだと思うんです。
これってマジックメソッド__getが、アクセス不能プロパティにアクセスしようとした時に、(プログラマーがマジックメソッド__getを呼び出すコードを書かなくても)自動的に呼ばれる、というのと似ている気がします。
マジックメソッドの場合は「それがマジックメソッド。」で理解しましたが、今回も「それがArrayAccessインターフェイスだから使用法のように使えばいい」という理解でいいんでしょうか？

あとそれってArrayAccessインターフェイスのソースを見ればわかるのでは？と思ったのですが、ArrayAccessインターフェイスのソースがどこにあるのかわかりません。
どこにあるでしょうか？