Question

我有一种感觉，这个问题的答案是否定的，但有可能初步确定一个联盟的特定成员吗？例如以下内容：

#include <cassert>
#include <Windows.h>

int _tmain(int argc, _TCHAR* argv[])
{
    auto time = 20090520145024798ull;

    auto large = ULARGE_INTEGER() = {           
        { time }
    };

    assert(large.QuadPart == time);

    return 0;
}

（Visual Studio 2013，Windows 10），生成一个编译器“从'unsigned __int64'转换为'DWORD'”，这意味着它将尝试将uint64_t转换为DWORD。

ULARGE_INTEGER是联盟：

typedef union _ULARGE_INTEGER {
    struct {
        DWORD LowPart;
        DWORD HighPart;
    } u;
    ULONGLONG QuadPart;
} ULARGE_INTEGER;

在这种情况下，标准对初始化顺序的说法是什么？我曾希望编译器会看到QuadPart是适当的成员。

Answer 1

使用联合，您可以使用列表初始化来初始化第一个成员，如[dcl.init.aggr]所示：

当使用大括号括起初始值设定项初始化union时，大括号只能包含 initializer-clause 对于union的第一个非静态数据成员。 [例如：
union u { int a; const char* b; };
u a = { 1 };
u b = a;
u c = 1; // error
u d = { 0, "asdf" }; // error
u e = { "asdf" }; // error
-end example]

因此，在您的示例中，以下内容：

ULARGE_INTEGER large{time};

无论各种成员的类型是什么，

都会初始化u.LowPart，而不是QuadPart。

如果你想做任何其他事情，你必须明确它：

ULARGE_INTEGER large;
large.QuadPart = time;

或者写一个实际上有构造函数的更好的union类型。

Answer 2

保持简单：

ULARGE_INTEGER large;
large.QuadPart = time;

或者如果你想使用auto并在一行中初始化它，或许做一个小帮手？

inline auto MAKE_ULARGE_INTEGER(ULONGLONG t)
{
    ULARGE_INTEGER result;
    result.QuadPart = t;
    return result;
}

auto large = MAKE_ULARGE_INTEGER(time);

Initialiser，工会的特定成员

2 个答案: