Type de iterator pour la gamme basée sur boucle

Question

Dire que j'ai le code suivant:

std::vector<std::string> foo({"alice", "bob"}); 
for (const std::string &f : foo) 
    std::cout << f.size() << std::endl; 

si je fais une erreur et de changer f.size() à f->size(), je reçois l'erreur suivante de GCC:

error: base operand of ‘->’ has non-pointer type ‘const string {aka const std::basic_string}

Pourquoi le type actuel est-il const std::basic_string<char> plutôt que const std::basic_string<char> & (référence)?

Answer 1

Le côté gauche de l'opérateur -> est une expression. Il n'y a pas aucune telle chose comme une expression avec un type de référence:

5p5 If an expression initially has the type “reference to T” (8.3.2, 8.5.3), the type is adjusted to T prior to any further analysis. The expression designates the object or function denoted by the reference, and the expression is an lvalue or an xvalue, depending on the expression.