Обработка унарного минуса при трансляции языка

[anyx]

Сообщение от Utkin

Ну в общем да, он его не там увидел -х-5 --> (0-x)-5

Вы меня не поняли. Под "- x) - 5" я имел в виду что-нибудь вроде "(3 - x) - 5", т.е. то было просто конец выражения в скобке.

Сообщение от pu4koff

Так это ж не унарный минус...

У меня интерпретатор. Можно использовать вычитание из нуля без потери эффективности. Да и при компиляции можно было бы потом оптимизировать.

[anyx]

Сообщение от Utkin

-5**3 --> (0-5)**3
-5/6 --> (0-5)/6

Тогда
x - 5 ** y => (x - 5) ** y, а надо x - (5 ** y)

[Utkin]

Вы меня не поняли. Под "- x) - 5" я имел в виду что-нибудь вроде "(3 - x) - 5", т.е. то было просто конец выражения в скобке.

Запутал еще больше. Если у тебя есть интерпретатор то должна быть система разбора выражений. -х)-5 такого он выдавать не должен - это сущий ахтунг.
Смысл примерно в следующем - система разбирает вложенные выражения вида:
операнд1 операция операнд2.
Для данного выражения:
1) (3-х)-5
2) 5 ->5
3) 3-x
4) 3 -> 3
5) х -> текущее значение переменной х
6) возвращемся к пункту 3) 3-х -> вычисленное значение выражения
7) вернемся к пункту 1) (3-х)-5 -> вычисленное значение выражения

Примерно как-то так. И ежу понятно, что рекурсия здесь очень выгодна, да .

x - 5 ** y => (x - 5) ** y, а надо x - (5 ** y)

С какого перепугу? Перед тобой не унарный минус, а выражение. А это не одно и тоже. И хотя унарный минус тоже вид выражения, но в нем учавствует менее двух операндов... Подумай об этом.

ЗЫ. Не знаю как у тебя там все замучено - но если интерпретатор, то разбор выражения (если конечно он не состоит исключительно из констант, то есть не выражение которое можно вычислить сразу) можно осуществлять на этапе исполнения, а при разборе ограничиться только поверкой корректности выражения - ну так знаки чтобы как положено, скобки путем были и т.д.

[anyx]

Опять же, надо хранить предыдущий токен. Видимо, другого способа нет?
Если хранить токен, то дальше мне всё понятно. Просто надеялся, что можно по другому.

[Utkin]

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

[anyx]

typedef struct {
    int token;
    char *value
} FzToken;

FzToken *Fz_Lexer_GetToken(FzLexer*) возвращает следующий токен по коду.
Поле int token - это тип токена, например, TOK_SUB или TOK_ASSIGN_PLUS.
Поле char *value хранит значение, если токен - литерал

Можно добавить поле int last_token в struct FzLexer (состояние анализатора)

P.S. Ненавижу кнопку "Правка"!

[Utkin]

Я плакал, 4-е байта жалко .

Тогда
x - 5 ** y => (x - 5) ** y, а надо x - (5 ** y)

Только сейчас обратил внимание. Что-то Вы не допонимаете в работе своей модели, а именно:
а) Что такое унарный минус
б) Двойные стандарты - Вы предполагаете что работать будет так-то и так и при этом в одном примере игнорируете порядок операции, а вдругом нет.
в) Не видите разницы между операцией с одним операндом (входящим параметром) и операцией с двумя операндами.
г) Все математические выражения используемые, например, в Дельфи (но не С++, ибо там еще и логические примешиваются) включая вызов функций можно свести к цикличному либо рекурсивному вызову системы разбора выражений вида операнд1 операция операнд2. При этом разбивать на токены математические выражения для интерпретатора совершенно не обязательно. Вместо токенов можно использовать текущие, мгновенные значения операндов.
По пункту г) могу сказать что такая модель мною была реализована и при необходимости могу сбросить свой недоделанный интерпретатор (но разбор выражений там реализован, включая вызов функций).