Что делает оператор ,
в C?
Что делает оператор запятой?
Ответ 1
Выражение:
(expression1, expression2)
Первое выражение1 оценивается, затем вычисляется выражение 2, и значение выражения2 возвращается для всего выражения.
Ответ 2
Я видел больше всего в циклах while
:
string s;
while(read_string(s), s.len() > 5)
{
//do something
}
Он выполнит операцию, затем выполнит тест, основанный на побочном эффекте. Другой способ - сделать это следующим образом:
string s;
read_string(s);
while(s.len() > 5)
{
//do something
read_string(s);
}
Ответ 3
Оператор запятой будет оценивать левый операнд, отбрасывать результат и затем оценивать правый операнд, и это будет результат. Идиоматическое использование, как указано в ссылке, - это инициализация переменных, используемых в цикле for
, и дает следующий пример:
void rev(char *s, size_t len)
{
char *first;
for ( first = s, s += len - 1; s >= first; --s)
/*^^^^^^^^^^^^^^^^^^^^^^^*/
putchar(*s);
}
В противном случае существует не так много больших возможностей использования оператора запятой, хотя его легко использовать для создания кода, который трудно читать и поддерживать.
Из проекта стандарта C99 грамматика выглядит следующим образом:
expression:
assignment-expression
expression , assignment-expression
и в пункте 2 говорится:
Левый операнд оператора запятой оценивается как выражение void; после его оценки появляется точка последовательности. Затем оценивается правый операнд; результат имеет свой тип и значение. 97) Если предпринимается попытка изменить результат работы запятой или получить доступ к ней после следующей точки последовательности, поведение не определено.
В сноске 97 говорится:
Оператор запятой не дает lvalue.
что означает, что вы не можете назначить результат запятой.
Важно отметить, что оператор запятой имеет самый низкий приоритет, и поэтому бывают случаи, когда использование ()
может иметь большое значение, например:
#include <stdio.h>
int main()
{
int x, y ;
x = 1, 2 ;
y = (3,4) ;
printf( "%d %d\n", x, y ) ;
}
будет иметь следующий результат:
1 4
Ответ 4
Оператор запятой объединяет два выражения с обеих сторон в один, оценивая их как в порядке слева направо. Значение правой части возвращается как значение всего выражения.
(expr1, expr2)
похож на { expr1; expr2; }
, но вы можете использовать результат expr2
в вызове функции или присваивании.
Часто в циклах for
часто можно инициализировать или поддерживать несколько переменных:
for (low = 0, high = MAXSIZE; low < high; low = newlow, high = newhigh)
{
/* do something with low and high and put new values
in newlow and newhigh */
}
Кроме того, я использовал его только "в гневе" в одном другом случае, когда вы завершаете две операции, которые всегда должны совпадать в макросе. У нас был код, который копировал различные двоичные значения в байтовый буфер для отправки по сети, а указатель поддерживался там, где мы добрались до:
unsigned char outbuff[BUFFSIZE];
unsigned char *ptr = outbuff;
*ptr++ = first_byte_value;
*ptr++ = second_byte_value;
send_buff(outbuff, (int)(ptr - outbuff));
Если значения были short
или int
, мы сделали это:
*((short *)ptr)++ = short_value;
*((int *)ptr)++ = int_value;
Позже мы читаем, что это не было действительно действительным C, потому что (short *)ptr
больше не является значением l и не может быть увеличено, хотя наш компилятор в то время не возражал. Чтобы исправить это, мы разделим выражение на два:
*(short *)ptr = short_value;
ptr += sizeof(short);
Однако этот подход основывался на том, что все разработчики не забывали ставить оба оператора за все время. Нам нужна функция, в которой вы могли бы передать указатель на выход, значение и тип значения. Это C, а не С++ с шаблонами, мы не могли бы иметь функцию, берущую произвольный тип, поэтому мы установили макрос:
#define ASSIGN_INCR(p, val, type) ((*((type) *)(p) = (val)), (p) += sizeof(type))
Используя оператор запятой, мы могли использовать это в выражениях или в виде утверждений, которые мы хотели:
if (need_to_output_short)
ASSIGN_INCR(ptr, short_value, short);
latest_pos = ASSIGN_INCR(ptr, int_value, int);
send_buff(outbuff, (int)(ASSIGN_INCR(ptr, last_value, int) - outbuff));
Я не предлагаю, чтобы какой-либо из этих примеров был хорошим стилем! Действительно, я, кажется, помню, что Steve McConnell Code Complete консультирует даже против использования операторов запятой в цикле for
: для удобства чтения и ремонтопригодности цикл должен управляться только одной переменной, а выражения в строке for
должны содержат код управления контуром, а не другие дополнительные биты инициализации или обслуживания цикла.
Ответ 5
Он вызывает оценку нескольких операторов, но использует только последнее в качестве результирующего значения (например, значение rvalue).
Итак...
int f() { return 7; }
int g() { return 8; }
int x = (printf("assigning x"), f(), g() );
должно привести к тому, что x будет установлено в 8.
Ответ 6
Оператор запятой не делает ничего значимого, это 100% избыточная функция. Основное его использование - "люди, пытающиеся быть умными" и, следовательно, использовать их для (непреднамеренно) обфускации читаемого кода. Основной областью использования является обфускация для циклов, например:
for(int i=0, count=0; i<x; i++, count++)
Где int i=0, count=0
на самом деле не является оператором запятой, а является списком деклараций (мы уже запутались здесь). i++, count++
- это оператор запятой, который сначала оценивает левый операнд, а затем правый операнд. Результатом оператора запятой является результат правильного операнда. Результат левого операнда отбрасывается.
Но приведенный выше код мог быть написан гораздо более читабельным способом без оператора запятой:
int count = 0;
for(int i=0; i<x; i++) // readable for loop, no nonsense anywhere
{
...
count++;
}
Единственное реальное использование оператора запятой, которое я видел, - это искусственное обсуждение точек последовательности, поскольку оператор запятой имеет точку последовательности между оценкой левого и правого операндов.
Итак, если у вас есть код поведения undefined, как это:
printf("%d %d", i++, i++);
Фактически вы можете превратить его в просто неопределенное поведение (порядок оценки параметров функции), написав
printf("%d %d", (0,i++), (0,i++));
Теперь существует точка последовательности между каждой оценкой i++
, поэтому, по крайней мере, программа не будет рисковать для сбоя и записи дольше, хотя порядок оценки параметров функции остается неопределенным.
Конечно, никто не напишет такой код в реальных приложениях, он полезен только для разговоров по языку-юристу о точках последовательности на языке C.
Оператор запятой запрещен MISRA-C: 2004 и MISRA-C: 2012 с обоснованием того, что он создает менее читаемый код.
Ответ 7
Как уже говорилось ранее, он оценивает все утверждения, но использует последнее как значение выражения. Лично я нашел его полезным в выражениях цикла:
for (tmp=0, i = MAX; i > 0; i--)
Ответ 8
Единственное место, где я видел его полезным, - это когда вы пишете цикл фанки, в котором вы хотите сделать несколько вещей в одном из выражений (возможно, выражение init или выражение цикла). Что-то вроде:
bool arraysAreMirrored(int a1[], int a2[], size_t size)
{
size_t i1, i2;
for(i1 = 0, i2 = size - 1; i1 < size; i1++, i2--)
{
if(a1[i1] != a2[i2])
{
return false;
}
}
return true;
}
Извините меня, если есть какие-либо синтаксические ошибки или если я смешался с чем-то, что не является строгим C. Я не утверждаю, что оператор является хорошей формой, но для этого вы можете использовать его. В вышеприведенном случае я бы, скорее всего, использовал цикл while
, поэтому несколько выражений в init и loop были бы более очевидными. (И я инициализировал i1 и i2 inline вместо объявления и затем инициализации.... бла-бла-бла.)
Ответ 9
Я возрождаю это просто для того, чтобы ответить на вопросы @Rajesh и @JeffMercado, которые, на мой взгляд, очень важны, поскольку это один из самых популярных хитов в поисковых системах.
Возьмите следующий фрагмент кода, например
int i = (5,4,3,2,1);
int j;
j = 5,4,3,2,1;
printf("%d %d\n", i , j);
Будет печатать
1 5
Дело i
рассматривается, как объясняется в большинстве ответов. Все выражения оцениваются в порядке слева направо, но i
присваивается только последнее. Результат (
выражение) is
1 '.
j
случай следует различным правилам приоритета, поскольку ,
имеет самый низкий приоритет оператора. Из-за этих правил компилятор видит выражение присваивания, константу, константу.... Выражения снова оцениваются в порядке слева направо, и их побочные эффекты остаются видимыми, поэтому j
равно 5
в результате j = 5
Интересно, что int j = 5,4,3,2,1;
не допускается языковой спецификацией. Инициализатор ожидает присвоения выражения, так прямой ,
оператор не допускается.
Надеюсь это поможет.