1 #include "gb/shlmisc.h" 7 #include "gb/GB_server.h" 8 #include "gb/buffers.h" 10 #include "gb/globals.h" 16 if (s.size() > 1 && s[0] ==
'#') {
18 return string_to_shipnum(s);
21 if (s.size() > 0 && std::isdigit(s[0])) {
22 return (std::stoi(std::string(s.begin(), s.end())));
28 auto a = string_to_shipnum(
"123");
30 auto b = string_to_shipnum(
"#123");
32 auto c = string_to_shipnum(
"##123");
34 auto d = string_to_shipnum(
"abc");
36 auto e = string_to_shipnum(
"##abc");
38 auto f = string_to_shipnum(
"");
std::optional< shipnum_t > string_to_shipnum(std::string_view s)
Convert input string to a shipnum_t.