объект объединения действует как структура

Если вы хотите увидеть первоначальное проявление этой проблемы, прочитайте раздел «Оригинальный вопрос».

В двух словах: я модифицировал поле объекта объединения C ++, но это не повлияло на остальные поля, и он вел себя почти как структура. Для решения: см. Мой ответ.

ТЛ; ДР: не QueryPeformanceCounter должен вернуть свое значение в QuadPart поле предоставленного LONG_INTEGER вместо HighPart/LowPart? Я нигде не мог найти, что это зависит от системы, но так кажется.

подробности

Я получаю своеобразное поведение от Windows QueryPeformanceCounter, Рассмотрим это очень простое использование, внимательно следя Пример Microsoft:

#include <windows.h>

bool test()
{
LARGE_INTEGER start, end, freq;
if (!QueryPerformanceFrequency(&freq)) {
cout << "QueryPerformanceFrequency failed!\n";
return false;
}
QueryPerformanceCounter(&start);

Sleep(1000);  // Simulate work

QueryPerformanceCounter(&end);
cout << "range: from " << start.QuadPart << " to " << end.QuadPart << endl;
return true;
}

Я получаю следующий вывод:

range: from -3689348814741910324 to -3689348814741910324

Это кажется довольно случайным, но это не так. Добавление функции сброса:

ostream& operator << (ostream& os, const LARGE_INTEGER& li) {
return os << std::hex << std::setfill('0') << "["<< "HP: 0x"   << std::setw( 8) << li.HighPart   << ", "<< "LP: 0x"   << std::setw( 8) << li.LowPart    << ", "<< "u.HP: 0x" << std::setw( 8) << li.u.HighPart << ", "<< "u.LP: 0x" << std::setw( 8) << li.u.LowPart  << ", "<< "QP: 0x"   << std::setw(16) << li.QuadPart   << "]"<< std::dec << std::setfill(' ');
}

и изменив код на:

bool test()
{
LARGE_INTEGER start, end, freq;
cout << "freq:" << endl;
cout << freq << endl;
if (!QueryPerformanceFrequency(&freq)) {
cout << "QueryPerformanceFrequency failed!\n";
return false;
}
cout << freq << endl;

cout << "start:" << endl;
cout << start << endl;
QueryPerformanceCounter(&start);
cout << start << endl;

Sleep(1000);  // Simulate work

cout << "end:" << endl;
cout << end << endl;
QueryPerformanceCounter(&end);
cout << end << endl;

cout << "range: from " << start.QuadPart << " to " << end.QuadPart << endl;
return true;
}

дает следующий вывод:

freq:
[HP: 0xcccccccc, LP: 0xcccccccc, u.HP: 0xcccccccc, u.LP: 0xcccccccc, QP: 0xcccccccccccccccc]
[HP: 0x00000000, LP: 0x0025a801, u.HP: 0xcccccccc, u.LP: 0xcccccccc, QP: 0xcccccccccccccccc]
start:
[HP: 0xcccccccc, LP: 0xcccccccc, u.HP: 0xcccccccc, u.LP: 0xcccccccc, QP: 0xcccccccccccccccc]
[HP: 0x0000000a, LP: 0xa6b8ff15, u.HP: 0xcccccccc, u.LP: 0xcccccccc, QP: 0xcccccccccccccccc]
end:
[HP: 0xcccccccc, LP: 0xcccccccc, u.HP: 0xcccccccc, u.LP: 0xcccccccc, QP: 0xcccccccccccccccc]
[HP: 0x0000000a, LP: 0xa6dfb945, u.HP: 0xcccccccc, u.LP: 0xcccccccc, QP: 0xcccccccccccccccc]
range: from -3689348814741910324 to -3689348814741910324

Таким образом, загадочная ценность -3689348814741910324 это не что иное, как неинициализированное значение по умолчанию для QuadPart: 0xcccccccccccccccc, Так называется QueryPerformanceCounter (&Начните); не обновлял QuadPart, но LowPart а также HighPart вместо. Из этого очевидно, как извлечь фактическое возвращаемое значение QueryPerformanceCounter как LONGLONG:

// Extract the HighPart/LowPart pair from a LARGE_INTEGER as a LONGLONG.
LONGLONG odd_extract(LARGE_INTEGER li) {
return (static_cast<LONGLONG>(li.HighPart) << 32) + li.LowPart;
}

Теперь подставим последний вывод в тест:

cout << "range: from " << odd_extract(start) << " to " << odd_extract(end) << endl;

выходы

range: from 47158533369 to 47161073403

Наконец, вычисление истекшего времени в секундах возвращает ожидаемое значение:

LONGLONG elapsed = odd_extract(end) - odd_extract(start);
double seconds = static_cast<double>(elapsed) / odd_extract(freq);
cout << "elapsed: " << seconds << " s" << endl;

выходы

elapsed: 1.02861 s

чего и следовало ожидать от неточной Windows Sleep(),

Теперь мой вопрос заключается в следующем: не QueryPeformanceCounter должен вернуть свое значение в QuadPart поле предоставленного LONG_INTEGER вместо HighPart/LowPart? Я нигде не мог найти, что это зависит от системы, но так кажется.

ОБНОВЛЕНИЕ 1

система: 64-bit Windows 7 Enterprise

Компилятор / IDE: MVS 2010 v. 10.0.40219.1 SP1Rel

Определение _LARGE_INTEGER в C:\Program Files (x86)\Microsoft SDKs\Windows\v7.0A\Include\WinNT.h:

typedef union _LARGE_INTEGER {
struct {
DWORD LowPart;
LONG HighPart;
} DUMMYSTRUCTNAME;
struct {
DWORD LowPart;
LONG HighPart;
} u;
#endif //MIDL_PASS
LONGLONG QuadPart;
} LARGE_INTEGER;

Тем не менее, кажется, что, несмотря на то, что LARGE_INTEGER является объединением, он не ведет себя как один …

ОБНОВЛЕНИЕ 2

Кажется, что я не вижу такого поведения со свежим решением / проектом. Возможно, есть другая проблема в решении, которую я пытаюсь измерить, что является причиной этого.

В любом случае, я до сих пор не знаю, почему это происходит, поэтому любые предложения о том, как решить эту проблему, будут приветствоваться, спасибо!

#define union   struct