前一篇文章讲述了服务端如何进行函数调用,但并未分析函数返回值,本节进行重点分析。
在负责拆分委托函数的callproxy_
函数内,最终得到了型如
typename type_xx<R>::type r = call_helper<R>(ff, args);
或者
typename type_xx<R>::type r = call_helper<R>(func, args);
的调用形式。
1、函数call_helper相关的定义如下:
// 定义一个泛化的特征模板,用于确定函数返回值类型:T型的type就是T本身
template<typename T>
struct type_xx{ typedef T type; };
// 定义一个特化模板:void型的type为int8_t
template<>
struct type_xx<void>{ typedef int8_t type; };
// 调用帮助类,主要用于返回是否void的情况:是,并返回0
template<typename R, typename F, typename ArgsTuple>
typename std::enable_if<std::is_same<R, void>::value, typename type_xx<R>::type >::type
call_helper(F f, ArgsTuple args) {
invoke(f, args);
return 0;
}
// 调用帮助类,主要用于返回是否void的情况:否,返回真正的返回值
template<typename R, typename F, typename ArgsTuple>
typename std::enable_if<!std::is_same<R, void>::value, typename type_xx<R>::type >::type
call_helper(F f, ArgsTuple args) {
return invoke(f, args);
}
// 具体实现函数模板:用tuple做参数调用函数模板类
template<typename Function, typename Tuple, std::size_t... Index>
decltype(auto) invoke_impl(Function&& func, Tuple&& t, std::index_sequence<Index...>)
{
return func(std::get<Index>(std::forward<Tuple>(t))...);
}
// 函数模板:作为一个接口,负责调用相关函数并传递参数
template<typename Function, typename Tuple>
decltype(auto) invoke(Function&& func, Tuple&& t)
{
constexpr auto size = std::tuple_size<typename std::decay<Tuple>::type>::value;
return invoke_impl(std::forward<Function>(func), std::forward<Tuple>(t), std::make_index_sequence<size>{});
}
首先定义一个特征类模板type_xx
用来获得函数的返回值类型,这里void
类型的返回值并非void
,而是特化为int8_t
类型,是因为无法定义一个void
类型的变量来接call_helper
的返回值。
接着定义了两个call_helper
函数模板,通过使用std::enable_if
来利用函数模板的重载决议SFINAE特性,为void
类型和其它类型实例化不同的函数。通过decltype(auto)
,能够自动推导函数返回值类型。
最后定义invoke
和invoke_impl
两个函数模板,这两个函数模板用来执行函数的实际调用,之前的文章有讲过,这里不再赘述。
其实到这里,整个服务端函数调用的过程差不多已经分析完了,invoke
函数已经能够得到正确的返回值了,而call_helper函数也已完成了它的使命,给出了对应的返回值。
温馨提示:std::is_same
用于比较两个类型是否一致,类型一致则value为true,否则value为false。std::enable_if
用于条件编译,它通常与函数模板一起使用,以便根据某些类型特性或表达式结果来选择合适的函数重载(常出现于SFINAE场景中)。decltype(auto)
主要用于推导转发函数和类似包装的返回类型。
2、函数返回值包裹类型
函数调用成功与否,都需要给出反馈信息,至少包括状态码(通常为枚举类型)、错误信息(通常为string类型)和返回值。我们可以将这些信息依次序列化到Serializer对象,也可以将这些信息进行打包,形成一个独立的类,buttonrpc中的包裹返回值类:
template<typename T>
class value_t {
public:
typedef typename type_xx<T>::type type;
typedef std::string msg_type;
typedef uint16_t code_type;
value_t() { code_ = 0; msg_.clear(); }
bool valid() { return (code_ == 0 ? true : false); }
int error_code() { return code_; }
std::string error_msg() { return msg_; }
type val() { return val_; }
void set_val(const type& val) { val_ = val; }
void set_code(code_type code) { code_ = code; }
void set_msg(msg_type msg) { msg_ = msg; }
friend Serializer& operator >> (Serializer& in, value_t<T>& d) {
in >> d.code_ >> d.msg_;
if (d.code_ == 0) {
in >> d.val_;
}
return in;
}
friend Serializer& operator << (Serializer& out, value_t<T> d) {
out << d.code_ << d.msg_ << d.val_;
return out;
}
private:
code_type code_;
msg_type msg_;
type val_;
};