我正在尝试编写一个简单的序列化协议。所述send
的容器类型应该调用send
上每个元件(其本身可以是容器类型)。
但是我不知道如何做到这一点。我已经编写了三个函数,每个函数分别工作,但是我不知道如何让C ++选择并分派适当的函数。我该怎么做呢?
就目前的情况而言,clang说我无法send
使用相同的签名重新定义(甚至为了重新定义SFINAE也是如此)。
我正在使用C ++ 17,但不能使用boost等外部库。[编辑]这是个人挑战。我想知道如何使用香草C ++做到这一点。毕竟,该库必须由某人用香草C ++编写,对吗?[/编辑]
#include <vector>
#include <utility>
#include <iostream>
#include <type_traits>
template <class pair_t>
std::void_t<typename pair_t::first_type, typename pair_t::second_type>
send(pair_t pair) {
using first_t = typename pair_t::first_type;
using second_t = typename pair_t::second_type;
send<first_t>(std::get<0>(pair));
send<second_t>(std::get<1>(pair));
}
template <typename list_t>
std::void_t<typename list_t::value_type, typename list_t::size_type>
send(list_t list) {
using value_t = typename list_t::value_type;
for (const value_t& elem : list) {
send<value_t>(elem);
}
}
template <typename int_t>
void
send(typename std::enable_if<std::is_integral<int_t>::value, int_t>::type val) {
std::cout << "Sending integral val: " << val << std::endl;
}
int obj0 = 1;
std::vector<int> obj1;
std::pair<int, int> obj2;
std::vector<std::pair<int,int>> obj3;
int main() {
// send<int>(obj0);
// send(obj1);
// send(obj2);
// send(obj3);
}
您可以使用模板专门化:
template <typename T> void send(const T&);
namespace detail {
template <typename T> struct Send; // primary template
template <typename T> struct Send<std::vector<T>> { // specialization for vector
static void send(const std::vector<T>& v) {
for (const auto e : v) ::send(e);
}
};
template <typename T, typename U> struct Send<std::pair<T, U>> { // for pair
static void send(const std::pair<T, U>& p) {
::send(p.first); ::send(p.second);
}
};
template <> struct Send<int> { // for int
static void send(int i) { std::cout << i; }
};
}
template <typename T> void send(const T& arg) { detail::Send<T>::send(arg); }
int main() {
int i = 0;
std::vector<int> vi = { 1, 2, 3 };
std::pair<int, int> pi = { 4, 5 };
std::vector<std::pair<int, int>> vpi = { { 7, 8 }, { 9, 0 } };
send(i);
send(vi);
send(pi);
send(vpi);
}
现场演示:https : //wandbox.org/permlink/cQNpsgSFYmiurqRT
请注意,此解决方案要求对要支持的所有类型的容器进行专业化处理(这与对具有value_type
和的任何size_type
类型的容器使用此实现不同。
或者,您也可以使用SFINAE:
template <typename T> struct is_vector : std::false_type { };
template <typename T> struct is_vector<std::vector<T>> : std::true_type { };
template <typename T> struct is_pair : std::false_type { };
template <typename T, typename U> struct is_pair<std::pair<T, U>> : std::true_type { };
template <typename T> void send(T i, std::enable_if_t<std::is_integral_v<T>, int> = 0) {
std::cout << i;
}
template <typename T> void send(const T& p, std::enable_if_t<is_pair<T>::value, int> = 0) {
send(p.first); send(p.second);
}
template <typename T> void send(const T& v, std::enable_if_t<is_vector<T>::value, int> = 0) {
for (const auto & e : v) send(e);
}
... // same main
另外,您还可以如下检查成员类型的存在:
template <typename T> struct has_value_type {
using yes = char[1]; using no = char[2];
template <typename C> static constexpr yes& test(typename C::value_type*);
template <typename> static constexpr no& test(...);
static constexpr bool value = sizeof(test<T>(nullptr)) == sizeof(yes);
};
... // similarly: has_size_type, has_first_type, and has_second_type
template <typename T> void send(T i, std::enable_if_t<std::is_integral_v<T>, int> = 0) {
std::cout << i;
}
template <typename T> void send(const T& p, std::enable_if_t<has_first_type<T>::value && has_second_type<T>::value, int> = 0) {
send(p.first); send(p.second);
}
template <typename T> void send(const T& v, std::enable_if_t<has_value_type<T>::value && has_size_type<T>::value, int> = 0) {
for (const auto & e : v) send(e);
}
... // same main
本文收集自互联网,转载请注明来源。
如有侵权,请联系 [email protected] 删除。
我来说两句