Модератор: Модераторы
скалогрыз » 30.12.2015 23:25:24
Дож писал(а):В паскале по умолчанию используется своя конвенция (я так полагаю, называется register). Эта конвенция предписывает возвращать результат функции через регистры, если умеющаются, а если не умещаются, то класть в специально подготовленную область памяти.
Дож » 30.12.2015 23:29:43
скалогрыз писал(а):Дож писал(а):В паскале по умолчанию используется своя конвенция (я так полагаю, называется register). Эта конвенция предписывает возвращать результат функции через регистры, если умеющаются, а если не умещаются, то класть в специально подготовленную область памяти.
не юли, скажи често , что если не умещаются в регистры, то кладутся в стэк ;)
скалогрыз » 30.12.2015 23:30:02
hinst писал(а):В паскакале могут быть вложенные локальные функции; так что функции могут быть и локальные и глобальные
Дож писал(а):С каких это пор аккуратные формулировки в областях, в которых автор не является специалистом, называются юлением?
Дож » 30.12.2015 23:35:54
скалогрыз писал(а):hinst писал(а):В паскакале могут быть вложенные локальные функции; так что функции могут быть и локальные и глобальные
с точки зрения компоновщика локальные переменные такие же глобальные, т.к. для него пространство имён плоское. И лишь благодаря неустанному труду компилятора коллизий не происходит
скалогрыз » 30.12.2015 23:37:24
Дож » 30.12.2015 23:39:49
скалогрыз писал(а):Дож писал(а):С каких это пор аккуратные формулировки в областях, в которых автор не является специалистом, называются юлением? :)
просто термин "специально подготовленная область памяти" намекает на пробелы в знаниях. Но сам факт ликвидации этих пробелов радует. Ликбез же!
type
PRecord = ^TRecord;
TRecord = record
A, B, C, D: LongInt
end;
function func_register_record(A, B: LongInt): TRecord;
begin
Result.A := A + B;
Result.B := A - B;
Result.C := A * B;
Result.D := A div B;
end;
var
R: PRecord;
begin
New(R);
R^ := func_register_record(4, 5);
end.
скалогрыз » 30.12.2015 23:43:51
Дож писал(а):Всё же не стоит смешивать видимость в программе на языке паскаль, и видимость в каком-то другом смысле (видимость у компилятора в ассемблере, видимость идентификаторов у компановщика, видимость куска памяти в конце работы функции и прочие видимости)
Дож писал(а):(Будет ли структура возвращена через стек? Или таки указатель на кучу будет передан в функцию и в эту кучу сразу запишется результат?)
Снег Север » 31.12.2015 00:07:35
vitaly_l писал(а):Снег Север писал(а):Но вы не покажете, поскольку такового не существует.
Вы заблуждаетесь. Точнее одурачены "плохим/ложным" образованием, равно как и те кто верит в сказку про "большой взрыв".
Или же Вы как физик можете объяснить: Как это галактика сменила курс более чем на 90 градусов и летит на нас со скоростью 110 т.к.с?
Можете пояснить?
Сообщаю для вашего сведения, что если красное смещение и считать "разбеганием", это не более чем усреднение, ничто не препятствует галактикам иметь любое направление скорости.
Дож » 31.12.2015 00:15:46
скалогрыз писал(а):Дож писал(а):(Будет ли структура возвращена через стек? Или таки указатель на кучу будет передан в функцию и в эту кучу сразу запишется результат?)
через стек. хочешь указатель на кучу, используй "var".
Кстати именно по-этому эффективнее использовать "var" параметры, нежели возвращать структуры.
скалогрыз » 31.12.2015 00:23:03
Дож писал(а):(Ибо var неудобен, особенно в случае сложных векторных, матричных и пр. выражений.)
type
PRecord = ^TRecord;
TRecord = record
A, B, C, D: LongInt
end;
procedure func_var_record(A, B: LongInt; var Result: TRecord);
begin
Result.A := A + B;
Result.B := A - B;
Result.C := A * B;
Result.D := A div B;
end;
var
R: PRecord;
begin
New(R);
func_var_record(4, 5, R^);
end.
Дож » 31.12.2015 00:34:49
// функция отражения вектора V относительно направления D
function Mir2f(const V, D: TVec2f): TVec2f;
begin
Result := Add2f(V, Mul2f(Sub2f(Mul2f(D, Dot2f(V, D)), V), 2));
end;
function Mir2f(const V, D: TVec2f): TVec2f;
var
Temp1, Temp2: TVec2f;
begin
Dot2f(V, D, Temp1);
Mul2f(D, Temp1, Temp2);
Sub2f(Temp2, V, Temp1);
Mul2f(Temp1, 2, Temp2)
Add2f(V, Temp2, Result);
end;
скалогрыз » 31.12.2015 00:58:02
Дож писал(а):А если вообще, то хочется писать векторные выражения как с числами
temp1:=Dot2f(V, D) // адрес есть
Dot2f(V, D) // адреса нет
function Mir2f(const V, D: TVec2f; var Result: TVec2f);
var
T: TVec2f;
begin
Dot2f(V, D, Result);
Mul2f(D, Result, T);
Sub2f(T, V, Result);
Mul2f(Result, 2, T)
Add2f(V, T, Result);
end;
Дож » 31.12.2015 01:19:56
скалогрыз писал(а):Но тут проблема в том, что
- Код: Выделить всё
temp1:=Dot2f(V, D) // адрес есть
а скажем
- Код: Выделить всё
Dot2f(V, D) // адреса нет
{$MODE OBJFPC}
type
TRecord = record
A, B: LongInt;
end;
function Swap(const R: TRecord): TRecord;
begin
Result.A := R.B;
Result.B := R.A;
end;
procedure Swap(const R: TRecord; out Result: TRecord);
begin
Result.A := R.B;
Result.B := R.A;
end;
var
R: TRecord;
begin
R.A := 3;
R.B := 4;
R := Swap(R); // выведет 3 4
Writeln(R.A, ' ', R.B);
Swap(R, R); // выведет 3 3
Writeln(R.A, ' ', R.B);
end.
скалогрыз » 31.12.2015 01:29:11
Дож писал(а):Реальная проблема (того, почему компилятор не может тупо применить подобную оптимизацию во всех случаях) есть из-за вот такого
- Код: Выделить всё
procedure Swap(const R: TRecord; out Result: TRecord);
begin
Result.A := R.B;
Result.B := R.A;
end;
procedure Swap(const R: TRecord; out Result: TRecord);
var
t: integer;
begin
t:=Result.A;
Result.A := R.B;
Result.B := t;
end;
vitaly_l » 31.12.2015 01:35:09
Снег Север писал(а):красное смещение и считать "разбеганием", это не более чем усреднение, ничто не препятствует галактикам иметь любое направление скорости
И кстати, фраза фантастов "перебили всех говорунов", <=== далеко не сказка их действительно перебили, адепты злого Ктулху. 
Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 1