當編譯時已知引用占用結構中的空間時，這是一個錯過的優化嗎？

Question

看這個例子：

struct Foo {
    int a;
    int &b = a;
};

它是一個錯過的優化，如果sizeof(Foo)!=sizeof(int) ？

我的意思是，編譯器可以從結構中刪除b ，因為它總是引用a ？

是否存在阻止編譯器進行此轉換的任何內容？

（注意， struct Foo看起來是這樣。沒有構造函數等。但是你可以在Foo周圍添加任何東西，這表明這種優化會違反標准）

Answer 1

不，因為您可以使用變量的聚合初始化來讓它引用其他內容。

struct Foo {
    int a;
    int &b = a;
};

int c;
Foo f{7, c};