Как определить программно тип переменной-параметра

[Sergey Petrov]

Доброго времени суток, уважаемые!

Возник вопрос (скорее теоретический - практически можно обойти, но не интересно).

Исходные данные:
1. Есть EDT TypeA и EDT TypeB, наследованный от TypeA.
2. Есть класс, в котором есть метод, обрабатывающий по некоторому алгоритму значения типов TypeA и TypeB. Соответственно, тип передаваемого этому методу параметра указан как TypeA.

Вопрос. Как внутри этого метода определить, какого типа параметр ему передан (TypeA или TypeB)?

Заранее благодарен всем откликнувшимся.

[S.Kuskov]

На сколько я себе это представляю, расширенный тип закреплен именно за переменной, а не за её значением.

Qty       source1;
InventQty source2;
Qty       target;
;
source1 = 100;
source2 = 200;
target = source1 + source2;
// Какого типа должно стать значение target? 
// А если типы source1 и source2 принадлежат не одной иерархии?

Объекты другое дело - здесь есть понятие не только типа переменной но и типа значения. Последнее можно определить при помощи функции ClassIdGet().

[Sergey Petrov]

Цитата:

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

...

Qty       source1;
InventQty source2;
Qty       target;
;
source1 = 100;
source2 = 200;
target = source1 + source2;
// Какого типа должно стать значение target? 
// А если типы source1 и source2 принадлежат не одной иерархии?

...

Спасибо за проявленное внимание!
По моему разумению - если типы souce1 и source2 принадлежат разной иерархии, то начинает работать приведение типов. Но это - несколько иной случай.
Меня интересует, как определить программно (в коде Х++), какого типа переменная _source1 в момент исполнения кода следующего метода:

void method1(TypeA _source1)
{
...
    switch (/*определение типа переменной _source1*/)
    {
        case (extendedTypeNum(TypeA)) :
        ...
        break;
        case (extendedTypeNum(TypeB)) :
        ...
        break;
    }
...
}

Для полей таблиц, элементов форм и отчётов - я нашёл. А вот примера с переменной что-то нигде не видел. Может быть, подскажете, как быть в таком случае?

[S.Kuskov]

Цитата:

Сообщение от Sergey Petrov

приведение типов

Воот! И вот это самое приведение не позволяет проследить "начальный" тип значения. Т.е. при каждом присваивании (а передача параметра вызывает копирование значения) значение будет безвозвратно принимать тип той перменной в которую его записывают.

P.S.: Ещё можно попробовать поиграться с типом AnyType. Возможно его поведение будет отличаться от стандартных типов?

[AndyD]

Во внутреннем представлении переменной хранится информация только о базовом типе (строка, целое, енум и т.д.).

По-этому, при присвоении переменный, имеющих один базовый тип никаких приведений не требуется (upd. единственно, для строк действует ограничение на длину - лишнее отбрасывается).
Это же касается и anytype. Единственное его отличие - до присвоения первого значения переменная не определена. После присвоения переменная получает тот тип, который был ей присвоен

[Sergey Petrov]

Всем огромное спасибо. Подтвердили мои сомнения - архитектура передачи по значению не позволяет определять EDT передаваемых данных.

[gl00mie]

Цитата:

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

при присвоении переменный, имеющих один базовый тип никаких приведений не требуется (upd. единственно, для строк действует ограничение на длину - лишнее отбрасывается).

В свете перехода на CLR и от этого "обрезания" собираются отказаться.

Цитата:

Сообщение от Sergey Petrov

Всем огромное спасибо. Подтвердили мои сомнения - архитектура передачи по значению не позволяет определять EDT передаваемых данных.

Более того, передаваться исходно могут вообще данные не того типа, какой вы ожидаете. Например:

void foo(InventQty _qty)
{
    // ...
}
void bar()
{
    this.foo( 0 );  // здесь передается аргумент типа int, а не real! какие уж там тонкие отличия EDT...
}

При этом приведением типов Аксапта занимается лишь в момент, когда необходимо "вычислить" значение какого-либо выражения с использованием переданного аргумента. Это обсуждалось в теме axaptapedia: Trap typecast.
По-моему, если нужно передавать не просто значение параметра, но и некую дополнительную семантику, связанную с этим значением, то проще и надежнее это реализовать за счет дополнительного параметра-enum'а.

[Sergey Petrov]

Цитата:

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

По-моему, если нужно передавать не просто значение параметра, но и некую дополнительную семантику, связанную с этим значением, то проще и надежнее это реализовать за счет дополнительного параметра-enum'а.

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

[AndyD]

Цитата:

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

Более того, передаваться исходно могут вообще данные не того типа, какой вы ожидаете. Например:

void foo(InventQty _qty)
{
    // ...
}
void bar()
{
    this.foo( 0 );  // здесь передается аргумент типа int, а не real! какие уж там тонкие отличия EDT...
}

При этом приведением типов Аксапта занимается лишь в момент, когда необходимо "вычислить" значение какого-либо выражения с использованием переданного аргумента. Это обсуждалось в теме axaptapedia: Trap typecast.

Вот это совсем не понял.
В момент вызова функции foo() происходит преобразование из int в real и в параметре _qty хранится число в формате плавающей точки

По ссылке, на мой взгляд, показан пример некорректного приведения типов int64->boolean (точнее int64->Enum. Хотя, для boolean выполняется дополнительное преобразование).
Причем, при возврате из функции значения целочисленного типа, в том числе и литерала, приведение идет не к типу Boolean (Enum с Id=0xF000), а к некоему промежуточному енуму с Id = 0x0000 значения которого находятся в диапазоне 0..255.

Int   i;
boolean test()
{
    return 0x10000000;
}
;
i = test();
info( strfmt('%1', i) );