TypeTraits.hpp

Go to the documentation of this file.

// The Reactive C++ Toolbox.
// Copyright (C) 2013-2019 Swirly Cloud Limited
// Copyright (C) 2022 Reactive Markets Limited
//
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
//     http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.
 
#ifndef TOOLBOX_UTIL_TYPETRAITS_HPP
#define TOOLBOX_UTIL_TYPETRAITS_HPP
 
#include <toolbox/util/Utility.hpp>
 
#include <string>
 
namespace toolbox {
inline namespace util {
 
template <typename ValueT>
struct TypeTraits {
    template <typename StringT>
    static constexpr auto from_string(StringT&& s) noexcept(noexcept(ValueT{s}))
    {
        return ValueT{s};
    }
};
 
template <typename ValueT>
    requires std::integral<ValueT>
struct TypeTraits<ValueT> {
    static constexpr auto from_string(std::string_view sv) noexcept { return ston<ValueT>(sv); }
};
 
template <>
struct TypeTraits<bool> {
    static auto from_string(std::string_view sv) noexcept { return stob(sv); }
};
 
template <>
struct TypeTraits<double> {
    static auto from_string(std::string_view sv) noexcept { return stod(sv); }
};
 
template <>
struct TypeTraits<std::string_view> {
    static constexpr auto from_string(std::string_view sv) noexcept { return sv; }
    static std::string_view from_string(const std::string& s) = delete;
};
 
template <>
struct TypeTraits<std::string> {
    static std::string from_string(std::string_view sv) { return {sv.data(), sv.size()}; }
    static std::string from_string(const std::string& s) { return s; }
};
 
template <typename TypeT>
struct is_string : std::is_same<char*, std::remove_cv_t<typename std::decay_t<TypeT>>>::type {};
 
template <>
struct is_string<std::string> : std::true_type {};
 
template <>
struct is_string<std::string_view> : std::true_type {};
 
template <typename TypeT, template <typename> class TemplateTypeT>
struct is_instantiation_of : std::false_type {};
 
template <typename TypeT, template <typename> class TemplateTypeT>
struct is_instantiation_of<TemplateTypeT<TypeT>, TemplateTypeT> : std::true_type {};
 
} // namespace util
} // namespace toolbox
 
#endif // TOOLBOX_UTIL_TYPETRAITS_HPP