Оптимизация "Allow Unrounded Floating Point Operations&

[alibek]

Andrey Fedorov, ты фишку не понял
Это круто даже не тем, что возвращает Null, а тем, что второй параметр (какой мембер тебе нужно получить) является смещением по структуре.

[GSerg]

Угу, это главная фишка

И если возвращать Variant, то придётся в каждой связанной проперти проверять, была возвращена структура или Null. А у меня всё без проверок.

И это не получение системного времени. Это возвращение даты, которую пользователь выбрал в DTPicker'е. Могли бы и догадаться по префиксу DTM MSDN, опять же

[Andrey Fedorov]

Andrey Fedorov, ты фишку не понял
Это круто даже не тем, что возвращает Null, а тем, что второй параметр (какой мембер тебе нужно получить) является смещением по структуре.

Да понял я - первый параметр ссылка на структуру, второй параметр - ссылка (а не смещение!) на ее члена - тут все как обычно. Но в конкретном случае это лишнее ибо все можно решить гораздо проще. А где такое может реально пригодиться - пока сходу не соображу - может и может где-то...

[Igor_123]

ибо нельзя вернуть Null

Правильно! Так проверяем на нулл, а так проверяем на валидность значений полей структуры, что более трудоемко.

Andrey Fedorov мы разбираем принцип использования, а не это конкретное применение этого принципа.

[alibek]

Да понял я - первый параметр ссылка на структуру, второй параметр - ссылка (а не смещение!) на ее члена - тут все как обычно. Но в конкретном случае это лишнее ибо все можно решить гораздо проще. А где такое может реально пригодиться - пока сходу не соображу - может и может где-то...

Неа
Второй параметр -- таки смещение
А где практически можно применить и я не пойму, но выглядит круто

[GSerg]

Но в конкретном случае это лишнее

Вот ты ж блин...

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

[Andrey Fedorov]

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

Примерно так:

Код: Выделить всё


Private Type VSYSTEMTIME
    wYear As Variant
    wMonth As Variant
    wDayOfWeek As Variant
    wDay As Variant
    wHour As Variant
    wMinute As Variant
    wSecond As Variant
    wMilliseconds As Variant
End Type

Private Type SYSTEMTIME
    wYear As Integer
    wMonth As Integer
    wDayOfWeek As Integer
    wDay As Integer
    wHour As Integer
    wMinute As Integer
    wSecond As Integer
    wMilliseconds As Integer
End Type

Public Property Get Hour() As Variant
    Hour = GetDatePart.wHour
End Property

Public Property Get Minute() As Variant
    Minute = GetDatePart.wMinute
End Property

Private Function GetDatePart() As VSYSTEMTIME
    Dim t As SYSTEMTIME, tv As VSYSTEMTIME

    If SendMessage(h, DTM_GETSYSTEMTIME, 0, t) = GDT_VALID Then
        tv.wMinute = t.wMinute
        tv.wHour = t.wHour
        ' ...
    Else
        tv.wMinute = Null
        tv.wHour = Null
        ' ...
    End If
    GetDatePart = tv
End Function


[GSerg]

Угу.
VARIANT-структура, да ещё и копирование всех её элементов, когда нужен только один...

Не круто
Именно этого я пытался избежать

[Andrey Fedorov]

Неа
Второй параметр -- таки смещение

Обычная ссылка на переменную. Пускай эта переменная и член структуры. Чего ради называть ее смещением в отличии от остальных переменных?

Под смещением все-же понимается несколько другое...

А тут функции передается ссылка на структуру и ссылка на переменную этой-же структуры значение которой нужно вернуть. Все логично.

[Igor_123]

Почему другое? Это именно смещение от начала размещения структуры в памяти

[Mikle]

Рискну напомнить с чего началось. Этот код разве не работает, будучи скомпилированным с оптимизацией "Assume no Aliasing"?

[Andrey Fedorov]

Почему другое? Это именно смещение от начала размещения структуры в памяти

Начало структуры тут не причем. Оба параметра передаются как ссылки на переменные. И только - никакого смещения от начала структуры нет и в помине.

[alibek]

Да нет же.
В UDT переменные-мемберы существуют только для удобства разработчика. В скомпилированном коде нет никаких переменных, есть только смещение в структуре.

[Andrey Fedorov]

Да нет же.
В UDT переменные-мемберы существуют только для удобства разработчика. В скомпилированном коде нет никаких переменных, есть только смещение в структуре.

А просто вывести varptr для второго параметра и посмотреть что это - смещение или указатель?

[alibek]

Сделал. Как и ожидал, смещения различаются на длину мембера. Причем VarPtr(udt.first_member) совпадает с VarPtr(udt).

[Andrey Fedorov]

Сделал. Как и ожидал, смещения различаются на длину мембера. Причем VarPtr(udt.first_member) совпадает с VarPtr(udt).

Дык это и указывает что это не смещения, а указатель!

[Andrey Fedorov]

Сделал. Как и ожидал, смещения различаются на длину мембера. Причем VarPtr(udt.first_member) совпадает с VarPtr(udt).

Дык это и указывает что это не смещения, а указатель!

[alibek]

А по-моему наоборот, просто компилятор корректирует вызовы VarPtr для структур. Иначе как объяснить, что вся структура и первый мембер структуры имеют один адрес?

[Igor_123]

А смещение, не есть указатель?

[Igor_123]

alibek в смысле корректирует?

[alibek]

В смысле, заменяет VarPtr(udt.member) на VarPtr(udt)+Len(udt.Member).

[Viper]

В смысле, заменяет VarPtr(udt.member) на VarPtr(udt)+Len(udt.Member).

и на что это будет указывать?

[GSerg]

Господа...

Смею заверить вас, что указатель и смещение - вещи совершенно в некотором роде одинаковые, ибо указатель суть смещение от нуля.
Смею сказать также, что приведённый мною пример кода я считаю просто красивым и уже потому любопытным. Для меня не играет существенной роли его авторство, и будь он предъявлен Алибеком либо Тёмычем, менее красивым я его не считал бы.

Посему, не надлежит ли нам прекратить проверять алгеброй гармонию и оставить всё как есть?

[Andrey Fedorov]

А по-моему наоборот, просто компилятор корректирует вызовы VarPtr для структур. Иначе как объяснить, что вся структура и первый мембер структуры имеют один адрес?

Только тем что то и другое указатели. Что и говорилось - с чего это им быть смещениями от начала структуры? Где в MSDN прописано что для члена структуры передается его смещение от ее начала?

Ну и в приведенном примере передается указатель на структуру, которую нужно заполнить и указатель на переменную (пусть она и член структуры), значение которой нужно вернуть. Тут все верно и будет работать.