Ildefonso è un nome proprio di persona italiano maschile.

Si tratta di un adattamento spagnolo del nome germanico, di tradizione visigota, Hildefons; è composto dalle radici hild ("battaglia") e funs ("pronto", "veloce", "valoroso"), quindi può essere interpretato come "pronto alla battaglia" o "valoroso in battaglia". Il primo elemento, comunissimo nell'onomastica germanica, è presente in vari altri nomi (quali Matilde, Clotilde, Romilda, Childerico, Ildebrando...), mentre il secondo si ritrova in Alfonso, nome che, peraltro, potrebbe avere la stessa etimologia di Ildefonso
Il nome, portato da un santo vescovo di Toledo nel VII secolo che si operò per la diffusione del culto mariano, si è diffuso in Italia nel periodo di dominazione spagnola, ed è attestato principalmente in Lombardia.
L'onomastico si può festeggiare in memoria di più santi, alle date seguenti:
