const в параметрах

← →
Loginov Dmitry © (2008-03-02 21:31) [40]

> А ты оптимизатор отключи. И тогда тебе станет все понятно.

А ты сам сперва попробуй!

← →
Anatoly Podgoretsky © (2008-03-02 21:31) [41]

> Loginov Dmitry (02.03.2008 21:27:38) [38]

С чего ты ставишь знак равенства между ссылка и const - тебе Борланд это обещал?

← →
oxffff © (2008-03-02 21:32) [42]

> Прикол в том, что компилятор "забил" на директиву const
> и передал I по значению :)

Прикол в том, что тебе нужно перечитать Help. :)
Внимательно изучить [20] и [21] c учетом [36]
(либо вынудить оптимизатор не пропускать код).

← →
oxffff © (2008-03-02 21:34) [43]

> Loginov Dmitry © (02.03.08 21:31) [40]
> > А ты оптимизатор отключи. И тогда тебе станет все понятно.
>
>
>
> А ты сам сперва попробуй!

5562 и 484. Догадайся где быстрее.

← →
Loginov Dmitry © (2008-03-02 21:37) [44]

> 5562 и 484. Догадайся где быстрее.

Быстрее второй цикл. И что из этого? Const-то тут причем?

← →
oxffff © (2008-03-02 21:37) [45]

> Anatoly Podgoretsky © (02.03.08 21:30) [39]
> > oxffff (02.03.2008 21:27:37) [37]
>
> Зачем, меня эти тесты не интересуют

А как быть с Anatoly Podgoretsky © (02.03.08 14:28) [7]?

Ведь нет разницы, что

procedure abc(i: integer);
begin
..
end;

procedure abcEx(const i: integer);
begin
..
end;

← →
Loginov Dmitry © (2008-03-02 21:38) [46]

> Прикол в том, что тебе нужно перечитать Help.

Да без проблем! Где тебе непонятно? Давай почитаю!
:)

← →
oxffff © (2008-03-02 21:39) [47]

> Loginov Dmitry © (02.03.08 21:37) [44]
> > 5562 и 484. Догадайся где быстрее.
>
>
> Быстрее второй цикл. И что из этого? Const-то тут причем?
>

Как причем? Это благодаря const. Ты что не в курсе?

← →
Anatoly Podgoretsky © (2008-03-02 21:40) [48]

> oxffff (02.03.2008 21:37:45) [45]

А с чего бы здесь была разница, когда 32 бита передается через регистр eax

← →
{RASkov} © (2008-03-02 21:40) [49]

> А как быть с Anatoly Podgoretsky © (02.03.08 14:28) [7]?
>
> Ведь нет разницы, что...

Кстати, да, как?

>
Кому верить...
:о)

← →
oxffff © (2008-03-02 21:41) [50]

> Loginov Dmitry © (02.03.08 21:38) [46]
> > Прикол в том, что тебе нужно перечитать Help.
>
>
> Да без проблем! Где тебе непонятно? Давай почитаю!
> :)

Подожди. Подожди.

Твои слова. Loginov Dmitry © (02.03.08 19:05) [19]

А переменные String передавать с Const - это скорее правило хорошего тона. Именно в примере [2] оптимизации от этого никакой нет, т.к. нет обращения к отдельным символам строки.

Тебе показали, что это не так. Или ты решил съехать? :)

← →
{RASkov} © (2008-03-02 21:42) [51]

> [48] Anatoly Podgoretsky © (02.03.08 21:40)

Ясно.... что нифика не ясно :(

> [47] oxffff © (02.03.08 21:39)
> Как причем? Это благодаря const. Ты что не в курсе?

Вот и я так думал.... :(

← →
oxffff © (2008-03-02 21:42) [52]

> {RASkov} © (02.03.08 21:40) [49]
> > А как быть с Anatoly Podgoretsky © (02.03.08 14:28)
> [7]?
> >
> > Ведь нет разницы, что...
>
> Кстати, да, как?
>
> >
> Кому верить...
> :о)

Верить только себе и help Delphi (но лучше отладчику). :)

← →
Loginov Dmitry © (2008-03-02 21:46) [53]

