#include <iostream>
#include <string>
#include <algorithm>
std::string extract_digits_copy_if(const std::string& s) {
std::string digits;
std::copy_if(s.begin(), s.end(), std::back_inserter(digits),
[](char ch){ return std::isdigit(static_cast<unsigned char>(ch)); });
return digits;
}
int main() {
std::string s = "c++28$c#.net&^java*() php <>/python 3.14.7";
std::cout << extract_digits_copy_if(s) << std::endl; // "283147"
}
/*
run:
283147
*/