Pourquoi ne puis-je pas transmettre une référence non const à `std::async` et comment puis-je contourner ce problème ?

Incompatibilités dans le passage d'arguments à std::async par référence

L'impossibilité de transmettre une référence non const comme argument à std : :async a laissé les développeurs perplexes. Prenons l'exemple suivant :

<code class="cpp">#include <functional>
#include <future>

void foo(int& value) {}

int main() {
    int value = 23;
    std::async(foo, value);
}</code>

Les compilateurs signalent une erreur avec ce code :

error: no type named ‘type’ in ‘class std::result_of<void (*)(int)>()’

Encadrer l'argument dans std::reference_wrapper résout le problème, mais cela soulève des questions sur le sous-jacent mécanisme.

Raisonnement derrière la transmission d'arguments basés sur la valeur

La conception de std::async transmet intentionnellement par défaut tous les arguments par valeur. Ce choix garantit la sécurité, car les copies d'arguments ne peuvent pas rester suspendues ou présenter des conditions de concurrence.

Adressage des paramètres de référence non const

Cependant, il existe des scénarios dans lesquels la transmission d'un argument par référence non const est nécessaire. C'est là que std :: ref entre en jeu. std::ref permet aux développeurs d'opter explicitement pour la sémantique risquée consistant à transmettre des références non const, reconnaissant leur compréhension des conséquences potentielles.

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!