C++ 11 ngữ nghĩa "tự động"

Question

Khi tôi sử dụng C++ 11 auto, các quy tắc loại khấu trừ liên quan đến việc liệu nó sẽ giải quyết thành giá trị hoặc tham chiếu?

ví dụ, đôi khi nó là rõ ràng:

auto i = v.begin(); // Copy, begin() returns an iterator by value 

Đây là chưa rõ ràng:

const std::shared_ptr<Foo>& get_foo(); 
auto p = get_foo(); // Copy or reference? 

static std::shared_ptr<Foo> s_foo; 
auto sp = s_foo; // Copy or reference? 

std::vector<std::shared_ptr<Foo>> c; 
for (auto foo: c) { // Copy for every loop iteration? 

Answer 1

Nguyên tắc rất đơn giản: đó là cách bạn khai báo nó.

int i = 5; 
auto a1 = i; // value 
auto & a2 = i; // reference 

dụ Tiếp theo chứng minh điều đó:

#include <typeinfo> 
#include <iostream>  

template< typename T > 
struct A 
{ 
    static void foo(){ std::cout<< "value" << std::endl; } 
}; 
template< typename T > 
struct A< T&> 
{ 
    static void foo(){ std::cout<< "reference" << std::endl; } 
}; 

float& bar() 
{ 
    static float t=5.5; 
    return t; 
} 

int main() 
{ 
    int i = 5; 
    int &r = i; 

    auto a1 = i; 
    auto a2 = r; 
    auto a3 = bar(); 

    A<decltype(i)>::foo();  // value 
    A<decltype(r)>::foo();  // reference 
    A<decltype(a1)>::foo();  // value 
    A<decltype(a2)>::foo();  // value 
    A<decltype(bar())>::foo(); // reference 
    A<decltype(a3)>::foo();  // value 
} 

Sản lượng:

value 
reference 
value 
value 
reference 
value 

Answer 2

§7.1.6.4 [dcl.spec.auto] p6

Khi loại một declarator-id đã được xác định d theo 8.3, loại biến được khai báo sử dụng mã khai báo được xác định từ loại trình khởi tạo của nó bằng cách sử dụng quy tắc khấu trừ đối số mẫu.

Điều này có nghĩa là không có gì khác hơn là auto khấu trừ đối số mẫu mô hình trong khi gọi hàm.

template<class T> 
void f(T){} // #1, will also be by-value 

template<class T> 
void g(T&){} // #2, will always be by-reference 

Lưu ý rằng # 1 sẽ luôn sao chép đối số đã qua, bất kể bạn chuyển tham chiếu hay bất kỳ điều gì khác. (Trừ khi bạn chỉ định cụ thể đối số mẫu như f<int&>(intref);.)

Answer 3

Bất kể bạn nhận được gì từ bên phải (của "=") không bao giờ là tham chiếu. Cụ thể hơn là kết quả của một biểu thức không bao giờ là một tham chiếu. Trong ánh sáng này, lưu ý sự khác biệt giữa các kết quả trong ví dụ.

#include <typeinfo> 
#include <iostream> 

template< typename T > 
struct A 
{ 
    static void foo(){ std::cout<< "value" << std::endl; } 
}; 

template< typename T > 
struct A< T&> 
{ 
    static void foo(){ std::cout<< "reference" << std::endl; } 
}; 

float& bar() 
{ 
    static float t=5.5; 
    return t; 
} 

int main() 
{ 
    auto a3 = bar(); 

    A<decltype(bar())>::foo(); // reference 
    A<decltype(a3)>::foo(); // value 
}