La déduction de type membre d'une classe privée avec « auto » est-elle valide en C ?

Auto sur les types privés

Utiliser auto pour déclarer une variable peut prêter à confusion lorsqu'il s'agit de membres de classe privée. Dans cet exemple, le code est compilé avec succès :

class Foo {
    struct Bar { int i; };
public:
    Bar Baz() { return Bar(); }
};

int main() {
    Foo f;
    auto b = f.Baz();
    std::cout << b.i;
}

Ce code est-il valide ? Si oui, pourquoi ?

Le code est bien valide. auto suit les mêmes règles que la déduction de type modèle. La raison pour laquelle auto b = f.Baz(); et amusant(f.Baz()); compiler est dû au fait que le type de Foo::Bar est utilisable, même si son nom est privé.

Pourquoi le type est-il utilisable si son nom est privé ?

Le l'inaccessibilité des types privés ne s'étend qu'à leurs noms. Les types eux-mêmes peuvent toujours être utilisés, ce qui permet de les renvoyer au code client et de les transmettre aux fonctions de modèle.

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!