MFC中将常量移至头文件后失效的原因及正确声明方法

问题场景 #

我正在用MFC编写井字棋程序练手，承载游戏的是CTTTDialog对话框窗口。目前遇到一个常量声明的问题：

• 在.cpp文件的事件处理器中声明GRIDROWS和GRIDCOLUMNS这两个常量（当前在152、153行被注释）时，代码可以正常编译。
• 但把这两个常量的声明移到.h文件的public区域（对应51、52行）时，会触发多个编译错误：
  • E2435 'this'无法用于常量表达式
  • C2131 表达式未计算为常量
  • 错误由读取生命周期外的变量导致

我想知道问题出在哪？既然是在对话框头文件中声明，它们应该对该对话框的所有代码可见才对，不是吗？有没有更正确的方式在头文件中声明这些常量？（之所以要移动它们，是因为我预计这些值需要在更大的作用域内可用，而非仅在该事件处理器中）此前我已将其他非常量值移至头文件，运行都正常。

问题原因 #

你在头文件中声明的不是真正的编译期常量，而是类的成员变量（即便加了const修饰）。当你在需要编译期常量的场景（比如定义数组大小、模板参数、switch的case值）中使用它们时，编译器无法在编译阶段确定其值——类成员的const变量是在对象构造时才完成初始化的（哪怕你给了初始值），编译器解析代码时无法脱离具体对象获取这个值，因此会报“表达式未计算为常量”这类错误，同时因为访问类成员需要this指针，而this不能出现在常量表达式中，进而触发E2435错误。

而在.cpp函数内声明的const int GRIDROWS = 3;属于局部编译期常量，编译器在编译该函数时能直接确定它的值，所以可以用于所有需要常量的场景，不会报错。

正确的头文件常量声明方式 #

1. 类静态常量（推荐，适合类内/类外共享） #

在头文件的类public区域声明静态常量，这类常量属于类本身而非单个对象，编译期就能确定值，无需依赖this指针：

class CTTTDialog : public CDialogEx
{
public:
    static const int GRIDROWS = 3;
    static const int GRIDCOLUMNS = 3;
    // 其他类成员...
};

外部代码只要包含头文件，就能通过CTTTDialog::GRIDROWS访问该常量，完全满足跨作用域使用的需求。

2. 全局命名空间常量（无类绑定需求时使用） #

如果这些常量不需要和CTTTDialog类强绑定，可以在头文件的全局区域（类定义外）用constexpr声明，确保是编译期常量：

#ifndef TTT_DIALOG_H
#define TTT_DIALOG_H

constexpr int GRIDROWS = 3;
constexpr int GRIDCOLUMNS = 3;

class CTTTDialog : public CDialogEx
{
    // 类成员...
};

#endif // TTT_DIALOG_H

注意要加上头文件保护（#ifndef/#define/#endif），避免多个cpp文件包含时出现重复定义错误。

3. 枚举常量（老式C++兼容方案） #

在类内定义枚举值，枚举值天然是编译期常量，也能在类内外访问，但仅支持整数类型：

class CTTTDialog : public CDialogEx
{
public:
    enum { GRIDROWS = 3, GRIDCOLUMNS = 3 };
    // 其他类成员...
};

补充说明 #

你之前移到头文件的非常量值能正常运行，是因为那些是类的普通成员变量，编译器不需要在编译期确定它们的值，运行时通过具体对象即可访问；但如果常量要用于编译期依赖常量的场景，必须是编译阶段就能确定值的类型，这就是两者的核心区别。

内容的提问来源于stack exchange，提问作者Robert Holmén