C - выходное описание printf ("% d% d \ n", k = 1, k = 3);

Question

Как объяснить выход кода ниже:

include <stdio.h> 

int main(void) { 
    int k; 
    printf("%d %d\n",k=1,k=3); 
    return 0; 
} 

Ideone Link

Мое мышление было то, что 1 будет назначен k переменной, а затем 1 будет напечатан. Аналогично 3 будет назначен k, а выход будет 3.

Ожидаемый выход

1 3 

Фактический выход

1 1 

Я экстраполяцией

int a; 
if (a = 3) { 
    ... 
} 

равно

if (3) { 
    ... 
} 

Пожалуйста, дайте мне знать, где я буду не так?

Answer 1

Проблема в том, что порядок оценки аргументов функции не определен, и нет никакой точки последовательности между оценкой или аргументами. Таким образом, это утверждение

printf("%d %d\n",k=1,k=3) 

undefined behavior вызывает, как вы пытаетесь изменить ту же переменную несколько раз без точки последовательности между ними.

Как только запускается программа, вызывающая UB, и (если) есть выход, это никак не может быть оправдано, выход может быть любым.

Answer 2

Я ожидаю, что причина, по которой вы видите 1 1, состоит в том, что два оператора присваивания выполняются, управление передается printf.

printf("%d %d\n",k=1,k=3); 

Таким образом, в ответ на понижающий голосов, да, это это неопределенное поведение, и поэтому вы не должны рассчитывать на такое поведение продолжается. Однако с точки зрения определения, почему выход был 1 1, а не 1 3, мы могли заключить, что назначение 3 могло быть опрокинуто последующим присвоением 1.

Когда вызывается printf, стек вызовов содержит две записи, содержащие окончательное значение k, которое равно 1.

Вы можете проверить это, заменив их функцией, которая что-то печатает, когда она выполняется.

Пример кода:

#include <stdio.h> 

int test(int n) { 
    printf("Test(%d)\n", n); 
    return n; 
} 

int main(void) { 
    int k; 
    printf("%d %d\n",k=test(1), k=test(3)); 
    return 0; 
} 

Выход:

Test(3) 
Test(1) 
1 1