c++ - 为什么我可以在 c++ 中传递对未初始化元素的引用？

Question

为什么下面的代码会编译？

class Demo
{
    public:
    Demo() : a(this->a){}
    int& a;
};

int main()
{
    Demo d;
}

在这种情况下，a 是对整数的引用。但是，当我初始化 Demo 时，我将一个引用传递给一个尚未初始化的整数的引用。为什么会这样编译？

即使我使用对具有私有(private)默认构造函数的类的引用而不是 int，这仍然可以编译。为什么允许这样做？

Answer 1

Why does this compile?

因为它在语法上是有效的。

C++ 不是一种安全的编程语言。有几个功能可以轻松地做正确的事，但防止某人做错事并不是优先事项。如果你决心做一些愚蠢的事情，没有什么能阻止你。只要您遵循语法，您就可以尝试做任何您想做的事情，无论语义多么可笑。请记住:编译是关于语法，而不是语义。^*

话虽如此，编写编译器的人并非没有遗憾。他们知道常见的错误(可能来自个人经验)，并且他们认识到您的编译器能够很好地发现某些类型的语义错误。因此，当您执行某些没有意义的事情(不是所有事情)时，大多数编译器都会发出警告。那是why you should always enable compiler warnings .

警告不会捕获所有逻辑错误，但对于它们确实捕获的错误(例如 warning: 'Demo::a' is initialized with its own 和 warning: '*this. Demo::a' 使用未初始化)，您为自己节省了大量的调试时间。

^* 好的，编译中涉及到一些语义，比如赋予标识符一个含义。当我说编译与语义无关时，我指的是更高级别的语义，例如预期的行为。