Lặp lại một giá trị duy nhất

Question

Tôi muốn chuyển một giá trị đơn lẻ đến một hàm dự kiến ​​một cặp vòng lặp và cho nó hoạt động như thể tôi đã chuyển một cặp vòng lặp tới một phạm vi chỉ chứa giá trị này.

cách tiếp cận của tôi là như sau:

#include <iostream> 
#include <vector> 

template<typename Iter> 
void iterate_over(Iter begin, Iter end){ 
    for(auto i = begin; i != end; ++i){ 
     std::cout << *i << std::endl; 
    } 
} 

int main(){ 
    std::vector<int> a{1,2,3,4}; 
    iterate_over(a.cbegin(), a.cend()); 

    int b = 5; 
    iterate_over(&b, std::next(&b)); 
} 

Điều này dường như làm việc một cách chính xác bằng g ++ 5.2, nhưng tôi đang tự hỏi nếu điều này là thực sự được xác định hành vi và nếu có bất kỳ vấn đề tiềm năng?

Answer 1

Có điều này là hành vi được xác định. Đầu tiên chúng tôi có từ [expr.add]/4

Vì mục đích của các toán tử này, con trỏ đến đối tượng nonarray hoạt động giống như con trỏ đến phần tử đầu tiên của mảng có độ dài bằng loại đối tượng làm loại phần tử của nó.

Vì vậy, một đối tượng duy nhất được coi là một mảng có độ dài 1. Sau đó, chúng ta có [expr.add]/5

[...] Hơn nữa, nếu các điểm biểu P đến phần tử cuối cùng của đối tượng mảng, biểu thức (P) +1 trỏ một phần tử cuối cùng của đối tượng mảng, và nếu biểu thức Q trỏ một phần tử cuối cùng của đối tượng mảng, biểu thức (Q) -1 điểm thành phần tử cuối cùng của đối tượng mảng. Nếu cả toán hạng con trỏ và điểm kết quả cho các phần tử của cùng một đối tượng mảng hoặc một phần tử cuối cùng của đối tượng mảng, thì việc đánh giá sẽ không tạo ra tràn; nếu không, hành vi không xác định.

^{tôi nhấn mạnh}

Vì vậy, kể từ khi phần tử mảng đầu tiên cũng là phần tử mảng cuối cùng, và thêm 1 đến phần tử mảng cuối cùng mang đến cho bạn một quá khứ đối tượng, nó là hợp pháp.