Что делает оператор запятой?
Что это ,
оператор делать в C?
9 ответов
Выражение:
(expression1, expression2)
Сначала вычисляется выражение1, затем вычисляется выражение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);
}
Оператор запятой оценит левый операнд, отбросит результат, а затем оценит правый операнд, и это будет результат. Идиоматическое использование, как отмечено в ссылке, при инициализации переменных, используемых в 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 говорит:
Левый операнд оператора запятой оценивается как пустое выражение; после его оценки есть точка последовательности. Затем вычисляется правый операнд; результат имеет свой тип и значение. 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
Оператор запятой объединяет два выражения по обе стороны от него в одно, оценивая их оба в порядке слева направо. Значение с правой стороны возвращается как значение всего выражения. (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
s мы сделали это:
*((short *)ptr)++ = short_value;
*((int *)ptr)++ = int_value;
Позже мы читаем, что это не был действительно C, потому что (short *)ptr
больше не является l-значением и не может быть увеличено, хотя наш компилятор в то время не возражал. Чтобы исправить это, мы разделили выражение на две части:
*(short *)ptr = short_value;
ptr += sizeof(short);
Тем не менее, этот подход основывался на том, что все разработчики помнят, что нужно постоянно вводить оба утверждения. Мы хотели функцию, в которой вы могли бы передать выходной указатель, значение и тип значения. Это C, а не 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));
Я не предполагаю, что любой из этих примеров - хороший стиль! Действительно, мне кажется, что Стив Макконнелл в Code Complete советует даже не использовать запятые в for
цикл: для удобства чтения и поддержки цикл должен управляться только одной переменной, а выражения в for
Сама строка должна содержать только код управления циклом, а не другие дополнительные биты инициализации или обслуживания цикла.
Это вызывает оценку нескольких операторов, но использует только последнее в качестве результирующего значения (я думаю, что это значение r).
Так...
int f() { return 7; }
int g() { return 8; }
int x = (printf("assigning x"), f(), g() );
должно привести к тому, что x будет установлен на 8.
Оператор запятой не делает ничего значимого, это 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++;
}
Единственное реальное использование оператора запятой, которое я видел, это искусственное обсуждение точек последовательности, так как оператор запятой имеет точку последовательности между вычислением левого и правого операндов.
Так что, если у вас есть какой-то неопределенный код поведения, подобный этому:
printf("%d %d", i++, i++);
Вы можете фактически превратить это в просто неопределенное поведение (порядок оценки параметров функции), написав
printf("%d %d", (0,i++), (0,i++));
Теперь существует точка последовательности между каждой оценкой i++
так что, по крайней мере, программа больше не будет рисковать сбоем и записью, даже если порядок оценки параметров функции остается неопределенным.
Конечно, никто не писал бы такой код в реальных приложениях, это полезно только для обсуждений языка-юриста о точках последовательности на языке Си.
Оператор запятой запрещен MISRA-C:2004 и MISRA-C:2012 с обоснованием того, что он создает менее читаемый код.
Как указывалось в предыдущих ответах, он оценивает все утверждения, но использует последнее в качестве значения выражения. Лично я нашел это полезным только в выражениях цикла:
for (tmp=0, i = MAX; i > 0; i--)
Единственное место, где я видел, что это полезно, - это когда вы пишете какой-то забавный цикл, в котором вы хотите сделать несколько вещей в одном из выражений (возможно, в выражении 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 вместо объявления, а затем инициализации.... бла-бла-бла.)
Я возрождаю это просто для того, чтобы ответить на вопросы @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
case следует другим правилам приоритета, так как ,
имеет самый низкий приоритет оператора. Из-за этих правил компилятор видит выражение присваивания, константу, константу.... Выражения снова оцениваются в порядке слева направо, и их побочные эффекты остаются видимыми, поэтому j
является 5
как результат j = 5
,
Interstingly, int j = 5,4,3,2,1;
не допускается языковой спецификацией. Инициализатор ожидает выражение присваивания, поэтому прямое ,
оператор не допускается.
Надеюсь это поможет.