как, выделяя динамически память, я указываю какой тип данных будет и ОС вернет мне требуемый кусок памяти либо ноль что означает что не удалось найти подходящий объем памяти для объекта, т.ею случайности быть не может. Другими словами если проверять что возвращает функция(а этого требует и документация) в дальнейшем проверять и на несуществующий экземпляр не придется