annotate cpp/to_int/to_int.hpp @ 626:64884a4de16a

to_int: initial import
author David Demelier <markand@malikania.fr>
date Thu, 26 Oct 2017 19:45:00 +0200
parents
children b327391f6a62
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
626
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
1 /*
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
2 * to_int.hpp -- safely convert string to integers
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
3 *
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
4 * Copyright (c) 2016-2017 David Demelier <markand@malikania.fr>
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
5 *
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
6 * Permission to use, copy, modify, and/or distribute this software for any
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
7 * purpose with or without fee is hereby granted, provided that the above
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
8 * copyright notice and this permission notice appear in all copies.
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
9 *
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
10 * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
11 * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
12 * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
13 * ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
14 * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
15 * ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
16 * OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
17 */
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
18
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
19 #ifndef TO_INT_HPP
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
20 #define TO_INT_HPP
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
21
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
22 /**
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
23 * \file to_int.hpp
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
24 * \brief Safely convert string to integers.
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
25 */
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
26
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
27 #include <cassert>
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
28 #include <limits>
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
29 #include <sstream>
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
30 #include <stdexcept>
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
31 #include <string>
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
32 #include <type_traits>
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
33
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
34 /**
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
35 * \cond HIDDEN_SYMBOLS
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
36 */
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
37
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
38 namespace detail {
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
39
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
40 std::invalid_argument make_invalid_argument(const std::string& str)
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
41 {
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
42 std::ostringstream oss;
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
43
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
44 oss << "invalid number '" << str << "'";
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
45
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
46 return std::invalid_argument(oss.str());
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
47 }
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
48
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
49 template <typename T>
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
50 std::out_of_range make_out_of_range(const std::string& str, T min, T max)
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
51 {
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
52 std::ostringstream oss;
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
53
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
54 oss << "number '" << str << "' is out of range ";
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
55 oss << min << ".." << max;
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
56
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
57 return std::out_of_range(oss.str());
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
58 }
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
59
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
60 } // !detail
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
61
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
62 /**
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
63 * \endcond
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
64 */
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
65
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
66 /**
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
67 * Convert the given string into a signed integer.
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
68 *
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
69 * \param str the string to convert
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
70 * \param min the minimum value allowed
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
71 * \param max the maximum value allowed
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
72 * \throw std::invalid_argument if the number was not parsed
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
73 * \throw std::out_or_range if the argument is out of the specified range
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
74 */
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
75 template <typename T = int>
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
76 T to_int(const std::string& str, T min = std::numeric_limits<T>::min(), T max = std::numeric_limits<T>::max())
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
77 {
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
78 static_assert(std::is_signed<T>::value, "must be signed");
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
79
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
80 char* end;
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
81 auto v = std::strtoll(str.c_str(), &end, 10);
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
82
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
83 if (*end != '\0')
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
84 throw detail::make_invalid_argument(str);
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
85 if (v < min || v > max)
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
86 throw detail::make_out_of_range(str, min, max);
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
87
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
88 return static_cast<T>(v);
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
89 }
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
90
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
91 /**
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
92 * Convert the given string into an unsigned integer.
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
93 *
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
94 * In contrast to the [std::strtoull][strtoull] function, this functions
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
95 * verifies if the string starts with minus sign and throws an exception if any.
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
96 *
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
97 * Note, for this you need to have a trimmed string which contains no leading
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
98 * whitespaces.
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
99 *
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
100 * \pre string must be trimmed
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
101 * \param str the string to convert
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
102 * \param min the minimum value allowed
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
103 * \param max the maximum value allowed
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
104 * \throw std::invalid_argument if the number was not parsed
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
105 * \throw std::out_or_range if the argument is out of the specified range
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
106 *
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
107 * [strtoull]: http://en.cppreference.com/w/cpp/string/byte/strtoul
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
108 */
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
109 template <typename T = unsigned>
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
110 T to_uint(const std::string& str, T min = std::numeric_limits<T>::min(), T max = std::numeric_limits<T>::max())
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
111 {
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
112 static_assert(std::is_unsigned<T>::value, "must be unsigned");
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
113
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
114 assert(str.empty() || !std::isspace(str[0]));
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
115
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
116 if (str.size() > 0U && str[0] == '-')
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
117 throw detail::make_out_of_range(str, min, max);
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
118
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
119 char* end;
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
120 auto v = std::strtoull(str.c_str(), &end, 10);
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
121
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
122 if (*end != '\0')
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
123 throw detail::make_invalid_argument(str);
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
124 if (v < min || v > max)
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
125 throw detail::make_out_of_range(str, min, max);
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
126
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
127 return v;
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
128 }
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
129
64884a4de16a to_int: initial import
David Demelier <markand@malikania.fr>
parents:
diff changeset
130 #endif // !TO_INT_HPP