自动存储期无链接实例的成员指针非类型模板参数合规性及实现原理问询

你的理解完全正确！编译器确实是存储编译期确定的成员偏移量，而非对象的实际地址，具体细节可以拆解来看：

成员指针的本质 #

在C++中，指向非静态类成员的指针（无论是数据成员还是成员函数），底层核心存储的是该成员相对于类实例起始地址的偏移量（可能附带少量区分成员类型的元信息）。因为同一个类的所有实例，其内存布局（包括成员位置、填充字节）都是编译期就确定好的——不管类的实例在运行时被分配到内存的哪个位置，成员相对于实例起始地址的偏移都是固定不变的。

模板参数的标准逻辑 #

你引用的规则已经明确：对于非类型模板参数的成员指针，只需要是&Class::Member这种形式的常量表达式即可，不需要关联到某个具体的对象实例。模板实例化是编译期操作，此时只需要知道成员的偏移量，完全不需要关心某个对象的实际地址——毕竟像代码里的f这种自动存储期对象，它的地址要到运行时才会在栈上分配确定。

对应到你的代码场景 #

• 当编译器处理increaseCounter<&Foo::foo_>的实例化时，会在编译期计算出foo_相对于Foo实例起始地址的偏移量，并把这个偏移量作为模板参数的“值”保存下来。
• 运行时调用f.increaseFoo()时，this指针指向f的实际内存地址（运行时确定），通过this->*counter的操作，本质就是把this的地址加上编译期确定的偏移量，得到foo_的实际内存地址，进而完成自增操作。
• 同理，increaseCounter<&Foo::bar_>对应的是bar_的偏移量，这是另一个独立的模板实例，操作的是Foo实例里的另一个成员。

所以哪怕f是编译期地址未知的自动对象，也完全不影响模板的正常实例化和运行时的成员访问——因为两者依赖的是不同阶段的信息：模板实例化用编译期偏移，运行时访问用对象的实际地址+偏移。

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