c++ - 指向重载、模板化成员函数的 const 指针的静态数组

Question

静态数组初始化...使用 const 指针...指向重载的模板化成员函数。有什么办法可以做到(C++03 标准代码)？我的意思是，如果我有模板类

template <class T1, class U1, typename R1>
class Some_class {
public:
    typedef T1 T;
    typedef U1 U;
    typedef R1 R;

    R operator()(T& v) { /* dereference pointer to a derived class (U),
                            overloaded member function (U::f) */ };

private:
    static R (U::* const pmfi[/* # of overloaded functions in U */])(T&);
};

Used as

template <class BASE, typename RET>
class Other_class : public Some_class<BASE, Other_class<BASE, RET>, RET> {
    RET f(/* type derived from BASE */) {}
    RET f(/* other type derived from BASE */) {}
    RET f(/* another type derived from BASE */) {}
    ...
};

Question: how can I initialize de array pmfi (no typedefs, please)?

注意事项:
1. 由于静态数组必须在文件范围内初始化，模板参数和 pmfi 必须是完全限定的(我知道在类范围之外访问模板参数的唯一方法是对它们进行 typedef...)。
2. 到目前为止一切顺利。编译器没有问题(Comeau 4.3.10.1)。当我尝试填充初始化列表 { ... } 时，问题开始出现。
2.1.无论我做什么，编译器都会提示缺少模板参数列表。
2.2.我不知道如何选择正确的重载 U::f 函数。

顺便说一句，这是一种来自 boost.preprocessor 列表的“跳转表”生成器。我要实现的代码当然比这个复杂得多，但这是他的本质。

感谢您的帮助

Answer 1

要以您展示的方式使用 BOOST_PP_ENUM，您需要一个宏，它接受一个“数字”并生成一个表达式，该表达式是适当类的适当成员的地址。如果没有明确的列表，我看不到一个好的方法来执行此操作，除非所需的函数都具有制造名称(例如 memfun1、memfun2 等)。除了这种情况，明确列出函数地址表达式比使用 BOOST_PP_ENUM 更容易。

您在此数组中使用的标识符与 Some_class 中的模板参数相同。

R (U::* const pmfi[])(T&) = { /* ... */ }

这真的应该是 Some_class 的模板化成员吗？

template< class T, class U, class R >
R (U::* const Some_class<T, U, R>::pmfi[])(T&) = { /* ... */ }

如果是这样，相同的实例化是否适用于您要使用模板 Some_class 使用的所有类型组合？如果是这样，你有一组非常受限的类，也许你可以取消模板。否则，您将不得不为模板参数的每个组合专门化 Some_class，在这种情况下，模板不会给您带来太多好处。

编辑、后期编辑:如果我对您的理解是正确的，那么您将无法执行您的建议，因为指针数组必须具有完全正确的签名。

将其简化为一个简单的函数指针示例，你不能这样做:

void f(Derived&);

void (*p)(Base&) = &f;

否则，它会破坏类型安全:

OtherDerived od; // derived from Base, but no from Derived

 // I've managed to pass something that isn't a Derived reference to f
 // without an explicit (and dangerous) cast
(*p)(od);

在您的函数指针数组中，初始化器必须全部指向具有正确签名的函数。