Компьютерная Графика и Мультимедиа Сетевой журнал

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

Числа и строки

Все знают, что с помощью стандартной функции atoi можно преобразовать строку в число. Но вот как не надо это делать:

char* arr = "123456789";
char tmp;
tmp = arr[i];
int i = atoi(&tmp);

В некоторых случаях i оказывается верно вычисленной, однако иногда в ней получается мусор! Разберемся как работает atoi. Она работает со строкой. Учебные процедуры преобразования строки в число пишутся так: преобразуем первый символ в число, умножаем на 10, прибавляем следующий символ, преобразованный в число, умножаем на 10 и прибавляем следующий и так далее пока все символы не закончатся. Скорее всего, atoi действует так же. Когда же она заканчивается? Вероятно, когда заканчивается строка - то есть когда мы дойдем до символа �. А где в нашей &tmp будет �?! Правильно - в неопределенном месте. И поэтому наше число вычислится неправильно.
Правильным кодом будет например такой:

char* arr = "123456789";
char tmp[2];
tmp[0] = arr[i];
tmp[1] = '�';
int i = atoi(&tmp);

Динамическое приведение типов

Есть класс-интерфейс и класс-реализация. Имея класс-интерфейс, хотим узнать, является ли он на самом деле реализацией.

class CParentClass
{
  // ...
};

class CChildClass : public CParentClass
{
  // ...
};

CParentClass* theClassP = new CChildClass;
CChildClass*  theClassC = dynamic_cast(theClassC);

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

Временные переменные

Имеем строку (std::string), содержащую имя файла. В зависимости от расширения файла мы должны устроить ветвление в программе. Мы знаем, что у типа AnsiString, имеющего конструктор из const char*, в которую можно преобразовать нашу строку, есть метод GetExtension(), возвращающий const char*, в которой содержится расширение, и которую можно сравнивать с помощью strcmp с другими текстовыми строками. Всего лишь немного преобразований типов...

std::string theString = "MyFile.txt";

const char* theExtension = AnsiString(theString.c_str()).GetExtension().c_str();

if(!strcmp(theExtension, "bmp"))
  // ...
else if (!strcmp(theExtension, "jpeg"))
  // ...
else if (!strcmp(theExtension, "gif"))
  // ...
else
  MessageBox(NULL, "Unknown format", "Error", MB_OK);

В theExtension сохраняется ссылка на временный объект - объект существовал, когда существовал класс AnsiString, у которого мы сделали GetExtension(), у которого мы сделали c_str(). Во время выполнения этой строки программы мы
а) создали новую переменную типа AnsiString, вызвали ее конструктор;
б) вызвали ее метод GetExtension(), вернувший нам объект AnsiString, содержащий нужную строку;
в) вызвали c_str(). Метод работает так же как c_str() для std::string, т.е. возвращает указатель на нечто, хранящееся внутри класса;
г) Сохранили указатель из пункта в.
После того как эта строка выполнена, вызывается деструктор AnsiString, вместе с ним указатель, вернувшийся нам, становится недействителен.
Правильно было бы либо завести отдельную переменную AnsiString, либо использовать функцию этого класса для сравнения, вместо strcmp. Например:

std::string theString = "MyFile.txt";

AnsiString asString = theString.c_str();   // вызовется конструктор AnsiString

if(!asString.GetExtension().AnsiCompare("bmp"))
  // ...
else if (!asString.GetExtension().AnsiCompare("jpeg"))
  // ...
else if (!asString.GetExtension().AnsiCompare("gif"))
  // ...
else
  MessageBox(NULL, "Unknown format", "Error", MB_OK);

Scanf

Вот пример использования С-функции scanf:

double theDouble;
scanf("%f", &theDouble);
printf("%f", theDouble);

Каково будет наше удивление, когда распечатается не то что было введено! Почему? Потому что при %f означает, что мы собираемся вводить число float, с плавающей точкой одинарной точности. А вводим double, с плавающей точкой двойной точности. Происходит: scanf берет что ему передали (с его точки зрения, это void*), приводит ко float (от исходного double отрезали вторую половину) и вводим в то что получилось (в первую половину нашего double). Теперь печатаем: printf получает double, конвертирует его во float (при этом отрезается его половина) и выводит содержимое оставшегося. В случае если числа хранятся "нижние байты сперва, верхние байты потом" - то, что мы печатаем, всегда равно 0, ибо ввод осуществлялся в другую половину double-числа. Осознать в чем ошибка можно только досконально изучив архитектуру компьютера и тонкости работы стандартной библиотеки.
Правильно будет делать так:

double theDouble;
scanf("%lf", &theDouble);
printf("%lf", theDouble);

Printf

Только что предложили вот такую вариацию применения printf:

printf("%f,%f,%d,%d", 0, 0, 0, 0);

На экран выводились два нуля и два мусорных числа. Давайте разберемся почему.
Функция printf работает с переменным числом параметров. Тип параметров задается спецификаторами в строке - первом аргументе. Соответственно, при вызове вышеописанной функции компилятор запихивает в стек четыре нуля размером в int. А далее при разборе переменного числа параметров компилятор, глядя на переданные модификаторы, вытащил из стека сначала два числа размером в float, а потом два числа размером int. Если вам так не повезло, что на вашей машине float и int имеют разный размер, то мы вылезем за пределы стека и будем выводить естественно мусор. Особенно неприятно оказывается, если именно на вашей машине размеры float и int совпадают, а на машине заказчика - нет...
Правильный вариант будет такой:

printf("%f,%f,%d,%d", 0.0, 0.0, 0, 0);