远程过程调用-buttonrpc源码解析7-函数返回值

前一篇文章讲述了服务端如何进行函数调用，但并未分析函数返回值，本节进行重点分析。
在负责拆分委托函数的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_;
};