Выброс массива локально в блок try

Из С++ Primer 18.1.1:

Если выражение [throw] имеет массив или тип функции, выражение преобразуется в соответствующий тип указателя.

Как получается, что эта программа может производить корректный вывод 9876543210 (g++ 5.2.0)?

#include <iostream>
using namespace std;

int main(){

    try{
        int a[10] = {9,8,7,6,5,4,3,2,1,0};
        throw a;
    }
    catch(int* b) { for(int i = 0; i < 10; ++i) cout << *(b+i); }

}

Из цитаты throw a создаст объект исключения типа int*, который является указателем на первый элемент массива. Но, конечно, элементы массива a будут уничтожены при выходе из блока try и введите предложение catch, так как мы изменим область блока? Я получаю ложное положительное значение или элементы массива "оставлены в покое" (не удаляются) в течение срока действия предложения catch?

Ответ 1

Разыменование висячего указателя Undefined Поведение.

Когда программа встречает Undefined Поведение, она может свободно что-либо делать. Который включает в себя сбой и заставить демонов вылететь из вашего носа, но он также включает в себя выполнение того, что вы ожидали.

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

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

Также обратите внимание, что gcc-оптимизация довольно печально для того, чтобы полагаться на программу, не вызывающую поведение Undefined. Довольно часто, если у вас есть поведение Undefined, неоптимизированная версия работает, но как только вы включаете оптимизацию, она начинает делать что-то совершенно неожиданное.

Ответ 2

Но, конечно, элементы массива a будут уничтожены, когда мы выйдем из блока try и войдем в предложение catch, так как мы изменим область видимости блока?

Правильно.

Я получаю ложное положительное значение или элементы массива "оставлены в покое" (не удаляются) в течение срока действия предложения catch?

Они не "оставлены одни". Массив уничтожается, как вы правильно предполагали. Программа обращается к недопустимой памяти. Поведение undefined.

Как получается, что эта программа может производить правильный вывод 9876543210 (g++ 5.2.0)?

Нет правильного вывода, если поведение undefined. Программа может произвести то, что она сделала, потому что она может производить любой вывод, когда поведение undefined.

Рассуждение о UB обычно бессмысленно, но в этом случае содержимое недопустимой памяти может быть идентичным, если часть памяти еще не была перезаписана программой.

Ответ 3

В этой главе вы найдете следующее предупреждение:

Для броска указателя требуется, чтобы объект, на который указатель точки существуют везде, где находится соответствующий обработчик.

поэтому ваш пример будет действителен, если массив a был статическим или глобальным, иначе его UB. Или (как пишет Ян Худек в комментарии) в закрывающем блоке инструкции try/catch.