Por mi parte ya te comenté en otro mensaje ...
Te hice el comentario y como veras ahí mismo no sé por qué no quieres usar una classe (PHP Mailer) que ya se inventó para eso (es gratuita). No es una "función" sino una classe (objeto) .. se usa tal cual veras en los ejemplos de su tutorial. Pero bueno .. en la documentación de mail() tienes ejemplos de "funciones" para enviar el e-mail con un archivo adjunto.
--------
Cita: También quería saber como se comprueba que el archivo se ha adjuntado, es decir que al igual que existen funciones como is_empty para texto y tal, si existe alguna función parecida para ficheros.
Parte del proceso que debes hacer para ajuntar tu e-mail es:
1) componer las cabeceras HTTP adecuadas (protocolo HTTP).
2) abrir tu archivo y llevarlo a una variabel (fopen() o funciones similares) y aplicar algunas otras funciones (codificarlo en base64 entre otras cosas ..)
Eso sería como funciona el tema de "componer un e-mail multiparte" para poder ajuntar tu archivo .. pero fijate que en el e-mail en el fondo tu "archivo binario" viaja en formato "texto plano" pero .. codificado de cierta forma y con la "indicación" de donde y que "parte" del e-mail es el archivo en sí.
Todo esto como "cultura general" está muy bien saberlo .. pero en la práctica nunca lo haras "a mano" y menos lo haras constantemente. Por mi parte recomiendo "PHP Mailer" por qué es una classe de las más completas para enviar e-mails desde PHP de forma cómoda y con multitud de opciones.
Tienes que saber también que el archivo que "adjuntas" ha de estar en el servidor para poder enviarlo .. Directamente no se peude ajuntar un e-mail que está en el clienet (PC) de tu usuario que usa tu formualrio para componer tu e-mail, así que si no tienes ese archivo ya en tu servidor .. tendrás que "subirlo" y eso lo haras con las técnicas de "Upload" de PHP:
http://www.php.net/manual/en/features.file-upload.php
Un saludo,