Tôi có nên sử dụng tính năng 'tự động' mới của C ++ 11, đặc biệt là trong các vòng lặp không?

Những ưu / nhược điểm khi sử dụng autotừ khóa, đặc biệt là trong các vòng lặp là gì?

for(std::vector<T>::iterator it = x.begin(); it != x.end(); it++ )
{
   it->something();
}

for(std::map<T>::iterator it = x.begin(); it != x.end(); it++ )
{
   it->second->something();
}

for(auto it = x.begin(); it != x.end(); it++ )
{
   it->??
}

Có vẻ như nếu bạn không biết liệu bạn có một iterator cho một bản đồ hoặc một vector bạn sẽ không biết liệu có nên sử dụng firsthay secondhay chỉ trực tiếp các thuộc tính truy cập của đối tượng, đúng không?

Điều này nhắc nhở tôi về cuộc tranh luận về C # về việc có nên sử dụng từ khóa hay không var. Ấn tượng tôi nhận được cho đến nay là trong thế giới C ++, mọi người sẵn sàng chấp nhận autotừ khóa với ít cuộc chiến hơn vartrong thế giới C #. Đối với tôi, bản năng đầu tiên của tôi là tôi muốn biết loại biến để tôi có thể biết những thao tác nào tôi có thể mong đợi để thực hiện trên nó.

Các động lực trong C ++ là cực đoan hơn, vì các loại có thể trở nên phức tạp và phức tạp hơn nhiều so với các loại C # do siêu lập trình và những thứ khác. autonhanh hơn để viết và đọc và linh hoạt / duy trì hơn một loại rõ ràng. Ý tôi là, bạn có muốn bắt đầu gõ không

boost::multi_map<NodeType, indexed_by<ordered_unique<identity<NodeType>>, hashed_non_unique<identity<NodeType>, custom_hasher>>::iterator_type<0> it

Đó thậm chí không phải là loại đầy đủ. Tôi đã bỏ lỡ một vài đối số mẫu.

Trong ví dụ của bạn:

for(auto it = x.begin(); it != x.end(); i++)
{
  it->??
}

phải có một tuyên bố để xnhìn thấy. Do đó loại itnên rõ ràng. Nếu loại xkhông rõ ràng, thì phương thức này quá dài hoặc lớp quá lớn.

Phản đối ! Câu hỏi được tải.

Bạn có thể giải thích cho tôi tại sao mã thứ ba có ??trong đó, nhưng mã thứ nhất và thứ hai thì không? Để công bằng, mã của bạn phải đọc như sau:

for(std::vector<T>::iterator it = x.begin(); it != x.end(); i++)
{
   it->???
}

for(std::map<T>::iterator it = x.begin(); it != x.end(); i++)
{
   it->second->???
}

Đó Vấn đề tương tự mặc dù bạn không sử dụngauto .

Và trong mọi trường hợp, câu trả lời là như nhau: Các vấn đề bối cảnh . Bạn không thể nói một cách có ý nghĩa về một đoạn mã riêng lẻ. Ngay cả khi bạn đã không sử dụng các mẫu nhưng một số loại cụ thể, điều này sẽ chỉ chuyển vấn đề sang một nơi khác, vì người đọc mã của bạn sẽ phải biết về khai báo loại đã nói.

Nếu sử dụng auto trong các tình huống đó khiến mã của bạn không thể đọc được, bạn nên coi đây là một dấu hiệu cảnh báo rằng có gì đó không đúng với thiết kế mã của bạn. Tất nhiên, có những trường hợp chi tiết cấp thấp quan trọng (chẳng hạn như khi xử lý các hoạt động bit hoặc API kế thừa) trong trường hợp một loại rõ ràng có thể hỗ trợ khả năng đọc. Nhưng nói chung - không.

Về var(vì bạn đã đề cập rõ ràng về nó), cũng có một sự đồng thuận lớn trong cộng đồng C # để sử dụng var. Các lập luận chống lại việc sử dụng nó thường được xây dựng trên các ngụy biện .

CHUYÊN NGHIỆP

Ma cua ban :

for(std::vector<T>::iterator it = x.begin(); it != x.end(); i++)

sẽ không biên dịch, vì tên phụ thuộc mẫu.

Đây là cú pháp đúng:

for( typename std::vector<T>::iterator it = x.begin(); it != x.end(); i++)

Bây giờ hãy xem khai báo kiểu là bao lâu. Điều này cho biết tại sao autotừ khóa được giới thiệu. Điều này :

for( auto it = x.begin(); it != x.end(); i++)

ngắn gọn hơn Vì vậy, đây là một pro.

CON

Bạn phải cẩn thận một chút. Với từ khóa auto, bạn có được loại bạn đã khai báo.

Ví dụ :

std::vector< int > v{ 1, 2, 3, 4 };
for ( auto it : v )
{
  ++ it;   // ops modifying copies of vector's elements
}

đấu với

std::vector< int > v{ 1, 2, 3, 4 };
for ( auto & it : v )   // mind the reference
{
  ++ it;   // ok, vector's elements modified
}

Để kết luận: có, bạn nên, nhưng không lạm dụng nó. Một số người có xu hướng sử dụng nó quá nhiều và đặt tự động ở mọi nơi, như trong ví dụ tiếp theo:

auto i = 0;

đấu với

int i = 0;

CÓ, bạn nên! autokhông xóa các loại; ngay cả khi bạn "không biết" x.begin()là gì , trình biên dịch sẽ biết và sẽ báo lỗi nếu bạn cố sử dụng sai loại. Ngoài ra, không phải là bất thường khi mô phỏng mapvới a vector<pair<Key,Value>>, vì vậy mã sử dụng autosẽ hoạt động cho cả hai biểu diễn từ điển.

Có, bạn nên sử dụng autonhư một quy tắc mặc định. Nó có lợi thế thô so với việc chỉ định rõ ràng loại:

• Nó không làm cho bạn gõ những thứ mà trình biên dịch đã biết.
• Nó làm cho loại biến "theo cùng" bất kỳ thay đổi nào trong các loại giá trị trả về.
• Làm như vậy, nó ngăn chặn việc giới thiệu im lặng các chuyển đổi ngầm và cắt trong khởi tạo biến cục bộ.
• Nó loại bỏ sự cần thiết của một số tính toán loại rõ ràng trong các mẫu.
• Nó loại bỏ sự cần thiết phải đặt tên kiểu trả về với tên dài. (những cái bạn sao chép-dán từ chẩn đoán trình biên dịch)

Đây là nơi bạn có một sự lựa chọn. Cũng có trường hợp bạn không có lựa chọn:

• Nó cho phép khai báo các biến của các loại không thể nhầm lẫn, như loại lambda.

Với điều kiện bạn biết chính xác những gì autonó làm, nó không có nhược điểm.