2017-04-21 04:14:53 +00:00
|
|
|
#ifndef TOML11_GET
|
|
|
|
#define TOML11_GET
|
2018-12-12 07:11:37 +00:00
|
|
|
#include "result.hpp"
|
2017-04-21 04:14:53 +00:00
|
|
|
#include "value.hpp"
|
2017-05-06 14:55:15 +00:00
|
|
|
#include <algorithm>
|
2017-04-21 04:14:53 +00:00
|
|
|
|
|
|
|
namespace toml
|
|
|
|
{
|
|
|
|
|
2018-12-10 06:58:20 +00:00
|
|
|
// ============================================================================
|
|
|
|
// exact toml::* type
|
|
|
|
|
2018-05-05 02:42:11 +00:00
|
|
|
template<typename T, typename std::enable_if<
|
|
|
|
detail::is_exact_toml_type<T>::value, std::nullptr_t>::type = nullptr>
|
|
|
|
inline T& get(value& v)
|
2017-04-21 04:14:53 +00:00
|
|
|
{
|
2018-12-10 06:58:20 +00:00
|
|
|
return v.cast<detail::toml_value_t<T>::value>();
|
2017-04-21 04:14:53 +00:00
|
|
|
}
|
|
|
|
|
2018-05-05 02:42:11 +00:00
|
|
|
template<typename T, typename std::enable_if<
|
|
|
|
detail::is_exact_toml_type<T>::value, std::nullptr_t>::type = nullptr>
|
|
|
|
inline T const& get(const value& v)
|
|
|
|
{
|
2018-12-10 06:58:20 +00:00
|
|
|
return v.cast<detail::toml_value_t<T>::value>();
|
|
|
|
}
|
|
|
|
|
|
|
|
template<typename T, typename std::enable_if<
|
|
|
|
detail::is_exact_toml_type<T>::value, std::nullptr_t>::type = nullptr>
|
2018-12-12 08:22:41 +00:00
|
|
|
inline T&& get(value&& v)
|
2018-12-10 06:58:20 +00:00
|
|
|
{
|
2018-12-12 08:22:41 +00:00
|
|
|
return std::move(v.cast<detail::toml_value_t<T>::value>());
|
2018-05-05 02:42:11 +00:00
|
|
|
}
|
|
|
|
|
2018-12-10 06:58:20 +00:00
|
|
|
// ============================================================================
|
|
|
|
// integer convertible from toml::Integer
|
|
|
|
|
2018-05-05 02:42:11 +00:00
|
|
|
template<typename T, typename std::enable_if<detail::conjunction<
|
2018-12-10 06:58:20 +00:00
|
|
|
std::is_integral<T>, // T is integral
|
|
|
|
detail::negation<std::is_same<T, bool>>, // but not bool
|
|
|
|
detail::negation<detail::is_exact_toml_type<T>> // but not toml::integer
|
2018-05-05 02:42:11 +00:00
|
|
|
>::value, std::nullptr_t>::type = nullptr>
|
|
|
|
inline T get(const value& v)
|
|
|
|
{
|
|
|
|
return static_cast<T>(v.cast<value_t::Integer>());
|
|
|
|
}
|
2018-12-10 06:58:20 +00:00
|
|
|
|
|
|
|
// ============================================================================
|
|
|
|
// floating point convertible from toml::Float
|
|
|
|
|
2018-05-05 02:42:11 +00:00
|
|
|
template<typename T, typename std::enable_if<detail::conjunction<
|
2018-12-10 06:58:20 +00:00
|
|
|
std::is_floating_point<T>, // T is floating_point
|
|
|
|
detail::negation<detail::is_exact_toml_type<T>> // but not toml::Float
|
2018-05-05 02:42:11 +00:00
|
|
|
>::value, std::nullptr_t>::type = nullptr>
|
|
|
|
inline T get(const value& v)
|
2017-04-21 04:14:53 +00:00
|
|
|
{
|
2018-05-05 02:42:11 +00:00
|
|
|
return static_cast<T>(v.cast<value_t::Float>());
|
|
|
|
}
|
2017-12-11 03:04:57 +00:00
|
|
|
|
2018-12-10 06:58:20 +00:00
|
|
|
// ============================================================================
|
|
|
|
// std::string; toml uses its own toml::string, but it should be convertible to
|
|
|
|
// std::string seamlessly
|
|
|
|
|
|
|
|
template<typename T, typename std::enable_if<
|
|
|
|
std::is_same<T, std::string>::value, std::nullptr_t>::type = nullptr>
|
|
|
|
inline std::string& get(value& v)
|
|
|
|
{
|
|
|
|
return v.cast<value_t::String>().str;
|
|
|
|
}
|
|
|
|
|
|
|
|
template<typename T, typename std::enable_if<
|
|
|
|
std::is_same<T, std::string>::value, std::nullptr_t>::type = nullptr>
|
|
|
|
inline std::string const& get(const value& v)
|
|
|
|
{
|
|
|
|
return v.cast<value_t::String>().str;
|
|
|
|
}
|
|
|
|
|
|
|
|
template<typename T, typename std::enable_if<
|
|
|
|
std::is_same<T, std::string>::value, std::nullptr_t>::type = nullptr>
|
|
|
|
inline std::string get(value&& v)
|
|
|
|
{
|
|
|
|
return std::move(v.cast<value_t::String>().str);
|
|
|
|
}
|
|
|
|
|
2018-12-10 13:06:06 +00:00
|
|
|
// ============================================================================
|
|
|
|
// std::chrono::duration from toml::local_time.
|
|
|
|
|
|
|
|
template<typename T, typename std::enable_if<
|
|
|
|
detail::is_chrono_duration<T>::value, std::nullptr_t>::type = nullptr>
|
|
|
|
inline T get(value& v)
|
|
|
|
{
|
|
|
|
return std::chrono::duration_cast<T>(
|
|
|
|
std::chrono::microseconds(v.cast<value_t::LocalTime>()));
|
|
|
|
}
|
|
|
|
|
|
|
|
// ============================================================================
|
|
|
|
// std::chrono::system_clock::time_point from toml::datetime variants
|
|
|
|
|
|
|
|
template<typename T, typename std::enable_if<
|
|
|
|
std::is_same<std::chrono::system_clock::time_point, T>::value,
|
|
|
|
std::nullptr_t>::type = nullptr>
|
|
|
|
inline T get(value& v)
|
|
|
|
{
|
|
|
|
switch(v.type())
|
|
|
|
{
|
|
|
|
case value_t::LocalDate:
|
|
|
|
{
|
|
|
|
return std::chrono::system_clock::time_point(
|
|
|
|
v.cast<value_t::LocalDate>());
|
|
|
|
}
|
|
|
|
case value_t::LocalDatetime:
|
|
|
|
{
|
|
|
|
return std::chrono::system_clock::time_point(
|
|
|
|
v.cast<value_t::LocalDatetime>());
|
|
|
|
}
|
|
|
|
default:
|
|
|
|
{
|
|
|
|
return std::chrono::system_clock::time_point(
|
|
|
|
v.cast<value_t::OffsetDatetime>());
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2018-12-10 06:58:20 +00:00
|
|
|
|
|
|
|
// ============================================================================
|
2018-12-10 13:06:06 +00:00
|
|
|
// forward declaration to use this recursively. ignore this and go ahead.
|
|
|
|
|
2018-12-10 06:58:20 +00:00
|
|
|
template<typename T, typename std::enable_if<detail::conjunction<
|
|
|
|
detail::is_container<T>, // T is container
|
|
|
|
detail::has_resize_method<T>, // T::resize(N) works
|
|
|
|
detail::negation<detail::is_exact_toml_type<T>> // but not toml::array
|
|
|
|
>::value, std::nullptr_t>::type = nullptr>
|
|
|
|
T get(const value& v);
|
|
|
|
template<typename T, typename std::enable_if<detail::conjunction<
|
|
|
|
detail::is_container<T>, // T is container
|
|
|
|
detail::negation<detail::has_resize_method<T>>, // no T::resize() exists
|
|
|
|
detail::negation<detail::is_exact_toml_type<T>> // not toml::array
|
|
|
|
>::value, std::nullptr_t>::type = nullptr>
|
|
|
|
T get(const value& v);
|
|
|
|
template<typename T, typename std::enable_if<
|
|
|
|
detail::is_std_pair<T>::value, std::nullptr_t>::type = nullptr>
|
|
|
|
T get(const value& v);
|
|
|
|
template<typename T, typename std::enable_if<
|
|
|
|
detail::is_std_tuple<T>::value, std::nullptr_t>::type = nullptr>
|
|
|
|
T get(const value& v);
|
|
|
|
template<typename T, typename std::enable_if<detail::conjunction<
|
|
|
|
detail::is_map<T>, // T is map
|
|
|
|
detail::negation<detail::is_exact_toml_type<T>> // but not toml::table
|
|
|
|
>::value, std::nullptr_t>::type = nullptr>
|
|
|
|
T get(const toml::value& v);
|
|
|
|
|
|
|
|
// ============================================================================
|
|
|
|
// array-like types; most likely STL container, like std::vector, etc.
|
|
|
|
|
2018-05-05 02:42:11 +00:00
|
|
|
template<typename T, typename std::enable_if<detail::conjunction<
|
2018-12-10 06:58:20 +00:00
|
|
|
detail::is_container<T>, // T is container
|
|
|
|
detail::has_resize_method<T>, // T::resize(N) works
|
|
|
|
detail::negation<detail::is_exact_toml_type<T>> // but not toml::array
|
2018-05-05 02:42:11 +00:00
|
|
|
>::value, std::nullptr_t>::type = nullptr>
|
|
|
|
T get(const value& v)
|
|
|
|
{
|
2018-12-10 06:58:20 +00:00
|
|
|
using value_type = typename T::value_type;
|
2017-05-06 14:55:15 +00:00
|
|
|
const auto& ar = v.cast<value_t::Array>();
|
2018-12-10 06:58:20 +00:00
|
|
|
|
|
|
|
T container; container.resize(ar.size());
|
|
|
|
std::transform(ar.cbegin(), ar.cend(), container.begin(),
|
|
|
|
[](const value& x){return ::toml::get<value_type>(x);});
|
|
|
|
return container;
|
2017-04-21 04:14:53 +00:00
|
|
|
}
|
|
|
|
|
2018-12-10 06:58:20 +00:00
|
|
|
// ============================================================================
|
|
|
|
// array-like types; but does not have resize(); most likely std::array.
|
|
|
|
|
2018-05-05 02:42:11 +00:00
|
|
|
template<typename T, typename std::enable_if<detail::conjunction<
|
2018-12-10 06:58:20 +00:00
|
|
|
detail::is_container<T>, // T is container
|
|
|
|
detail::negation<detail::has_resize_method<T>>, // no T::resize() exists
|
|
|
|
detail::negation<detail::is_exact_toml_type<T>> // not toml::array
|
2018-05-05 02:42:11 +00:00
|
|
|
>::value, std::nullptr_t>::type = nullptr>
|
2018-12-10 06:58:20 +00:00
|
|
|
T get(const value& v)
|
2017-04-21 04:14:53 +00:00
|
|
|
{
|
2018-12-10 06:58:20 +00:00
|
|
|
using value_type = typename T::value_type;
|
|
|
|
const auto& ar = v.cast<value_t::Array>();
|
|
|
|
|
|
|
|
T container;
|
|
|
|
if(ar.size() != container.size())
|
|
|
|
{
|
|
|
|
throw std::out_of_range(detail::format_error_for_value(v, concat_to_string(
|
|
|
|
"[erorr] toml::get specified container size is ", container.size(),
|
|
|
|
" but there are ", ar.size(), " elements in toml array."), "here"));
|
|
|
|
}
|
|
|
|
std::transform(ar.cbegin(), ar.cend(), container.begin(),
|
|
|
|
[](const value& x){return ::toml::get<value_type>(x);});
|
|
|
|
return container;
|
2017-04-21 04:14:53 +00:00
|
|
|
}
|
|
|
|
|
2018-12-10 06:58:20 +00:00
|
|
|
// ============================================================================
|
|
|
|
// std::pair.
|
|
|
|
|
|
|
|
template<typename T, typename std::enable_if<
|
|
|
|
detail::is_std_pair<T>::value, std::nullptr_t>::type = nullptr>
|
2018-05-05 02:46:09 +00:00
|
|
|
T get(const value& v)
|
|
|
|
{
|
|
|
|
using first_type = typename T::first_type;
|
|
|
|
using second_type = typename T::second_type;
|
2018-12-10 06:58:20 +00:00
|
|
|
|
2018-05-05 02:46:09 +00:00
|
|
|
const auto& ar = v.cast<value_t::Array>();
|
|
|
|
if(ar.size() != 2)
|
|
|
|
{
|
2018-12-10 06:58:20 +00:00
|
|
|
throw std::out_of_range(detail::format_error_for_value(v, concat_to_string(
|
|
|
|
"[erorr] toml::get specified std::pair but there are ", ar.size(),
|
|
|
|
" elements in toml array."), "here"));
|
2018-05-05 02:46:09 +00:00
|
|
|
}
|
2018-12-10 06:58:20 +00:00
|
|
|
return std::make_pair(::toml::get<first_type >(ar.at(0)),
|
|
|
|
::toml::get<second_type>(ar.at(1)));
|
2018-05-05 02:46:09 +00:00
|
|
|
}
|
|
|
|
|
2018-12-10 06:58:20 +00:00
|
|
|
// ============================================================================
|
|
|
|
// std::tuple.
|
|
|
|
|
2018-05-05 02:46:09 +00:00
|
|
|
namespace detail
|
|
|
|
{
|
|
|
|
|
|
|
|
template<typename T, std::size_t ...I>
|
|
|
|
T get_tuple_impl(const toml::Array& a, index_sequence<I...>)
|
|
|
|
{
|
|
|
|
return std::make_tuple(
|
|
|
|
::toml::get<typename std::tuple_element<I, T>::type>(a.at(I))...);
|
|
|
|
}
|
|
|
|
|
|
|
|
} // detail
|
|
|
|
|
2018-12-10 06:58:20 +00:00
|
|
|
template<typename T, typename std::enable_if<
|
|
|
|
detail::is_std_tuple<T>::value, std::nullptr_t>::type = nullptr>
|
2018-05-05 02:46:09 +00:00
|
|
|
T get(const value& v)
|
|
|
|
{
|
|
|
|
const auto& ar = v.cast<value_t::Array>();
|
|
|
|
if(ar.size() != std::tuple_size<T>::value)
|
|
|
|
{
|
2018-12-10 06:58:20 +00:00
|
|
|
throw std::out_of_range(detail::format_error_for_value(v, concat_to_string(
|
|
|
|
"[erorr] toml::get specified std::tuple with ",
|
|
|
|
std::tuple_size<T>::value, "elements, but there are ", ar.size(),
|
|
|
|
" elements in toml array."), "here"));
|
2018-05-05 02:46:09 +00:00
|
|
|
}
|
|
|
|
return detail::get_tuple_impl<T>(ar,
|
|
|
|
detail::make_index_sequence<std::tuple_size<T>::value>{});
|
|
|
|
}
|
|
|
|
|
2018-12-10 06:58:20 +00:00
|
|
|
// ============================================================================
|
|
|
|
// map-like types; most likely STL map, like std::map or std::unordered_map.
|
|
|
|
|
|
|
|
template<typename T, typename std::enable_if<detail::conjunction<
|
|
|
|
detail::is_map<T>, // T is map
|
|
|
|
detail::negation<detail::is_exact_toml_type<T>> // but not toml::table
|
|
|
|
>::value, std::nullptr_t>::type = nullptr>
|
|
|
|
T get(const toml::value& v)
|
|
|
|
{
|
|
|
|
using key_type = typename T::key_type;
|
|
|
|
using mapped_type = typename T::mapped_type;
|
|
|
|
static_assert(std::is_convertible<std::string, key_type>::value,
|
|
|
|
"toml::get only supports map type of which key_type is "
|
|
|
|
"convertible from std::string.");
|
|
|
|
T map;
|
|
|
|
for(const auto& kv : v.cast<value_t::Table>())
|
|
|
|
{
|
|
|
|
map[key_type(kv.first)] = ::toml::get<mapped_type>(kv.second);
|
|
|
|
}
|
|
|
|
return map;
|
|
|
|
}
|
|
|
|
|
|
|
|
// ============================================================================
|
|
|
|
// get_or
|
2017-12-11 03:04:57 +00:00
|
|
|
|
|
|
|
template<typename T>
|
|
|
|
inline typename std::remove_cv<typename std::remove_reference<T>::type>::type
|
|
|
|
get_or(const toml::Table& tab, const toml::key& ky, T&& opt)
|
|
|
|
{
|
|
|
|
if(tab.count(ky) == 0) {return std::forward<T>(opt);}
|
|
|
|
return get<typename std::remove_cv<
|
|
|
|
typename std::remove_reference<T>::type>::type>(tab.find(ky)->second);
|
|
|
|
}
|
|
|
|
|
2018-12-11 02:35:35 +00:00
|
|
|
// ============================================================================
|
|
|
|
// expect
|
|
|
|
|
|
|
|
template<typename T>
|
|
|
|
auto expect(const toml::value& v)
|
|
|
|
-> result<decltype(::toml::get<T>(v)), std::string>
|
|
|
|
{
|
|
|
|
try
|
|
|
|
{
|
|
|
|
return ok(get<T>(v));
|
|
|
|
}
|
|
|
|
catch(const type_error& te)
|
|
|
|
{
|
|
|
|
return err(te.what());
|
|
|
|
}
|
|
|
|
}
|
|
|
|
template<typename T>
|
|
|
|
auto expect(toml::value& v)
|
|
|
|
-> result<decltype(::toml::get<T>(v)), std::string>
|
|
|
|
{
|
|
|
|
try
|
|
|
|
{
|
|
|
|
return ok(get<T>(v));
|
|
|
|
}
|
|
|
|
catch(const type_error& te)
|
|
|
|
{
|
|
|
|
return err(te.what());
|
|
|
|
}
|
|
|
|
}
|
|
|
|
template<typename T>
|
|
|
|
auto expect(toml::value&& v)
|
|
|
|
-> result<decltype(::toml::get<T>(std::move(v))), std::string>
|
|
|
|
{
|
|
|
|
try
|
|
|
|
{
|
|
|
|
return ok(get<T>(std::move(v)));
|
|
|
|
}
|
|
|
|
catch(const type_error& te)
|
|
|
|
{
|
|
|
|
return err(te.what());
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2017-04-21 04:14:53 +00:00
|
|
|
} // toml
|
|
|
|
#endif// TOML11_GET
|