类静态成员引发链接器错误的原因及Compiler Explorer无报错咨询

我遇到了类静态成员的未解析符号链接器错误，查阅相关资料后得知，必须在类外部定义静态成员变量的实例。

示例代码 #

#include <stdint.h>

class GPIO_Port {
public:
    GPIO_Port(int PortNo)
    {
        mbUsedGpio |= (1 << PortNo);
    }

private:
    static uint16_t mbUsedGpio;
};

uint16_t GPIO_Port::mbUsedGpio;  // 若缺失会触发链接器错误

GPIO_Port PortA = GPIO_Port(1);
GPIO_Port PortB = GPIO_Port(2);

int main()
{
}

问题与解答 #

1. 为何需要额外定义静态成员变量？
   C++中，类内部的静态成员变量声明只是告知编译器“该变量存在”，并未为其分配实际内存空间。静态成员属于整个类而非单个对象，必须在类外部单独定义一次，才能让链接器找到对应的内存实体——缺失这一步的话，链接阶段会因找不到符号对应的实际存储，抛出未解析符号错误。

2. 为何在Compiler Explorer中检查代码时不会出现该错误？
   这是编译器优化导致的结果：如果代码中静态成员的引用操作（比如示例中构造函数对mbUsedGpio的修改）被判定为“不影响程序最终输出”（比如全局对象PortA、PortB的构造操作，因main函数未使用它们而被优化移除），链接器就不会去解析这个静态成员的符号，自然不会报错。若强制关闭优化或让代码实际用到静态成员的值，链接器错误就会显现。

内容的提问来源于stack exchange，提问作者jokn