转换 T-s 时完美转发非 T 参数

（这个问题源自这个答案)

我正在尝试调整一个蹦床函数，该函数当前仅传递可变数量的参数。

我想让它转换任何参数PyObject* pyob to Object{pyob}，但转发所有其他参数。

So (void* self, int, PyObject*, float) -> (int, Object, float)

在该示例中，第一个self论证被剥夺了。这种事总是会发生。在其余参数中，其中一个参数的类型为PyObject*，因此需要转换为 Object。

这是函数：

template <typename T, T t>
struct trap;

template <typename R, typename... Args, R(Base::*t)(Args...)>
struct trap<R(Base::*)(Args...), t>
{    
    static R 
    call(void* s, Args... args)
    {
        std::cout << "trap:" << typeid(t).name() << std::endl;
        try
        {
            return (get_base(s)->*t)(std::forward<Args>(args)...);
        }
        catch (...)
        {
            std::cout << "CAUGHT" << std::endl;
            return std::is_integral<R>::value ? static_cast<R>(-42) : static_cast<R>(-3.14); 
        }
    }
};

它似乎不是转发参数。我认为它正在复制每个论点。我试过了：

call(void* s, Args&&... args) 

但这只会产生编译器错误。

完整的测试用例是here

如何修复函数以完美转发除类型之外的所有参数PyObject*，它应该转换哪个？

似乎没有转发参数

你不能完美向前函数的参数不是模板，或者是通过指向函数的指针调用的，就像您所做的那样。完美转发涉及一个模板实参推导，当您通过指针调用函数时不会发生这种情况 - 该指针指向具体实例化的函数模板。

The std::forward<Args>(args)表达式是有可能利用移动构造函数从这些参数中复制初始化目标函数的参数call那些通过的by value（或通过硬编码的右值引用），或者让它们由右值引用绑定 - 您将不再需要这些实例，您可以自由地移出他们，至少节省了一次复制操作。 （它可以像这样简单static_cast<Args&&>(args)...，因为它只是一个参考崩溃）。

我想让它转换任何参数PyObject* pyob to Object{pyob}，但转发所有其他参数。如何修复函数以完美转发除类型之外的所有参数PyObject*，它应该转换哪个？

#include <utility>

template <typename T, typename U>
T&& forward_convert(U&& u)
{
    return std::forward<T>(std::forward<U>(u));
}

template <typename T>
Object forward_convert(PyObject* a)
{
    return Object{a};
}

// ...

return (get_base(s)->*t)(forward_convert<Args>(args)...);

替换任何出现的Object with PyObject*在创建签名时call函数，然后才有条件地转发或转换参数，您应该执行以下操作：

template <typename T>
struct replace { using type = T; };

template <>
struct replace<Object> { using type = PyObject*; };

// you may probably want some more cv-ref specializations:
//template <>
//struct replace<Object&> { using type = PyObject*; };  

template <typename T, T t>
struct trap;

template <typename R, typename... Args, R(Base::*t)(Args...)>
struct trap<R(Base::*)(Args...), t>
{    
    static R 
    call(void* s, typename replace<Args>::type... args)
    {
        try
        {
            return (get_base(s)->*t)(forward_convert<typename replace<Args>::type>(args)...);
        }
        catch (...)
        {
            return std::is_integral<R>::value ? static_cast<R>(-42) : static_cast<R>(-3.14); 
        }
    }
};

DEMO