mfp: X++ in AX7: The var keyword

[Blog bot]

Источник: http://blogs.msdn.com/b/mfp/archive/...r-keyword.aspx
==============


This is the new language feature that is generating most discussions. Just like C# you can now use the var keyword when declaring variables. It has the exact same semantics, and any guideline you will find on how to use it in C# will also apply in X++.



In C# the var keyword was introduced to enable scenarios where declaring the type was impossible, near-impossible or irrelevant, like with anonymous types and generics. Writing less was naturally well received by a lot of developers, and the use of var blossomed. It is also a great topic for steering up a debate. There are lots of guidelines and opinions. They cover the entire range from one extreme: "Always use it, it makes code easier to read" to the opposite extreme: "Never use it, it makes code harder to read".



X++ does not support anonymous types or generics in AX7 - so the real need for the var keyword is not present - yet it is supported, and already heavily used. Like in C# the use of var is as strongly typed as when the type is explicitly provided.




Personally, I'm recommending using var in only two cases:

1. When the type is obvious.
   In X++ there is a lot of repetition. The var keyword can help avoid some of this clutter while making the code easier to read, without any information gets lost to the reader.
   
   For example:
   MyClass myClass = new MyClass();
   
   In AX7 I would write:
   var myClass = new MyClass();
   
2. When the type is irrelevant.
   Sometimes you don't care about the type. If you don't care the reader most likely doesn't either.
   
   For example:
   ListEnumerator enumerator = myCollection.getEnumerator();
   
   In AX7 I would write:
   var enumerator = myCollection.getEnumerator();
   

