是否可以使用 NULL 检查制作通用 C++ 函数指针包装器?
Is it possible to make a generic C++ function pointer wrapper with NULL checks?
我必须包装几个可以有 NULL 值的函数指针。我试图为此制作一个通用的 class 模板,它检查函数指针是否为 NULL,如果指针不为 NULL 则调用原始函数,如果指针为 NULL 则 returns 默认值.像这样:
//Function typedefs
typedef void(*foo)();
typedef int(*bar)(int u, char *);
//Function pointers
foo gfFoo;
bar gfBar;
//Wrapper class
template<typename T, typename... Args>
class WrapFuncObj {
T* f;
public:
WrapFuncObj(T* t) {
f = t;
}
typename std::result_of<T(Args...)>::type operator()(Args&&... args) {
if(f != nullptr){
return (*f)(std::forward<Args>(args)...);
}
else
{
return 0; //RETURN something for non-void types
}
}
};
template<typename T, typename... Args>
class WrapFuncObjVoid {
T* f;
public:
WrapFuncObjVoid(T* t) {
f = t;
}
typename std::result_of<T(Args...)>::type operator()(Args&&... args) {
if(f != nullptr){
(*f)(std::forward<Args>(args)...);
}
else
{
//DO Nothing for void
}
}
};
//Usage:
WrapFuncObjVoid<foo> WrapFoo(&gfFoo);
WrapFoo();
WrapFuncObj<bar, int, char*> WrapBar(&gfBar);
WrapBar(0, "test");
可以看出,非 void 和 void 类型需要单独的模板,因为在 null 的情况下,如果函数指针为 NULL,则不应返回任何内容。如何规避这个问题并使一个模板足以满足两者?
您可以 return T();
(假设 T
是您想要的 return 类型)。这适用于 void
类型。它不适用于具有非默认构造函数的类型。
#include <iostream>
#include <utility>
void foo() {
std::cout << "void foo()\n";
}
int bar(int u, char* c_str) {
std::cout << "int bar(" << u << ", \"" << c_str << "\")\n";
return u;
}
template<typename T>
class WrapFuncObj;
template<typename T, typename... Args>
class WrapFuncObj<T(Args...)> {
T (*f)(Args...);
public:
WrapFuncObj(T (*t)(Args...)) {
f = t;
}
T operator()(Args&&... args) {
if(f != nullptr) {
return (*f)(std::forward<Args>(args)...);
} else {
return T();
}
}
};
int main() {
WrapFuncObj<void()> wrap_foo(&foo);
wrap_foo();
WrapFuncObj<int(int, char*)> wrap_bar(&bar);
wrap_bar(0, "test");
WrapFuncObj<void()> wrap_null(nullptr);
wrap_null(); // prints nothing.
}
我觉得有义务建议 std::function
,这就是您要重新发明的东西(除非您允许调用空函数和 return 默认类型,这可能是也可能不是你真的想做)。
我必须包装几个可以有 NULL 值的函数指针。我试图为此制作一个通用的 class 模板,它检查函数指针是否为 NULL,如果指针不为 NULL 则调用原始函数,如果指针为 NULL 则 returns 默认值.像这样:
//Function typedefs
typedef void(*foo)();
typedef int(*bar)(int u, char *);
//Function pointers
foo gfFoo;
bar gfBar;
//Wrapper class
template<typename T, typename... Args>
class WrapFuncObj {
T* f;
public:
WrapFuncObj(T* t) {
f = t;
}
typename std::result_of<T(Args...)>::type operator()(Args&&... args) {
if(f != nullptr){
return (*f)(std::forward<Args>(args)...);
}
else
{
return 0; //RETURN something for non-void types
}
}
};
template<typename T, typename... Args>
class WrapFuncObjVoid {
T* f;
public:
WrapFuncObjVoid(T* t) {
f = t;
}
typename std::result_of<T(Args...)>::type operator()(Args&&... args) {
if(f != nullptr){
(*f)(std::forward<Args>(args)...);
}
else
{
//DO Nothing for void
}
}
};
//Usage:
WrapFuncObjVoid<foo> WrapFoo(&gfFoo);
WrapFoo();
WrapFuncObj<bar, int, char*> WrapBar(&gfBar);
WrapBar(0, "test");
可以看出,非 void 和 void 类型需要单独的模板,因为在 null 的情况下,如果函数指针为 NULL,则不应返回任何内容。如何规避这个问题并使一个模板足以满足两者?
您可以 return T();
(假设 T
是您想要的 return 类型)。这适用于 void
类型。它不适用于具有非默认构造函数的类型。
#include <iostream>
#include <utility>
void foo() {
std::cout << "void foo()\n";
}
int bar(int u, char* c_str) {
std::cout << "int bar(" << u << ", \"" << c_str << "\")\n";
return u;
}
template<typename T>
class WrapFuncObj;
template<typename T, typename... Args>
class WrapFuncObj<T(Args...)> {
T (*f)(Args...);
public:
WrapFuncObj(T (*t)(Args...)) {
f = t;
}
T operator()(Args&&... args) {
if(f != nullptr) {
return (*f)(std::forward<Args>(args)...);
} else {
return T();
}
}
};
int main() {
WrapFuncObj<void()> wrap_foo(&foo);
wrap_foo();
WrapFuncObj<int(int, char*)> wrap_bar(&bar);
wrap_bar(0, "test");
WrapFuncObj<void()> wrap_null(nullptr);
wrap_null(); // prints nothing.
}
我觉得有义务建议 std::function
,这就是您要重新发明的东西(除非您允许调用空函数和 return 默认类型,这可能是也可能不是你真的想做)。