std::meta::reflect_function

 

C++

编译器支持

自立实现与有宿主实现

语言

标准库

标准库标头

具名要求

功能特性测试宏 (C++20)

语言支持库

概念库 (C++20)

诊断库

内存管理库

元编程库 (C++11)

通用工具库

容器库

迭代器库

范围库 (C++20)

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库 (C++17)

并发支持库 (C++11)

执行控制库 (C++26)

技术规范

符号索引

外部库

 

元编程库

类型特征

编译时有理数算术

Compile-time integer sequences

integer_sequence (C++14)

编译时反射 (C++26)

 

反射库

检查字符串字面量 is_string_literal 辅助类型 info tuple_size tuple_element is_applicable_type is_nothrow_applicable_type      apply_result variant_size variant_alternative type_order exception 提升为静态存储 reflect_constant_string reflect_constant_array define_static_string define_static_array define_static_object 运算符表示 operators operator_of symbol_of u8symbol_of 名字和位置 has_identifier identifier_of u8identifier_of display_string_of u8display_string_of source_location_of 反射查询 -> 访问控制上下文 access_context

成员可访问性查询 is_accessible has_inaccessible_nonstatic_   data_members has_inaccessible_bases has_inaccessible_subobjects      作用域识别 current_function current_class current_namespace 反射成员查询 members_of bases_of static_data_members_of nonstatic_data_members_of subobjects_of enumerators_of 标注反射 annotations_of annotations_of_with_type 值提取 extract 反射代换 reflection_range can_substitute substitute 表达式结果反射 reflect_constant reflect_object reflect_function 类定义生成 data_member_options data_member_spec is_data_member_spec define_aggregate

基础类型类别 is_void_type is_null_pointer_type is_integral_type is_floating_point_type is_array_type is_pointer_type is_lvalue_reference_type is_rvalue_reference_type is_member_object_pointer_type is_member_function_pointer_type      is_enum_type is_union_type is_class_type is_function_type is_reflection_type 复合类型类别 is_reference_type is_arithmetic_type is_fundamental_type is_object_type is_scalar_type is_compound_type is_member_pointer_type 类型属性 -> 类型关系 is_same_type is_base_of_type is_virtual_base_of_type is_convertible_type is_nothrow_convertible_type is_layout_compatible_type is_pointer_interconvertible_   base_of_type is_invocable_type is_invocable_r_type is_nothrow_invocable_type is_nothrow_invocable_r_type

常性/易变性修改 remove_const remove_volatile remove_cv add_const add_volatile add_cv 引用修改 remove_reference add_lvalue_reference add_rvalue_reference 符号性修改 make_signed make_unsigned 数组修改 remove_extent remove_all_extents 指针修改 remove_pointer add_pointer 其他变换 remove_cvref decay common_type common_reference underlying_type invoke_result unwrap_reference unwrap_ref_decay

 

在标头 <meta> 定义
template< class T > consteval std::meta::info reflect_function( T& fn );		(C++26 起)

返回一个表示 fn 所指代函数的反射。

如果 T 不是函数类型，则程序非良构。

参数

r

-

指代某个函数的左值

返回值

表示函数的反射。

异常

除非满足以下条件，否则抛出 std::meta::exception：存在一个指代函数 fn 的泛左值常量表达式 E，该表达式是类型为 T& 的模板形参的有效模板实参。

注解

此函数可用于创建名字被重载的函数的反射。

int f(char); // #1
int f(long); // #2

constexpr auto rf1 = ^^f; // 错误：无法反射重载集合
constexpr auto rf2 = std::meta::reflect_function<int(char)>(f); // OK，rf2 表示重载 #1

参阅

reflect_constant (C++26)	返回表示某个值或模板形参对象的反射，适合用作常量模板实参 (函数模板)
reflect_object (C++26)	返回表示对象的反射，适合用作常量模板实参 (函数模板)
substitute (C++26)	获取在所反射模板中代换所反射实参后的结果的反射 (函数模板)