función de replace_extension
Reemplaza la extensión de nombre de archivo del nombre de archivo especificado.
template<class Path>
inline Path replace_extension(
const Path& Pval,
const typename Path::string_type& Newext
);
Parámetros
Pval
Un objeto Path.Path puede ser basic_path o un tipo derivado de basic_path.Newext
La nueva extensión.
Valor devuelto
Una copia de Pval que contiene la nueva extensión.
Requisitos
El sistema de archivos Encabezado:
Espacio de nombres: std::tr2::sys