C++ 关键词：reflexpr (反射 TS)

用途

获取类类型的成员列表，或者枚举类型的枚举列表
获得类型或成员的名称
检测成员是否是静态的，亦可以获取成员是否是一个常量表达式
检测成员函数是否为虚, 以及其访问级别是 public、 protected 还是 private.
获取类型定义时在源代码中的的行号或者列号

范例

reflexpr 可以通过带有元信息的对象类型来获取对象的元数据 . 使用 std::reflect::get_data_members_t 可以访问类的反射信息，就如同使用 std::tuple 一般

运行此代码

#include <string>
#include <vector>
 
struct S {
    int b;
    std::string s;
    std::vector<std::string> v;
};
 
// Reflection TS
#include <experimental/reflect>
using meta_S = reflexpr(S);
using mem = std::reflect::get_data_members_t<meta_S>;
using meta = std::reflect::get_data_members_t<mem>;
static_assert(std::reflect::is_public_v<meta>); // successful
 
int main() {}

通过 reflexpr，我们也可以获取类型的名称信息:

运行此代码

#include <string>
#include <string_view>
#include <iostream>
// Reflection TS
#include <experimental/reflect>
template <typename Tp>
constexpr std::string_view nameof() {
 using TpInfo = reflexpr(Tp);
 using aliased_Info = std::experimental::reflect::get_aliased_t<TpInfo>;
 return std::experimental::reflect::get_name_v<aliased_Info>;
}
 
int main(){
 std::cout << nameof<std::string>() << '\n';
 static_assert(nameof<std::string>() == "basic_string"); // successful
}

这是在反射 TS中获取类型所在命名空间的示例。

运行此代码

namespace Foo{
 struct FooFoo{int FooFooFoo};
}
namespace Bar{
 using BarBar = ::Foo::FooFoo;
}
using BarBarInfo = reflexpr(::Bar::BarBar);
using BarBarScope = ::std::experimental::reflect::get_scope_t<BarBarInfo>; // Bar, not Foo
 
struct Spam{int SpamSpam;};
struct Grok{
 using GrokGrok = Spam::SpamSpam;
};
using GrokGrokInfo = reflexpr(::Grok::GrokGrok);
using GrokGrokScope = std::experimental::reflect::get_scope_t<GrokGrokInfo>; // Grok, not Spam

编译器支持
自立实现与有宿主实现
语言
标准库
标准库标头
具名要求
功能特性测试宏 (C++20)
语言支持库
概念库 (C++20)
元编程库 (C++11)
诊断库
通用工具库
字符串库
容器库
迭代器库
范围库 (C++20)
算法库
数值库
本地化库
输入/输出库
文件系统库 (C++17)
正则表达式库 (C++11)
并发支持库 (C++11)
技术规范
符号索引
外部库

Xi Xu's More Things

C++ 关键词：reflexpr (反射 TS)

用途

范例

导航