Вот пример программы на языке C++, которая выполняет ваши требования:

#include <iostream>
#include <vector>
#include <cstdlib>
#include <ctime>

int main() {
    const int size = 1000;
    std::vector<int> arr(size);

    // Инициализация генератора случайных чисел
    std::srand(std::time(0));

    // Заполнение массива случайными числами от 0 до 9
    for (int i = 0; i < size; ++i) {
        arr[i] = std::rand() % 10;
    }

    long long product = 1; // Переменная для хранения произведения
    bool zero_found = false; // Флаг, указывающий, найден ли ноль

    // Перебор элементов массива с конца до начала
    for (int i = size - 1; i >= 0; --i) {
        if (arr[i] == 0) {
            zero_found = true; // Установка флага, если найден ноль
            break; // Прерываем цикл при нахождении нуля
        }
        product *= arr[i]; // Умножаем элементы
    }

    if (zero_found) {
        std::cout << "Произведение элементов до первого нуля: " << product << std::endl;
    } else {
        std::cout << "Ноль не найден в массиве." << std::endl;
    }

    return 0;
}

Пояснение кода

1. Создание массива: Программа создает вектор из 1000 элементов и заполняет его случайными числами от 0 до 9.
2. Переменная для произведения: product инициализируется как 1 для хранения результата умножения.
3. Поиск элемента: Трапецевидный цикл перебирает элементы массива с конца, проверяя, не равен ли текущий элемент нулю.
4. Умножение: Если элемент не равен нулю, он умножается на product.
5. Вывод результата: После завершения цикла программа выводит результат, если ноль был найден.

Чтобы исполнить данный код, скопируйте его и вставьте в вашу среду разработки для C++.