C 中通过空指针调用方法的意外行为

在提供的代码片段中，通过空指针调用方法，但是令人惊讶的是，该方法调用似乎执行时没有崩溃。这种不寻常的行为提出了一个问题：这是 C 标准允许的还是仅仅是实现优化？

解释在于 C 中方法调用的本质。当调用对象的方法时，编译器知道该对象的类型，因此知道要执行的方法的地址。在这种情况下，指针的类型是已知的（即使它的值为空），因此编译器仍然可以确定方法的地址。

关键的是，被调用的方法（show）不会访问对象的地址状态（由 this 指针表示）。因此，即使该方法所操作的对象未初始化，该方法的执行也会按预期进行。

虽然此行为可能看起来出乎意料，但它不符合标准。 C 标准明确指出，通过空指针访问成员会导致未定义的行为。但是，某些编译器可能会通过跳过空指针检查并直接调用方法来优化此类调用。

这种优化以安全换取效率，因为它允许方法调用执行，即使它们不打算执行。虽然它可能在执行过程中节省一些时间，但它引入了潜在的微妙错误和未定义行为。

因此，建议在访问对象成员之前始终检查空指针，以确保正确且可预测的程序行为。