Boost :: asio kiểu mã lạ này là gì?

Question

Tôi sắp sửa gỡ lỗi gì đó trong giao tiếp socket asio tăng cường của mình. Và tìm thấy đoạn mã này bên trong thư viện ASIO (tìm thấy trong tăng/ASIO/impl/dòng write.hpp 169 (tăng 1,47)):

switch (start) 
    { 
    case 1: 
    buffers_.prepare(this->check_for_completion(ec, total_transferred_)); 
    for (;;) 
    { 
     stream_.async_write_some(buffers_, 
      BOOST_ASIO_MOVE_CAST(write_op)(*this)); 
     return; 
    default: 
     total_transferred_ += bytes_transferred; 
     buffers_.consume(bytes_transferred); 
     buffers_.prepare(this->check_for_completion(ec, total_transferred_)); 
     if ((!ec && bytes_transferred == 0) 
      || buffers_.begin() == buffers_.end()) 
     break; 
    } 

    handler_(ec, static_cast<const std::size_t&>(total_transferred_)); 
    } 

Tôi đã có rất nhiều năm của C/C++ phát triển kinh nghiệm, nhưng chưa bao giờ trong đời tôi thấy một loại thực hiện kì quặc như vậy. Nhìn ở đó, mặc định: nhãn của câu lệnh switch nằm trong vòng lặp for.

Nếu tôi hiểu điều này đúng, thì câu lệnh chuyển đổi là "lạm dụng" thay vì một goto, đúng (đối với trường hợp bắt đầu! = 1, goto mặc định :)? Nó thực sự là một C/C++ hợp lệ đối với tiêu chuẩn? Điều gì sẽ xảy ra nếu tôi ví dụ: đặt

for(int i=0; i < 10; i++) 

thay vì cho vòng lặp trong mã ban đầu. "I" sẽ không được xác định trong trường hợp khi nhảy được thực hiện theo mặc định: nhãn? Chắc chắn tôi có thể sử dụng một trình gỡ lỗi ở đây, tuy nhiên điều này có vẻ rất đáng ngờ đối với tôi, rằng tôi nghĩ rằng điều này có thể tạo ra hành vi khác nhau cho các trình biên dịch khác nhau.

Answer 1

Đây là mã được xác định, hợp lệ. A switch thực sự là một vinh quang goto. Đối với một số sử dụng thông minh của cấu trúc này, hãy xem Duff's device.

Đối với số for của bạn, điều đó sẽ không hợp pháp. Nhảy đến một nhãn trường hợp không thể vượt qua một khởi tạo.

Answer 2

Dường như phiên bản là Duff's device.