Несоответствие в спецификации C# 7.16.2.5

Question

Я занимаюсь реализацией спецификации C# 7.16.2 «Перевод выражения запроса» в Roslyn. Однако я столкнулся с проблемой в 7.16.2.5 «Выбор предложений».

Он читает

выражение запроса вида

from x in e select v 

переводится на

(e) . Select (x => v) 

исключением случаев, когда v является идентификатором х, перевод просто

(e) 

Например

from c in customers.Where(c => c.City == "London") 
select c 

просто переводится в

customers.Where(c => c.City == "London") 

Мой код не дает результата, соответствующий пример, потому что (как на линии «кроме случаев, когда») я перевожу from x in e select x в (e), а не только e. Таким образом, мой код переводит пример в

(customers.Where(c => c.City == "London")) 

Является примером в спецификации не так, или мне нужно делать обработку признать, необходимы ли вмещающие скобки? Если да, это где-то в спецификации?

Аналогично, 7.16.2.6 (GroupBy положения) говорит

Выражение запроса формы

from x in e group v by k 

переводится в

(e) . GroupBy (x => k , x => v) 

исключением случаев, когда v является идентификатором х , перевод

(e) . GroupBy (x => k) 

Пример

from c in customers 
group c.Name by c.Country 

переводится в

customers. 
GroupBy(c => c.Country, c => c.Name) 

где снова пример результата не хватает скобки, предложенные в спецификации.

Answer 1

Ваш перевод с дополнительными ( и ) указан неверно. Но если вы хотите, чтобы устранить лишние скобки, вы можете вызвать

.WithAdditionalAnnotations(CodeAnnotations.Simplify) 

на вашем результате SyntaxNode.

Answer 2

В примере конструкция 'e' является выражением, а конструкция '(e)' представляет собой первичный.То есть в грамматике C# есть производство, которое позволяет использовать «(e)» везде, где ожидается первичное. Существует также производство, которое позволяет использовать первичный объект везде, где ожидается выражение.

В фрагменте кода «from» требуется выражение «e» (в соответствии с грамматикой C#), а в фрагменте «Select()» требуется первичное значение, представленное здесь как «(e)».

Автор примера (возможно, неразумно) выбрал первичные «клиенты», а не выражение, чтобы проиллюстрировать эту точку. Если бы этот пример использовал выражение вместо этого, то в переводе содержались бы круглые скобки. Пример правильный, но пограничный ввод в заблуждение.

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

Раскрытие информации: моя экспертиза - это технология компилятора, синтаксис C# и Reflection.Emit, но не (пока) Roslyn. Я не мог найти никаких онлайн-документов, поэтому я не могу рассказать вам, как это сделать в Roslyn.