为什么 std::size 的结果不是编译时间或不是 size_t？

Question

在 Visual C++ 2019 上：

以下代码呈现警告：

warning C4267: 'argument': conversion from 'size_t' to 'DWORD', possible loss of data

HANDLE events[2];
WaitForMultipleObjects(std::size(events), events, FALSE, INFINITE);

但是使用_countof(events) 不会给出任何警告。注意std::size的模板重载函数被调用了。 这个：

template<class _Ty,
    size_t _Size> inline
    constexpr size_t size(const _Ty(&)[_Size]) _NOEXCEPT
    {   // get dimension for array
    return (_Size);
    }

本质上是返回一个size_t，函数是constexpr。这就是数组声明起作用的原因：

HANDLE Events[2];
int arr[std::size(Events)];

但以下代码不会在没有警告的情况下编译：

DWORD sz1 = std::size(Events);

没关系：

DWORD sz2= _countof(Events);

任何具体原因，还是编译器错误？

相关： What is the return type of sizeof operator?

编辑，有趣的是，这些也可以正常工作：

HANDLE events[2];
constexpr size_t s1 = sizeof(Events) / sizeof(Events[0]);
constexpr size_t s2 = std::size(Events);

变量s1 和s2 被视为真正的编译时值，而不是std::size() 的结果本身！

Answer 1

如果您阅读警告消息，这是关于将 类型 size_t（std::size(Events) 的结果） 转换为 DWORD（类型sz1)。

问题在于，在 64 位系统上，size_t 通常是 64 位无符号整数类型。但是 Windows 将 DWORD 定义为 32 位无符号整数类型。

_countof 的使用不会产生警告可能是因为 MSVC 编译器的特定于实现的行为。

Answer 2

DWORD 在 Windows 上始终是 32 位无符号的。

size_t 通常是带有 64 位编译器的 64 位 unsigned long long。将您的构建切换到 32 位，它是一个 32 位无符号整数。

将 64 位 int 分配给 32 位 - 是的，这是一个警告条件。

奇怪的是：

WaitForMultipleObjects(sizeof(events) / sizeof(events[0]), events, FALSE, INFINITE);

编译没有问题。我猜这是因为编译器可以推断出 const 表达式的类型减少到 unsigned int 或更小。

但是这个：

auto count = sizeof(events) / sizeof(events[0]);
WaitForMultipleObjects(count, events, FALSE, INFINITE);

生成几乎相同的警告，因为 count 的计算结果为 64 位 unsigned long long。

但这也将在没有警告的情况下编译：

const auto count = sizeof(events) / sizeof(events[0]);
WaitForMultipleObjects(count, events, FALSE, INFINITE);