Обратная польская нотация

[pu4koff]

Ну будет у нас такое выражение:
1 + sqr_sum(4*2,6-3)+5
В записи этой польской, если я не ошибаюсь, будет так:
1 4 2 * 6 3 - 2 sqr_sum + 5 +
Читаем это сначала и считаем:
1 4 2 * // Умножаем 4 на 2
1 8 6 3 * // Находим разность 6 и 3
1 8 3 2 sqr_sum // Считаем функцию, она пусть 2 вернёт, ибо тут оно не важно
1 2 + // складываем
3 5 + // снова складываем
8
Вроде бы всё правильно.

[Utkin]

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

Ну будет у нас такое выражение:
1 + sqr_sum(4*2,6-3)+5
В записи этой польской, если я не ошибаюсь, будет так:
1 4 2 * 6 3 - 2 sqr_sum + 5 +
Читаем это сначала и считаем:
1 4 2 * // Умножаем 4 на 2
1 8 6 3 * // Находим разность 6 и 3
1 8 3 2 sqr_sum // Считаем функцию, она пусть 2 вернёт, ибо тут оно не важно
1 2 + // складываем
3 5 + // снова складываем
8
Вроде бы всё правильно.

Да, но

//Я говорю именно о компиляции, а не интерпретации.

Иными словами ему не желательно пихать sqr_sum в стек. Вообще никогда.

[Izhic]

//Я говорю именно о компиляции, а не интерпретации.

На данный момент все проще Создание приложения|компилятора на потом.
Вот что получилось:
ссылка

надо бы ещё не верные выражения браковать, однако пока проверять буду, что уже есть.

//В принципе там одна ошибка сразу видна
//пробел после скобки.
//Просто хотел показать к какому виду пока пришёл.

[Роман Радер]

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

Круто . А если я ошибся и указал для функции больше параметров чем требуется?

все же мы при работе уже с выражением считаем его правильным. кол-во параметров мы проверяем при генерации выражения ОПН.
так что когда уже построено выражение ОПН мы не обязаны проверять его на правильность.

А если она перегружена и воспринимает и 3 и 2 и 4 параметра?

А какая разница? При объявлении функций мы же не оставляем одинаковые имена. Один из вариантов - просто их нумеровать. на примере делфи:

function Abc(a:integer):integer; overload;
function Abc(a:integer;b:real):integer; overload;

будет Abc1, Abc2.
в выражении
x=1+Abc(1+7*2,2.3);
получаем x 1 2.3 1 7 2 * + Abc2 + =
решаем:

1. x в стек (как переменную)
2. 1 в стек (как число)
3. 2.3 в стек
4. 1 в стек
5. 7 в стек
6. 2 в стек
7. умножаем 2 и 7: убираем их из стека и кладем 14
8. складываем 14 и 1, убираем их из стека кладем 15
9. Вызываем Abc2. Она вынимает последние 2 элемента из стека: 15 и 2.3, убираем их из стека и кладем результат (как число)
10. складываем результат функции Abc2 и 1, убираем их из стека и кладем ответ (как число)
11. действие "=", вынимаем из стека 2 последних значения: 1) число, 2) переменная X. присваеваем иксу значение.

а она уже примет нужное кол-во параметров.

А если она виртуальная?

и че? тут, как и в предыдущем случае проблема не с параметрами а с вызовом нужной функции.

И заключаются они в том, чтобы определить где собственно выражение, а где параметры функции?

опять же, какая разница?! при вызове функция сама заберет нужное кол-во.

Пример:
х+sin(x+y)*2
Ну позапихаешь ты цифры в стек и чего далее? Когда должен быть вызван синус? Одно дело математические операции - их число заранее известно и совсем другое дело функции, которые помимо огромного ряда существующих может понапихать еще большую кучу и сам программист.
И ладно бы если бы у него был бы чистый интерпретатор, но ему нужна промежуточная компиляция (а возможно и полная) и здесь вообще полный задний проход (а возможно и сразу два).

а тут в чем проблема? и, между прочим, какая разница какое количество функций? я этого не понимаю, хоть пять, хоть двадцать пять.
а синус вызван будет тогда когда и потребуется:
х+sin(x+y)*2 = x x y + sin 2 * +(RPN)

[Utkin]

Ты пробовал когда-нибудь написать парсер ? С учетом вызовов функций и переменных?

[Роман Радер]

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

Ты пробовал когда-нибудь написать парсер ? С учетом вызовов функций и переменных?

и не только парсер, но и полностью интерпретатор. я все это говорю на личном опыте.
http://programmersforum.ru/showthread.php?t=34927

[Izhic]

Роман Радер будет Abc1, Abc2.

Ааааа.. точно! В итоге то это ведь две разные функции с двумя разными адресами, верно? т.е. при преобразовании

Abc(x,x) это вообще не Abc а чтото типа указателя [35475453]
Abc(x) это также указатель сов-но на другую функцию[1233].

Нам же лично это просто для наглядности человеческой.

А если машине делать, то там всё будет различные указатели и ни каких тебе аля-алиасовых проблем.

Роман Райдер спасибо. Натолкнули на мысль про указатели
А то из-за одинаковых имен Нотация не укладывалась в голове.

Вопрос думаю можно считать закрытым.

[Роман Радер]

Ааааа.. точно! В итоге то это ведь две разные функции с двумя разными адресами, верно? т.е. при преобразовании

Abc(x,x) это вообще не Abc а чтото типа указателя [35475453]
Abc(x) это также указатель сов-но на другую функцию[1233].

Именно. Способ их отличия уже зависит от архитектуры самого интерпретатора, у меня они отличались номерами. т.е. при преобразовании в псевдокод каждая функция нумеровалась (как стандартная, так и та что объявлена програмистом).
и вызывались уже не по именам а по номерам.
у вас некими адресами.
а у какого-то васи пупкина будут отличатся хешом md5 отсортированых в алфавитном порядке)
это я к тому что важно понять суть, а реализация, хоть я и не преуменьшаю важность этой части, это уже дело техники