c++ - 为什么 MSVC _count_of 实现将 0 添加到 sizeof 的结果中？

Question

这个问题已经有答案了:

What's the purpose of dummy addition in this "number of elements" macro? (2 个回答)

已关闭 3 年前。

我一直在阅读 _countof 的实现MSVC 中的宏并发现了一个我无法解释的细节。它是通过 __crt_countof 实现的在 C++ 上扩展为 (sizeof(*__countof_helper(_Array)) + 0) 的宏( here's 标题中的相关代码)。为什么是+ 0那里？如果没有它，会出现什么问题？

Answer 1

添加+ 0是为了防止潜在出现Most Vexing Parse !如果没有它，在某些情况下，像 sizeof(*__countof_helper(_Array)) 这样的表达式可能被视为函数声明。

编辑:我目前正在尝试创建一个示例上下文(根据评论中的请求)。与此同时，这个大大简化的“等价物”(我实际遇到过的东西)可能会有所帮助:

#include <iostream>
#include <vector>

int main() {
    int num = 2;
//  std::vector<char> vec(size_t(num));     // Won't compile - Most Vexing Parse
    std::vector<char> vec(size_t(num) + 0); // Compiles - no longer a func decl!
    vec[0] = 'a';
    vec[1] = 'b';
    std::cout << vec[0] << ' ' << vec[1] << std::endl;
    return 0;
}