too deep stack about v7 HOT 2 CLOSED

Согласен с наблюдением, но не полностью согласен с выводом.

Почему сделано именно так. Это сделано для того чтобы правильно обрабатывать приоритет операций, согласно таблице приоритетов.

Например есть выражение 2 + 3 * 4. Парсер написанный как v7, то есть recursive descent, будет выглядеть так:

double parse_expr(p) {
  double result  = parse_term(p)
  while (op == '+' || op == '-') result += parse_term(p);   // or -=
  return result;
};
double parse_term(p) {
  double result  = parse_number(p)
  while (op == '*' || op == '/') result *= parse_number(p);  // or /=
  return result;
};

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

Делать вызовы на одном уровне конечно можно, но тогда придется писать код для правильной поддержки приоритетов. То есть парсить выражение, сортировать операции по приоритетам, и потом выполнять. Cложность парсера существенно вырастет, и я не совсем уверен в выигрыше по размеру стека.

Издержки на фрейм функции по идее не очень большие, хотя нужно прикинуть.

from v7.

Obsolete

from v7.