"например, f 5 выполняет g x, а затем также выполняет h x"
blockquote>И что возвращает? Мы должны вернуть некоторое значение , так работает электронная оценка Хаскелла .
Если вам нужны значения обоих операторов, вы можете объединить их, поместив их в список:
f x = [ g x | x < 10 ] ++ [ h x | x < 15 ] ++ [ m x | True ]
Этот список будет содержать все результаты, для которых выражение справа от их [ 111] (список охранников понимания) оценить до
True
.++
добавляет два списка в один.True
тривиально оцениваетTrue
, поэтому может быть опущено:[ m x ]
.
Хорошо, я вижу разъяснение в Вашем вопросе означать, что необходимо реализовать импорт C в Delphi. В этом случае необходимо реализовать varargs сами.
необходимые элементарные знания являются соглашением о вызовах C по x86: стек растет вниз, и C продвигает аргументы справа налево. Таким образом указатель на последний заявленный аргумент, после того, как это будет увеличено размером последнего заявленного аргумента, укажет на список аргументов хвоста. С того времени это - просто вопрос чтения вслух аргумента и постепенного увеличения указателя соответствующим размером для перемещения глубже в стек. Стопка x86 в 32-разрядном режиме составляет 4 байта, выравниваемые обычно, и это также означает, что байты и слова передаются как 32-разрядные целые числа.
Во всяком случае, вот запись помощника в демонстрационной программе, которая показывает, как считать данные. Обратите внимание, что Delphi, кажется, передает Расширенные типы очень нечетным способом; однако, Вы, вероятно, не должны будете волноваться об этом, поскольку 10-байтовые плавания обычно широко не используются в C и даже не реализованы в последнем MS C, IIRC.
{$apptype console}
type
TArgPtr = record
private
FArgPtr: PByte;
class function Align(Ptr: Pointer; Align: Integer): Pointer; static;
public
constructor Create(LastArg: Pointer; Size: Integer);
// Read bytes, signed words etc. using Int32
// Make an unsigned version if necessary.
function ReadInt32: Integer;
// Exact floating-point semantics depend on C compiler.
// Delphi compiler passes Extended as 10-byte float; most C
// compilers pass all floating-point values as 8-byte floats.
function ReadDouble: Double;
function ReadExtended: Extended;
function ReadPChar: PChar;
procedure ReadArg(var Arg; Size: Integer);
end;
constructor TArgPtr.Create(LastArg: Pointer; Size: Integer);
begin
FArgPtr := LastArg;
// 32-bit x86 stack is generally 4-byte aligned
FArgPtr := Align(FArgPtr + Size, 4);
end;
class function TArgPtr.Align(Ptr: Pointer; Align: Integer): Pointer;
begin
Integer(Result) := (Integer(Ptr) + Align - 1) and not (Align - 1);
end;
function TArgPtr.ReadInt32: Integer;
begin
ReadArg(Result, SizeOf(Integer));
end;
function TArgPtr.ReadDouble: Double;
begin
ReadArg(Result, SizeOf(Double));
end;
function TArgPtr.ReadExtended: Extended;
begin
ReadArg(Result, SizeOf(Extended));
end;
function TArgPtr.ReadPChar: PChar;
begin
ReadArg(Result, SizeOf(PChar));
end;
procedure TArgPtr.ReadArg(var Arg; Size: Integer);
begin
Move(FArgPtr^, Arg, Size);
FArgPtr := Align(FArgPtr + Size, 4);
end;
procedure Dump(const types: string); cdecl;
var
ap: TArgPtr;
cp: PChar;
begin
cp := PChar(types);
ap := TArgPtr.Create(@types, SizeOf(string));
while True do
begin
case cp^ of
#0:
begin
Writeln;
Exit;
end;
'i': Write(ap.ReadInt32, ' ');
'd': Write(ap.ReadDouble, ' ');
'e': Write(ap.ReadExtended, ' ');
's': Write(ap.ReadPChar, ' ');
else
Writeln('Unknown format');
Exit;
end;
Inc(cp);
end;
end;
type
PDump = procedure(const types: string) cdecl varargs;
var
MyDump: PDump;
function AsDouble(e: Extended): Double;
begin
Result := e;
end;
function AsSingle(e: Extended): Single;
begin
Result := e;
end;
procedure Go;
begin
MyDump := @Dump;
MyDump('iii', 10, 20, 30);
MyDump('sss', 'foo', 'bar', 'baz');
// Looks like Delphi passes Extended in byte-aligned
// stack offset, very strange; thus this doesn't work.
MyDump('e', 2.0);
// These two are more reliable.
MyDump('d', AsDouble(2));
// Singles passed as 8-byte floats.
MyDump('d', AsSingle(2));
end;
begin
Go;
end.
Я нашел это (от парень , мы знаем :))
Для записи этого материала правильно необходимо будет использовать ВСТРОЕННЫЙ АССЕМБЛЕР, Delphi создал в ассемблере и кодирует последовательность вызова в asm. Надо надеяться, у Вас есть хорошая идея того, что необходимо сделать. Возможно, сообщение в .basm группе поможет, если Вы застрянете.
Delphi не позволяет Вам реализовать varargs стандартную программу. Это только работает на импорт внешних функций cdecl, которые используют это.
, Так как varargs основан на cdecl соглашении о вызовах, в основном необходимо повторно реализовать его сами в Delphi, с помощью блока и/или различных видов управления указателем.