Должен ли `ImportDeclaration.moduleSpecifier` всегда быть StringLiterial?

Question

interface ImportDeclaration extends Statement { 
    kind: SyntaxKind.ImportDeclaration; 
    importClause?: ImportClause; 
    moduleSpecifier: Expression; 
} 

Я не могу найти случай использования, что moduleSpecifier не является StringLiteral

Answer 1

Это должно быть для остальной части компилятора, но указывается в более общем плане, как Expression типа, так что синтаксический анализатор может корректно восстановить и храните его в своем дереве.

Отъезд this comment from the source.

// We allow arbitrary expressions here, even though the grammar only allows string 
// literals. We check to ensure that it is only a string literal later in the grammar 
// check pass. 

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

Поскольку мы сообщаем ошибки грамматики после разбора, то какое бы выражение оно ни было, оно должно быть на importSpecifier. В противном случае, как мы узнаем, что узел должен был? Контекст того, что он принадлежит ImportDeclaration, позволяет нам знать после разбора, что нам нужно сообщить об ошибке синтаксического анализа.

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