Рассмотрим следующий фрагмент программы на С/С++:

    static int *p = NULL;    . . .    p = (int *) malloc(sizeof(int));    *p = 123;

Где хранится значение выражения "*p" (т.е.число 123)?

Рассмотрим следующий фрагмент программы на С++:

    static double *p = 0;    . . .    p = new double[100];    *p = 1.5;

Где хранится значение выражения "*p" (т.е.число 1.5)?

Рассмотрим следующий фрагмент программы на С++:

    static double *a = new double[10];    a[0] = 3.7;

Где хранится значение выражения "a[0]" (т.е.число 3.7)?

Рассмотрим следующий фрагмент программы на C++:

    int a[3][5];    const int *p = &(a[1][1]);    int n;    for (int i = 0; i < 3; ++i) {        for (int j = 0; j < 5; ++j) {            a[i][j] = 10*i + j;        }    }    n = p[6];

Чему равно значение nпосле выполнения этого фрагмента?

Рассмотрим следующий фрагмент программы, вычисляющейчастное q и остаток r от деленияцелых чисел a, b:

    // дано: целые числа a >= 0, b > 0    int a, b;    . . .    int q = 0, r = a;    int e = 1, m = b;    while (r >= b) {        if (2*m <= r) {            e *= 2; m *= 2;        } else if (m > r) {            e /= 2; m /= 2;        } else {            // утверждение: m <= r && r < 2*m            q += e; r -= m;        }    }    // q и r - частное и остаток от деления a на b

Какое условие является инвариантом цикла?

Рассмотрим следующий фрагмент программы на C++:

    int a[2][3];    const int *p = (const int *) a;    int n;    for (int i = 0; i < 2; ++i) {        for (int j = 0; j < 3; ++j) {            a[i][j] = 10*i + j;        }    }    n = p[4];

Чему равно значение nпосле выполнения этого фрагмента?

Пусть дан массив a длины n,элементы которого нестрого возрастают, т.е. соседниеэлементы могут быть равными.Рассмотрим фрагмент программы бинарного поискаэлемента x в массивеa длины n, гдепосле отбрасывания особых ситуаций рассматриваетсяосновной случай:

        . . .        // Утверждение: a[0] < x && x <= a[n-1]        int beg = 0; int end = n-1;        while (end-beg > 1) {            // Инвариант: a[beg] < x && x <= a[end]            int c = (beg + end) / 2;            if (a[c] < x) {                beg = c;            } else {                end = c;            }        }        *idx = end;        . . .

Пусть значение x содержится в массивев нескольких экземплярах. Индекс какого элементамассива a будет записан в переменную *idx?

Пусть дан массив a длины n,элементы которого нестрого возрастают, т.е. соседниеэлементы могут быть равными.Рассмотрим фрагмент программы бинарного поискаэлемента x в массивеa длины n, гдепосле отбрасывания особых ситуаций рассматриваетсяосновной случай:

        . . .        // Утверждение: a[0] <= x && x < a[n-1]        int beg = 0; int end = n-1;        while (end-beg > 1) {            // Инвариант: a[beg] <= x && x < a[end]            int c = (beg + end) / 2;            if (a[c] <= x) {                beg = c;            } else {                end = c;            }        }        if (a[beg] == x) {            *idx = beg;        } else  {            *idx = end;        }        . . .

Пусть значение x содержится в массивев нескольких экземплярах. Индекс какого элементамассива a будет записан в переменную *idx?

Рассмотрим следующий фрагмент программы:

утверждение: A(x)цикл пока B(x)| инвариант: A(x)| x := T(x)конец цикла

Здесь через A(x) и B(x)обозначены условия, зависящие от переменной x.Какое условие выполняется по окончании цикла?

Пусть дан массив a длины n,элементы которого нестрого возрастают, т.е. соседниеэлементы могут быть равными.Рассмотрим фрагмент программы бинарного поискаэлемента x в массивеa длины n, гдепосле отбрасывания особых ситуаций рассматриваетсяосновной случай:

        . . .        // Утверждение: a[0] < x && x <= a[n-1]        int beg = 0; int end = n-1;        while (end-beg > 1) {            // Инвариант: a[beg] < x && x <= a[end]            int c = (beg + end) / 2;            if (a[c] < x) {                beg = c;            } else if (a[c] > x) {                end = c;            } else {                // Утверждение: x == a[c]                *idx = c;                return true;            }        }        *idx = end;        return (x >= a[end]);        . . .

Пусть значение x содержится в массивев нескольких экземплярах. Индекс какого элементамассива a будет записан в переменную *idx?

Рассмотрим следующий фрагмент программы на C++:

    double a[5][3];    const double *p = &(a[0][0]);    const double *q = &(a[2][2]);    int n = q - p;

Чему равно значение nпосле выполнения этого фрагмента?