非类型模板参数...那是模板！ （C++）

我基本上希望为通用 C 函数生成一个包装器，而无需手动指定类型。所以我有一个带有固定原型的回调，但我需要根据包装函数的类型在包装器中执行一些特殊代码...所以基本上我正在考虑在类模板中使用静态方法将我的函数包装到一致的接口，例如：

// this is what we want the wrapped function to look like
typedef void (*callback)(int); 
void foobar( float x ); // wrappee

// doesn't compile
template< T (*f)(S) > // non-type template param, it's a function ptr
struct Wrapper
{
  static void wrapped(int x)
  {
     // do a bunch of other stuff here
     f(static_cast<S>(x)); // call wrapped function, ignore result

  }
}

然后我想做类似的事情：

AddCallback( Wrapper<foobar>::wrapped );

但是，问题是我不能继续在包装模板中的函数参数中使用“S”，我必须首先将其列为参数：

template< class T, class S, T (*f)(S) >
struct Wrapper
// ...

但这意味着使用起来会更加痛苦（Wrapper<void,float,foobar>::wrapped），理想情况下，我想只在那里传递函数指针并让它自动计算出参数的类型（和返回类型）。需要明确的是，在包装函数内，我需要引用函数指针的类型（因此我确实需要 S 或 T 的某些等效项）。

有办法做到这一点吗？

您可能希望考虑的一件事是使用 LLVM 或类似工具在运行时生成适当的蹦床函数。或者这是一个静态解决方案：

#include <iostream>

void f(float f) { std::cout << f << std::endl; }

template<typename T, typename S> struct static_function_adapter {
        template<T(*f)(S)> struct adapt_container {
                static void callback(int v) {
                        f(static_cast<S>(v));
                }
        };

        template<T(*f)(S)> adapt_container<f> adapt() const {
                return adapt_container<f>();
        }
};

template<typename T, typename S> struct static_function_adapter<T, S> get_adapter(T (*)(S)) {
        return static_function_adapter<T, S>();
}

#define ADAPTED_FUNCTION(f) (&get_adapter(f).adapt<f>().callback)

int main() {
        void (*adapted)(int) = ADAPTED_FUNCTION(f);
        adapted(42);
        return 0;
}

get_adapter 函数允许我们推断参数和返回类型； Adapt() 然后将其转换为实际函数参数化的类型，最后我们在回调中得到一个静态函数。