std::experimental::reflect::Object

 

C++

編譯器支援

自由（freestanding）與宿主（hosted）

語言

標準庫

標準庫標頭檔案

具名要求

特性測試宏 (C++20)

語言支援庫

概念庫 (C++20)

診斷庫

記憶體管理庫

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

通用工具庫

容器庫

迭代器庫

範圍庫 (C++20)

演算法庫

字串庫

文字處理庫

數值庫

日期和時間庫

輸入/輸出庫

檔案系統庫 (C++17)

併發支援庫 (C++11)

執行控制庫 (C++26)

技術規範

符號索引

外部庫

 

實驗性

技術規範

檔案系統庫 (檔案系統 TS)

庫基礎 (庫基礎 TS)

庫基礎 2 (庫基礎 TS v2)

庫基礎 3 (庫基礎 TS v3)

並行性擴充套件 (並行性 TS)

並行性擴充套件 2 (並行性 TS v2)

併發性擴充套件 (併發性 TS)

併發擴充套件 2 (併發 TS v2)

概念 (概念 TS)

範圍 (範圍 TS)

反射 (反射 TS)

數學特殊函式 (特殊函式 TR)

實驗性非 TS

模式匹配

線性代數

std::execution

契約

2D 圖形

 

反射擴充套件

概念
Object ObjectSequence TemplateParameterScope      Named Alias RecordMember Enumerator Variable ScopeMember	Typed Namespace GlobalScope      Class Enum Record 作用域 型別 Constant	Base FunctionParameter Callable Expression ParenthesizedExpression FunctionCallExpression FunctionalTypeConversion      Function	MemberFunction SpecialMemberFunction Constructor 解構函式 Operator ConversionOperator Lambda LambdaCapture
元物件操作
Object reflects_same get_source_line get_source_column get_source_file_name ObjectSequence get_size get_element unpack_sequence Named is_unnamed get_name get_display_name Alias get_alias 型別 get_type get_reflected_type is_enum is_union uses_class_keyuses_struct_key ScopeMember get_scope	RecordMember 和 Base is_public is_protected is_private Record get_public_data_membersget_accessible_data_membersget_data_members get_public_member_functionsget_accessible_member_functionsget_member_functions      get_constructors get_operators get_destructor get_public_member_typesget_accessible_member_typesget_member_types get_public_base_classesget_accessible_base_classesget_base_classes Enum is_scoped_enum get_enumerators get_underlying_type	Variable get_constant is_thread_local FunctionParameter has_default_argument Callable get_parameters is_vararg is_noexcept is_deleted Variable 和 Callable is_constexpr Namespace 和 Callable is_inline ParenthesizedExpression get_subexpression FunctionCallExpression get_callable FunctionalConversion get_constructor Variable 和 Function get_pointer	MemberFunction is_constis_volatilehas_lvalueref_qualifierhas_rvalueref_qualifier is_override is_implicitly_declared is_defaulted is_explicit is_virtual is_pure_virtual Record 和 MemberFunction is_final Variable 和 MemberFunction is_static Lambda get_captures uses_default_copy_captureuses_default_reference_capture is_call_operator_const LambdaCapture is_explicitly_captured is_init_capture

 

定義於標頭檔案 <experimental/reflect>
template< class T > concept Object = /* 參見下文 */;		(反射 TS)

當且僅當 T 是元物件型別時，Object 概念才滿足。

示例

執行此程式碼

#include <experimental/reflect>
 
namespace reflect = std::experimental::reflect;
 
template<reflect::Object M>
struct meta_t {
    template<reflect::Object M1>
    friend constexpr bool operator==(meta_t, meta_t<M1>) noexcept
    {
        return reflect::reflects_same_v<M, M1>;
    }
    template<reflect::Object M1>
    friend constexpr bool operator!=(meta_t, meta_t<M1>) noexcept
    {
        return !reflect::reflects_same_v<M, M1>;
    }
};
 
template<reflect::Object M>
constexpr meta_t<M> meta{};
 
int main()
{
    static_assert(meta<reflexpr(int)> == meta<reflexpr(signed int)>, "");
    // meta<int>; // error: int is not a meta-object type
}