（
例如，编程语言理论家）用于将空指针转换为指向类型的指针的行为的术语是什么？是"上投"吗？"类型输液"？"打字"？
笔记：
- 这显然是一个演员阵容，
- 显然是一个重新诠释的演员阵容——但我正在寻找一个更具体的术语，表达从非类型到类型化的脚尖的过渡。
- 请不要争论避免这种情况是否是一个好主意，这真的不是问题。
如果你想编造一个新术语，你可以称之为类型未擦除。
我会说这是蛮力强制转换（或者只是像 c 吹毛求疵者所说的那样），就像它在 c++ 中用适当的reinterpret_cast<>表示一样，因此重新解释强制转换。