可变参数模板 C++ 中的静态 const 值数组

Question

我有一个函数，我希望能够在运行时检查参数类型，因为我将 void 指针转换回函数。好奇我如何使用 TypeToEnum 模板将参数列表转换为哈希

    #define DEFINE_TYPE(x)\
    template<>\
    struct TypeToEnum<x>\
    {\
      public:\
      static const unsigned int value = HashString(#x);\
    };\

这样我可以使用模板确定函数签名。我只是没有 了解如何在调用方法中将其转换为静态 const 数组。

    class FunctionDescription
    {
    private:
      int return_type;
      std::vector<int> argument_types;
      std::string m_name;
      void* function;
    public:
const std::string& name() const{ return m_name; }

int ReturnType() const { return return_type; }

const std::vector<int>& arguments() const { return argument_types; }

template<typename Return,typename... Args>
FunctionDescription(const std::string& _name, Return(*func)(Args...)) 
    : m_name(_name), return_type(TypeToEnum<Return>::value)
{
    argument_types = { TypeToEnum<Args>::value... };
    function = func;
}

template<typename Return,typename... Args>
Return invoke(Args... args)
{
    static const int type_check[] = {TypeToEnum<Return>::value,TypeToEnum<std::forward<Args>>::value};

    if (type_check[0] != return_type)
        throw std::exception("Invalid return type for given call");

    for (int i = 1; i < sizeof...(Args) + 1; i++)
    {
        if (type_check[i] != argument_types[i])
            throw std::exception("Invalid argument type for the given call");
    }

    return Return(*func)(Args...)(args...);
}
};

Answer 1

TypeToEnum<std::forward<Args>>::value 到 TypeToEnum<Args>::value...，但我会这样做

template<typename Return,typename... Args>
Return invoke(Args...&& args){
  static const int type_check[] = {
    TypeToEnum<Return>::value,TypeToEnum<typename std::decay<Args>::type>::value...
  };

  if (type_check[0] != return_type)
    throw std::exception("Invalid return type for given call");

  for (int i = 1; i <= sizeof...(Args); i++)
  {
    if (type_check[i] != argument_types[i])
      throw std::exception("Invalid argument type for the given call");
  }

  typedef Return(*func_t)(typename std::decay<Args>::type...);
  return static_cast<func_t>(function)( std::forward<Args>(args) );
}

作为第一关。然后，我会将decay 替换为可以正确处理std::reference_wrapper 的自定义类型映射，因此调用者可以通过说invoke( std::ref(x) ) 说“我希望这个参数是一个引用”。

接下来，我会考虑使用typeid，而不是你所有的机器。除其他问题外，您的哈希值并不完全可靠。