Type de retour void et return f()

Bonjour

Sur <URL:http://www.boost.org/doc/html/function.reference.html>, je
viens de voir l'extrait suivant :

A function object f is compatible if for the given set of argument
types Arg1, Arg2, ..., ArgN and a return type ResultType, the
appropriate following function is well-formed:

// if ResultType is not void
ResultType foo(Arg1 arg1, Arg2 arg2, ..., ArgN argN)
{
return f(arg1, arg2, ..., argN);
}

// if ResultType is void
ResultType foo(Arg1 arg1, Arg2 arg2, ..., ArgN argN)
{
f(arg1, arg2, ..., argN);
}

Il me semblait pourtant que l'on pouvait « retourner » quelque chose
dans une fonction dont le type de retour est void, pour autant que ce
quelque chose soit également void. Comme une le résultat d'uneautre
fonction retournant void. Je pense d'ailleurs que c'est le seul cas.

void f() {
}
void g() {
return f() ;
}

Ce qui est justement utile dans ce genre de cas. lorsque l'on a un
paramètre de modèle qui spécifie le type de retour d'une fonction. Le
code ci-dessus passe d'ailleurs sans avertissement sur G++. Mais
j'aimerais être certain de la chose.

--drkm, en recherche d'un stage : http://www.fgeorges.org/ipl/stage.html