Программистская загадка

[spamsink]

Сгодится в качестве простенькой для интервью.
Заполните пропуски так, чтобы программа печатала "1 0 1" (для непрограммистов, заглянувших под кат: это соответствует "истина ложь истина"):

#define A пропуск_1
#define B пропуск_2

main() {
        printf("%d %d %d\n",
        A < B,
        A+1 < B,
        A+2 < B);
}

Сколько вариантов решения можно предложить?

Upd: комментарии больше не скрываются. Хорошо видны два принципиально различных класса подходов к решению.

Comments

[ygam.livejournal.com]

#define A 2147483646
#define B 2147483647

[spamsink]

Например; а в случае с
#define A -2
#define B ~0 // vs 0xFFFFFFFF
получается любопытнее.

[kcmamu.livejournal.com]

#define A 1,0,1,0
#define B 0 // doesn't matter

[spamsink]

Вот так людей на интервью и сортируют. :) См. комменты.

[rezkiy.livejournal.com]

#define A 1, 0, 1); 1
#define B (1

[rezkiy.livejournal.com]

#define A (unsigned)-2
#define B (unsigned)-1

КОмпилятор может не ругнуться (а может и ругнуться, считаем, что int 32-битный)


#define A -2
#define B 0xFFFFFFFF

но я что-то не уверен в том, что это будет работать везде. Потому что

#define A -2
#define B ~0

не работает, а

#define A -2
#define B (unsigned)~0

работает.

[spamsink]

Отож. ~0 - целое со знаком, сиречь -1, а 0xFFFFFFFF - целое без знака, поэтому больше нуля, но тем не менее равно -1.

[rezkiy.livejournal.com]

#define A __LINE__
#define B (__LINE__ -13)*(__LINE__ -13) * 1000

int main () {
printf("%d %d %d\n",
A < B,
A+1 < B, <-- эта строка 13я
A+2 < B);
}

[lev.livejournal.com]

INT_MAX-1
INT_MAX

[rezkiy.livejournal.com]

#define A ((printf("1 0 1\n"), exit(0)), main())
#define B ((printf("1 0 1\n"), exit(0)), main())

[http://users.livejournal.com/_windwalker_/]

Вот за это C и не любят - когда int неявно приводится к логическому типу либо наоборот :)

[spamsink]

Си и выросшие из него языки, в том числе Верилог (из которого эта загадка выросла), можно много за что не любить, но в данном случае трюк не в этом.

[vgramagin.livejournal.com]

Эту задачу можно переформулировать под другой язык (скажем, Java) - или она целиком основана на синтаксисе C?

[spamsink]

Требуется найти два константных выражения A и B таких, что A < B истинно, A+1 < B ложно, A+2 < B истинно.

[vgramagin.livejournal.com]

Я не очень понимаю, что такое константное выражение - но если это что-то типа макроса от A, то

A = x%2
B = (x+1)%2

должно сработать

[spamsink]

Константное выражение - такое, которое может быть вычислено компилятором. Кстати, переменная х нигде не определена, так что этот вариант не годится.

[rezkiy.livejournal.com]

#define A -1 + (1 << sizeof(int)*8-2) << 0
#define B (1 << sizeof(int)*8-2)

[6zow.livejournal.com]

#define A 1 << 29
#define B 1 << 30

[spamsink]

Вот я и говорю про два класса подходов к решению.

[rezkiy.livejournal.com]

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

[spamsink]

Два - пользующиеся тем, что #define определяет не выражение, а последовательность токенов, и не пользующиеся.

[rezkiy.livejournal.com]

50%: либо встречу, либо не встречу.

:-)

[vak]

#define A ~0U-1
#define B ~0U

Еще два варианта: UL и ULL.

[spamsink]

Сразу видно честного человека!
Трюк, собственно, в том, что в Си константа, вылезающая за диапазон чисел со знаком, автоматически становится беззнаковой, даже без приписывания U в конце.

[vak]

Зато так нет привязки к размеру слова.
А ты в курсе, что существуют процессоры, на которых sizeof(1)==1?

[spamsink]

Почему бы и нет, собственно?

[yatur.livejournal.com]

Если разрешить плюсы, то можно развернуться. Типа,

#define A 0
#define B C()
class C {}
int operator < (int x, C y)
{
    return x==1;
}

main() {
        printf("%d %d %d\n",
        A < B,
        A+1 < B,
        A+2 < B);
}

[yatur.livejournal.com]

Т.е, пардон, в операторе надо return x!=1;
Но идея, я думаю, ясно

[spamsink]

Вообще-то предполагалось, что пропуски лишь до конца текущей строки.

[yatur.livejournal.com]

Я понимаю. Но явно это оглашено не было :)

[http://users.livejournal.com/_navi_/]

не подсматривая в другие ответы:

#define A 0xfffffffeu
#define B 0xffffffffu
// Альтернативно:
// #define A 0x7ffffffe
// #define B 0x7fffffff

main() {
        printf("%d %d %d\n",
        A < B,
        A+1 < B,
        A+2 < B);
}

ну или можно в стиле Bobby Tables (я удивился, что gcc по этому поводу не ругнулся, но похоже это из-за того, что printf неявно объявлён):

#define A 0
#define B 1,0,1

main() {
        printf("%d %d %d\n",
        A < B,
        A+1 < B,
        A+2 < B);
}

[spamsink]

Даже в первом варианте в Си u не обязательно (и, похоже, в каждом языке программирования приписывание знаковости полноразрядным константам устроено как бог на душу положит). А кто о каком стиле сперва подумает (математическом vs Bobby Tables) - это уже дополнительная информация.

[rezkiy.livejournal.com]

а что делать тем несчастным, которые сначала придумали математический, потом bobby tables, но про первый рассказали вторым?

[spamsink]

Искать утешения у тех, кто сначала придумал bobby tables, потом математический, и рассказал про математический, очевидно!

[rezkiy.livejournal.com]

мне больше всего нравится использование __LINE___!

[spamsink]

Ну так не зря же я на отдельных строчках аргументы написал!

[rezkiy.livejournal.com]

У меня в рукаве есть __COUNTER__