Jaki typ znajduje się w zakresie pętli?

Question

#include <vector> 
#include <iostream> 

int main() 
{ 
    std::vector<int> v = { 1, 2, 3 }; 
    for (auto it : v) 
    { 
     std::cout<<it<<std::endl; 
    } 
} 

Co to jest auto rozwijanie? Czy rozszerza się do int& lub int?

Answer 1

Rozciąga się na wartość int. Jeśli chcesz odniesienia, można użyć

for (auto& it : v) 
{ 
    std::cout<<it<<std::endl; 
} 

Według standardu C++ 11, auto liczy się jako prosty typu specyfikatorem [7.1.6.2], a więc te same zasady odnoszą się do niego jako innym prostym specyfikatorom typu . Oznacza to, że zadeklarowanie referencji pod numerem auto nie różni się niczym od niczego.

Answer 2

Stworzyłem inny przykład, który odpowiada na pytanie:

#include <vector> 
#include <iostream> 

struct a 
{ 
    a() { std::cout<<"constructor" << std::endl; } 
    a(const a&) { std::cout<<"copy constructor" << std::endl; } 
    a(a&&) { std::cout<<"move constructor" << std::endl; } 

    operator int(){return 0;} 
}; 

int main() 
{ 
    std::vector<a> v = { a(), a(), a() }; 

    std::cout<<"loop start" << std::endl; 
    for (auto it : v) 
    { 
     std::cout<< static_cast<int>(it)<<std::endl; 
    } 
    std::cout<<"loop end" << std::endl; 
} 

Jest oczywiste, że auto rozszerza się int, a kopia jest dokonywana. Aby zapobiec kopiowaniu, pętla for musi mieć odniesienie:

for (auto & it : v)