为什么我不能对另一个类的 static char[] 执行 sizeof ？

Question

为什么下面的代码会产生编译错误？

---

编辑：我的原始代码不清楚 - 我已将代码分成单独的文件...

---

First.h

class First
{
public:
    static const char* TEST[];

public:
    First();
};

First.cpp

const char* First::TEST[] = {"1234", "5678"};

First::First()
{
    uint32_t len = sizeof(TEST); // fine
}

确定 First 类中的大小似乎没问题，但是...

Second.h

class Second
{
public:
    Second();
};

Second.cpp

#include "First.h"

Second::Second()
{
    uint32_t len = sizeof(First::TEST); // error
    uint32_t elements = (sizeof(First::TEST) / sizeof(First::TEST[0])); // error
}

我收到以下错误： 'const char *[]'：操作数大小非法

Answer 1

sizeof 仅适用于完整类型。 const char* TEST[] 在 First.cpp 中定义之前并不是一个完整的类型。

sizeof(char*[10]) == sizeof(char*) * 10 == 40
sizeof(short[10]) == sizeof(short) * 10 == 20

// a class Foo will be declared
class Foo;
sizeof(Foo) == //we don't know yet

// an array bar will be defined.
int bar[];
sizeof(bar) == sizeof(int) * ? == //we don't know yet.

// actually define bar
int bar[/*compiler please fill this in*/] = { 1, 2, 3 };
sizeof(bar) == sizeof(int) * 3 == 12
// note bar is exactly the right size

// an array baz is defined.
int baz[4];
sizeof(baz) == sizeof(int) * 4 == 16

// initialize baz
int baz[4] = { 1, 2, 3 };
sizeof(bar) == sizeof(int) * 4 == 16
// note baz is still 4 big, the compiler doesn't control its size

要使其按您希望的方式工作，您可以：

• 将 First::TEST 数组的大小添加到其声明中 (static const char* TEST[2];)
• 添加一个新的静态方法，返回 First::TEST 的大小。该方法不能是内联的，它必须在 First.cpp 中定义。

Answer 2

主要是因为First.cpp和Second.cpp的编译是相互独立的。

Second 中的 sizeof() （通常）在编译时解析，此时仅知道数组的声明，并且无法计算静态 尚未分配 的空间。请参阅http://en.wikipedia.org/wiki/Sizeof#sizeof_and_incomplete_types

Answer 3

当您展开 Second.cpp 时，它会变得更加清晰。这是正在编译的整个内容（1 个编译单元）：

class First
{
public:
    static const char* TEST[];

public:
    First();
};


class Second
{
public:
    Second();

    Second::Second()
    {
       uint32_t len = sizeof(First::TEST); // error
       uint32_t elements = (sizeof(First::TEST) / sizeof(First::TEST[0])); // error
    }
}

如果您看这里，First::TEST 显然没有大小，并且 sizeof(FIRST::TEST) 毫无意义。

为什么不直接有一个返回 TEST 长度的方法呢？

Answer 4

对我来说，即使第一个 sizeof(TEST) 也无法编译，因为 TEST 尚未声明大小（仅在链接时解析）。

如果我将 TEST[] 更改为 TEST[10]，则两种情况都会编译。

这两个结果都是我所期望的。

您使用哪个编译器？