Dear Andrew,
What I can't see is what will happen when the endpoints don't fall in [0, n). Is that documented somewhere?
I don't think so. It's basically undefined behavior -- it usually ends up in an out-of-bounds array access and thus likely a crash.
In the case of the constructor, it may.
And, my question was exactly about the ctor. I'm surprised to see there is no exact behviour specification for this. Shouldn't it be done sometime?
In the case of add_edge (with the vertex list == vecS), adjacency_list will automatically resize -- I think I remember being surprised with this before :)
The documentation says: "If the VertexList selector is vecS, and if either vertex descriptor u or v (which are integers) has a value greater than the current number of vertices in the graph, the graph is enlarged so that the number of vertices is std::max(u,v) + 1." Cheers, --Hossein