[Python] 문자열에서 숫자만 뽑아서 정수로 반환하는 함수

def dec(x):
    res = ''
    for s in x:
        if s.isdecimal():
            res += s
    return int(res)

for 문 안에서 res = res * 10 + int(x) 굳이 이렇게 돌리지 않더라도, 문자열을 정수로 변환하는 방법으로 간단히 해결할 수 있습니다.