onclick = xxx這種賦值寫法綁定事件的原理是什麼？

剛入門不久，能力有限，這個問題我描述起來有點困難，只有勞煩各位大神細看了

我之前一直以為js底層存在類似下面這樣的代碼：

//給所有dom對象定義好onclick值為一個空函數
HTMLElement.prototype.onclick = function(){};

//給所有dom對象綁定默認點擊回調函數：點擊時都執行一次自己的onclick方法
[].map.call(document.all,function(item){
item.addEventListener("click",function(){
this.onclick();
});
});


然後我認為給同一個元素多次添加事件函數，會形成一個待執行的函數隊列，那麼onclick以後無論怎麼賦值，執行順序會相對固定。

然而有如下可運行的代碼我又無法解釋（請展開全部之後再閱讀代碼，避免混亂）：

//改變onclick的函數。此時body["click"]的事件隊列第一個函數為alert(1);
document.body.onclick = function(){alert(1)}

//body["click"]事件隊列里增加了alert(2);點擊時依次執行alert(1)、alert(2)
document.body.addEventListener("click",function(){alert(2)});

//再改變onclick的函數。此時body["click"]的事件隊列第一個函數換為alert(3);
document.body.onclick = function(){alert(3)}


然後這時候點擊body，先後順序本應該是alert(3)、alert(2)，實際卻是alert(3)在後面？

為什麼僅僅憑一個賦值操作改變了onclick的值就能導致事件執行的順序變了呢？

是「隊列」的思想錯誤了，還是onclick=xxx，不是我想的那麼簡單？

補充後續思考：

如果onclick賦值時有內部操作改變了執行函數的隊列，那js為什麼要這麼做呢？

路過

僅趴了機器上幾年前最老的blink代碼看了下

這玩意就是個 Vector