Достали, право слово...
2007-05-12 07:07![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
ufmufm@home ~ $ cat t.c
#include <stdio.h>
int main(void) {
int i;
volatile int j;
i = j = 5;
i = ++i + ++i;
j = ++j + ++j;
printf ("i == %d j == %d\n",i,j);
i = j = 5;
i = i++ + ++i;
j = j++ + ++j;
printf ("i == %d j == %d\n",i,j);
i = j = 5;
i = i++ + i++;
j = j++ + j++;
printf ("i == %d j == %d\n",i,j);
i = j = 5;
i = ++i + i++;
j = ++j + j++;
printf ("i == %d j == %d\n",i,j);
return 0;
}
ufm@home ~ $ gcc t.c
ufm@home ~ $ ./a.out
i == 14 j == 13
i == 13 j == 11
i == 12 j == 10
i == 13 j == 12
ufm@home ~ $
#include <stdio.h>
int main(void) {
int i;
volatile int j;
i = j = 5;
i = ++i + ++i;
j = ++j + ++j;
printf ("i == %d j == %d\n",i,j);
i = j = 5;
i = i++ + ++i;
j = j++ + ++j;
printf ("i == %d j == %d\n",i,j);
i = j = 5;
i = i++ + i++;
j = j++ + j++;
printf ("i == %d j == %d\n",i,j);
i = j = 5;
i = ++i + i++;
j = ++j + j++;
printf ("i == %d j == %d\n",i,j);
return 0;
}
ufm@home ~ $ gcc t.c
ufm@home ~ $ ./a.out
i == 14 j == 13
i == 13 j == 11
i == 12 j == 10
i == 13 j == 12
ufm@home ~ $
(no subject)
Date: 2007-05-12 11:35 (UTC)Ты вот лучше объясни логику - почему в первом варианте для не-volatile переменной получается 14.
(no subject)
Date: 2007-05-12 12:24 (UTC)(no subject)
Date: 2007-05-12 12:26 (UTC)(no subject)
Date: 2007-05-12 12:31 (UTC)(no subject)
Date: 2007-05-12 12:44 (UTC)(no subject)
Date: 2007-05-12 12:51 (UTC)(no subject)
Date: 2007-05-12 12:42 (UTC)Инерементируем i, получается 6, берем это значение, потом еще раз инкрементируем i, получается 7, складываем 6 и 7, получается 13.
На деле, если оно не volatile, то оно сначала два раза инкрементируется, а потом уже результат сам с собой складывается, получается 14.
А почему так - я не понимаю.
(no subject)
Date: 2007-05-12 12:50 (UTC)(no subject)
Date: 2007-05-12 19:40 (UTC)(no subject)
Date: 2007-05-12 20:05 (UTC)Непонятно, почему складывается дважды последнее значение i (7), а не то, которое было на момент после собственно инкремента (в одном случае 7, в другом 6).
А еще непонятнее, почему в случае volatile оно происходит по-другому.
(no subject)
Date: 2007-05-13 06:02 (UTC)(no subject)
Date: 2007-05-13 06:04 (UTC)i == 14 j == 14
i == 13 j == 13
i == 12 j == 12
i == 13 j == 13
Это cl.exe из VC 8 Epxress (Microsoft (R) 32-bit C/C++ Optimizing Compiler Version 14.00.50727.42 for 80x86)
(no subject)
Date: 2007-05-13 07:13 (UTC)Вообще, по моим ощущениям тут должно быть так:
(1) Инкремент. Его результат -- 6. В i по-прежнему 5, так как сайд-эффект промоутится только на Sequence point, но мы помним, что надо записать 6 в i.
(2) Инкремент. Его результат -- 6. В i по-прежнему 5, так как сайд-эффект промоутится только на Sequence point, но мы помним, что надо записать 6 в i.
(3) Складываем 6 и 6, результат -- 12
(4) i = 12
(5) Конфликт срабатывания сайд-эффектов (1) и (2), то самое неопределённое поведение...
Как разрулится конфликт (Вплоть до инкрементирования i опять дважды) -- вопрос компилятора...
(no subject)
Date: 2007-05-12 11:40 (UTC)(no subject)
Date: 2007-05-12 20:33 (UTC)Reading specs from /usr/lib/gcc/x86_64-pc-linux-gnu/3.4.6/specs
Configured with: /var/tmp/portage/sys-devel/gcc-3.4.6-r2/work/gcc-3.4.6/configure --prefix=/usr --bindir=/usr/x86_64-pc-linux-gnu/gcc-bin/3.4.6 --includedir=/usr/lib/gcc/x86_64-pc-linux-gnu/3.4.6/include --datadir=/usr/share/gcc-data/x86_64-pc-linux-gnu/3.4.6 --mandir=/usr/share/gcc-data/x86_64-pc-linux-gnu/3.4.6/man --infodir=/usr/share/gcc-data/x86_64-pc-linux-gnu/3.4.6/info --with-gxx-include-dir=/usr/lib/gcc/x86_64-pc-linux-gnu/3.4.6/include/g++-v3 --host=x86_64-pc-linux-gnu --build=x86_64-pc-linux-gnu --disable-altivec --enable-nls --without-included-gettext --with-system-zlib --disable-checking --disable-werror --enable-secureplt --disable-libunwind-exceptions --enable-multilib --disable-libgcj --enable-languages=c,c++ --enable-shared --enable-threads=posix --enable-__cxa_atexit --enable-clocale=gnu
Thread model: posix
gcc version 3.4.6 (Gentoo 3.4.6-r2, ssp-3.4.6-1.0, pie-8.7.10)
(no subject)
Date: 2007-05-12 12:22 (UTC)Что такое volatile? Либо я была невнимательна, либо в то время, когда я писала на С, такого не было.
(no subject)
Date: 2007-05-12 12:52 (UTC)Существует, кажется, со времен ANSI-стандарта, в K&R его, вроде бы, еще не было.
(no subject)
Date: 2007-05-12 13:12 (UTC)Это код - диагноз
Date: 2007-05-12 12:28 (UTC)(no subject)
Date: 2007-05-12 12:44 (UTC)(no subject)
Date: 2007-05-12 15:59 (UTC)(no subject)
Date: 2007-05-13 01:41 (UTC)(no subject)
Date: 2007-05-13 03:36 (UTC)(no subject)
Date: 2007-05-13 15:37 (UTC)(no subject)
Date: 2007-05-13 15:40 (UTC)А то потом народ спрашивает нафига я конструкции вида u = (*p++) | (*p++ << 8); из кода выкидываю и у меня почему-то всё работает, а у них нет ;)
(no subject)
Date: 2007-05-12 17:41 (UTC)(no subject)
Date: 2007-05-12 17:44 (UTC)(no subject)
Date: 2007-05-13 16:25 (UTC)(no subject)
Date: 2007-05-12 20:28 (UTC)(no subject)
Date: 2007-05-13 15:35 (UTC)%cc -v
cc: Sun C 5.9 Linux_i386 Build35_2 2006/12/04
usage: cc [ options] files. Use 'cc -flags' for details
% cc t.c && ./a.out
i == 14 j == 14
i == 13 j == 13
i == 12 j == 12
i == 13 j == 13
(no subject)
Date: 2007-05-13 18:35 (UTC)(no subject)
Date: 2007-05-15 14:35 (UTC)13.