Как ничто ненулевое означает true, но операторы >, <, == и т.д., возвращающие 1 для true, мне любопытно, есть ли какие-либо известные компиляторы C, в значении, превышающем 1.
Другими словами, существует ли какой-либо компилятор, где int i = (a==b); приведет к поведению undefined, если я намеревался использовать i не как логическое значение, а как целое число и предполагал, что это будет либо 0, либо 1?
Нет, если они есть, они не являются компиляторами C:-) Стандарт требует, чтобы операторы relational и равенства возвращали 1 для true и 0 для false.
Правило для интерпретации интегральных значений в виде булевых значений с помощью состояний C, что 0 является ложным, а любое другое значение истинно. См. Разделы C11, посвященные if/while/do/for, которые содержат язык типа "while the expression compares unequal to zero". В частности:
6.8.4.1/2: In both forms [of the if statement, one with and one without an else clause], the first substatement is executed if the expression compares unequal to 0. In the else form, the second substatement is executed if the expression compares equal to 0.
6.8.5/4: An iteration statement [while, do and for] causes a statement called the loop body to be executed repeatedly until the controlling expression compares equal to 0.
Однако, совершенно ясно, какой результат вы получите для выражений типа сравнения, вы либо получите 0, либо 1. Соответствующие биты стандарта C11 для них находятся под 6.5 Expressions:
6.5.8/6: Each of the operators < (less than), > (greater than), <= (less than or equal to), and >= (greater than or equal to) shall yield 1 if the specified relation is true and 0 if it is false.
6.5.9/3: The == (equal to) and != (not equal to) operators are analogous to the relational operators except for their lower precedence. Each of the operators yields 1 if the specified relation is true and 0 if it is false.
6.5.13/3: The && operator shall yield 1 if both of its operands compare unequal to 0; otherwise, it yields 0.
6.5.14/3: The || operator shall yield 1 if either of its operands compare unequal to 0; otherwise, it yields 0.
6.5.3.3/5: The result of the logical negation operator ! is 0 if the value of its operand compares unequal to 0, 1 if the value of its operand compares equal to 0.
И это поведение возвращается к C99 и C89 (дни ANSI). Секции C99, относящиеся к операторам реляционной и равенства, также указывают, что возвращаемые значения равны 0 или 1.
И, хотя проект C89 явно не диктует возвращаемые значения для операторов равенства, он говорит:
Операторы == (равно) и a = = (не равные) аналогичны операторам отношения, за исключением их более низкого приоритета.
И раздел реляционных операторов содержит:
Каждый из операторов < (меньше), > (больше), <= (меньше или равно), и >= (больше или равно) должно давать 1, если указанное отношение истинно и 0, если оно ложно.
Ссылка: http://flash-gordon.me.uk/ansi.c.txt, так как у меня нет никаких копий стандартов C89, плавающих вокруг. У меня есть второе издание K & R (ANSI one from 1988), которое в основном говорит то же самое, в разделах A7.9 и A7.10 Приложения A, Справочное руководство. Если вы хотите получить окончательный ответ от первого издания, это должно произойти от кого-то с женой, которая менее подвержена выбросу старого мусора.
Добавление:
По словам Майкла Берра, который либо не женат, либо имеет более подходящую жену, чем я, с точки зрения хранения старых книг: -)
K & R 1st Edition (1978) также говорит то же самое в 7.6 и 7.7: "[реляционные операторы] все дают 0, если указанное отношение ложно и 1, если оно истинно".... "Операторы [равенства] точно аналогичны реляционным операторам, за исключением их более низкого приоритета".
Гарантируется возврат 0 или 1.
Справка:
C99 Стандарт: 6.5.9 Операторы равенства
Параграф 3:
Операторы == (равные) и!= (не равные) аналогичны реляционным операторов, за исключением их более низкого приоритета .108) Каждый из операторов дает 1, если указанное отношение истинно и 0, если оно ложно. Результат имеет тип int. Для любой пары операндов, верно одно из отношений.
Я не думаю, что люди здесь отвечают на этот вопрос. Вопрос был не в том, что говорит стандарт, вопрос в том, есть ли там какие-то замечательные компиляторы, которые не подчиняются стандарту в этом отношении.
Нет, насколько я знаю, нет.
У меня нет доступа к стандарту C, но согласно Wikipedia:
C использует целочисленный тип, где реляционные выражения, такие как i > j, и логические выражения, связанные с && и || имеют значение 1, если true и 0, если false, тогда как тестовые части if, while, for и т.д. обрабатывают любое ненулевое значение как истинное.
Википедия, к счастью, имеет правильные цитаты, но поскольку они являются ссылками на книги, не уверен, какая помощь это:).
Насколько я могу найти это от 6.5.9 абзаца 3 в стандарте C99
Операторы == (равные) и!= (не равные) аналогичны реляционные операторы, за исключением их более низкого приоритета .108) Каждый из операторы дают 1, если указанное отношение истинно и 0, если оно false. Результат имеет тип int. Для любой пары операндов точно верно одно из соотношений.
Поэтому кажется, что оцениваемые значения должны быть либо 1, либо 0
По спецификации, чтобы считаться языком C, условные операторы должны возвращать 0 для false и 1 для true.
В форме хайку:
Specification
Disallows this behavior,
Otherwise not C.
До того, как c89/c90/ANSI-C, операторы сравнения гарантировали получение нулевого значения в "ложном" состоянии и в противном случае не равное нулю. Заменитель 1 для истинной "стандартизации", введенный c89, редко необходим, и в тех случаях, когда это необходимо, можно использовать a = (b==c) ? 1 : 0;.