get int from stdin, C++ (vc++)

Language: Layout:

//Microsoft (R) C/C++ Optimizing Compiler Version 19.00.23506 for x86

#include <iostream>
#include <string>
#include <algorithm>
#include <cctype>
#include <iomanip>
#include <sstream>

int get_int_from_stdin( std::string prompt = {}, bool repeat = false ) // noisy, non-throwing version
{
    std::cout << prompt ;

std::string line ;
    if( std::getline( std::cin, line ) )
    {
        try
        {
            std::size_t pos ;
            const int number = std::stoi( line, std::addressof(pos) ) ;

const auto trailing_spaces = [&] { return std::all_of( line.begin()+pos, line.end(),
                                                                   [] ( char c ) { return std::isspace(c) ; } ) ; };
            if( pos == line.size() || trailing_spaces() ) return number ;

std::cout << std::quoted(line) << " *** error: invalid trailing character(s) "
                      << std::quoted( line.substr(pos) ) << '\n' ;
        }
        catch( const std::invalid_argument& ) { std::cout << std::quoted(line) << " *** error:  not an integer\n" ; }
        catch( const std::out_of_range& ) { std::cout << std::quoted(line) << " *** error: not within the range of int\n" ; }
    }

else if(repeat)
    {
        std::cout << "*** error: unable to recover from eof on stdin. returning zero.\n\n" ;
        return 0 ;
    }

else
    {
        std::cout << "unexpected eof on stdin. trying to recover\n" ;
        std::cin.clear() ;
        return get_int_from_stdin( prompt, true ) ;
    }

return get_int_from_stdin(prompt) ;
}

int main()
{
    std::stringbuf input( "xxyyzz\n123xyz\n123 xy\n123.0\n123 12\n1234567890123\n+-123\n-123   \n456h\n" );
    std::cin.rdbuf( std::addressof(input) ) ;

const int number = get_int_from_stdin() ;
    std::cout << "\nnumber == " << number << "\n\n" ;

get_int_from_stdin() ;
}

Show compiler warnings [ + ] Compiler args [ + ] Show input
Compilation time: 2,77 sec, absolute running time: 0,44 sec, absolute service time: 3,22 sec