Les paramètres avec défaut sont toujours en position de position. Votre exemple est le même que
void foo(int i=8, const char * c="hello world")
{
std::cout << "Default param \t= " << i << "\n";
std::cout << "Additional param \t= " << c << "\n";
}
int main()
{
foo(); // 8 "hello world"
foo(1, "str1"); // 1 "str1"
foo("str3"); // ERROR: parameter mismatch
return 0;
}
Le passage que vous avez cité s'applique uniquement à la déclaration et non à l'appel de la fonction. La déclaration de fonction devrait donc effectivement compiler (et elle le fait), mais le dernier appel ne le fait pas (et il n'y a aucune raison pour laquelle il devrait). En outre, vous n'effectuez pas une instanciation explicite nulle part. Enfin, l'ajout d'un pack de paramètres ne signifie pas que vous devez ignorer les exigences de position des arguments optionnels ...
@Maxlanghof Oui, le code ci-dessus n'a pas d'instanciation explicite. Mais j'ai essayé la même chose avec ladite instanciation explicite. Cela ne compile pas. Compte tenu du fait qu'il ne compilait pas non plus si je mettrais le paramètre par défaut à droite au paramètre Pack, il me semble que le concept de paramètre par défaut dans une fonction variable n'existe pas du tout. Est-ce que c'est ça?
Bien sûr qu'il existe. Vos deux premiers appels de fonction démontrent que cela fonctionne parfaitement bien. Vous pouvez réellement mettre deux choses optionnelles (le paramètre facultatif et un paquet de paramètres éventuellement vide) dans la même fonction, mais cela ne vous libère pas de contraintes concernant la position des paramètres. Si vos arguments de fonction commencent par un paramètre facultatif que vous devez ne fournir aucun paramètre ou vous devez fournir une valeur pour le paramètre facultatif. Si les arguments ultérieurs sont variadiques ou optionnels changent rien à ce sujet.