std :: vector默認構造函數是否可以拋出異常

Question

如果我使用默認構造函數（和默認分配器）構造一個空的std::vector ，它會拋出異常嗎？

通常，為容器元素分配空間可能會拋出異常（這將是一個std::bad_alloc ）。 但是std::vector的默認構造函數不需要分配任何這樣的空間; 它可以在第一次插入或賦值時懶惰地分配一些空間。 但是C ++標准是否要求它不會拋出異常（暗示延遲分配，或者捕獲std::bad_alloc然后再回到延遲分配）？

Answer 1

它取決於Allocator的默認構造函數。 std::vector的默認構造函數聲明為

 vector() noexcept(noexcept(Allocator())); (since C++17) 

如果使用std::allocator那么它是noexcept(true) ; 即不會拋出異常。

 allocator() noexcept; (since C++11) 

因此，在C ++ 17之前，或者如果使用非默認分配器，則可以拋出異常。