Comment les Lambdas génériques C 14 obtiennent-ils un comportement de type générique ?

Lambdas génériques en C 14

En C 14, les lambdas génériques permettent de définir des lambdas avec auto comme type d'argument, permettant un comportement générique de type . Comprendre leur fonctionnement met en lumière leurs mécanismes sous-jacents.

Opérateur d'appel modèle

Les lambdas génériques définissent un type de fermeture avec un opérateur d'appel basé sur un modèle plutôt qu'un opérateur sans modèle. comme les lambdas C 11. Cela signifie que lorsque auto apparaît dans la liste des paramètres, le compilateur crée un modèle de fonction pour l'opérateur d'appel.

Exemple :

auto glambda = [](auto a) { return a; };

Le lambda ci-dessus crée un instance du type suivant :

class /* unnamed */
{
public:
    template<typename T>
    T operator () (T a) const { return a; }
};

Type Erasure vs. Template Polymorphisme

Les lambdas génériques sont plus proches des génériques de Java, qui utilisent l'effacement de type. Contrairement aux modèles C, qui génèrent plusieurs fonctions avec différents types, les lambdas génériques créent une seule fonction avec un opérateur d'appel d'effacement de type.

Liste des paramètres de type

Les lambda génériques Le modèle d'opérateur d'appel comprend une liste de paramètres de modèle pour chaque occurrence de auto dans la déclaration de paramètre. Le type de chaque paramètre de modèle correspond au type de la variable correspondante.

Conclusion :

Les lambdas génériques en C 14 permettent une programmation générique de type en définissant des expressions lambda avec un opérateur d'appel basé sur un modèle. Cela fournit un moyen concis de créer des fonctions d'effacement de type similaires aux génériques de Java.

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!