Неправильно ли использовать удаление вне области видимости, как это?

Это описано в Часто задаваемые вопросы по C++ lite:

[16.14] После того, как p = new Fred[n], как компилятор узнает, что во время delete[] p нужно уничтожить n объектов?

Краткий ответ: Магия.

Длинный ответ: система времени выполнения хранит количество объектов n где-то, откуда его можно получить, если вы знаете только указатель, p. Есть два популярных метода, которые делают это. Оба эти метода используются компиляторами коммерческого уровня, оба имеют компромиссы, и ни один из них не идеален. Эти методы:

• Перераспределите массив и поместите n слева от первого объекта Fred.
• Используйте ассоциативный массив с p в качестве ключа и n в качестве значения.

Именно так предполагается использовать delete, и это нормально. Размер массива хранится где-то за кулисами, так что delete[] будет поступать правильно, где бы это ни происходило.

Однако манипулирование указателями, подобное этому, чревато ошибками: легко потерять указатель перед удалением массива или логика становится настолько сложной, что вы в конечном итоге удаляете один и тот же массив дважды. Вам лучше использовать класс для управления массивом для вас:

#include <vector>

std::vector<int> func() {
    return std::vector<int>(3);
}

void funcc() {
    auto tmp = func();
    // no need to do anything - the vector frees its memory automatically
}