码迷,mamicode.com
首页 > 其他好文 > 详细

F#新Bug,小心! module 里的泛型变量。

时间:2014-08-28 23:54:06      阅读:257      评论:0      收藏:0      [点我收藏+]

标签:style   blog   http   color   使用   ar   2014   div   代码   

        原则上,.Net不支持静态泛型变量,但是 F# 的语法支持,如:

        module Mithra =

                let Empty<‘T> = Seq.empty <‘T>

       但是,这只是个语法糖而已。把这 F# 代码块编译成一个库,在C#里调用,即可看到,没有 Empty 变量,只有 Empty 函数。也就是说,这个“Empty”在 F# 里面,只是看起来像变量,实际上是在执行一个函数。

       这有什么关系呢?答:有关系。 
 
       参照老赵的《逆泛型执行器》,如果有泛型变量的话。F# 下,实现逆泛型是轻而易举的事。

    // 声明泛型函数变量

      let _getBytes<‘T>  = ref Unchecked.defaultof< ‘T->byte[] >

      // 泛型变量具现化,赋值

 

      _getBytes<int16> := BitConverter.GetBytes

      _getBytes<int32> := BitConverter.GetBytes

      _getBytes<int64> := BitConverter.GetBytes

      _getBytes<String> := Encoding.UTF8.GetBytes

      // 取出函数

 

      let GetBytes<‘T> = !_getBytes<‘T>  


        上面的代码,理论上已经实现了逆泛型,但是当调用 GetBytes 的时候,却发现 GetBytes 还是 null 值!原因何在?

        就是因为 _getBytes 不是变量,而是个函数。每次调用_getBytes,都会重新计算,返回一个 null 的引用值。因此上 F#中 module 里允许泛型变量,这不仅仅是个语法糖,还是个有毒的语法糖。使用的时候,必须先理解其实现实质,不然就会蹦出错误。


        下面,给出使用泛型类替代泛型变量后,正确的代码:

        module Mithra =

        type Cache<‘T> () =

            static memberval GetBytes: ‘T -> byte[] = Unchecked.defaultof< ‘T ->byte[] > with get, set 

        Cache<int16>.GetBytes <- BitConverter.GetBytes

        Cache<int32>.GetBytes <- BitConverter.GetBytes

        Cache<int64>.GetBytes <- BitConverter.GetBytes

        Cache<String>.GetBytes <- Encoding.UTF8.GetBytes 

        let GetBytes<‘T> = Cache<‘T>.GetBytes

 






 





 

F#新Bug,小心! module 里的泛型变量。

标签:style   blog   http   color   使用   ar   2014   div   代码   

原文地址:http://www.cnblogs.com/greatim/p/3943358.html

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!