Несколько слов о языке C

[jsn]

[несколько слов пропущено, потому что они все нецензурные]

jason@jsn c $ cat r.c
#include <stdio.h>

#define B (sizeof(int) * 8)
int _ = B ;
int f(void) { return _ ; }

unsigned g(unsigned x) {
    printf("x == %d, ", x) ;
    return 1 << (B - x) ;
}

int main(int ac, const char *av[]) {
    printf("g(x) == %d\n", g(0)) ;
    printf("g(x) == %d\n", g(B - f())) ;
    return 0 ;
}
jason@jsn c $ gcc -o r r.c && ./r
x == 0, g(x) == 1
x == 0, g(x) == 1
jason@jsn c $ gcc -O2 -o r r.c && ./r
x == 0, g(x) == 0
x == 0, g(x) == 1
jason@jsn c $ clang -o r r.c && ./r
x == 0, g(x) == 1
x == 0, g(x) == 1
jason@jsn c $ clang -O2 -o r r.c && ./r
x == 0, g(x) == 0
x == 0, g(x) == 1
jason@jsn c $ 

Это, что, считается нормально теперь? Там, что, в стандарте действительно сказано, что overflowing left shift result is undefined? И "undefined" следует интерпретировать как "ведёт себя по-разному в соседних строчках кода?"

Comments

[trurle.livejournal.com]

Это, что, считается нормально теперь?

Не только теперь, но с 1973 года. C language: enabling shooting yourself in the foot for 40 bloody years!

[alexott.livejournal.com]

"1972 - Dennis Ritchie invents a powerful gun that shoots both forward and backward simultaneously. Not satisfied with the number of deaths and permanent maimings from that invention he invents C and Unix."

[ilya-dogolazky.livejournal.com]

Я вот не понимаю этих шуточек, пример со сдвигом как раз показывает очень большое достоинство языка Си --- он выполняет сдвиг одной единственной инструкцией (где может). Сделать это (на i386 к примеру) с различением сдвига на 0 и сдвига на 32 разряда невозможно, вот он и не делает, причём честно об этом говорит в стандарте.

[jsn.livejournal.com]

Беспокоит собственно не это, а неконсистентность. g() [вполне себе const unsigned g(x)], которая не зависит ни от чего, кроме x, тем не менее возвращает разные значения при одном и том же x. Нехорошо это.

[alexott.livejournal.com]

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

[ilya-dogolazky.livejournal.com]

Есть альтернатива: (а) медитировать часами (б) компилировать КАЖДЫЙ сдвиг в два сравнения с ветвлением плюс одну инструкцию собственно сдвига. Вам какой вариант кажется подходящим?

[juan-gandhi.livejournal.com]

Какое ж это достоинство, это дефект.

[jsn.livejournal.com]

Для ассемблера, например, это очевидное достоинство.

[kika.livejournal.com]

это дефект для тех, кому язык С не нужен. педальный привод велосипеда тоже дефект для автомобиля.