> Тебе показали, что это не так.

Неужели? И где это было?

← →
oxffff © (2008-03-02 21:46) [54]

> {RASkov} © (02.03.08 21:42) [51]
> > [48] Anatoly Podgoretsky © (02.03.08 21:40)
>
> Ясно.... что нифика не ясно :(
>
>
> > [47] oxffff © (02.03.08 21:39)
> > Как причем? Это благодаря const. Ты что не в курсе?
>
> Вот и я так думал.... :(

Что ты не понял?

При передачи как

const значений для managed типов. Для них не вызывается Addref/finalize.

разница между передачей "длинного параметра" const и value, что оба по ссылке. Но для value создается копия в стеке в процедуре+затраты на managed типы. А для const нет.

Для не managed "коротких параметров" разницы нет.

см. Help

Parameters are transferred to procedures and functions via CPU registers or the stack, depending on the routine"s calling convention. For information about calling conventions, see Calling conventions.

Variable (var) parameters are always passed by reference, as 32-bit pointers that point to the actual storage location.

Value and constant (const) parameters are passed by value or by reference, depending on the type and size of the parameter:

An ordinal parameter is passed as an 8-bit, 16-bit, 32-bit, or 64-bit value, using the same format as a variable of the corresponding type.
A real parameter is always passed on the stack. A Single parameter occupies 4 bytes, and a Double, Comp, or Currency parameter occupies 8 bytes. A Real48 occupies 8 bytes, with the Real48 value stored in the lower 6 bytes. An Extended occupies 12 bytes, with the Extended value stored in the lower 10 bytes.

A short-string parameter is passed as a 32-bit pointer to a short string.
A long-string or dynamic-array parameter is passed as a 32-bit pointer to the dynamic memory block allocated for the long string. The value nil is passed for an empty long string.
A pointer, class, class-reference, or procedure-pointer parameter is passed as a 32-bit pointer.
A method pointer is passed on the stack as two 32-bit pointers. The instance pointer is pushed before the method pointer so that the method pointer occupies the lowest address.

Under the register and pascal conventions, a variant parameter is passed as a 32-bit pointer to a Variant value.
Sets, records, and static arrays of 1, 2, or 4 bytes are passed as 8-bit, 16-bit, and 32-bit values. Larger sets, records, and static arrays are passed as 32-bit pointers to the value. An exception to this rule is that records are always passed directly on the stack under the cdecl, stdcall, and safecall conventions; the size of a record passed this way is rounded upward to the nearest double-word boundary.

An open-array parameter is passed as two 32-bit values. The first value is a pointer to the array data, and the second value is one less than the number of elements in the array.

When two parameters are passed on the stack, each parameter occupies a multiple of 4 bytes (a whole number of double words). For an 8-bit or 16-bit parameter, even though the parameter occupies only a byte or a word, it is passed as a double word. The contents of the unused parts of the double word are undefined.

Under the pascal, cdecl, stdcall and safecall conventions, all parameters are passed on the stack. Under the pascal convention, parameters are pushed in the order of their declaration (left-to-right), so that the first parameter ends up at the highest address and the last parameter ends up at the lowest address. Under the cdecl, stdcall, and safecall conventions, parameters are pushed in reverse order of declaration (right-to-left), so that the first parameter ends up at the lowest address and the last parameter ends up at the highest address.

Under the register convention, up to three parameters are passed in CPU registers, and the rest (if any) are passed on the stack. The parameters are passed in order of declaration (as with the pascal convention), and the first three parameters that qualify are passed in the EAX, EDX, and ECX registers, in that order. Real, method-pointer, variant, Int64, and structured types) do not qualify as register parameters, but all other parameters do. If more than three parameters qualify as register parameters, the first three are passed in EAX, EDX, and ECX, and the remaining parameters are pushed onto the stack in order of declaration. For example, given the declaration

procedure Test(A: Integer; var B: Char; C: Double; const D: string; E: Pointer);

a call to Test passes A in EAX as a 32-bit integer, B in EDX as a pointer to a Char, and D in ECX as a pointer to a long-string memory block; C and E are pushed onto the stack as two double-words and a 32-bit pointer, in that order.

Register saving conventions

Procedures and functions must preserve the EBX, ESI, EDI, and EBP registers, but can modify the EAX, EDX, and ECX registers. When implementing a constructor or destructor in assembler, be sure to preserve the DL register. Procedures and functions are invoked with the assumption that the CPU"s direction flag is cleared (corresponding to a CLD instruction) and must return with the direction flag cleared.

Note

Delphi language procedures and functions are generally invoked with the assumption that the FPU stack is empty: The compiler tries to use all eight FPU stack entries when it generates code.

When working with the MMX and XMM instructions, be sure to preserve the values of the xmm and mm registers. Delphi functions are invoked with the assumption that the x87 FPU data registers are available for use by x87 floating point instructions. That is, the compiler assumes that the EMMS/FEMMS instruction has been called after MMX operations. Delphi functions do not make any assumptions about the state and content of xmm registers. They do not guarantee that the content of xmm registers is unchanged.

← →
oxffff © (2008-03-02 21:51) [55]

> Loginov Dmitry © (02.03.08 21:46) [53]
> > Тебе показали, что это не так.
>
>
> Неужели? И где это было?

Без оптимизатора попробуй. Чтобы компилятор не пропускал код, если нет зависимости.

procedure abc(s:string);
begin

end;

procedure abcEx(const s:string);
begin

end;

procedure TForm1.Button1Click(Sender: TObject);
var i:Integer;
Tick1,Tick2:DWORD;
begin
Tick1:=GetTickCount;
for i:=0 to 100000000 do abc("123");
Tick1:=GetTickCount-Tick1;

Tick2:=GetTickCount;
for i:=0 to 100000000 do abcEx("123");
Tick2:=GetTickCount-Tick2;

showmessage(inttostr(Tick1)+" "+inttostr(Tick2));
end;

← →
Anatoly Podgoretsky © (2008-03-02 21:52) [56]

> oxffff (02.03.2008 21:46:54) [54]

Если ты внимательно посмотришь, то увидишь, что я ничего не говорил про managed типы, а только про простые, к которым относится и интегер. А что сделает компилятор в этом случае его дело, хочет значение передает, хочет ссылку.

← →
{RASkov} © (2008-03-02 21:54) [57]

> [54] oxffff © (02.03.08 21:46)

Эх... в такие моменты хочется как в былые времена... за кружечкой пива... обсудить вопросы.
Это я к тому что пить бросил, а [54] на "финском" все...
:о)

