mfp: X++ in AX7: The var keyword

[Link]

Добавил комментарий к статье MSDN, 1:0 в пользу Нео

[A_BAS]

Вангую:
в АХ7 появятся сообщения BP "Ключевое слово anyType более не используется. Используйте ключевое слово var".

имхо практической необходимости применения var нет
лучше бы добавили поддержку foreach. полезнее было бы

[belugin]

Цитата:

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

Вангую:
в АХ7 появятся сообщения BP "Ключевое слово anyType более не используется. Используйте ключевое слово var"

Нет такого предупреждения. Прочитайте про var в C#, чтобы понять разницу. При помощи var можно объявить переменную типа AnyType или типа SalesOrder любого другого типа. Сама переменная будет именно того типа, которого обявили:

// тип sales order tabke
var salesOrder = SalesOrderTable::find(..)
// ошибка компиляции
salesOrder = InventTrans::find(...)

// тип x - AnyType
var x = myMap.lookup(sss);
// нет ошибки компиляции
x = InventTrans::find(...)

[Logger]

Цитата:

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

Нет такого предупреждения. Прочитайте про var в C#, чтобы понять разницу. При помощи var можно объявить переменную типа AnyType или типа SalesOrder любого другого типа. Сама переменная будет именно того типа, которого обявили:

А какая от этого практическая польза ?
Сделать X++ похожим на JS c вакханалией типов и отсутствие каких-либо проверок на этапе компиляции ?
От этого один вред.

[AndyD]

Ну, mfp же написал, что три недели будет знакомить с новым-неизведанным)
Так что, может, дальше будет и расписано, зачем же неявная типизация в Аксапте понадобилась

Глядишь, и анонимные типы появились.
А там уже и рукой подать до встроенного linq'а)

Если что - с семеркой дел не имел, так, фантазирую))

[gl00mie]

Цитата:

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

А какая от этого практическая польза ? Сделать X++ похожим на JS c вакханалией типов и отсутствие каких-либо проверок на этапе компиляции ?

По-моему, просто так удобней сишарперам, которых нагнали толпой на разработку стандартного приложения: они до этого Х++ в глаза не видели и выражают своё "фи" его ограничениям, потому что им подавай var и лямбда-функции, а тут переменные заставляют заранее объявлять, да еще и точный тип вручную указывать. Про перекрестные ссылки в Аксапте они тоже не слышали, и как эти перекрестные ссылки будут работать со всякими там var, их не волнует. Скоро большая часть перекрестных ссылок будет относиться к Common и Object

[Logger]

Что ж смешного то ?
Нам с этим работать дальше.

[Logger]

Интересно, а если вот этот код

// тип x - AnyType
var x = myMap.lookup(sss);

Написать в каком нить стиле а-ля

// тип x - InventTable !
var x = myMap.lookup(sss) as InventTable;

Можно ли в таком случае компилятору в мозги впихнуть что ожидается тип InventTable и переменная должна быть InventTable. И чтобы перекрестные ссылки тоже подхватили.
Т.е. придать мапам типизацию на лету.

Вот здесь
http://blogs.msdn.com/b/mfp/archive/....aspx#10658170
сказано

Цитата:

DAP
3 Dec 2015 3:44 AM
#

It's basically type inferrence, so the type of variable is inferred by the compiler frm the right hand side expression. That means type safety is enforced which is not the case for Object/Common.

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

[S.Kuskov]

А чем это будет отличаться от

InventTable x = myMap.lookup(sss);

?

[Logger]

По смыслу - ничем.
Зато будет похоже на C# и будет использоваться ключевое слово var и с перекрестными ссылками все ок.

И волки целы и овцы сыты. Всем угодили.

[sukhanchik]

Цитата:

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

Это очевидная ошибка в документации, в чем вы легко можете убедиться.

Да, ошибся... Присвоение любого класса переменной типа Object не означает автоматическое наследование от этого типа.

[macklakov]

Цитата:

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

А какая от этого практическая польза ?
От этого один вред.

Мне казалось, что после 2012-й таких вопросов возникать уже не должно. Ты продал душу MS и попал в ад. Муки, неотъемлемая часть процесса.

[belugin]

Цитата:

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

А чем это будет отличаться от

InventTable x = myMap.lookup(sss);

?

Этот код в, отличие от предыдущего, свалится, если в Map будет не InventTable. Предыдущий код запихает туда null. Поэтому когда я вижу на code review использование as без проверки на null - я делаю замечание.

[belugin]

Цитата:

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

Ну, mfp же написал, что три недели будет знакомить с новым-неизведанным)
Так что, может, дальше будет и расписано, зачем же неявная типизация в Аксапте понадобилась

Глядишь, и анонимные типы появились.
))

Анонимных нет - явно сказано в посте.

Поэтому такой же пользы от var как в c# нет. Есть набор мелких удобств, которые mfp указал в посте.

[S.Kuskov]

Цитата:

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

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

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

[belugin]

Цитата:

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

Можно ли в таком случае компилятору в мозги впихнуть что ожидается тип InventTable и переменная должна быть InventTable. И чтобы перекрестные ссылки тоже подхватили.
Т.е. придать мапам типизацию на лету.
.

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

[belugin]

Цитата:

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

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

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

[S.Kuskov]

Цитата:

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

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

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

[belugin]

Цитата:

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

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

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

[belugin]

Вообще var ввели в C# 3.0 и его использование породило множество сра... обсуждений. Например вот выжимка