在我的程序中，我有很多指向外部库提供的函数的指针。其中有些返回价值，有些则没有。
如果外部库未提供函数（指针为NULL），并且函数应返回值，则程序应采用默认值（在编译时已知）。
我试图完成的工作是减少if语句的数量，并使用以下用例将指针包装在类中：
enum E { e1, e2, e3 };
UserFunction<uint8_t(int, int), 0> callback1 { user_function_ptr }; // Calls and returns value of user_function_ptr
UserFunction<uint8_t(), 0> callback2 { nullptr }; // Returns 0
UserFunction<uint8_t(), 1> callback3 { nullptr }; // Returns 1
UserFunction<E(int), e1> callback4 { user_function_ptr2 }; // Returns enum value and takes one integer argument
UserFunction<void(int)> callback5 { user_function_ptr3 }; // No return value, one argument
UserFunction<void()> callback6 { nullptr }; // Should perform noop
到目前为止，我正在为返回值的函数工作：
template <class Sign, int Def>
struct UserF;
template <class R, int Def, class... Args>
struct UserF<R(Args...), Def> {
typedef R Signature(Args...);
typedef typename std::add_pointer<Signature>::type SignaturePtr;
static R Default(Args... args) {
return (R) Def;
}
UserF() {
functionToCall = Default;
}
UserF(SignaturePtr userFunction) {
if (userFunction != nullptr) {
functionToCall = userFunction;
} else {
functionToCall = Default;
}
}
R operator() (Args... args) {
return functionToCall(args...);
}
private:
SignaturePtr functionToCall;
};
上面代码的问题是，它强制默认值为int。我所能做的就是将UserF模板更改为以下形式：
template <class R, R Def, class... Args>
struct UserF {
// ...
};
// use case
UserF<E, e1, int> callback; // Returns E, takes int, default e1
但是，如果可能的话，我宁愿使用
UserF<R(Args...), Default> callback; // preferred
UserF<Default, R(Args...)> callback; // if above is not possible
UserF<void(Args...)> callback; // if no return value
我宁愿不使用，std::function因为我知道我将只处理函数的指针，而不处理成员函数，函子对象等的指针。也不允许boost（允许C ++ 11）。
总而言之，问题是：如何强制对默认返回值进行类型检查。
template<class Sig>
struct return_type;
template<class Sig>
using return_type_t=typename return_type<Sig>::type;
template<class R,class...Args>
struct return_type<R(Args...)>{
using type=R;
};
template <class Sign, return_type_t<Sign> Def>
struct UserF;
是大多数。要处理void您将需要一个标志技巧：
struct void_flag{};
template<class T>
using flag_void=
typename std::conditional<std::is_same<T,void>{},void_flag*,T>::type;
template <class Sign, flag_void<return_type_t<Sign>> Def=nullptr>
struct UserF;
template <class R, R Def, class... Args>
struct UserF<R(Args...), Def>{
// body
template <class... Args>
struct UserF<void(Args...), 0>{
// body
非积分非指针会出现问题R，因为您不能将a传递double给a template。一种方法是升级double到double const*了Def，并让它自动解除引用：
template <class R, R const* Def, class... Args>
struct UserF<R(Args...), Def>{
// body
而这样做flag_void转T=double成T=double const*。
本文收集自互联网，转载请注明来源。
如有侵权，请联系[email protected] 删除。
我来说两句