std::bad_array_new_length

 

C++

編譯器支援

自由（freestanding）與宿主（hosted）

語言

標準庫

標準庫標頭檔案

具名要求

特性測試宏 (C++20)

語言支援庫

概念庫 (C++20)

診斷庫

記憶體管理庫

超程式設計庫 (C++11)

通用工具庫

容器庫

迭代器庫

範圍庫 (C++20)

演算法庫

字串庫

文字處理庫

數值庫

日期和時間庫

輸入/輸出庫

檔案系統庫 (C++17)

併發支援庫 (C++11)

執行控制庫 (C++26)

技術規範

符號索引

外部庫

 

工具庫

語言支援 型別支援（基本型別、RTTI） 庫特性測試宏 (C++20) 程式工具 變參函式 initializer_list (C++11) is_constant_evaluated (C++20) is_within_lifetime (C++26) source_location (C++20) 協程支援 (C++20) 契約支援 (C++26) 三路比較 three_way_comparablethree_way_comparable_with (C++20)(C++20) strong_ordering (C++20) weak_ordering (C++20) partial_ordering (C++20) common_comparison_category (C++20) compare_three_way_result (C++20) compare_three_way (C++20) strong_order (C++20) weak_order (C++20) partial_order (C++20) compare_strong_order_fallback (C++20) compare_weak_order_fallback (C++20) compare_partial_order_fallback (C++20)   is_eqis_ltis_lteq (C++20)(C++20)(C++20)   is_neqis_gtis_gteq (C++20)(C++20)(C++20)

通用工具 函式物件 位操作 (C++20) bitset hash (C++11) 關係運算符 (C++20 中棄用) rel_ops::operator!=rel_ops::operator>    rel_ops::operator<=rel_ops::operator>= 整數比較函式 cmp_equalcmp_lesscmp_less_than (C++20)(C++20)(C++20)   cmp_not_equalcmp_greatercmp_greater_than (C++20)(C++20)(C++20) in_range (C++20) 交換與型別操作 swap ranges::swap (C++20) exchange (C++14) declval (C++11) to_underlying (C++23) forward (C++11) forward_like (C++23) move (C++11) move_if_noexcept (C++11) as_const (C++17) 常用詞彙型別 pair tuple (C++11) optional (C++17) any (C++17) variant (C++17) tuple_size (C++11) tuple_element (C++11) apply (C++17) make_from_tuple (C++17) expected (C++23)

 

記憶體管理庫

voidify (僅作說明*) 未初始化記憶體演算法 uninitialized_copy uninitialized_fill uninitialized_move (C++17) uninitialized_default_construct (C++17) uninitialized_value_construct (C++17) destroy (C++17) destroy_at (C++17) uninitialized_copy_n (C++11) uninitialized_fill_n uninitialized_move_n (C++17) uninitialized_default_construct_n (C++17) uninitialized_value_construct_n (C++17) destroy_n (C++17) construct_at (C++20) 受約束的未初始化 記憶體演算法 ranges::uninitialized_copy (C++20) ranges::uninitialized_fill (C++20) ranges::uninitialized_move (C++20) ranges::construct_at (C++20) ranges::destroy (C++20) ranges::destroy_n (C++20) ranges::destroy_at (C++20) ranges::uninitialized_copy_n (C++20) ranges::uninitialized_fill_n (C++20) ranges::uninitialized_move_n (C++20) ranges::uninitialized_default_construct (C++20) ranges::uninitialized_value_construct (C++20) ranges::uninitialized_default_construct_n (C++20)  ranges::uninitialized_value_construct_n (C++20) C 庫 malloc calloc realloc aligned_alloc (C++17) free

分配器 allocator allocator_traits (C++11) allocation_result (C++23) allocator_arg (C++11) uses_allocator (C++11) uses_allocator_construction_args (C++20) make_obj_using_allocator (C++20) uninitialized_construct_using_allocator (C++20)  scoped_allocator_adaptor (C++11) pmr::polymorphic_allocator (C++17) 記憶體資源 pmr::memory_resource (C++17) pmr::get_default_resource (C++17) pmr::set_default_resource (C++17) pmr::new_delete_resource (C++17) pmr::null_memory_resource (C++17) pmr::synchronized_pool_resource (C++17) pmr::unsynchronized_pool_resource (C++17) pmr::monotonic_buffer_resource (C++17) pmr::pool_options (C++17) 垃圾回收支援 declare_reachable (C++11)(直到 C++23) undeclare_reachable (C++11)(直到 C++23) declare_no_pointers (C++11)(直到 C++23) undeclare_no_pointers (C++11)(直到 C++23) pointer_safety (C++11)(直到 C++23) get_pointer_safety (C++11)(直到 C++23) 未初始化儲存 raw_storage_iterator (直到 C++20*) get_temporary_buffer (直到 C++20*) return_temporary_buffer (直到 C++20*) 顯式生命週期管理 start_lifetime_asstart_lifetime_as_array (C++23)(C++23)

