[igor74]

Всем привет!
Есть разные динамические массивы.
Например:

Код:

1 2 3 4

var    A : array of integer;    B : array of TPoint;    C : array of TClass;

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

Код:

1 2 3 4

function IndexInArray(Index : integer; ABC : TArray) : boolean; begin    Result := (Index >= Low(ABC)) and (Index <= High(ABC)); end;

Админ: Пользуемся тегами при оформлении кода!

Открытый статический массив (array of const) использовать нельзя, т.к. массив динамический, а для открытого динамического надо указывать конкретый тип. Может как то можно через указатель, но как потом с ним работать?

Есть решение данной задачи? Кто подскажет?

[Alegun]

Здесь видимо нужно передавать в функцию не массив, а его размерность

Код:

1 2 3 4

function IndexInArray(Index, lw, hg: integer) : boolean; begin Result := (Index >= lw) and (Index <= hg); end;

пример вызова

Код:

1	if IndexInArray(3, Low(ABC), High(ABC)) then  ...

[NumLock]

Так Variant. И VarArrayHighBound (Low)

[Alegun]

Действительно

Код:

1	function IndexInArray(Index : integer; ABC :array of Variant) : boolean;

какжеж забылось-то

[NumLock]

Либо
ABC: Variant

[Alegun]

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

Либо
ABC: Variant

Пытался, не прокатило, у ТС в заВАРушке массивы дадены, вот с array of.. работает

[Alegun]

Имелось ввиду что оно работает с разными типами, если A,B,C: array of variant, я делал так при проверке

[lmikle]

Generics вам в руки (как минимум с Delphi XE, вроде. Этот пример проверял на Delphi 10.1 Berlin):

Код:

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36

type   TArrayHelper<T> = class   class function IndexInBounds(AIndex : Integer; A : Array Of T) : Boolean;   end;   class function TArrayHelper<T>.IndexInBounds(AIndex : Integer; A : Array Of T) : Boolean; begin   Result := (AIndex >= Low(A)) And (AIndex <= High(A)); end;   procedure TForm1.btTestClick(Sender: TObject);     function BoolToStr(V : Boolean) : String;   begin     if V then Result := 'Yes' Else Result := 'No';   end;   var   A : Array Of String;   B : Array Of Integer;   C : Array Of TObject;   D : Array [1..20] Of Pointer;   E : Array [20..30] Of Char; begin   edLog.Lines.Clear;     SetLength(A,10);   SetLength(B,20);   SetLength(C,30);     edLog.Lines.Add('Dynamic array A Of String, Index 15: ' + BoolToStr(TArrayHelper<String>.IndexInBounds(15,A)));   edLog.Lines.Add('Dynamic array B Of Integer, Index 15: ' + BoolToStr(TArrayHelper<Integer>.IndexInBounds(15,B)));   edLog.Lines.Add('Dynamic array C Of TObject, Index 15: ' + BoolToStr(TArrayHelper<TObject>.IndexInBounds(15,C)));   edLog.Lines.Add('Static array D Of Pointer, Index 15: ' + BoolToStr(TArrayHelper<Pointer>.IndexInBounds(15,D)));   edLog.Lines.Add('Static array E Of Char, Index 15: ' + BoolToStr(TArrayHelper<Char>.IndexInBounds(15,E))); end;

Результат:

Код:

1 2 3 4 5

Dynamic array A Of String, Index 15: No Dynamic array B Of Integer, Index 15: Yes Dynamic array C Of TObject, Index 15: Yes Static array D Of Pointer, Index 15: Yes Static array E Of Char, Index 15: No

[lmikle]

Сейчас еще раз посмотрел. Без обходных путей, похоже, способа нет.
Можно просто декларировать массивы через TArray<T> и сделать хэлпер именно к этому generic'у. Можно не пользоваться массивами, а применить различные контейнеры на основе классов (TList, TStringList, TObjectLost, etc). тогда там можно просто сделать этот метод встроенным.

[NumLock]

Код:

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22

function IndexInArray(Index: Integer; var V): Boolean; var   p: PInteger; begin   p:=PInteger(PInteger(@V)^);   Dec(p);   Result:=(Index>=0) and (Index<p^); end;   procedure TForm1.FormCreate(Sender: TObject); var   a: array of Integer;   b: array of TPoint;   c: array of TClass; begin   SetLength(a, 20);   SetLength(b, 30);   SetLength(c, 40);   if IndexInArray(35, a) then Memo1.Lines.Add('a');   if IndexInArray(35, b) then Memo1.Lines.Add('b');   if IndexInArray(35, c) then Memo1.Lines.Add('c'); end;

Low = 0, т.к. xor edx,edx = 0

[lmikle]

Num,

1. Это хак. Не факт, что будет работать на всех версиях. Ты затачиваешься на то, как компилятор хранит массив.
2. А что со статическими массивами?


ТС,

1. Low(), High() и Length() являются библиотечными функциями и реализованны хардкодом для текущей версии библиотеки и компилятора. Тебя же не смушает, что есть процедура writeln, у которой произвольное кол-во параметров, хотя ты подобную средствами самого языка создать не можешь (кстати, разработчики Delphi тоже не могут, именно поэтому мы имеем функцию Format с параметром array Of const).
2. Ну, если очень хочется без указания типа, то отдавай это на откуп компилятору. Т.е. пиши функцию с overload для каждого типа. Компилятор потом сам подставит нужную. Одна проблема - что делать для пользовательских типов и что делать, когда массив неизвестно чего передается из вне.

Как я говорил - проблема кардинально решается путем отказа от массивов и перехода на контейнеры. Я бы даже сказал - на generic-контейнеры. Т.е. наследуешь от стандартного generic-контейнера свой, дописываешь ему нужные тебе вещи и уже "рожаешь" свои классы от своего контейнеры с типизацией на этапе компиляции.

[M.A.D.M.A.N.]

Зайду с другого боку, ты как хочешь использовать эту функцию?
Есть некий массив и ты по какому-то своему алгоритму берешь произвольный индекс и пытаешься обратиться по нему к элементу массива (предварительно проверив вхождение индекса)?