arguments are reversed for a C function

Question

I have a function that multiply two matrices A and B then prints the result. I got two different outputs when running the program in two similar ways.

first:

    FILE *f;
    f = fopen("in.txt","r");
    struct Mat* A = read_mat(f);
    struct Mat* B = read_mat(f);
    print_mat(mat_mul_1(A, B));

the output was the exact multiplication of

A * B

second:

    FILE *f;
    f = fopen("in.txt","r");
    print_mat(mat_mul_1(read_mat(f), read_mat(f)));

the output was the exact multiplication of

B * A

I want to know why the arguments has been reversed ?!

(as the 'mat_mul_1' function is a black box)

Answer 1

Did you expect that the first read_mat(f) would be evaluated first?

C offers no such guarantees. The compiler is free to emit code that evaluates the arguments in any order it chooses.

The order of evaluation of the function designator, the actual arguments, and subexpressions within the actual arguments is unspecified, but there is a sequence point before the actual call.

Answer 2

The reason why is as others have already pointed out, the order of evaluation of function parameters is unspecified behavior, and therefore should not be relied upon. But there is another, possibly severe issue here:

The function read_mat could be accessing static resources, such as static/global variables, and then return their values. Like this:

static int x;

int inc (void)
{
  x++;
  return x;
}

printf("%d %d", inc(), inc());

The actual result of the function will vary depending on the order of evaluation.

(This snippet is taken from an interview test I use when hiring C programmers. I ask what the output of this code is, and the correct answer is "2 1" or "1 2". The question tests whether the C programmer knows of the concepts static initialization and order of evaluation.)

Answer 3

It's because of the order parameters to the function are evaluated:

print_mat(mat_mul_1(A, B));

will call mat_mul_1(A, B) , where A is the first matrix in the file and B is the second. In your second case:

print_mat(mat_mul_1(read_mat(f), read_mat(f)));

I'm guessing(since it's not specified by the standard) that, on your system, is calling the second read_mat() first, and will thus call mat_mul_1(B, A);

Answer 4

The reason being is that the right-most read_mat(f) is called before the left-most one, and you're therefore reading the first structure into what you would presume to be B . Therefore A and B are reversed.

I kind of make sense of it in that arguments are pushed on the stack in reverse when they're passed to a function, therefore they're evaluated from right to left.

I'm not sure there's any standard defining what must be evaluated first.

Answer 5

您的代码具有未定义的行为，因为f指向的FILE由第一个和第二个read_mat(f)修改，并且这两个修改之间不存在序列点。