двухсимвольный масив

[goga_50]

Cреда dev-cpp
/*K&R. Упражнение 2.3. Напишите функцию htoi(s), которая преобразует строку шестнадцатеричных цифр (учитывая необязательные элементы 0х или 0Х) в ее целочисленный эквивалент. В число допустимых цифр входят десятичные цифры от 0 до 9, а также буквы a-f и A-F.
*/
код

/*2.3 K&R. htoi(s)*/
#include <conio.h>
#include <stdio.h>
#define MAXLEN 2/*глюки при MAXLEN 2: i = 50 WTF???; третье значение записывается куда "положено"*/
/*0xa1 = 10 - не баг при MAXLEN 3*/

int htoi(char t[]);

int
main(void)
{
	int i = -1;/*искусственно, но нужно обозначения '\0'-м символом последней ячейки массива*/
	char s[MAXLEN];

	while(i < MAXLEN){
		++i;
		s[i] = getchar();
		printf("s[%d]=%c\n", i, s[i]);
		if(s[i] == '\n')
			break;
	}
	printf("s[%d]=%%нулевой_символ%%\n", i);
	s[i] = '\0';
		
	
	printf("Результат: %d", htoi(s));
	getch();
	return(0);
}

int
htoi(char t[])
{
	int j = 0;
	int result = 0;
	do{
		if((t[j] == '0') && ((t[j + 1] == 'x') || (t[j + 1] == 'X'))){
			j = j + 2;
			continue;
		}

		if(t[j] >= '0' && t[j] <= '9')
			result = 16 * result + (t[j] - '0');

		if(t[j] >= 'a' && t[j] <= 'f')
			result = 16 * result + (t[j] - 'a' + 10);

		if(t[j] >= 'A' && t[j] <= 'F')
			result = 16 * result + (t[j] - 'A' + 10);

		++j;
	}while(t[j] != '\0');

	return(result);
}

При MAXLEN 2 массив s[MAXLEN] должен состоять из 3-х элементов: s[0], s[1], s[2].
символом '\0' закрываю строку
При вводе 123, 1234, в элемент s[2] не записывается '\0', а записывается '3', что видно по преобразованию в 291.
скриншот

При MAXLEN 3, 4, 5 и т. д.
программа работает как положено.

Это баг/фича компилятора mingw или какая-то особенность языка C?

@темы: Вопрос, C++

Comments

[Flex Ferrum]

При MAXLEN 2 массив s[MAXLEN] должен состоять из 3-х элементов: s[0], s[1], s[2].

Учим матчасть. При MAXLEN 2 массив s должен состоять из двух элементов. s[0] и s[1]. '\0' как дополнительный элемент массива добавляется только к строковым литералам.

[O]

Компьютер делает не то, что вам надо, а то, что вы ему говорите =)

При MAXLEN=2 под массив s в памяти будет выделено ровно 2*sizeof(char)=2 байт. Т.е. в него можно будет записать, не выходя за границы, всего два символа. Вы же считаете, что там 3 элемента. И вот что из этого получается...

Память для локальных переменных функций выделяется из стека. Т.е. когда вы объявляете

    int i = -1;
    char s[2];

,
компилятор стеке выделает sizeof(s[2])+iszeof(i)=4 байта, 2 под массив s и два - под переменную i. Расположены они вот так (X - это адрес вершины стека):

Адрес	Что хранит
X-3	s[0]
X-2	s[1]
X-1	i, младший байт
X-0	i, старший байт

Теперь вот что происходит при выполнении цикла while при вводе строки "1234" (а именно - после строки 17 приведённого вами кода):

Адрес		До цикла	Итерация 1	Ит. 2	Ит. 3
X-3	s[0]	'\0'	'1'	'1'	'1'
X-2	s[1]	'\0'	'\0'	'2'	'2'
X-1	i, младший байт	0xFF	0	1	'3'=0x33=51
X-0	i, старший байт	0xFF	0	0	0
	Значение i	-1	0	1	'3'=0x33=51
	Значение s	""	"1"	"12"	"123"

То есть на третьей итерации символ '3' записывается на то место, где хранится переменная i! А т.к. значение символа '3' в численном виде равно 51, то оно вам и выводится.

Вы совершили очень типичную ошибку, которая широко известна в западной литературе как Obi-Wan error (ошибка Оби Вана, которая так была названа от созвучия с off-by-one error - ошибка "на один меньше"). Это когда выделяется на один элемент памяти меньше, чем используется. Такая ошибка на самом деле может быть незаметна с самого начала. Но её наличие очень часто может быть использовано для взлома программы или выполнения вредоносного кода.

