模板基类继承的成员函数指针数组赋值异常排查

问题场景 #

我尝试将若干成员函数赋值给一个成员函数指针数组，这个数组所在的类继承自模板基类，模板基类用于指定数组的类型。执行init()函数后，只有数组的第0个元素保留了赋值的函数指针，第1个元素全为0。查看内存时，数组确实存在两个连续元素，但内存占用过大（16字节），推测第1个元素把第一个函数指针后的零字节当作自身值。

简化示例代码 #

// main.cpp
#include "Statemachine.h"

int main() {
    Statemachine sm;
    sm.init();
    // 测试调用数组中的函数指针
    return 0;
}

// Statemachine.h
#include <cstdint>

template<typename FuncType>
class Base {
protected:
    FuncType m_funcs[2];
};

class Statemachine : public Base<void(Statemachine::*)()> {
public:
    void func1() {}
    void func2() {}

    void init() {
        m_funcs[0] = &Statemachine::func1;
        m_funcs[1] = &Statemachine::func2;
    }
};

问题成因 #

嘿，这个问题我之前也踩过坑！核心根源是你对C++成员函数指针的内存布局理解有误，再加上模板基类的类型定义放大了这个问题：

1. 成员函数指针的“可变大小”特性
   C里的成员函数指针和普通指针不一样！如果你的类是简单的单继承且没有虚函数，它可能和普通指针一样是8字节（64位系统），但一旦类涉及虚继承、多重继承，或者编译器需要额外的调整信息，成员函数指针的大小会直接变成16字节——这部分是编译器实现决定的，C标准并没有固定它的大小。
   你在模板基类中定义的FuncType m_funcs[2]，当FuncType是void(Statemachine::*)()时，每个数组元素的实际大小是16字节，而非你预想的8字节。这就导致：

   • 赋值m_funcs[0] = &Statemachine::func1时，会占用数组的前16字节；
   • 接着赋值m_funcs[1] = &Statemachine::func2时，实际是从数组的第16字节开始写入，但你误以为每个元素是8字节，所以内存访问完全错位了——你看到的第1个元素全为0，其实是第一个函数指针的后半段填充的零字节！

2. 模板基类的类型匹配误解
   你可能默认成员函数指针的大小和普通指针一致，但实际上模板基类只是严格按照你传入的FuncType来定义数组元素，并没有处理成员函数指针的特殊内存布局，最终导致数组的实际布局和你的预期完全不符。

解决方法 #

针对这个问题，有几个可行的修复方向，按照推荐程度排序：

1. 用std::function包装成员函数（最推荐） #

如果你不想纠结成员函数指针的复杂内存布局，直接用std::function配合lambda来包装成员函数，不仅类型直观，还能避免指针错位的问题，代码可读性也更强：

#include <functional>
#include <array>

template<typename FuncType>
class Base {
protected:
    std::array<FuncType, 2> m_funcs;
};

class Statemachine : public Base<std::function<void()>> {
public:
    void func1() {}
    void func2() {}

    void init() {
        // 用lambda捕获this，绑定成员函数
        m_funcs[0] = [this]() { this->func1(); };
        m_funcs[1] = [this]() { this->func2(); };
    }

    // 调用示例
    void callFuncs() {
        m_funcs[0]();
        m_funcs[1]();
    }
};

这种方式虽然有一点点微小的性能开销，但对于大多数场景来说完全可以忽略，换来的是代码的健壮性和可维护性。

2. 确认成员函数指针的实际大小，调整内存查看逻辑 #

如果你坚持要用原生成员函数指针，首先要确认它的实际大小：

#include <iostream>
int main() {
    std::cout << "Size of member function pointer: " 
              << sizeof(void(Statemachine::*)()) 
              << " bytes" << std::endl;
}

如果输出是16字节，那你的数组m_funcs[2]总大小应该是32字节，而不是你以为的16字节。调试时不要用固定的8字节去解析内存，而是用sizeof(FuncType)来确定每个元素的占用空间，这样就能正确查看每个函数指针的内存内容，赋值也会正常生效。

3. 显式确保类型匹配（原生指针方案的补充） #

为了避免隐式转换可能带来的问题，可以用static_cast显式指定成员函数指针的类型，确保和模板基类的FuncType完全一致：

void init() {
    m_funcs[0] = static_cast<void(Statemachine::*)()>(&Statemachine::func1);
    m_funcs[1] = static_cast<void(Statemachine::*)()>(&Statemachine::func2);
}

这一步虽然在这个例子中不是必须，但能让代码的类型转换更清晰，避免后续修改类结构时出现意外的类型不匹配。

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