关于 extern 和 const 组合变量的问题

Question

我在互联网上搜索了 const + extern，但对于我的问题似乎没有一个很好的答案。

const 单独意味着内部链接，但是如果我想在编译单元之间共享 const 变量。 extern 是最好的选择吗？

常见的解决方案是：

//g.h
extern const int MAX;

// g.c
extern const int MAX = 3;

但是，这个解决方案有一个缺点，如下所示：

// Say, I want to use this MAX in the same header file.
// g.h
extern const int MAX;
class AClass
{
public: 
    AClass (): i(MAX){}
private:
    int i;
};

编译器会抱怨：“错误C2057：预期的常量表达式”。

有解决办法吗？

Answer 1

如果您希望能够在编译时使用常量（即通过它调整数组大小，而不使用 VLA），则必须在编译时知道它，即它不能具有外部链接。

但是，您可以只在头文件中声明常量，并将其提供给包括它在内的任何人。不过，这不会产生与外部链接完全相同的效果。

// a.h
const int MAX = 3;

// a.cpp
#include "a.h"
int b[a];

Answer 2

对于常量整数，一个简单的解决方案是使用枚举：

// g.h
enum { MAX = 3; }

// g.c

#include "g.h"
static char buf[MAX];

您将无法获取 MAX 的地址，但反过来您可以以零内存成本获得该地址。

Answer 3

extern const int MAX;
int i[MAX];

做不到。你可以做一些像

const int MAX = ReadAnIntegerFromTheConsole();

完全有效和合法的事情，但是哎呀——不是一个恒定的表达。

Answer 4

const 单独表示内部链接

这是不正确的，static 表示内部链接，const 只是表示对象不能变异。尝试声明一个变量，因为

extern static int foo;

您的编译器会抱怨链接冲突。要在翻译单元之间共享 const ，请完全按照您的建议进行操作。

在标题中

extern const int MAX;

在源文件中

const int MAX = 10; // note you can omit the extern here

Answer 5

这是一个可以解决您的问题的工作示例。总之，在头文件中将数组大小定义为常量。在另一个头文件中将数组声明为 extern。在下面的示例中，我将数组引用为 extern，而不使用该数组的包含文件。

array_size.hpp

const unsigned int MAX_ARRAY_SIZE = 16;

array.cpp

#include "array_size.hpp"
int array[MAX_ARRAY_SIZE];

ma​​in.cpp

#include "array_size.hpp"

// Reference the array from array.cpp
extern int array[MAX_ARRAY_SIZE];

int main(void)
{
  array[1] = 7;
  return 0;
}

*array_size.hpp* 文件定义大小，该标识符可以在其他翻译单元中使用通过包含标题。

我在 Cygwin 上编译使用：

g++ -I. -o array.exe main.cpp array.cpp

Answer 6

为什么不直接使用#define？

#define MAX 3