[goga_50]

спасибо,
тогда почему(другой пример) при i = 1 я не получаю символ 's'?

#include <stdio.h>
#include <conio.h>
#define MAX_S /*3*/ 4

int
main(void)
{
	char s[MAX_S]/* = {'s', 'y', 'm', 'b'}*/ = "sym";
	/*s[0] = 's';
	s[1] = 'y';
	s[2] = 'm';
	s[3] = '\0';*/
	/*а при i = 0 удаётся увидеть sym*/
	int i = 1;
	
	while(i <= MAX_S){
		printf("s[%d] = _%c_ = %d", i, s[i], s[i]);
	
		if (s[i] == '\0')
			printf(" = /0; ", i);
			
		printf("\n");
		++i;
	}
	
	printf("\n%s", s);
	
	getch();
	return(0);
}

скрин

в каких книгах на русском описаны типичные ошибки(наподобие моей)?

[goga_50]

#include <stdio.h>
#include <conio.h>
#define MAX_S /*3*/ 4

int
main(void)
{
	char s[MAX_S]/* = {'s', 'y', 'm', 'b'}*/ = "sym";
	/*s[0] = 's';
	s[1] = 'y';
	s[2] = 'm';
	s[3] = '\0';*/
	
	int i = 0;
	
	while(i < MAX_S){
		printf("s[%d] = _%c_ = %d", i, s[i], s[i]);
	
		if (s[i] == '\0')
			printf(" = /0; ", i);
			
		printf("\n");
		++i;
	}
	
	printf("\n%s", s);
	
	getch();
	return(0);
}

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

остаётся вопрос: в каких книгах на русском описаны типичные ошибки(наподобие моей)?

[O]

goga_50 Вы не получаете при i=1 символ 's' потому, что любые (т.е. вообще любые) массивы в си индексируются с нуля (в отличие от Паскаля и производных от него).
И когда вы объявляете char[4] s= "sym", вы получаете именно то, что закомментировали. Т.е. s[0] будет равен 's', s[1] - 'y', s[2] - 'm', s[3] - '\0'.

Чтобы получить в данном коде желаемый эффект, следует вместо:

	int i = 1;
	
	while(i <= MAX_S){

написать:

	int i = 0;
	
	while(i < MAX_S){

Если же вас смутило то, что строка printf("\n%s", s) выдаёт "sym", то это опять же - вполне ожидаемая ситуация. В си любой массив, по сути, является ничем иным, как указателем на первый элемент массива. И естественно, компилятор воспринимает его никак иначе, чем элемент того типа, который определён как элемент этого массива. Поясню эту фразу строкой из международного стандарта, описывающего диалект языка C99:
===
A postfix expression followed by an expression in square brackets [] is a subscripted designation of an element of an array object. The definition of the subscript operator [] is that E1[E2] is identical to (*((E1)+(E2))). Because of the conversion rules that apply to the binary + operator, if E1 is an array object (equivalently, a pointer to the initial element of an array object) and E2 is an integer, E1[E2] designates the E2-th element of E1 (counting from zero).
====
Постфиксное выражение, за которым следует выражение в квадратных скобках [], является индексированным значением элемента массива. Определение индексного оператора
[] таково, что E1[E2] полностью эквивалентно выражению (*((E1)+(E2))). Из-за правил приведения, которые распространяются на бинарный оператор +, если E1 является массивом (т.е. указателем на первый элемент массива), а E2 - целым числом, то E1[E2] является значением E2'ого элемента массива E1 (считая с нуля).
===

Иными словами, когда вы пишете arr[i], где массив arr определен как [N] arr, то вы получаете значение, равное *(*)((void*)arr+i*sizeof()).
Понимаю, с непривычки эту запись понять довольно сложно, особенно если слабо знаком с указателями, так что если есть вопросы - задавайте. Можно и личными сообщениями - я всегда рад помочь, если знаю чем =)

По поводу же книжек. Знания о типичных ошибках были мною лично получены изначально из книги "Защищённый код" (авторы: Майкл Ховард, Дэвид Леблан), где основной упор делается на защиту программ и информации, а посему вряд ли может быть полезен на начальных этапах знакомства с си. А затем - из википедии, со страниц ru:Ошибки программирования и en:Programming bugs.

[O]

goga_50 Вы меня опередили =) Пока писал - вы уже разобрались с вопросом, прошу прощения за нерасторопность.

P.s. В любом случае, если есть вопросы по си - обращайтесь без стеснения =)

[goga_50]

ок