1.37.8.3. Присваивание несовместимых указателей

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

double x = 10.5;

double *pd = &x;

float *pf = pd;

printf("*pf = %0.4g", *pf);

Третья строка кода содержит недопустимое присваивание. Vusual Studuo 2013 ограничивается выводом предупреждения: несовместимые типы - из "double *" в "float *". Программа, содержащая этот код, вышла на выполнение. На экране дисплея: *pf = 0.

1.37.8.4. Разыменование нулевого указателя

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

int *pi=NULL; int main(void) {

*pi = 10; //Ошибка. pi – нулевой указатель

}

1.37.18.5. Несовместимость фактического и формального параметров указателей функции

В процессе редактирования программного кода формальные параметры указатели определения функции и фактические параметры вызова функции могут оказаться несовместимыми. Компилятор языка Си может ограничиться выводом предупреждения. Результаты же выполнения такой программы могут оказаться некорректными. Приведем примеры.

Пример 1. Компиляция клиентского кода функции swap(). В коде допущена ошибка. Оба фактических параметра имеют тип float*, а должны иметь тип double*

// код клиента

#include”swap.h”

int main(void) {

float a = 2, b = 3; swap(&a, &b); //…

}

//Файл swap.h void swap(double* p1, double* p2);

Компиляция этого кода в Visual Studio 2013 приводит к появлению предупреждения: warning C4133: функция: несовместимые типы - из "float *" в "double *".

Пример 2. Компиляция клиентского кода функции summa(), предназначенной для вычисления суммы элементов одномерного массива.

#include<stdio.h>

#include"summa.h"

int main(void)

{

float x[4] = { 1, 3, 5, 7 };

printf("summa(x, 4) = %10.3f\n", summa(x, 4));

return 0;

}

//Файл summa.h

float summa(const double x[], int n);

При компиляции этого фрагмента кода в Visual Studio 2013 получено следующее предупреждение: warning C4133: функция: несовместимые типы - из "float [4]" в "double *".

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

1.37.8.6. Возврат из функции указателя на локальную переменную

Возврат из функции значения указателя на локальную переменную является ошибкой. Это связано с тем, что при завершении работы функции локальная переменная перестает существовать. Пример.

char* test(void) {

char buf[129] = "111 222"; return buf;

} int main(void) {

char* str = test(); puts(str); getchar(); return 0;

}

Ошибка, допущенная в этой программе, состоит в том, что указателю str присвоен адрес уже несуществующей локальной строки buf. Компилятор Code :: Blocks 13.12 ограничивается выводом предупреждения.

1.37.8.7. Висячий указатель

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

// Фрагмент кода int* ptr = (int*)malloc(sizeof(int)); free(ptr); // Указатель ptr стал висячим ptr = NULL; // Перевод указателя в нерабочее состояние

Более сложная ситуация для устранения висячих указателей складывается в том случае, когда на одну и ту же динамическую память установлены два или более указателей. Дело в том, что в этом случае надо поставить в нерабочее состояние не только тот указатель, с помощью которого происходило освобождение памяти, но все другие. Например:

// Фрагмент кода int* ptr = (int*)malloc(sizeof(int)); int* ptr2 = ptr1; free(ptr); // Оба указателя стали висячими ptr = NULL; // Указатель ptr стал нерабочим ptr2 = NULL; // Теперь и ptr2 стал нерабочим.

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