← →
oxffff © (2008-03-02 21:57) [58]

> Anatoly Podgoretsky © (02.03.08 21:52) [56]

Ваши слова

Anatoly Podgoretsky © (02.03.08 14:28) [7]

> {RASkov} (02.03.2008 14:20:06) [6]

>Ссылки для интегер работают медленнее значений.

Утверждая что

procedure abc(i:integer);
begin

end;

работает иначе от

procedure abcEx(const i:integer);
begin

end;

В данном случае идентично. Про var речи не было.

← →
oxffff © (2008-03-02 21:57) [59]

> {RASkov} © (02.03.08 21:54) [57]
> > [54] oxffff © (02.03.08 21:46)
>
> Эх... в такие моменты хочется как в былые времена... за
> кружечкой пива... обсудить вопросы.
> Это я к тому что пить бросил, а [54] на "финском" все...
>
> :о)

Там краце часть на русском.

← →
Loginov Dmitry © (2008-03-02 22:00) [60]

> Без оптимизатора попробуй. Чтобы компилятор не пропускал
> код, если нет зависимости.

Ну причем тут оптимизатор? В курсе, что строки в процедуру всегда передаются по ссылке? А уже внутри процедуры, если идет обращение к элементам строки, компилятор может при отсутствии Const вставить вызов UniqueString(), и только после выполнения данной команды произойдет создание в памяти новой строки с необходимой коррекцией счетчика ссылок. Так что твои тесты, повторюсь еще раз - некорректные!

← →
{RASkov} © (2008-03-02 22:01) [61]

