继承成员函数指针

Question

网上看到这段代码，想知道是怎么实现的。由于不能将成员函数指针分配给基 class 的成员函数指针，我很好奇派生 class 的成员函数的指针存储在哪里以及如何存储。

这是包含测试声明的头文件

#ifndef TestStudent_h
#define TestStudent_h

#include <iostream>
#include <string>

// Note 1
#include "TestCase.h"
#include "TestSuite.h"
#include "TestCaller.h"
#include "TestRunner.h"

#include "Student.h"

class StudentTestCase : public TestCase { // Note 2 
public:
  // constructor - Note 3
  StudentTestCase(std::string name) : TestCase(name) {}

  // method to test the constructor
  void testConstructor();

  // method to test the assigning and retrieval of grades
  void testAssignAndRetrieveGrades();

  // method to create a suite of tests
  static Test *suite ();
};
#endif

这是将成员函数添加到某种列表的函数的实现

// method to create a suite of tests - Note 7
Test *StudentTestCase::suite () {
  TestSuite *testSuite = new TestSuite ("StudentTestCase");

  // add the tests
  testSuite->addTest (new TestCaller  
      ("testConstructor", &StudentTestCase::testConstructor));
  testSuite->addTest (new TestCaller  
      ("testAssignAndRetrieveGrades", 
       &StudentTestCase::testAssignAndRetrieveGrades));
  return testSuite;
}

我想知道成员函数存储在什么数据类型中，因为它们不能存储在基 class 已知的任何函数指针类型中。此外，它们存储的位置也必须知道class 在其下定义这些对象的类型，因为调用这些对象的任何实体都需要 "link" 这些函数与该类型的对象对不对？具体在这个函数中，TestCaller如何知道如何调用添加到它的成员函数？

Answer 1

我的猜测是 TestCaller 有一个看起来像

的构造函数

template<class Callee>
TestCaller(
    const std::string &description, 
    void (Callee::*test_method)());

注意：

在此构造函数的主体内（即实例化时），Callee 的类型是已知的。
TestCaller 本身必须以不 "know" Callee 的方式存储 test_method，因为它本身不是模板 class 由 Callee 参数化（事实上，可能不止一个 Callee）。

所以这是 classic 案例 类型擦除 。有许多库可以执行此操作（例如 boost::TypeErasure 或 boost::any）。

想法是 TestCaller 存储（可能是间接地）指向非模板基 class 的指针。有派生的模板版本 class。在这个模板化的 ctor 中，派生的 class 被实例化，并且这种类型的对象是动态分配的。存储的是指向非模板基 class.

的指针

继承成员函数指针

Inheriting member function pointers

c++

pointers

member-function-pointers

function-pointers

c++11