什么是 sizeof(something) == 0？

Question

我有一个模板，它采用具有不同值的结构，例如：

struct Something
{
    char str[10];
    int value;
    ...
    ...
};

在函数内部我使用 sizeof 运算符： 在内存中跳转 sizeof(Something);

有时我根本不想跳转任何内容;我希望 sizeof 返回零。如果我放入一个空结构体，它将返回 1；我可以在模板中放入什么以使 sizeof 返回零？

Answer 1

sizeof 永远不会为零。 （原因：sizeof(T)是T[]类型数组中元素之间的距离，并且要求元素有唯一的地址）。

也许您可以使用模板来进行 sizeof 替换，通常使用 sizeof ，但专门针对一种特定类型给出零。

例如

template <typename T>
struct jumpoffset_helper
{
    enum { value = sizeof (T) };
};


template <>
struct jumpoffset_helper<Empty>
{
    enum { value = 0 };
};

#define jumpoffset(T) (jumpoffset_helper<T>::value)

Answer 2

你对此有何看法？

 #include <iostream>
 struct ZeroMemory {
     int *a[0];
 };
 int main() {
     std::cout << sizeof(ZeroMemory);
 }

是的，输出是 0。

但是这段代码不是标准的 C++。

Answer 3

根据 C++ 标准，C++ 中的任何对象都不能具有 0 大小。只有基类子对象的大小可以为 0，但是您永远不能对其调用 sizeof。你想要实现的目标是无法实现的:)
或者，从数学角度来说，方程

sizeof x == 0 在 C++ 中没有对象解:)