Какой термин используется (скажем, теоретиками языка программирования) для акта преобразования пустого указателя в указатель на тип? Это «апскейтинг»? «Тип инфузии»? «Набрав»?
Заметки:
Если вы хотите придумать новый термин, вы можете назвать его тип неуверенности.
Я бы сказал, что это перебор (или просто Кастинг как это будут называть придирки с), как это представлено в с ++ с надлежащим reinterpret_cast<>
отсюда переосмыслить кастинг.