@geelaw

我又用错词了，应该说，“不用 goto 就没有这种连初始化个指针都是 ill-formed 的破事儿"。
虽然在你的代码里面 TypeD 是个 struct

但谁也没法阻止 typedef TypeC* TypeD; 对吧

#include <iostream>


int main(int argc, char **argv)
{
if (argc > 0) {
goto PRE_EXIT;
}
int * some_ptr;

// initializing some_ptr will upset the compiler
// int * some_ptr = nullptr;

PRE_EXIT:
std::cerr << argc;
return 0;
}