FreePascal вычисление параметров WriteLn

Почему ты ожидаешь, что функция выполнится на этапе объявления, а не в момент выполнения? Всё правильно оно тебе написало.

Это правильное поведение функции, учти на будущее.

А почему 3 выводится, когда её никто не просит?

Мимо паскаль забыл в 11 классе.

Я думаю, что он ожидал, что сначала вызовется add(1,2), результат сохранится во временную переменную, а потом вызовется WriteLen со строкой и временной переменной.

Сам не в курсе, но злые языки говорят, что

Write/WriteLn - это не функция, а макрос

Тогда это объясняет поведение и неоправданные ожидания.

Не согласен, и чета мне мои заблуждения ближе.

Макросы в паскале О_о?

Вообще в большинстве языков при вызове функции (в нашем примере это WriteLn внутри begin/end-блока) ожидается, что сначала в каком-либо порядке будут вычислены их аргументы ('Hello world ' и add(1, 2)), а затем уже вычисленные значения будут переданы в функцию.

// pascal-не-знаю-мимокрокодил

Возвращаемле значение. Это функция, а не процедура.

Правильно кстати выдало.

То бишь ТС ожидал что-то такое:

#include <stdio.h>

int add(int c1, int c2) {
  int ret = c1 + c2;
  puts("test");
  return ret;
}

int main(void) {
  printf("Hello world %d\n", add(1, 2));
  return 0;
}

Таки макросы:

program ideone;

function add(c1, c2 : integer) : integer;
begin
  add := c1 + c2;
  WriteLn('test');
end;

function tst(c1 : string; c2 : integer) : integer;
begin
  WriteLn(c1, c2);
  tst := 0;
end;

begin
  tst('Hello world ', add(1, 2));
end.

Я присмотрелся, и мне теперь тоже так кажется... Ну значит WriteLn выполняется поочередно, сначала вывел текст, потом пошел в функцию там опять текст, закончил на цыфорке...

Write[Ln] это не функция, она разворачивается компилятором в последовательность «подфункций», ненадо проверять последовательность вычисления параметров на ней. Проверяйте на своей add или на

function MyWriteLn(s:string) : integer;
begin
  WriteLn(s);
end;