mfp: X++ in AX7: The var keyword

[S.Kuskov]

Цитата:

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

отсутствие каких-либо проверок на этапе компиляции?

Спасибо, belugin, акцентировал внимание на то что тип выводится всё-таки на этапе компиляции, а не в runtime. Т.е. проверки уровня компиляции будут! Не будет (пока) только проверок/подсказок уровня редактора. А если компилируются уже выведенные типы, то и перекрёстные ссылки должны работать. Перекрёстный ссылки же строятся по "байт коду" а не по тексту?

[belugin]

Цитата:

Сообщение от S.Kuskov

. Перекрёстный ссылки же строятся по "байт коду" а не по тексту?

Как сейчас строятся я точно не знаю, но так как компилятор переписан на основе xlnt - я думаю по синтаксическому дереву. Проверю.

[S.Kuskov]

Цитата:

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

Как сейчас строятся я точно не знаю, но так как компилятор переписан на основе xlnt - я думаю по синтаксическому дереву. Проверю.

Ну не суть. Главное что на этом этапе var уже заменён типом присваиваемого значения?

[belugin]

Цитата:

Сообщение от S.Kuskov

Ну не суть. Главное что на этом этапе var уже заменён типом присваиваемого значения?

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

[belugin]

Цитата:

Сообщение от S.Kuskov

А если компилируются уже выведенные типы, то и перекрёстные ссылки должны работать.

Перекрестные ссылки работают.

[Logger]

Цитата:

Сообщение от S.Kuskov

Спасибо, belugin, акцентировал внимание на то что тип выводится всё-таки на этапе компиляции, а не в runtime. Т.е. проверки уровня компиляции будут! Не будет (пока) только проверок/подсказок уровня редактора. А если компилируются уже выведенные типы, то и перекрёстные ссылки должны работать. Перекрёстный ссылки же строятся по "байт коду" а не по тексту?

Это я понимаю. Тип в момент компиляции определяется по правой части.
но проблема в том что если там anyType как в случае работы с мапом, то тип неопределенный становится. И получается часть информации мы теряем по сравнению со случаем когда слева явно задали тип вместо Var.

[belugin]

Цитата:

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

Это я понимаю. Тип в момент компиляции определяется по правой части.
но проблема в том что если там anyType как в случае работы с мапом, то тип неопределенный становится. И получается часть информации мы теряем по сравнению со случаем когда слева явно задали тип вместо Var.

Именно в этом случае надо использовать приведение типов. Т.к. у нас есть только as и присваивание, то надо использовать присваивание.

Или строить типизированную обертку над Map.

[Logger]

Цитата:

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

Именно в этом случае надо использовать приведение типов. Т.к. у нас есть только as и присваивание, то надо использовать присваивание.

Или строить типизированную обертку над Map.

Понятно.
Наверно, проще уж тогда Var не использовать.