Quelles optimisation fait le compilo ?

Bonjour,

Je suis à la recherche d'un document qui explique simplement (avec le moins
possible de langage machine) les optimisations réalisées par le compilateur.

Régulièrement, je veux faire une fonction qui retourne un type un peu
complexe (des vecteurs, des strings...). Je fais donc
std::vector<std::string> foo()
{
std::vector<std::string> data;
//remplit data
return data;
}

int main()
{
std::vector<std::string> result = foo();
}

Théoriquement, il doit y avoir une construction de std::vector<std::string>
dans foo, un constructeur par copie dans main, et l'appel au destructeur de
l'objet créé dans foo. C'est dommage (surtout si data contient beaucoup de
données). Une optimisation simple consiste à faire
void foo(std::vector<std::string>& data)
{
//remplit data
}
int main()
{
std::vector<std::string> result; foo(result);
}

ou encore (un peu moins bien, mais toujours mieux que l'original)

std::vector<std::string> foo()
{
std::vector<std::string> data;
//remplit data
return data;
}
int main()
{
std::vector<std::string> result; result.swap(foo());
}

Dans la premiere optimisation, on n'a plus qu'une seul construction de
std::vector<std::string>. Dans la seconde, on a pas de duplication des
données en mémoire.

Est ce que je peux compter sur le compilo pour faire une de ces deux
optimisations ?

Merci
--
Vincent

PS: est ce que fclc++ est le groupe le plus adapté pour parlé de ca ?