Да.... много нового в ветке:
-Длинный параметр
-Короткий параметр
-managed типы
-простые наконец...) Ужас какой.... как я раньше жил....:)

И что значит:
> А что сделает компилятор в этом случае его дело, хочет значение
> передает, хочет ссылку.
Как это так?

> [59] oxffff © (02.03.08 21:57)

На русском-то я как раз прочитал без проблем :)

← →
Anatoly Podgoretsky © (2008-03-02 22:03) [62]

> oxffff (02.03.2008 21:57:58) [58]

Мои и где ты тут противоречие видишь?
Компилятор решил передать значение, зачем передавать ссылку, если значение переменной все равно не удастся изменить. А вот если будет передача ссылки на интегер "Ссылки для интегер работают медленнее значений", то вот это и будет, поскольку обращение к A^ медленнее чем к А и тем более к регистру и особенно, когда в функции никак это не использует.

Похоже всех зачаровало слово const, почему то решили, что это имеет отношение к ссылка, ан нет, только к тому, что значение не будет изменено и ничего более. Я не помню кто этот гад, который поставил знак равенства.

← →
oxffff © (2008-03-02 22:04) [63]

> Loginov Dmitry © (02.03.08 22:00) [60]

Съезжаешь?
Здесь операция копирования
Причем здесь вообще UniqueString?

Loginov Dmitry © (02.03.08 19:05) [19]

1) это ничего не даст. Просто нельзя будет изменять значение переменной в процедуре, вот и все.
2) const и var при передаче глобальных переменных является потенциальной проблемой в многопоточном приложении.

А переменные String передавать с Const - это скорее правило хорошего тона. Именно в примере [2] оптимизации от этого никакой нет, т.к. нет обращения к отдельным символам строки

Прикинь разница есть между

procedure abc(s:string);
begin
......
end;

procedure abcEx(const s:string);
begin
......
end;

Даже если ...... одинаковые.

Или ты опять уже отказываешься от своих слов [19]

А переменные String передавать с Const - это скорее правило хорошего тона. Именно в примере [2] оптимизации от этого никакой нет, т.к. нет обращения к отдельным символам строки

← →
{RASkov} © (2008-03-02 22:11) [64]

> [62] Anatoly Podgoretsky © (02.03.08 22:03)

Более-менее прояснилось... у меня. Спасибо.

> Я не помню кто этот гад, который поставил знак равенства.

Если нужно будет запинать - я помогу :)

← →
Anatoly Podgoretsky © (2008-03-02 22:11) [65]

> procedure abc(s:string);

> procedure abcEx(const s:string);

В обеих случай строку изменить не удастся.

← →
oxffff © (2008-03-02 22:11) [66]

> Anatoly Podgoretsky © (02.03.08 22:03) [62]

Разговор шел о процессе передачи.
А именно если идет передача по ссылке для value и const.
То для value в процедуре будет все равно создана копия в стеке + расходы на addref/Finalize. А для const нет.

И в данном конкретном случае передача по значению.

НО!!! Скорость работы с параметром (использование) здесь не велась. Только процесс передачи и возврата.

← →
Loginov Dmitry © (2008-03-02 22:13) [67]

> Даже если ...... одинаковые.

Вот уже и "......" откуда-то взялось. А ведь процедуры сначалу пустыми были.

> Или ты опять уже отказываешься от своих слов [19]

Я ни в коем случае не отказываюсь ни от одного своего слова, сказанного в данной ветке. Если какое-либо мое утверждение в этой ветке на твой взгляд является ошибочным, то укажи его, скажи, что именно на твой взгляд в нем неправильно и как по-твоему оно есть на самом деле. А то, чувствую, идут прения "ни о чем".

← →
Anatoly Podgoretsky © (2008-03-02 22:13) [68]

Я знаю как это работает для строк.
А вы решили видимо опять в который раз развить большую ветку.

> Anatoly Podgoretsky © (02.03.08 22:11) [65]
>
> > procedure abc(s:string);
>
> > procedure abcEx(const s:string);
>
> В обеих случай строку изменить не удастся.

