.net框架中少有人知的扩展cmod

最近在利用metadata api抽取.net的原数据信息，发现了不少“坑”，也发现了不少常年用着c#的人都不知道的扩展。

说到.net原数据的可扩展性，第一个让人能想到的就是CustomAttribute，这个功能确实强大，从根本上改写了众多框架的形式，连java也不得不抄袭了一份，不过，这个相信大多数人能知道，没什么必要细说。

今天想说的是.net中的custom mod，听到这个，我相信大多数用着c#的人的第一反应是：这是啥？确实这个东西在c#中几乎没人会提起，不过，我们却在不知不觉中使用了。

什么是cmod，cmod是对一个类型做特殊定制，使运行时能够把本质上的相同类型但是cmod不同的类型作为不同的类型来对待。cmod分两种，一种是可选的，一种是必须的。c#中比较常见的一个用到的cmod的例子就是volatite，例如：

volatile int foo;

就是用一个System.Runtime.CompilerServices.IsVolatile类来修饰一个int，这里用的是一个必须的cmod。

当然，如果用过c++之类的语言，那么const就是个非常常见的修饰，在.net框架中，对应的就是System.Runtime.CompilerServices.IsConst来修饰。

那么，除了这些常见的用法，cmod到底能带来哪些扩展哪？

相信有人知道有些语言支持非可空类型，例如，非可空的string，那么编译器如何知道这些变量是否可能为null哪？在cmod下一切都变得很简单，在调用一个方法返回值有not null的修饰的话，那么显然编译器可以直接信任这个方法不会返回null值，而如果没有的话，编译器可以要求代码中必须对结果做非null的判定和对应的处理。