#include using namespace std; using LL = long long int; #define incII(i, l, r) for(LL i = (l) ; i <= (r); i++) #define incIX(i, l, r) for(LL i = (l) ; i < (r); i++) #define incXI(i, l, r) for(LL i = (l) + 1; i <= (r); i++) #define incXX(i, l, r) for(LL i = (l) + 1; i < (r); i++) #define decII(i, l, r) for(LL i = (r) ; i >= (l); i--) #define decIX(i, l, r) for(LL i = (r) - 1; i >= (l); i--) #define decXI(i, l, r) for(LL i = (r) ; i > (l); i--) #define decXX(i, l, r) for(LL i = (r) - 1; i > (l); i--) #define inc(i, n) incIX(i, 0, n) #define dec(i, n) decIX(i, 0, n) #define inc1(i, n) incII(i, 1, n) #define dec1(i, n) decII(i, 1, n) auto inII = [](auto x, auto l, auto r) { return (l <= x && x <= r); }; auto inIX = [](auto x, auto l, auto r) { return (l <= x && x < r); }; auto inXI = [](auto x, auto l, auto r) { return (l < x && x <= r); }; auto inXX = [](auto x, auto l, auto r) { return (l < x && x < r); }; auto setmin = [](auto & a, auto b) { return (b < a ? a = b, true : false); }; auto setmax = [](auto & a, auto b) { return (b > a ? a = b, true : false); }; auto setmineq = [](auto & a, auto b) { return (b <= a ? a = b, true : false); }; auto setmaxeq = [](auto & a, auto b) { return (b >= a ? a = b, true : false); }; #define PB push_back #define EB emplace_back #define MP make_pair #define MT make_tuple #define FI first #define SE second #define FR front() #define BA back() #define ALL(c) c.begin(), c.end() #define RALL(c) c.rbegin(), c.rend() #define RV(c) reverse(ALL(c)) #define SC static_cast #define SI(c) SC(c.size()) #define SL(c) SC(c.size()) #define RF(e, c) for(auto & e: c) #define SF(c, ...) for(auto & [__VA_ARGS__]: c) #define until(e) while(! (e)) #define if_not(e) if(! (e)) #define ef else if #define UR assert(false) auto * IS = & cin; auto * OS = & cout; array SEQ = { "", " ", "" }; // input template T in() { T a; (* IS) >> a; return a; } // input: tuple template void tin_(istream & is, U & t) { if constexpr(I < tuple_size::value) { is >> get(t); tin_(is, t); } } template istream & operator>>(istream & is, tuple & t) { tin_<0>(is, t); return is; } template auto tin() { return in>(); } // input: array template istream & operator>>(istream & is, array & a) { RF(e, a) { is >> e; } return is; } template auto ain() { return in>(); } // input: multi-dimensional vector template T vin() { T v; (* IS) >> v; return v; } template auto vin(N n, M ... m) { vector(m ...))> v(n); inc(i, n) { v[i] = vin(m ...); } return v; } // input: multi-column (tuple) template void colin_([[maybe_unused]] U & t) { } template void colin_(U & t) { get(t).PB(in()); colin_(t); } template auto colin(int n) { tuple ...> t; inc(i, n) { colin_ ...>, 0, T ...>(t); } return t; } // output void out_([[maybe_unused]] string s) { } template void out_([[maybe_unused]] string s, A && a) { (* OS) << a; } template void out_(string s, A && a, B && ... b) { (* OS) << a << s; out_(s, b ...); } auto outF = [](auto x, auto y, auto z, auto ... a) { (* OS) << x; out_(y, a ...); (* OS) << z << flush; }; auto out = [](auto ... a) { outF("", " " , "\n", a ...); }; auto outS = [](auto ... a) { outF("", " " , " " , a ...); }; auto outL = [](auto ... a) { outF("", "\n", "\n", a ...); }; auto outN = [](auto ... a) { outF("", "" , "" , a ...); }; // output: multi-dimensional vector template ostream & operator<<(ostream & os, vector const & v) { os << SEQ[0]; inc(i, SI(v)) { os << (i == 0 ? "" : SEQ[1]) << v[i]; } return (os << SEQ[2]); } template void vout_(T && v) { (* OS) << v; } template void vout_(T && v, A a, B ... b) { inc(i, SI(v)) { (* OS) << (i == 0 ? "" : a); vout_(v[i], b ...); } } template void vout (T && v, A a, B ... b) { vout_(v, a, b ...); (* OS) << a << flush; } template void voutN(T && v, A a, B ... b) { vout_(v, a, b ...); (* OS) << flush; } // ---- ---- namespace validate { using LL = long long int; using CC = std::function; using S = std::string; namespace char_class { bool upper(char c) { return ('A' <= c && c <= 'Z'); } bool lower(char c) { return ('a' <= c && c <= 'z'); } bool digit(char c) { return ('0' <= c && c <= '9'); } bool alpha(char c) { return (upper(c) || lower(c)); } bool alnum(char c) { return (alpha(c) || digit(c)); } bool digit_or_minus(char c) { return (digit(c) || c == '-'); } CC of(S const & s) { return [&](char c) { return (std::count(s.begin(), s.end(), c) > 0); }; } } namespace internal { bool is_end = false; S input_while(CC ok) { S s; while(true) { char c = std::cin.get(); if(ok(c)) { s += c; } else { std::cin.unget(); break; } } return s; } bool is_positive_integer(S const & s) { if(s == "" || s[0] == '0') { return false; } for(char c: s) { if(! char_class::digit(c)) { return false; } } return true; } bool is_integer(S const & s) { if(s == "") { return false; } if(s == "0") { return true; } return is_positive_integer(s.substr(s[0] == '-' ? 1 : 0)); } } S tag_def = "[?]"; S tag_sep = " --> "; void check(bool p, S tag = tag_def) { if(! p) { std::cerr << "[!] Validation error: " << tag << std::endl; internal::is_end = true; exit(1); } } void input_equal(S s, S tag = tag_def) { tag += tag_sep + __func__; for(char c: s) { check(std::cin.get() == c, tag); } } LL get_int(LL mi, LL ma, S term, S tag = tag_def) { tag += tag_sep + __func__; auto s = internal::input_while(char_class::digit_or_minus); check(internal::is_integer(s), tag + " (is_integer)"); LL n = stoll(s); check(mi <= n && n <= ma, tag + " (range)"); input_equal(term, tag + " (term)"); return n; } std::vector get_vector_int(int n, LL mi, LL ma, S sep, S term, S tag = tag_def) { tag += tag_sep + __func__; check(0 <= n, tag + " (n: non-negative)"); std::vector v; while(static_cast(v.size()) < n) { auto tag_i = tag + " ([" + std::to_string(v.size()) + "])"; v.push_back(get_int(mi, ma, "", tag_i)); if(static_cast(v.size()) < n) { input_equal(sep, tag_i + " (sep)"); } } input_equal(term, tag + " (term)"); return v; } S get_string(int n, CC ok, S term, S tag = tag_def) { tag += tag_sep + __func__ + " by length"; check(0 <= n, tag + " (n: non-negative)"); S s; while(static_cast(s.size()) < n) { s += std::cin.get(); check(ok(s.back()), tag + " (char_class)"); } input_equal(term, tag + " (term)"); return s; } S get_string(CC ok, int mi, int ma, S term, S tag = tag_def) { tag += tag_sep + __func__ + " by char_class"; auto s = internal::input_while(ok); check(mi <= static_cast(s.size()) && static_cast(s.size()) <= ma, tag + " (length)"); input_equal(term, tag + " (term)"); return s; } void input_end(S tag = tag_def) { tag += tag_sep + __func__; input_equal({ EOF }, tag); internal::is_end = true; } namespace internal { struct End { ~ End() { check(is_end, "Missing validate::input_end()."); } } end_; } } // ---- int main() { auto s = validate::get_string(validate::char_class::alpha, 1, 10, "\n"); validate::input_end(); out(s); }