Это только для string у нее такова семантика,
так как явные изменения "нормальные" (распознаваемые компилятором) добавляется вызов UniqueString. А для dyna array нет.

> Loginov Dmitry © (02.03.08 22:13) [67]

Согласно [19] ты утверждал, что разницы между

procedure abc(s:string);
begin
......
end;

procedure abcEx(const s:string);
begin
......
end;

Нет. Тебе показали, что это не так.

Пятый раз спросишь где показали?

> [66] oxffff © (02.03.08 22:11)

Я так понял, что для параметров Integer легче(быстрее) копию передать, нежели работать с ихими ссылками....
Опять же.... для In64 уже через const передается:
function StrToInt64Def(const S: string; const Default: Int64): Int64; var E: Integer; begin Val(S, Result, E); if E <> 0 then Result := Default; end;
Сумбурно..... но без пива здесь уже никак наверное.... :) ВоПщем нужно в ЦПУ_Виндоу смотреть..... жаль только я там не секу :(

> Согласно [19] ты утверждал, что разницы между .... Нет

Вот именно!

> Тебе показали, что это не так.

Да никто до сих пор не показал, что это не так! Один ты только пытаешься это доказать. Причем доказательств ты никаких не представляешь. Только какие-то надуманные тэсты с GetTickCount, которые не говорят ни о чем! Абсолютно ни о чем! Ты же что-то свое отстаиваешь, приводя ShowMessage, как "убедительный" довод.

> oxffff (02.03.2008 22:11:06) [66]

Ну ты говоришь про строки, а претензии ко мне по Интегер :-)
Я разве спорю, я могу только повторить, я в курсе как на данный момент передаются строки, во всех трех вариантов и знаю как использовать все три.

> oxffff (02.03.2008 22:14:09) [69]

И для динамических массивов я тоже знаю, там же копия не создается.

> {RASkov} © (02.03.08 22:20) [71]

Для value передачи всегда создается копия в стеке.
Если вызывающий передает ссылку (так выбрал компилятор), то в процедуре будет код, который создаст копию в стеке.

А для const нет (не будет копии в случае передачи ссылки).

Здесь только отладчик поможет. :)

> Loginov Dmitry © (02.03.08 22:22) [72]
> > Согласно [19] ты утверждал, что разницы между .... Нет
>
>
> Вот именно!
>
>
> > Тебе показали, что это не так.
>
>
> Да никто до сих пор не показал, что это не так! Один ты
> только пытаешься это доказать. Причем доказательств ты никаких
> не представляешь. Только какие-то надуманные тэсты с GetTickCount,
> которые не говорят ни о чем! Абсолютно ни о чем! Ты же
> что-то свое отстаиваешь, приводя ShowMessage, как "убедительный"
> довод.

Для особо непоняливых

procedure abc(s:string);
begin
......
end;

Код включает Addref + try finally finalize(LStrClr)

В
procedure abcEx(const s:string);
begin
......
end;

этого нет.

Для особо непоняливых

Если ты не понял, то тебе в клинику.

> Anatoly Podgoretsky © (02.03.08 22:25) [73]
> > oxffff (02.03.2008 22:11:06) [66]
>
> Ну ты говоришь про строки, а претензии ко мне по Интегер
> :-)
> Я разве спорю, я могу только повторить, я в курсе как на
> данный момент передаются строки, во всех трех вариантов
> и знаю как использовать все три.

См. [66]

И в данном конкретном случае передача по значению.
-> следовательно [7] неверно для [6].

> [75] oxffff © (02.03.08 22:27)
> А для const нет (не будет копии в случае передачи ссылки).

Но если я верно понял [62], то при конст не ссылка передается, а как удумает компилятор... т.е. запросто может и скопироваться значение....
Странно все это :)

> {RASkov} © (02.03.08 22:40) [78]

Компилятор решает как передать ссылку или значение
как для value передачи, так и для const передачи.

Разница в том, что при передачи ссылки при value передачи, в процедуре будет создана копия все равно.
+К этим затратам можно отнести addref/finalize для managed типов.

А для const передачи этого не будет.

Вопрос был про Integer, а флейм развели на 4 страницы

const в параметрах Найти похожие ветки