问题标签 [static-reflection]

我一直在研究使用 LINQ 表达式的静态反射——非常酷！

我有一个想法——一个类是否有可能基于对另一类进行的静态反射在一个类上“生成”字段？我特别想到了我在这里多次看到的 Builder 模式。我想做一个 fluent-nhibernate 风格的属性注册，在构建器上“生成”与我想要构建的类匹配的字段。像这样的东西：

并支持这样的构造函数语法：

这一切的目的是减少我必须重复定义颜色属性的次数。我玩这个：

这当然有效，并且列出了相同的属性 # 次，但感觉更冗长且不太灵活。看来我应该可以在这里做一些匿名类型的事情？

以控制器的标准返回语句为例：

有没有办法让这个东西编译时安全？使用静态反射或其他技巧？

这是Oliver Hanappi在 stackoverflow 上发布的静态反射代码

我有公共包装方法：

然后添加了我自己的方法快捷方式

哪些代码示例需要或利用GetMemberName(Expression expression)交换机中的不同分支？这段代码能够进行强类型化的全部内容是什么？

我需要两个相似对象（C#）之间的绑定：

当 TypeA 中的字段发生更改时，我需要更新 TypeB 中的匹配字段。

IntField 是一个具有 int 类型的 Value 字段的对象，因此更新 TypeB 可以写为：

如果我理解正确，如果我使用 INotifyPropertyChanged 将 TypeB 绑定到 TypeA，它将导致样板：

还：

• 我可以访问这两种类型的代码，我宁愿不更改 TypeB。
• 我有大约 15 对类型，例如 TypeA 和 TypeB - 我想避免样板文件。
• 性能非常重要，因此反射不是首选选项。
• 也许静态反射是一种选择？我听说过，但我不确定：
  • 如何在没有样板的情况下使用它。
  • 它的表现。
  • 将它用于相同类型对的不同实例（即 a1Instance->b1Instance、a2Intance->b2Instance 等）。

编辑：

IntField 是一个类。它用于系统中存在的另一种类型的数据绑定（复杂，整个系统都依赖于此）。它继承自表示通用可绑定字段的类。这是其中的一部分：

我有这样的特征来描述类型的结构，如果我在编译时知道类型，当然我可以检查它的所有关联常量、关联类型和静态成员函数。但关键是，在一个模块中定义了数百（甚至更多）类型，它们都满足这个TypeModule特性，但我只TypeID从运行时得到一个值，我如何确定哪个是我想要的正确类型并检查它的所有关联常量、关联类型和静态成员函数?

是否可以编写代码迭代模块中的所有类型，以便我可以将它们的关联 TYPE_ID 与运行时给定值进行比较，并获得正确的TAG_LIST、SERIALIZED_SIZE_HINT 和所有成员函数指针？

我所做的最接近的努力是向 TypeModule 添加一个函数以将类型转换为 TypeInfo 值：

我可以将一个预先知道的类型变成TypeInfo，但我不知道如何检查数百种类型的模块。

所以我一直很期待元类。然后我听说它不会出现在c++23中，因为他们认为我们首先需要在语言中进行反射和具体化，然后才能添加元类。

查看c++23反射，似乎有具体化能力。它们是否足以解决元类的作用？即，元类只是语法糖吗？

使用当前的提案，我们可以复制某人编写如下类型：

并生成如下类型：

更进一步，采取类似于

并且能够生成

Live example，这两个都是我对元类感到兴奋的例子。

我不太担心语法（能够编写一个库并简单地创建多边形值或接口是有用的，确切的语法不是），但我担心它能够做到这一点。

我的代码分析工具（Sonarqube）从我的代码分析工具（Sonarqube）中收到关于以下函数中的设置器的错误“实际上并未引用该字段”。我怀疑这是因为我有该类的静态引用但不完全确定。什么是正确的在给定以下上下文的情况下制作setter的方法？

}