2017-04-16 06:12:39 +00:00
|
|
|
/*
|
|
|
|
* The MIT License (MIT)
|
|
|
|
*
|
|
|
|
* Copyright (c) 2017 Toru Niina
|
|
|
|
*
|
|
|
|
* Permission is hereby granted, free of charge, to any person obtaining a copy
|
|
|
|
* of this software and associated documentation files (the "Software"), to deal
|
|
|
|
* in the Software without restriction, including without limitation the rights
|
|
|
|
* to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
|
|
|
|
* copies of the Software, and to permit persons to whom the Software is
|
|
|
|
* furnished to do so, subject to the following conditions:
|
|
|
|
*
|
|
|
|
* The above copyright notice and this permission notice shall be included in
|
|
|
|
* all copies or substantial portions of the Software.
|
|
|
|
*
|
|
|
|
* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
|
|
|
|
* IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
|
|
|
|
* FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
|
|
|
|
* AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
|
|
|
|
* LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
|
|
|
|
* OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
|
|
|
|
* THE SOFTWARE.
|
|
|
|
*/
|
|
|
|
|
|
|
|
#ifndef TOML_FOR_MODERN_CPP
|
|
|
|
#define TOML_FOR_MODERN_CPP
|
|
|
|
#include <type_traits>
|
|
|
|
#include <utility>
|
|
|
|
#include <stdexcept>
|
2017-04-19 04:37:02 +00:00
|
|
|
#include <memory>
|
2017-04-16 06:12:39 +00:00
|
|
|
#include <string>
|
|
|
|
#include <vector>
|
|
|
|
#include <unordered_map>
|
|
|
|
#include <chrono>
|
|
|
|
#include <iomanip>
|
|
|
|
#include <iostream>
|
|
|
|
#include <cassert>
|
|
|
|
|
|
|
|
namespace toml
|
|
|
|
{
|
|
|
|
|
|
|
|
class value;
|
|
|
|
using key = std::string;
|
|
|
|
|
|
|
|
using Boolean = bool;
|
|
|
|
using Integer = std::int64_t;
|
|
|
|
using Float = double;
|
|
|
|
using String = std::string;
|
|
|
|
using Datetime = std::chrono::system_clock::time_point;
|
|
|
|
using Array = std::vector<value>;
|
2017-04-19 04:37:02 +00:00
|
|
|
using Table = std::unordered_map<key, value>;
|
2017-04-16 06:12:39 +00:00
|
|
|
|
2017-04-16 07:37:19 +00:00
|
|
|
enum class value_t
|
2017-04-16 06:12:39 +00:00
|
|
|
{
|
|
|
|
Boolean,
|
|
|
|
Integer,
|
|
|
|
Float,
|
|
|
|
String,
|
|
|
|
Datetime,
|
|
|
|
Array,
|
|
|
|
Table,
|
2017-04-19 04:37:02 +00:00
|
|
|
Empty,
|
2017-04-16 06:12:39 +00:00
|
|
|
Unknown,
|
|
|
|
};
|
|
|
|
|
|
|
|
template<typename charT, typename traits>
|
|
|
|
inline std::basic_ostream<charT, traits>&
|
2017-04-16 07:37:19 +00:00
|
|
|
operator<<(std::basic_ostream<charT, traits>& os, value_t t)
|
2017-04-16 06:12:39 +00:00
|
|
|
{
|
|
|
|
switch(t)
|
|
|
|
{
|
2017-04-16 07:37:19 +00:00
|
|
|
case toml::value_t::Boolean : os << "Boolean"; return os;
|
|
|
|
case toml::value_t::Integer : os << "Integer"; return os;
|
|
|
|
case toml::value_t::Float : os << "Float"; return os;
|
|
|
|
case toml::value_t::String : os << "String"; return os;
|
|
|
|
case toml::value_t::Datetime: os << "Datetime"; return os;
|
|
|
|
case toml::value_t::Array : os << "Array"; return os;
|
|
|
|
case toml::value_t::Table : os << "Table"; return os;
|
2017-04-19 04:37:02 +00:00
|
|
|
case toml::value_t::Empty : os << "Empty"; return os;
|
2017-04-16 07:37:19 +00:00
|
|
|
case toml::value_t::Unknown : os << "Unknown"; return os;
|
2017-04-19 04:37:02 +00:00
|
|
|
default : os << "Nothing"; return os;
|
2017-04-16 06:12:39 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
template<typename charT, typename traits = std::char_traits<charT>,
|
|
|
|
typename alloc = std::allocator<charT>>
|
|
|
|
inline std::basic_string<charT, traits, alloc>
|
2017-04-16 07:37:19 +00:00
|
|
|
stringize(value_t t)
|
2017-04-16 06:12:39 +00:00
|
|
|
{
|
|
|
|
switch(t)
|
|
|
|
{
|
2017-04-16 07:37:19 +00:00
|
|
|
case toml::value_t::Boolean : return "Boolean";
|
|
|
|
case toml::value_t::Integer : return "Integer";
|
|
|
|
case toml::value_t::Float : return "Float";
|
|
|
|
case toml::value_t::String : return "String";
|
|
|
|
case toml::value_t::Datetime: return "Datetime";
|
|
|
|
case toml::value_t::Array : return "Array";
|
|
|
|
case toml::value_t::Table : return "Table";
|
2017-04-19 04:37:02 +00:00
|
|
|
case toml::value_t::Empty : return "Empty";
|
2017-04-16 07:37:19 +00:00
|
|
|
case toml::value_t::Unknown : return "Unknown";
|
|
|
|
default : return "Nothing";
|
2017-04-16 06:12:39 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
namespace detail
|
|
|
|
{
|
|
|
|
|
|
|
|
template<typename T>
|
|
|
|
using unwrap_t = typename std::decay<T>::type;
|
|
|
|
|
2017-04-19 04:37:02 +00:00
|
|
|
template<typename T> struct is_toml_array : std::false_type{};
|
|
|
|
template<> struct is_toml_array<toml::Array> : std::true_type {};
|
|
|
|
template<typename T> struct is_toml_table : std::false_type{};
|
|
|
|
template<> struct is_toml_table<toml::Table> : std::true_type {};
|
2017-04-16 06:12:39 +00:00
|
|
|
|
|
|
|
template<typename T>
|
2017-04-16 07:37:19 +00:00
|
|
|
constexpr inline value_t check_type()
|
2017-04-16 06:12:39 +00:00
|
|
|
{
|
2017-04-19 04:37:02 +00:00
|
|
|
return std::is_same<unwrap_t<T>, bool>::value ? value_t::Boolean :
|
|
|
|
std::is_integral<unwrap_t<T>>::value ? value_t::Integer :
|
|
|
|
std::is_floating_point<unwrap_t<T>>::value ? value_t::Float :
|
|
|
|
std::is_same<unwrap_t<T>, String>::value ? value_t::String :
|
|
|
|
std::is_same<unwrap_t<T>, const char*>::value ? value_t::String :
|
|
|
|
toml::detail::is_toml_array<unwrap_t<T>>::value ? value_t::Array :
|
|
|
|
toml::detail::is_toml_table<unwrap_t<T>>::value ? value_t::Table :
|
2017-04-16 07:37:19 +00:00
|
|
|
value_t::Unknown;
|
2017-04-16 06:12:39 +00:00
|
|
|
}
|
|
|
|
|
2017-04-16 07:37:19 +00:00
|
|
|
template<value_t t> struct toml_default_type{};
|
2017-04-19 04:37:02 +00:00
|
|
|
template<> struct toml_default_type<value_t::Boolean >{typedef Boolean type;};
|
|
|
|
template<> struct toml_default_type<value_t::Integer >{typedef Integer type;};
|
|
|
|
template<> struct toml_default_type<value_t::Float >{typedef Float type;};
|
|
|
|
template<> struct toml_default_type<value_t::String >{typedef String type;};
|
2017-04-16 07:37:19 +00:00
|
|
|
template<> struct toml_default_type<value_t::Datetime>{typedef Datetime type;};
|
2017-04-19 04:37:02 +00:00
|
|
|
template<> struct toml_default_type<value_t::Array >{typedef Array type;};
|
|
|
|
template<> struct toml_default_type<value_t::Table >{typedef Table type;};
|
|
|
|
template<> struct toml_default_type<value_t::Empty >{typedef void type;};
|
|
|
|
template<> struct toml_default_type<value_t::Unknown >{typedef void type;};
|
|
|
|
|
|
|
|
struct storage_base
|
|
|
|
{
|
|
|
|
storage_base(): type(toml::value_t::Empty){}
|
|
|
|
storage_base(toml::value_t t): type(t){}
|
|
|
|
virtual ~storage_base() = default;
|
|
|
|
toml::value_t type;
|
|
|
|
};
|
|
|
|
|
|
|
|
template<typename T>
|
|
|
|
struct storage : public storage_base
|
|
|
|
{
|
|
|
|
static_assert(is_toml_array<T>::value || is_toml_table<T>::value,
|
|
|
|
"toml::detail::storage is for toml::Array or toml::Table!");
|
|
|
|
typedef T value_type;
|
2017-04-16 06:12:39 +00:00
|
|
|
|
2017-04-19 04:37:02 +00:00
|
|
|
storage() = default;
|
|
|
|
~storage() override = default;
|
|
|
|
storage(storage const&) = default;
|
|
|
|
storage(storage&&) = default;
|
|
|
|
storage& operator=(storage const&) = default;
|
|
|
|
storage& operator=(storage&&) = default;
|
|
|
|
|
|
|
|
storage(value_type const& v) : value(v){}
|
|
|
|
storage(value_type&& v) : value(std::move(v)){}
|
|
|
|
|
|
|
|
value_type value;
|
|
|
|
};
|
2017-04-16 06:12:39 +00:00
|
|
|
} // detail
|
|
|
|
|
2017-04-19 04:37:02 +00:00
|
|
|
/* -------------------------------------------------------------------------- */
|
|
|
|
template<typename T, typename ... Ts>
|
|
|
|
inline std::unique_ptr<T> make_unique(Ts&& ... args)
|
|
|
|
{
|
|
|
|
return std::unique_ptr<T>(new T(std::forward<Ts>(args)...));
|
|
|
|
}
|
|
|
|
|
2017-04-16 06:12:39 +00:00
|
|
|
struct exception : public std::exception
|
|
|
|
{
|
|
|
|
public:
|
|
|
|
virtual ~exception() override = default;
|
|
|
|
virtual const char* what() const noexcept override {return "";}
|
|
|
|
};
|
|
|
|
|
|
|
|
struct syntax_error : public toml::exception
|
|
|
|
{
|
|
|
|
public:
|
2017-04-19 04:37:02 +00:00
|
|
|
explicit syntax_error(const std::string& what_arg) : what_(what_arg){}
|
|
|
|
explicit syntax_error(const char* what_arg) : what_(what_arg){}
|
2017-04-16 06:12:39 +00:00
|
|
|
virtual ~syntax_error() override = default;
|
2017-04-19 04:37:02 +00:00
|
|
|
virtual const char* what() const noexcept override {return what_.c_str();}
|
2017-04-16 06:12:39 +00:00
|
|
|
|
|
|
|
protected:
|
2017-04-19 04:37:02 +00:00
|
|
|
std::string what_;
|
2017-04-16 06:12:39 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
struct type_error : public toml::exception
|
|
|
|
{
|
|
|
|
public:
|
2017-04-19 04:37:02 +00:00
|
|
|
explicit type_error(const std::string& what_arg) : what_(what_arg){}
|
|
|
|
explicit type_error(const char* what_arg) : what_(what_arg){}
|
2017-04-16 06:12:39 +00:00
|
|
|
virtual ~type_error() override = default;
|
2017-04-19 04:37:02 +00:00
|
|
|
virtual const char* what() const noexcept override {return what_.c_str();}
|
2017-04-16 06:12:39 +00:00
|
|
|
|
|
|
|
protected:
|
2017-04-19 04:37:02 +00:00
|
|
|
std::string what_;
|
2017-04-16 06:12:39 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
struct internal_error : public toml::exception
|
|
|
|
{
|
|
|
|
public:
|
2017-04-19 04:37:02 +00:00
|
|
|
explicit internal_error(const std::string& what_arg) : what_(what_arg){}
|
|
|
|
explicit internal_error(const char* what_arg) : what_(what_arg){}
|
2017-04-16 06:12:39 +00:00
|
|
|
virtual ~internal_error() override = default;
|
2017-04-19 04:37:02 +00:00
|
|
|
virtual const char* what() const noexcept override {return what_.c_str();}
|
2017-04-16 06:12:39 +00:00
|
|
|
protected:
|
2017-04-19 04:37:02 +00:00
|
|
|
std::string what_;
|
2017-04-16 06:12:39 +00:00
|
|
|
};
|
2017-04-19 04:37:02 +00:00
|
|
|
/* -------------------------------------------------------------------------- */
|
2017-04-16 06:12:39 +00:00
|
|
|
|
|
|
|
template<typename T>
|
|
|
|
struct value_traits
|
|
|
|
{
|
2017-04-16 07:37:19 +00:00
|
|
|
constexpr static value_t type_index = detail::check_type<T>();
|
2017-04-19 04:37:02 +00:00
|
|
|
constexpr static bool is_toml_type = (type_index != value_t::Unknown);
|
2017-04-16 07:37:19 +00:00
|
|
|
typedef typename detail::toml_default_type<type_index>::type type;
|
2017-04-16 06:12:39 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
class value
|
|
|
|
{
|
2017-04-19 04:37:02 +00:00
|
|
|
typedef std::unique_ptr<detail::storage_base> storage_ptr;
|
2017-04-16 07:37:45 +00:00
|
|
|
|
2017-04-19 04:37:02 +00:00
|
|
|
public:
|
2017-04-16 07:37:45 +00:00
|
|
|
|
2017-04-19 04:37:02 +00:00
|
|
|
value() : type_(value_t::Empty){}
|
|
|
|
~value();
|
2017-04-16 07:37:45 +00:00
|
|
|
|
2017-04-19 04:37:02 +00:00
|
|
|
value(const value& v);
|
|
|
|
value(value&& v);
|
|
|
|
value& operator=(const value& v);
|
|
|
|
value& operator=(value&& v);
|
2017-04-16 07:37:45 +00:00
|
|
|
|
2017-04-19 04:37:02 +00:00
|
|
|
template<typename T, typename std::enable_if<
|
|
|
|
value_traits<T>::is_toml_type, std::nullptr_t>::type = nullptr>
|
|
|
|
value(T&& v);
|
|
|
|
template<typename T, typename std::enable_if<
|
|
|
|
value_traits<T>::is_toml_type, std::nullptr_t>::type = nullptr>
|
|
|
|
value& operator=(T&& v);
|
2017-04-16 07:37:45 +00:00
|
|
|
|
|
|
|
value_t type() const {return type_;}
|
2017-04-16 06:12:39 +00:00
|
|
|
|
2017-04-16 07:37:19 +00:00
|
|
|
template<value_t T>
|
2017-04-19 04:37:02 +00:00
|
|
|
typename detail::toml_default_type<T>::type const& cast() const;
|
2017-04-16 07:37:19 +00:00
|
|
|
template<value_t T>
|
2017-04-19 04:37:02 +00:00
|
|
|
typename detail::toml_default_type<T>::type& cast();
|
2017-04-16 06:12:39 +00:00
|
|
|
|
|
|
|
private:
|
|
|
|
|
2017-04-19 04:37:02 +00:00
|
|
|
void switch_clean(value_t t);
|
2017-04-16 07:37:19 +00:00
|
|
|
template<value_t t> struct switch_assign;
|
|
|
|
template<value_t t> struct switch_cast;
|
2017-04-16 06:12:39 +00:00
|
|
|
|
2017-04-19 04:37:02 +00:00
|
|
|
static bool should_be_cleaned(value_t vt)
|
|
|
|
{
|
|
|
|
return (vt == value_t::String) || (vt == value_t::Array) ||
|
|
|
|
(vt == value_t::Table) || (vt == value_t::Datetime);
|
|
|
|
}
|
|
|
|
|
2017-04-16 06:12:39 +00:00
|
|
|
private:
|
|
|
|
|
2017-04-16 07:37:19 +00:00
|
|
|
value_t type_;
|
2017-04-16 06:12:39 +00:00
|
|
|
union
|
|
|
|
{
|
2017-04-19 04:37:02 +00:00
|
|
|
Boolean boolean_;
|
|
|
|
Integer integer_;
|
|
|
|
Float float_;
|
|
|
|
String string_;
|
|
|
|
Datetime datetime_;
|
|
|
|
storage_ptr storage_; //ptr to table or array
|
2017-04-16 06:12:39 +00:00
|
|
|
};
|
|
|
|
};
|
|
|
|
|
2017-04-16 07:37:19 +00:00
|
|
|
template<> struct value::switch_assign<value_t::Boolean>
|
2017-04-16 06:12:39 +00:00
|
|
|
{
|
|
|
|
template<typename valT>
|
|
|
|
static void invoke(value& v, valT&& val)
|
|
|
|
{
|
2017-04-19 04:37:02 +00:00
|
|
|
v.boolean_ = static_cast<Boolean>(val);
|
2017-04-16 06:12:39 +00:00
|
|
|
}
|
|
|
|
};
|
2017-04-16 07:37:19 +00:00
|
|
|
template<> struct value::switch_assign<value_t::Integer>
|
2017-04-16 06:12:39 +00:00
|
|
|
{
|
|
|
|
template<typename valT>
|
|
|
|
static void invoke(value& v, valT&& val)
|
|
|
|
{
|
2017-04-19 04:37:02 +00:00
|
|
|
v.integer_ = static_cast<Integer>(val);
|
2017-04-16 06:12:39 +00:00
|
|
|
}
|
|
|
|
};
|
2017-04-16 07:37:19 +00:00
|
|
|
template<> struct value::switch_assign<value_t::Float>
|
2017-04-16 06:12:39 +00:00
|
|
|
{
|
|
|
|
template<typename valT>
|
|
|
|
static void invoke(value& v, valT&& val)
|
|
|
|
{
|
2017-04-19 04:37:02 +00:00
|
|
|
v.float_ = static_cast<Float>(val);
|
2017-04-16 06:12:39 +00:00
|
|
|
}
|
|
|
|
};
|
2017-04-16 07:37:19 +00:00
|
|
|
template<> struct value::switch_assign<value_t::String>
|
2017-04-16 06:12:39 +00:00
|
|
|
{
|
|
|
|
template<typename valT>
|
|
|
|
static void invoke(value& v, valT&& val)
|
|
|
|
{
|
|
|
|
new(&v.string_) String(val);
|
|
|
|
}
|
|
|
|
};
|
2017-04-16 07:37:19 +00:00
|
|
|
template<> struct value::switch_assign<value_t::Datetime>
|
2017-04-16 06:12:39 +00:00
|
|
|
{
|
|
|
|
template<typename valT>
|
|
|
|
static void invoke(value& v, valT&& val)
|
|
|
|
{
|
|
|
|
new(&v.datetime_) Datetime(val);
|
|
|
|
}
|
|
|
|
};
|
2017-04-16 07:37:19 +00:00
|
|
|
template<> struct value::switch_assign<value_t::Array>
|
2017-04-16 06:12:39 +00:00
|
|
|
{
|
|
|
|
template<typename valT>
|
|
|
|
static void invoke(value& v, valT&& val)
|
|
|
|
{
|
2017-04-19 04:37:02 +00:00
|
|
|
new(&v.storage_) storage_ptr(
|
|
|
|
toml::make_unique<detail::storage<Array>>(val));
|
2017-04-16 06:12:39 +00:00
|
|
|
}
|
|
|
|
};
|
2017-04-16 07:37:19 +00:00
|
|
|
template<> struct value::switch_assign<value_t::Table>
|
2017-04-16 06:12:39 +00:00
|
|
|
{
|
|
|
|
template<typename valT>
|
|
|
|
static void invoke(value& v, valT&& val)
|
|
|
|
{
|
2017-04-19 04:37:02 +00:00
|
|
|
new(&v.storage_) storage_ptr(
|
|
|
|
toml::make_unique<detail::storage<Table>>(val));
|
2017-04-16 06:12:39 +00:00
|
|
|
}
|
|
|
|
};
|
|
|
|
|
2017-04-16 07:37:19 +00:00
|
|
|
template<> struct value::switch_cast<value_t::Boolean>
|
2017-04-16 06:12:39 +00:00
|
|
|
{
|
|
|
|
static Boolean& invoke(value& v) {return v.boolean_;}
|
|
|
|
static Boolean const& invoke(value const& v) {return v.boolean_;}
|
|
|
|
};
|
2017-04-16 07:37:19 +00:00
|
|
|
template<> struct value::switch_cast<value_t::Integer>
|
2017-04-16 06:12:39 +00:00
|
|
|
{
|
|
|
|
static Integer& invoke(value& v) {return v.integer_;}
|
|
|
|
static Integer const& invoke(value const& v) {return v.integer_;}
|
|
|
|
};
|
2017-04-16 07:37:19 +00:00
|
|
|
template<> struct value::switch_cast<value_t::Float>
|
2017-04-16 06:12:39 +00:00
|
|
|
{
|
|
|
|
static Float& invoke(value& v) {return v.float_;}
|
|
|
|
static Float const& invoke(value const& v) {return v.float_;}
|
|
|
|
};
|
2017-04-16 07:37:19 +00:00
|
|
|
template<> struct value::switch_cast<value_t::String>
|
2017-04-16 06:12:39 +00:00
|
|
|
{
|
|
|
|
static String& invoke(value& v) {return v.string_;}
|
|
|
|
static String const& invoke(value const& v) {return v.string_;}
|
|
|
|
};
|
2017-04-16 07:37:19 +00:00
|
|
|
template<> struct value::switch_cast<value_t::Datetime>
|
2017-04-16 06:12:39 +00:00
|
|
|
{
|
|
|
|
static Datetime& invoke(value& v) {return v.datetime_;}
|
|
|
|
static Datetime const& invoke(value const& v) {return v.datetime_;}
|
|
|
|
};
|
2017-04-16 07:37:19 +00:00
|
|
|
template<> struct value::switch_cast<value_t::Array>
|
2017-04-16 06:12:39 +00:00
|
|
|
{
|
2017-04-19 04:37:02 +00:00
|
|
|
// switch_cast assumes tmeplate argument is correct.
|
|
|
|
// if not, the behaviour is undefined.
|
|
|
|
static Array& invoke(value& v)
|
|
|
|
{
|
|
|
|
return static_cast<detail::storage<Array>*>(v.storage_.get())->value;
|
|
|
|
}
|
|
|
|
static Array const& invoke(value const& v)
|
|
|
|
{
|
|
|
|
return static_cast<detail::storage<Array>*>(v.storage_.get())->value;
|
|
|
|
}
|
2017-04-16 06:12:39 +00:00
|
|
|
};
|
2017-04-16 07:37:19 +00:00
|
|
|
template<> struct value::switch_cast<value_t::Table>
|
2017-04-16 06:12:39 +00:00
|
|
|
{
|
2017-04-19 04:37:02 +00:00
|
|
|
static Table& invoke(value& v)
|
|
|
|
{
|
|
|
|
return static_cast<detail::storage<Table>*>(v.storage_.get())->value;
|
|
|
|
}
|
|
|
|
static Table const& invoke(value const& v)
|
|
|
|
{
|
|
|
|
return static_cast<detail::storage<Table>*>(v.storage_.get())->value;
|
|
|
|
}
|
2017-04-16 06:12:39 +00:00
|
|
|
};
|
|
|
|
|
2017-04-19 04:37:02 +00:00
|
|
|
inline void value::switch_clean(value_t t)
|
|
|
|
{
|
|
|
|
switch(t)
|
|
|
|
{
|
|
|
|
case value_t::Boolean : {boolean_.~Boolean(); return;}
|
|
|
|
case value_t::Integer : {integer_.~Integer(); return;}
|
|
|
|
case value_t::Float : {float_.~Float(); return;}
|
|
|
|
case value_t::String : {string_.~String(); return;}
|
|
|
|
case value_t::Datetime : {datetime_.~Datetime(); return;}
|
|
|
|
case value_t::Array : {storage_.~storage_ptr(); return;}
|
|
|
|
case value_t::Table : {storage_.~storage_ptr(); return;}
|
|
|
|
case value_t::Empty : return;
|
|
|
|
case value_t::Unknown : assert(false);
|
|
|
|
default : assert(false);
|
|
|
|
}
|
|
|
|
}
|
2017-04-16 06:12:39 +00:00
|
|
|
|
2017-04-19 04:37:02 +00:00
|
|
|
inline value::~value()
|
|
|
|
{
|
|
|
|
switch_clean(this->type_);
|
|
|
|
}
|
2017-04-16 06:12:39 +00:00
|
|
|
|
2017-04-19 04:37:02 +00:00
|
|
|
inline value::value(const value& v) : type_(v.type())
|
|
|
|
{
|
|
|
|
switch(v.type())
|
|
|
|
{
|
|
|
|
case value_t::Boolean :
|
|
|
|
{
|
|
|
|
switch_assign<value_t::Boolean>::invoke(
|
|
|
|
*this, v.cast<value_t::Boolean>());
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case value_t::Integer :
|
|
|
|
{
|
|
|
|
switch_assign<value_t::Integer>::invoke(
|
|
|
|
*this, v.cast<value_t::Integer>());
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case value_t::Float :
|
|
|
|
{
|
|
|
|
switch_assign<value_t::Float>::invoke(
|
|
|
|
*this, v.cast<value_t::Float>());
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case value_t::String :
|
|
|
|
{
|
|
|
|
switch_assign<value_t::String>::invoke(
|
|
|
|
*this, v.cast<value_t::String>());
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case value_t::Datetime:
|
|
|
|
{
|
|
|
|
switch_assign<value_t::Datetime>::invoke(
|
|
|
|
*this, v.cast<value_t::Datetime>());
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case value_t::Array :
|
|
|
|
{
|
|
|
|
switch_assign<value_t::Array>::invoke(
|
|
|
|
*this, v.cast<value_t::Array>());
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case value_t::Table :
|
|
|
|
{
|
|
|
|
switch_assign<value_t::Table>::invoke(
|
|
|
|
*this, v.cast<value_t::Table>());
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case value_t::Empty : break;
|
|
|
|
case value_t::Unknown : assert(false);
|
|
|
|
default: assert(false);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
inline value::value(value&& v)
|
|
|
|
{
|
|
|
|
this->type_ = v.type_;
|
|
|
|
switch(this->type_)
|
|
|
|
{
|
|
|
|
case value_t::Boolean :
|
|
|
|
{
|
|
|
|
switch_assign<value_t::Boolean>::invoke(*this,
|
|
|
|
std::move(v.cast<value_t::Boolean>()));
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case value_t::Integer :
|
|
|
|
{
|
|
|
|
switch_assign<value_t::Integer>::invoke(*this,
|
|
|
|
std::move(v.cast<value_t::Integer>()));
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case value_t::Float :
|
|
|
|
{
|
|
|
|
switch_assign<value_t::Float>::invoke(*this,
|
|
|
|
std::move(v.cast<value_t::Float>()));
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case value_t::String :
|
|
|
|
{
|
|
|
|
switch_assign<value_t::String>::invoke(*this,
|
|
|
|
std::move(v.cast<value_t::String>()));
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case value_t::Datetime:
|
|
|
|
{
|
|
|
|
switch_assign<value_t::Datetime>::invoke(*this,
|
|
|
|
std::move(v.cast<value_t::Datetime>()));
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case value_t::Array :
|
|
|
|
{
|
|
|
|
new(&this->storage_) storage_ptr(std::move(v.storage_));
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case value_t::Table :
|
|
|
|
{
|
|
|
|
new(&this->storage_) storage_ptr(std::move(v.storage_));
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case value_t::Empty : break;
|
|
|
|
case value_t::Unknown : assert(false);
|
|
|
|
default: assert(false);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
inline value& value::operator=(const value& v)
|
|
|
|
{
|
|
|
|
if(should_be_cleaned(this->type_))
|
|
|
|
{
|
|
|
|
this->switch_clean(this->type_);
|
|
|
|
}
|
|
|
|
this->type_ = v.type();
|
|
|
|
|
|
|
|
switch(this->type_)
|
|
|
|
{
|
|
|
|
case value_t::Boolean :
|
|
|
|
{
|
|
|
|
switch_assign<value_t::Boolean>::invoke(*this,
|
|
|
|
v.cast<value_t::Boolean>());
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case value_t::Integer :
|
|
|
|
{
|
|
|
|
switch_assign<value_t::Integer>::invoke(*this,
|
|
|
|
v.cast<value_t::Integer>());
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case value_t::Float :
|
|
|
|
{
|
|
|
|
switch_assign<value_t::Float>::invoke(*this,
|
|
|
|
v.cast<value_t::Float>());
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case value_t::String :
|
|
|
|
{
|
|
|
|
switch_assign<value_t::String>::invoke(*this,
|
|
|
|
v.cast<value_t::String>());
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case value_t::Datetime:
|
|
|
|
{
|
|
|
|
switch_assign<value_t::Datetime>::invoke(*this,
|
|
|
|
v.cast<value_t::Datetime>());
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case value_t::Array :
|
|
|
|
{
|
|
|
|
switch_assign<value_t::Array>::invoke(*this,
|
|
|
|
v.cast<value_t::Array>());
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case value_t::Table :
|
|
|
|
{
|
|
|
|
switch_assign<value_t::Table>::invoke(*this,
|
|
|
|
v.cast<value_t::Table>());
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case value_t::Empty : break;
|
|
|
|
case value_t::Unknown : assert(false);
|
|
|
|
default: assert(false);
|
|
|
|
}
|
|
|
|
return *this;
|
|
|
|
}
|
|
|
|
|
|
|
|
inline value& value::operator=(value&& v)
|
|
|
|
{
|
|
|
|
if(should_be_cleaned(this->type_))
|
|
|
|
{
|
|
|
|
this->switch_clean(this->type_);
|
|
|
|
}
|
|
|
|
this->type_ = v.type_;
|
|
|
|
|
|
|
|
switch(this->type_)
|
|
|
|
{
|
|
|
|
case value_t::Boolean :
|
|
|
|
{
|
|
|
|
switch_assign<value_t::Boolean>::invoke(*this,
|
|
|
|
std::move(v.cast<value_t::Boolean>()));
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case value_t::Integer :
|
|
|
|
{
|
|
|
|
switch_assign<value_t::Integer>::invoke(*this,
|
|
|
|
std::move(v.cast<value_t::Integer>()));
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case value_t::Float :
|
|
|
|
{
|
|
|
|
switch_assign<value_t::Float>::invoke(*this,
|
|
|
|
std::move(v.cast<value_t::Float>()));
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case value_t::String :
|
|
|
|
{
|
|
|
|
switch_assign<value_t::String>::invoke(*this,
|
|
|
|
std::move(v.cast<value_t::String>()));
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case value_t::Datetime:
|
|
|
|
{
|
|
|
|
switch_assign<value_t::Datetime>::invoke(*this,
|
|
|
|
std::move(v.cast<value_t::Datetime>()));
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case value_t::Array :
|
|
|
|
{
|
|
|
|
switch_assign<value_t::Array>::invoke(*this,
|
|
|
|
std::move(v.cast<value_t::Array>()));
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case value_t::Table :
|
|
|
|
{
|
|
|
|
switch_assign<value_t::Table>::invoke(*this,
|
|
|
|
std::move(v.cast<value_t::Table>()));
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case value_t::Empty : break;
|
|
|
|
case value_t::Unknown : assert(false);
|
|
|
|
default: assert(false);
|
|
|
|
}
|
|
|
|
return *this;
|
|
|
|
}
|
|
|
|
|
|
|
|
template<typename T, typename std::enable_if<
|
|
|
|
value_traits<T>::is_toml_type, std::nullptr_t>::type>
|
|
|
|
value::value(T&& v) : type_(toml::detail::check_type<T>())
|
|
|
|
{
|
|
|
|
switch_assign<toml::detail::check_type<T>()>::invoke(
|
|
|
|
*this, std::forward<T>(v));
|
|
|
|
}
|
|
|
|
|
|
|
|
template<typename T, typename std::enable_if<
|
|
|
|
value_traits<T>::is_toml_type, std::nullptr_t>::type>
|
|
|
|
value& value::operator=(T&& v)
|
|
|
|
{
|
|
|
|
if(should_be_cleaned(this->type_))
|
|
|
|
{
|
|
|
|
switch_clean(this->type_);
|
|
|
|
}
|
|
|
|
this->type_ = toml::detail::check_type<T>();
|
|
|
|
switch_assign<toml::detail::check_type<T>()>::invoke(
|
|
|
|
*this, std::forward<T>(v));
|
|
|
|
return *this;
|
|
|
|
}
|
|
|
|
|
|
|
|
template<value_t T>
|
|
|
|
inline typename detail::toml_default_type<T>::type const&
|
|
|
|
value::cast() const
|
|
|
|
{
|
|
|
|
if(T != this->type_)
|
|
|
|
throw type_error("current type: " + stringize<char>(this->type_) +
|
|
|
|
std::string(" is not query type: ") + stringize<char>(T));
|
|
|
|
return switch_cast<T>::invoke(*this);
|
|
|
|
}
|
|
|
|
template<value_t T>
|
|
|
|
inline typename detail::toml_default_type<T>::type&
|
|
|
|
value::cast()
|
|
|
|
{
|
|
|
|
if(T != this->type_)
|
|
|
|
throw type_error("current type: " + stringize<char>(this->type_) +
|
|
|
|
std::string(" is not query type: ") + stringize<char>(T));
|
|
|
|
return switch_cast<T>::invoke(*this);
|
|
|
|
}
|
2017-04-19 04:37:39 +00:00
|
|
|
|
|
|
|
/* -------------------------------------------------------------------------- */
|
|
|
|
|
|
|
|
namespace detail
|
|
|
|
{
|
|
|
|
|
|
|
|
struct has_iterator_impl
|
|
|
|
{
|
|
|
|
template<typename T> static std::true_type check(typename T::iterator*);
|
|
|
|
template<typename T> static std::false_type check(...);
|
|
|
|
};
|
|
|
|
struct has_value_type_impl
|
|
|
|
{
|
|
|
|
template<typename T> static std::true_type check(typename T::value_type*);
|
|
|
|
template<typename T> static std::false_type check(...);
|
|
|
|
};
|
|
|
|
struct has_key_type_impl
|
|
|
|
{
|
|
|
|
template<typename T> static std::true_type check(typename T::key_type*);
|
|
|
|
template<typename T> static std::false_type check(...);
|
|
|
|
};
|
|
|
|
struct has_mapped_type_impl
|
|
|
|
{
|
|
|
|
template<typename T> static std::true_type check(typename T::mapped_type*);
|
|
|
|
template<typename T> static std::false_type check(...);
|
|
|
|
};
|
|
|
|
|
|
|
|
template<typename T>
|
|
|
|
struct has_iterator : decltype(has_iterator_impl::check<T>(nullptr)){};
|
|
|
|
template<typename T>
|
|
|
|
struct has_value_type : decltype(has_value_type_impl::check<T>(nullptr)){};
|
|
|
|
template<typename T>
|
|
|
|
struct has_key_type : decltype(has_key_type_impl::check<T>(nullptr)){};
|
|
|
|
template<typename T>
|
|
|
|
struct has_mapped_type : decltype(has_mapped_type_impl::check<T>(nullptr)){};
|
|
|
|
|
|
|
|
template<typename T>
|
|
|
|
struct is_container : std::integral_constant<bool,
|
|
|
|
has_iterator<T>::value && has_value_type<T>::value>{};
|
|
|
|
|
|
|
|
template<typename T>
|
|
|
|
struct is_map : std::integral_constant<bool,
|
|
|
|
has_iterator<T>::value && has_key_type<T>::value &&
|
|
|
|
has_mapped_type<T>::value>{};
|
|
|
|
|
|
|
|
struct is_key_convertible_impl
|
|
|
|
{
|
|
|
|
template<typename T>
|
|
|
|
static std::is_convertible<typename T::key_type, toml::key>
|
|
|
|
check(typename T::key_type*);
|
|
|
|
|
|
|
|
template<typename T> static std::false_type check(...);
|
|
|
|
};
|
|
|
|
template<typename T>
|
|
|
|
struct is_key_convertible : decltype(is_key_convertible_impl::check<T>(nullptr)){};
|
|
|
|
|
|
|
|
} // detail
|
|
|
|
|
|
|
|
template<typename T, value_t vT>
|
|
|
|
struct is_castable : std::false_type{};
|
|
|
|
template<typename T>
|
|
|
|
struct is_castable<T, toml::value_t::Boolean> : std::integral_constant<bool,
|
|
|
|
std::is_convertible<T, toml::Boolean>::value>{};
|
|
|
|
template<typename T>
|
|
|
|
struct is_castable<T, toml::value_t::Integer> : std::integral_constant<bool,
|
|
|
|
std::is_convertible<T, toml::Integer>::value>{};
|
|
|
|
template<typename T>
|
|
|
|
struct is_castable<T, toml::value_t::Float> : std::integral_constant<bool,
|
|
|
|
std::is_convertible<T, toml::Float>::value>{};
|
|
|
|
template<typename T>
|
|
|
|
struct is_castable<T, toml::value_t::String> : std::integral_constant<bool,
|
|
|
|
std::is_convertible<T, toml::String>::value>{};
|
|
|
|
template<typename T>
|
|
|
|
struct is_castable<T, toml::value_t::Datetime> : std::integral_constant<bool,
|
|
|
|
std::is_convertible<T, toml::Datetime>::value>{};
|
|
|
|
template<typename T>
|
|
|
|
struct is_castable<T, toml::value_t::Array> : std::integral_constant<bool,
|
|
|
|
std::is_array<T>::value || toml::detail::is_container<T>::value>{};
|
|
|
|
template<typename T>
|
|
|
|
struct is_castable<T, toml::value_t::Table> : std::integral_constant<bool,
|
|
|
|
toml::detail::is_map<T>::value && toml::detail::is_key_convertible<T>::value>{};
|
|
|
|
template<value_t vT>
|
|
|
|
struct is_castable<toml::value, vT> : std::true_type{};// XXX
|
|
|
|
|
2017-04-16 06:12:39 +00:00
|
|
|
}// toml
|
|
|
|
#endif// TOML_FOR_MODERN_CPP
|