There are a number of X++ specific reasons to not use var (i.e. doesn't apply to C#)

1. Limited support Visual Studio.
   In the X++ editor in Visual Studio, you can use F12 to go to the declaration of a type. However, the X++ editor is still not as smart as the X++ compiler. At the time of this writing you are losing this drill through capability when not explicitly specifying the type of the variable. The same applies for IntelliSense – when using the var keyword, IntelliSense is not available (yet).
   
   
2. Higher risk of runtime errors.
   Just like the C# compiler, the X++ compiler will determine the type from the assignment to the variable and enforce all the same rules and restrictions. So you might think that the use of var doesn't lead to more runtime errors. There is a catch in X++ - you should be aware of. The X++ compiler doesn't enforce any validation of method invocations on object or common. So if the X++ compiler determines the type to be object or common, then you lost your safety net. It is not always obvious.
   
   Consider this code:
   CustTable custTable = Xml2Record(xml);
   custTable.someInvalidMethod(); // Compile error
   
   Using var, the code becomes:
   var custTable = Xml2Record(xml);
   custTable.someInvalidMethod(); // No compile error, as Xml2Record() returns a common
   

THIS POST IS PROVIDED AS-IS AND CONFERS NO RIGHTS




==============
Источник: http://blogs.msdn.com/b/mfp/archive/...r-keyword.aspx

[S.Kuskov]

Цитата:

var myClass = new MyClass();

Интересно, а список методов после точки у такой переменной будет выскакивать?

Извиняюсь. Прочитал статью. Там есть ответ на этот вопрос. Отрицательный

[Link]

Цитата:

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

Интересно, а список методов после точки у такой переменной будет выскакивать?

Точно, IntelliSense не работает

[sukhanchik]

Цитата:

when using the var keyword, IntelliSense is not available (yet).

Видимо нет

[mazzy]

Му-ха-ха-ха!!!!!

Кхе-кхе-Кх-х-хгр.... *подавился сардоническим смехом*

[trud]

А кто-нибудь понял в чем отличие от Object или Common?
типо просто круче?

[Link]

Цитата:

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

А кто-нибудь понял в чем отличие от Object или Common?
типо просто круче?

Думаю, что дело не в том, что круче. Скорее всего т.к. АХ движется постепенно в сторону С#, то скорее и смысл будет тот же что и в С#. Видно, что добавили, но не доделали. Может для будущей совместимости, а может не получилось доделать. Собственно автор и дает рекомендации объявления в АХ7.

[S.Kuskov]

Цитата:

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

А кто-нибудь понял в чем отличие от Object или Common?
типо просто круче?

Ещё в этот перечень можно добавить AnyType. По-моему так точная копия представленного var

И на всякий случай замечу, что в аскапте классы не обязаны наследоваться от Object.

[Link]

Цитата:

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

Ещё в этот перечень можно добавить AnyType. По-моему так точная копия представленного var

По-моему не совсем: var, нельзя использовать в объявлении параметров или возвращаемого типа метода. var нельзя присвоить null. К слову в C# как и в АХ тоже есть базовый класс object. А еще есть тип dynamic, который очень похож на object, но тип проверяется только во время выполнения.

Цитата:

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

И на всякий случай замечу, что в аскапте классы не обязаны наследоваться от Object.

А где об этом можно почитать?

[sukhanchik]

Цитата:

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

И на всякий случай замечу, что в аскапте классы не обязаны наследоваться от Object.

Я так понимаю - необязательно писать extends Object у класса - т.к. это подразумевается по умолчанию. Но классы по-любому будут отнаследованы от Object. https://msdn.microsoft.com/en-us/library/object.aspx

[Logger]

Цитата:

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

Я так понимаю - необязательно писать extends Object у класса - т.к. это подразумевается по умолчанию. Но классы по-любому будут отнаследованы от Object. https://msdn.microsoft.com/en-us/library/object.aspx

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

[S.Kuskov]

Узнать, где находится объект (сервер или клиент)?

Цитата:

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

Object совместим со всеми классами, но не все классы являются его потомками

[Link]

Цитата:

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

Узнать, где находится объект (сервер или клиент)?

А есть пример такого класса в АХ?

[Logger]

в 2009-й
\Classes\Activities\classDeclaration
2-й класс в ветке аот

class Activities
{
    boolean deleteSeries;
}

[Link]

Цитата:

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

в 2009-й
\Classes\Activities\classDeclaration
2-й класс в ветке аот

class Activities
{
    boolean deleteSeries;
}

Хм, у меня только 2012, но Браузер иерархии типа говорит, что наследуется от Object, да и не совсем ясно почему он вдруг не должен наследовать

[Link]

Цитата:

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

\Classes\Activities\classDeclaration

Я правильно понимаю, что единственная причина, по которой вы привели это класс, что у него в свойствах Extends ничего не указанно?

[Logger]

Цитата:

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

Я правильно понимаю, что единственная причина, по которой вы привели это класс, что у него в свойствах Extends ничего не указанно?

Не только.
Создайте экземпляр такого класса в джобе (его или любого другого который ни от чего не наследуется). И попробуйте на нем вызывать методы класса Object
Получите ошибку времени выполнения.

[Logger]

Цитата:

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

Хм, у меня только 2012, но Браузер иерархии типа говорит, что наследуется от Object, да и не совсем ясно почему он вдруг не должен наследовать

У меня 2009-я
Браузер иерархии говорит то же самое - что наследуется. А по факту это не так
Добро пожаловать в реальный мир, Нео.

Специально проверил в 2012-й
Там то же самое.

[belugin]

Var это не тип данных - это просто ключевое слово что тип данных будет выведен из выражения при присваивании.

Var x= new MyClass();

У x тип myClass - результат совершенно тот же что и у myClass x = new MyClass()
Если вызвать x.nitExistingMetgod() результат не скопируется
Object x= new MyClass() у x тип object - можно присвоить значение-экземпляр другого класса

Если вызвать несуществующий метод результат скопируется но при запуске будет ошибка

[Link]

Цитата:

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

У меня 2009-я
Браузер иерархии говорит то же самое - что наследуется. А по факту это не так
Добро пожаловать в реальный мир, Нео.

Специально проверил в 2012-й
Там то же самое.

Ваша правда, The Matrix has me
Более того, противоположно утверждению на MSDN, все новые не стандартные классы создаются без наследования Object И таковых немало среди стандартных. Интересно, от куда ноги растут у этого утверждения, если как минимум для 2009 и 2012 это не верно, а в статье указанно, что она относится к АХ 2012.