为什么可以修改函数内部声明的静态常量变量?

我正在为我的游戏引擎实现一个ECS框架,并研究在运行时识别组件类型的方法。这意味着我可以在内存中动态地对类似类型的组件进行连续分组。例如,我可以为 Position Velocity 我的系统可以循环使用的组件。

我现在使用 typeid() ,但我偶然发现一篇文章 static const 为每种类型生成唯一ID的变量。一般的想法可以在下面的代码片段中总结:

#include <iostream>

struct Position { float x, y; };
struct Velocity { float dx, dy; };

template <typename T>
int test(int x) {
    static const int y = x;
    return y;
}

int main(int argc, char **argv) {
    std::cout << test<Position>(1) << " ";
    std::cout << test<Position>(2) << " ";
    std::cout << test<Velocity>(3) << " ";
    return 0;
}

这个输出 1 1 3