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

[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) );