const引用的地址是否可以與引用對象的地址不同？

Question

我碰到麻煩等同於以下代碼：

const auto &const_reference = some_object; 
assert(&const_reference == &some_object); 

當我與G編譯它++ -O3標誌，它不通過斷言。在沒有優化的情況下編譯時，會傳遞斷言。

據我所知，即使在我的項目中有UBs這種情況也不應該是可能的。

是否有任何情況下會出現此類參照行爲？

編輯： 鏈接到實際的代碼：https://github.com/Gray0Ed/ggp_thesis/blob/67606021020546b315ad63b7fd5c2203f3e0086f/rule_engine/aligner.cpp#L177 - 項目有點混亂，它不是真的準備公開顯示，但如果你好奇，隨時看看它。

編輯2： 由於RustyX指出的原始代碼與上面給出的「等價物」不同，請查看他的答案以查看詳細信息。

Answer 1

此代碼將始終工作：

const auto &const_reference = some_object; 
    assert(&const_reference == &some_object); 

不工作的實際代碼實際上是這樣的：

const auto &oc = ai->var_infos[var_id].occurences[0]; 
    assert(&oc == &ai->var_infos[var_id].occurences[0]); 

它不工作，因爲你重載operator[]：

查看MyArrays.hpp：

T operator[](size_t i) const { 
    assert(size >= 0); 
    assert(i < size && i >= 0); 
    return items[i]; 
} 

每次調用時都會返回一個副本。

這也許應該是：

const T& operator[](size_t i) const { 
    assert(size >= 0); 
    assert(i < size && i >= 0); 
    return items[i]; 
}