Question

说我有：

struct S{
    void f(int);
    float g(int,int);
    void h(int);
}

#define UID(w) /* how to do it? */

cout << UID(S::f);
cout << UID(S::g);
cout << UID(S::h);

我需要为每个成员创建一个唯一的数字，字符串或地址。

这是因为我将要使用：

#define BIND(foo) Generate<decltype(&foo), &foo>::call

u = & BIND(S::f)
v = & BIND(S::g)
w = & BIND(S::h)

即。 BIND生成关联的C风格函数

这是生成器的草图：

template< typename F f >
struct Generate {}

template < typename R,  typename ...Arg,  R(S::*target)(Arg...) >
struct Generate< R(S::*)(Arg...),target >
{
    static R call( PyObject* self, Arg... carg)
    {
        cout << ??? // the name, e.g. 'S::b'

我需要此函数cout生成它的S::foo的名称。

所以问题的后半部分是：如何从call内部恢复相同的UID？

我试图创建UID的原因是我可以创建一个：

static std::map<void*, std::string> names_map;

然后我可以修改我的：

#define BIND(foo) Generate<decltype(&foo), &foo>::call; \
                  names_map[ UID(foo) ] = std::string(#foo);

    static R call( PyObject* self, Arg... carg)
    {
        cout << names_map[ UID(  R(S::*target)(Arg...)  ) ];

但是如何实际做到这一点？

我已经整理了一个测试用例on coliru - 任何人都可以使它运行吗？

Answer 1

这听起来像是一个XY问题。您实际需要的是一种将特定类型（Generate<...>）与可用作地图中的键的内容相关联的方法。有一种标准方法可以做到这一点 - 它被称为std::type_index。

static std::map<std::type_index, std::string> names_map;

/* ... */

template <typename R, typename... Arg, R(Base::*target)(Arg...)>
struct Generate< R(Base::*)(Arg...), target >
{
    static void call() 
    {
        std::cout << "TARG:" << names_map[ std::type_index( typeid(Generate) ) ] << std::endl;
    }
};

#define BIND(fp, cxx_target) \
                            fp = &Generate< decltype(&cxx_target), &cxx_target >::call; \
                            names_map[ std::type_index(typeid(Generate< decltype(&cxx_target), &cxx_target >)) ] = std::string(#cxx_target);

Demo

生成唯一标识符，可以区分ID（Foo :: a（））和ID（Foo :: b（））

1 个答案: