Проанализируйте переменную (рекурсивно)

Question

Я пишу компилятор для моего игрушечного языка только для обучения и любопытства, и я уже выполнил некоторые вещи, такие как математические операции и прочее, у меня возникают некоторые проблемы с попыткой проанализировать переменную "внутри «переменная, хотя. Возьмите эти примеры в псевдо-коде:

numbers = [1..20] 

Мой парсер уже это понимают, и такие вещи, как:

ten = numbers[9] 

Однако, когда у меня есть переменная, которая состоит из более чем одного «элемента», как 2D-массив или объект внутри объекта, я не могу разобрать, парсер блокирует себя внутри бесконечного цикла. Пример:

things = [['one'], ['two'], ['three']] 
person = { 
    name = 'john' 
    car = { 
    model = 'ninja' 
    price = 23000.0 
    } 
} 

things[1][0] // This is causing the infinite loop 
person.car.price // And this 

Это то, что мой анализатор выглядит (в псевдокоде):

parseVarReference() { 
    variable = expect(TOKEN_IDENTIFIER); 
    if (current() == '[') { 
    // try to parse array or object or fallback to regular variables 
    } 
} 

Теперь в моей голове, я бы разобрать вложенную переменную так:

parseVarReference() { 
    variable = parseVarReference(); 
    if (current() == '[') { 
    // try to parse array or object or fallback to regular variables 
    } 
} 

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

Answer 1

Вы пишете recursive descent parser. Они не могут напрямую обрабатывать left recursion.

Вы можете создавать эквивалентные грамматики, которые не являются рекурсивными, но это может быть больше работы, чем вы хотели, в стиле простого рекурсивного спуска, который вы пишете.

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