吹毛求疵C#(2)期待强类型成员信息
(2)期待强类型成员信息
CLR4.0为我们带来了新的神器---完整的ExpressionTree, 程序自己可以更方便的写程序了. 什么DSL呀, 运行时代码生成呀, 结合Attribute让编程更声名式等等都方便了很多, 带来了无限的可能性.
事情是可以做了, 而且未来还可以发展的更好---比如健壮性和性能.
比如下面这个例子: c#
class MyType{ public static void MyFunc(){...} } Expression GenerateSomeExpression(...){ ... Expression.Call(null, typeof(MyType).GetMethod("myFunc",...)//Runtime error! M m ... }
首先我们实现了一些自己的API, "MyFunc", 在机器生成的代码中需要调用这些事先写好的函数. 目前的做法是在运行时, 通过函数名的字符串来进行查找. 可以工作, 但存在2个明显的问题:
1, 编译器本可以检查出一些错误, 但却没有这么做. 比如例子中MyFunc被笔误成了myFunc, 如果没有彻底的单元测试, 很可能在运行时会弹出个让用户莫名其妙的异常. 而且当重构和版本变更时, 也会有麻烦, 这些成员名的字符串不会随着他们所对应的标示符所变化.
2, 性能, 如果不用多写几行搞个缓存的话, 那么运行时每次都要拿字符串去查找, 又占内存又发热的. 而本来只要在编译时查找一次就可以了的. 缓存可以解决性能问题, 但无疑会降低代码的可读性, 也会增加编码量.
特别是第一个问题, 在实现有一定规模的DSL时会很烦. 会限制ExpressionTree的使用范围.
一个切实可行的解决办法是像用typeof()获取Type对象那样, 实现在编译器静态获取类型成员信息的能力. 比如就扩展typeof的能力, 或者增加新关键字, 比如memberof, infoof, fieldof, methodof诸如此类.
如果能实现, 那么访问这些静态成员信息会舒适的多, 比如像下面这样:
class MyClass{ public int _field; public void Method(){}; } Type type = typeof(MyClass); FieldInfo fieldInfo = typeof(MyClass._field); MethodInfo method = typeof(MyClass.Method);
现在即健壮又高效了. 写错了在编译时即可检查出来, 重构要改名字也准确无误.
可能会比较有争议的是关于可见性的问题, 我倾向于让typeof()获取成员信息时也受可见性规则约束, 不可见成员还是拿字符串查. 这样能减少对封装的破坏.
相关链接:https://connect.microsoft.com/VisualStudio/feedback/details/570174/compile-time-member-info#details