offsetof

 

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)

 

型別支援

基本型別
定寬整數型別 (C++11)
定寬浮點型別 (C++23)
ptrdiff_t size_t max_align_t (C++11)     byte (C++17)	nullptr_t (C++11) offsetof NULL
數值極限
numeric_limits
C 數值極限介面
執行時型別資訊
type_info type_index (C++11)	bad_typeid bad_cast

 

定義於標頭檔案 <cstddef>
#define offsetof(type, member) /* implementation-defined */

宏 offsetof 展開為 std::size_t 型別的整型常量表達式，其值為從指定型別物件的起始到其指定子物件的偏移量（以位元組為單位），包括任何 填充位。

給定一個型別為 type 且具有靜態儲存期的物件 o，o.member 應當是一個 lvalue 常量表達式，它引用 o 的子物件。否則，行為是未定義的。特別是，如果 member 是 靜態資料成員、位域 或 成員函式，則行為未定義。

如果 type 不是 PODType(C++11 前)標準佈局 型別(C++11 起)，offsetof 的結果是未定義的(C++17 前)offsetof 宏的使用是有條件支援的(C++17 起)。

表示式 offsetof(type, member) 絕不 型別依賴，當且僅當 type 是依賴的，它才值依賴。

異常

offsetof 不丟擲任何異常。

表示式 noexcept(offsetof(type, member)) 總是求值為 true。

(C++11 起)

註解

標準佈局型別的第一個成員的偏移量總是零（空基類最佳化是強制性的）。

(C++11 起)

offsetof 不能在標準 C++ 中實現，需要編譯器支援：GCC、LLVM。

member 不限於直接成員。它可以表示給定成員的子物件，例如陣列成員的元素。這由 C DR 496 指定。

C23 規定，在 offsetof 中定義一個包含未加括號逗號的新型別是未定義行為，並且 C++ 模式下的實現通常不支援這種用法：offsetof(struct Foo { int a, b; }, a) 被所有已知實現拒絕。

示例

執行此程式碼

#include <cstddef>
#include <iostream>
 
struct S
{
    char   m0;
    double m1;
    short  m2;
    char   m3;
//  private: int z; // warning: 'S' is a non-standard-layout type
};
 
int main()
{
    std::cout
        << "offset of char   m0 = " << offsetof(S, m0) << '\n'
        << "offset of double m1 = " << offsetof(S, m1) << '\n'
        << "offset of short  m2 = " << offsetof(S, m2) << '\n'
        << "offset of char   m3 = " << offsetof(S, m3) << '\n';
}

可能的輸出

offset of char   m0 = 0
offset of double m1 = 8
offset of short  m2 = 16
offset of char   m3 = 18

缺陷報告

下列更改行為的缺陷報告追溯地應用於以前出版的 C++ 標準。

缺陷報告	應用於	釋出時的行為	正確的行為
CWG 273	C++98	如果過載了一元 operator&，offsetof 可能無法工作	即使過載了 operator&，也要求正確工作 如果 operator& 被過載
LWG 306	C++98	當 type 不是 PODType 時，行為未指定	在這種情況下結果未定義
LWG 449	C++98	offsetof 的其他要求被 LWG issue 306 的解決方案移除 被 LWG issue 306 的解決方案移除	已添加回來

參閱

size_t	由 sizeof 運算子返回的無符號整型 (typedef)
is_standard_layout (C++11)	檢查型別是否為標準佈局型別 (類模板)
C 文件 關於 offsetof