智慧指標 unique_ptr (C++11) shared_ptr (C++11) weak_ptr (C++11) auto_ptr (直到 C++17*) owner_less (C++11) owner_less<void> (C++17) owner_hash (C++26) owner_equal (C++26) enable_shared_from_this (C++11) bad_weak_ptr (C++11) default_delete (C++11) out_ptr_t (C++23) inout_ptr_t (C++23) 低階記憶體 管理 operator new operator new[] operator delete operator delete[] get_new_handler (C++11) set_new_handler launder (C++17) bad_alloc bad_array_new_length (C++11) nothrow_t align_val_t (C++17) destroying_delete_t (C++20) new_handler nothrow 雜項 pointer_traits (C++11) to_address (C++20) addressof (C++11) align (C++11) assume_aligned (C++20) is_sufficiently_aligned (C++26)

 

低階記憶體管理

函式

operator newoperator new[]

operator deleteoperator delete[]

get_new_handler (C++11)

set_new_handler

類

bad_alloc

bad_array_new_length (C++11)

align_val_t (C++17)

型別

new_handler

物件

nothrow

destroying_delete (C++20)

物件訪問

launder (C++17)

 

定義於標頭檔案 <new>
class bad_array_new_length;		(C++11 起)

std::bad_array_new_length 是由 new 表示式 丟擲的異常型別，用於報告以下情況的無效陣列長度：

1. 陣列長度為負數，
2. 新陣列的總大小將超過實現定義的預設最大值，
3. 初始化子句的數量超過要初始化的元素數量。

只有第一個陣列維度可能產生此異常；除了第一個維度之外的維度是常量表達式，並在編譯時進行檢查。

繼承圖

成員函式

(建構函式)	構造一個新的 bad_array_new_length 物件 (公開成員函式)
operator=	替換 bad_array_new_length 物件 (公開成員函式)
what	返回解釋字串 (公開成員函式)

std::bad_array_new_length::bad_array_new_length

bad_array_new_length() noexcept;	(1)	(C++11 起)
bad_array_new_length( const bad_array_new_length& other ) noexcept;	(2)	(C++11 起)

構造一個新的 bad_array_new_length 物件，其包含一個實現定義的以 null 結尾的位元組字串，該字串可透過 what() 訪問。

1) 預設建構函式。

2) 複製建構函式。如果 *this 和 other 都具有動態型別 std::bad_array_new_length，則 std::strcmp(what(), other.what()) == 0。

引數

其他

-

要複製的另一個異常物件

std::bad_array_new_length::operator=

bad_array_new_length& operator=( const bad_array_new_length& other ) noexcept;		(C++11 起)

用 other 的內容替換當前物件的內容。如果 *this 和 other 都具有動態型別 std::bad_array_new_length，則賦值後 std::strcmp(what(), other.what()) == 0。

引數

其他

-

用於賦值的另一個異常物件

返回值

*this

std::bad_array_new_length::what

virtual const char* what() const noexcept;		(C++11 起) (C++26 起為 constexpr)

返回解釋字串。

返回值

指向一個實現定義的、以 null 結尾的字串的指標，其中包含解釋性資訊。該字串適合轉換為 std::wstring 並顯示。該指標保證在從其獲取的異常物件被銷燬之前，或在該異常物件上呼叫非 const 成員函式（例如複製賦值運算子）之前，始終有效。

在常量求值期間，返回的字串使用普通字面量編碼進行編碼。

(C++26 起)

注意

允許但不要求實現重寫 what()。

繼承自 std::bad_alloc

繼承自 std::exception

成員函式

(解構函式) [virtual]	銷燬異常物件 (std::exception 的虛公共成員函式)
what [virtual]	返回解釋字串 (std::exception 的虛公共成員函式)

注意

特性測試宏	值	標準	特性
__cpp_lib_constexpr_exceptions	202411L	(C++26)	異常型別的 constexpr

示例

應該丟擲 std::bad_array_new_length 的三種情況

執行此程式碼

#include <climits>
#include <iostream>
#include <new>
 
int main()
{
    try
    {
        int negative = -1;
        new int[negative];
    }
    catch (const std::bad_array_new_length& e)
    {
        std::cout << "1) " << e.what() << ": negative size\n";
    }
 
    try
    {
        int small = 1;
        new int[small]{1,2,3};
    }
    catch (const std::bad_array_new_length& e)
    {
        std::cout << "2) " << e.what() << ": too many initializers\n";
    }
 
    try
    {
        long large = LONG_MAX;
        new int[large][1000];
    } 
    catch (const std::bad_array_new_length& e)
    {
        std::cout << "3) " << e.what() << ": too large\n";
    }
 
    std::cout << "End\n";
}

可能的輸出

1) std::bad_array_new_length: negative size
2) std::bad_array_new_length: too many initializers
3) std::bad_array_new_length: too large
End

參閱

operator newoperator new[]	分配函式 (函式)
bad_alloc	記憶體分配失敗時丟擲的異常 (類)