Qqw*_*qwy 4 c++ conversion-operator template-meta-programming stdtuple c++17
我正在编写一个轻量级解析器组合库(类似于 Boost::Spirit)作为业余项目。
有一件事我想要做的,是自动能够转换Result<std::tuple<char>>,Result<std::tuple<char, char>>等成std::string。
同样,如果有例如 aResult<std::tuple<int, int>>我希望能够将其转换为 aResult<std::vector<int>>或更一般地对于包含零个或多个相同类型元素的任何元组,T我希望能够将其自动转换为 a Result<Container<T>>。
一个人如何处理这样的事情?我尝试例如:
template<typename Container>
Result<decltype(std::make_from_tuple<Container>(std::declval<T>()))> () const {
Result{Container{std::make_from_tuple<std::initializer_list<typename std::tuple_element<0, T>::type>> (std::get<T>(*this))}};
}
Run Code Online (Sandbox Code Playgroud)
但这不起作用,因为事实证明不可能像这样以编程方式创建初始化列表。
template <typename... Ts>
std::string tuple_to_string(const std::tuple<Ts...>& t)
{
return std::apply([](auto... cs)
{
return std::string{cs...};
}, t);
}
Run Code Online (Sandbox Code Playgroud)
更通用的解决方案:
template <typename T, typename... Ts>
T tuple_to_container(const std::tuple<Ts...>& t)
{
return std::apply([](auto... cs){ return T{cs...}; }, t);
}
Run Code Online (Sandbox Code Playgroud)
用法:
std::tuple test0{'a', 'b', 'c'};
std::tuple test1{'a', 'b', 'c', 'd', 'e', 'f'};
std::cout << tuple_to_container<std::string>(test0) << '\n'
<< tuple_to_container<std::string>(test1) << '\n';
std::tuple test2{0, 1, 2, 3};
auto converted = tuple_to_container<std::vector<int>>(test2);
assert(converted == (std::vector{0, 1, 2, 3}));
Run Code Online (Sandbox Code Playgroud)