Pourquoi « auto » fonctionne-t-il avec des types privés alors que la déclaration explicite échoue ?

Utilisation de 'auto' sur des types privés : accessibilité dévoilée

Lorsque vous travaillez avec des types privés au sein d'une classe, vous pouvez rencontrer une situation curieuse : en essayant de déclarer explicitement un La variable utilisant le nom du type entraîne une erreur, l'utilisation de « auto » pour déduire que le type semble fonctionner de manière transparente.

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

Dans le code donné, Foo contient une barre de type imbriquée privée. L'exécution de la ligne suivante génère une erreur :

Foo::Bar b = f.Baz();  // error

De façon inattendue, l'utilisation de « auto » résout le problème :

auto b = f.Baz();         // ok

Pourquoi est-ce autorisé ?

La déduction de type « auto » et l'inférence de type de modèle partagent un mécanisme sous-jacent similaire. Dans ce cas, cela ressemble à la façon dont les fonctions de « modèle » peuvent fonctionner avec des types privés :

template <typename T>
void fun(T t) {}

int main() {
    Foo f;
    fun(f.Baz());         // ok
}

Dévoilement de l'accessibilité

La possibilité de transmettre des objets de types privés à les fonctions de modèle ou l'utilisation de « auto » pour déduire leur type vient du fait que le type lui-même reste accessible, même si son nom est masqué. Le compilateur, grâce à la déduction de type, démêle la structure de l'objet, permettant son utilisation.

Par conséquent, même si le nom d'un type privé est inaccessible, ses informations de type sont toujours disponibles, permettant la manipulation via des mécanismes tels que 'auto ' ou déduction 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!