c++ - 如何让一个 c++ 对象的方法接受封闭类的参数？

Question

我想弄清楚 c++ 中是否有任何已知的模式/惯用法来实现我在这里尝试做的事情。 A 类必须由一个对象组成，该对象具有一个函数，该函数的参数也必须是 A 类型。以下代码无法编译，因为 typeid 不能用于常量表达式。有什么建议么？

#include <iostream>
#include <typeinfo>
using namespace std;

template <typename T>
struct B { 
  int f(T& i) { cout << "Hello\n"; } 
};

class A {
  B<typeid(A)> b;
};

int main()
{ 
  A k;
}

Answer 1

您陈述的要求根本不需要模板，只需一个前向声明:

#include <iostream>

class A; // forward declare A

struct B { 
  int f(A &i); // declaration only, definition needs the complete type of A
};

class A {
  B b;
};

int B::f(A &i) { std::cout << "Hello\n"; } // define f()

int main()
{ 
  A k;
}