`
Eastsun
  • 浏览: 308235 次
  • 性别: Icon_minigender_1
  • 来自: 天津
社区版块
存档分类
最新评论

隐式转换:比动态类型更强大?

阅读更多
  本文内容主要来自Implicit Conversions: More Powerful than Dynamic Typing?,我只对其中一部分进行了翻译。
  隐式转换是[url=Haskell type classes]Scala[/url]中实现的一种类似于Haskell type classes的类型系统,它使得Scala这种静态类型的语言具有某些“动态”的特性。下面用具体例子来说明。

案例1给String添加一个reduce方法,其返回值为字符串中大写字母组成的新字符串。
在Scala中,最终效果如下:
//Scala
val acronym = "Microsoft Certified Systems Engineer".reduce
println(acronym)            // MCSE

  由于String是Java语言内置的类型,现在遇到的问题是:在静态语言中,我们不能在运行时往已经存在的类中动态添加方法。
  在Scala中,我们可以定义一个新的类型,使它具有所需要的方法,然后再顶一个一个从已有类型到新类型的隐式转换。然后Scala编译器将会在幕后实施其魔法。代码如下:
class MyStr(str:String) {
    def reduce = str.foldLeft(""){ (s,c) =>
                     if(c.isUpperCase) s+c else s
                 }
}

implicit def str2MyStr(str:String) = new MyStr(str)


作为对照,我们看看在Ruby中的实现:
class String
  def reduce
    arr = unpack('c*').select { |c| (65..90).include? c }
    arr.pack 'c*'
  end
end
 
puts 'HyperText Transfer Protocol'.reduce       # HTTP



案例2一个稍微复杂一点的问题:重载整数类型的<操作符,使得它能与String比较,并且但String的长度小于该整数时返回true,否则返回false
  在Scala中,同样可以通过隐式转换机制来解决该问题。这一次我们使用比上面更简洁的形式:
//Scala,that's all
implicit def lessThanOverload(i: Int) = new {
    def <(str: String) = str.length < i
}

  下面我们看看Ruby中如何解决这个问题,一个很自然的想法是玩Fixnum中添加所需的方法:
class Fixnum
  def <(str)
    str.size < self
  end
end

  很不幸的是,这个看起来很对的方法是行不通的。每次调用整数的<操作符时都会进入一个死循环并很快导致堆栈溢出。
  我们可以将方法改写成如下以避免这个问题:
class Fixnum
  def <(str)
    self >= str.size
  end
end

  这次不用担心堆栈溢出了,但新的问题出现了:
引用
irb(main):006:0> 123 < 'test'
=> true
irb(main):007:0> 123 < 123
=> true

  这个问题的最终Ruby解法是这样的:
class Fixnum
  alias_method :__old_less_than__, '<'.to_sym
  def <(target)
    if target.kind_of? String
      __old_less_than__ target.size
    else
      __old_less_than__ target
    end
  end
end

  囧,相比Scala,Ruby的解决方法显得即冗长且丑陋。
分享到:
评论
13 楼 Scriptlet 2008-10-08  
所有的动态方法都属于耍小聪明,貌似可以解决一些小问题,节约一点时间。但是在大型项目中全是噩梦-根本都不知道对象在运行态成了什么东西。
12 楼 smilerain 2008-09-17  
用个方法转换最直接. java多了个范型很不爽.
11 楼 ray_linn 2008-09-17  
zbm2001 写道
请移步:
http://www.cnblogs.com/allenlooplee/archive/2008/06/01/1211520.html

PS: 吸纳别人优秀的东西是件非常好的事情,但起码也得谦虚点。



教训人也得找点因头?你这句话简直是胡扯,我哪一句被您看出不谦虚了?
10 楼 liusong1111 2008-09-17  
Eastsun 写道
对于隐式转换,我这儿讲的只是它的两个比较简单的应用。
这里有几篇比较不错的文章:
scala学习笔记(5) -- implicit type
Scala Implicits: a dose of Magic


还有,这里还有个帖子:付出太多,得到太少 - 闲谈函数返回值
我在后面给出了个Scala的解决方法能够解决LZ提出的部分要求,但不知是没人看到还是我的解法不符合要求,没有人对此关心。


俺看到了,scala确实很优秀.
没有更多想法与大家讨论,于是就没回贴.

隐式转换,记得groovy也有类似的方案.

9 楼 Eastsun 2008-09-17  
对于隐式转换,我这儿讲的只是它的两个比较简单的应用。
这里有几篇比较不错的文章:
scala学习笔记(5) -- implicit type
Scala Implicits: a dose of Magic


还有,这里还有个帖子:付出太多,得到太少 - 闲谈函数返回值
我在后面给出了个Scala的解决方法能够解决LZ提出的部分要求,但不知是没人看到还是我的解法不符合要求,没有人对此关心。
8 楼 Eastsun 2008-09-17  
假设就和Date的Year比较吧,这样就可以了:
implicit def lessThanOverload(i: Int) = new {
    import java.util.Date
    def <(str: String) = str.length < i
    def <(date: Date)  = date.getYear < i
}
7 楼 QuakeWang 2008-09-17  
请教一个问题,对于需求2,如果还需要增加使得它能与时间类型比较,在Scala中应该如何写?是像这样?
implicit def lessThanOverload(i: Int) = new {
    def <(str: String) = str.length < i
    def <(date: Date) = date....
}
6 楼 zbm2001 2008-09-17  
请移步:
http://www.cnblogs.com/allenlooplee/archive/2008/06/01/1211520.html

PS: 吸纳别人优秀的东西是件非常好的事情,但起码也得谦虚点。
5 楼 ray_linn 2008-09-17  
回楼上:

C#却是静态的,你检查个类型给我看看?你再怎么着,你还得显式声明,C#却是自动的。
4 楼 zbm2001 2008-09-17  
ray_linn 写道
看看C#的,超级简单


public class StringFun{

  public static Reduce(this string str){

    //bala bala
  }
}

public class Demo{

public static void Main(String[] strs){
String str="Smaple String";
str.Reduce();}
}


这样就可以attach到任意一个String上(只要你引用它的namespace).

这个就别拿来说事了,活脱脱模仿javascript原型继承,调用原型的方法
3 楼 ray_linn 2008-09-17  
看看C#的,超级简单


public static class Fun{
        public static string Reduce(this string str){

            var res = (from c in str.ToCharArray() where Char.IsUpper(c) select c).ToArray<char>();
            return new string(res);

        }
    }


这样就可以attach到任意一个String上(只要你引用它的namespace).
2 楼 Eastsun 2008-09-16  
但这些缺点动态语言不同样存在么?
1 楼 hax 2008-09-16  
隐式转换也存在问题,它降低了代码的直观性。后面那个例子尤其如此——运算符重载所具有的缺点,隐式转换也同样有。

相关推荐

    VC各种类型转换,很详细啊

    VC++,即Visual C++,是Microsoft开发的一款强大的C++集成开发环境,它支持多种类型的类型转换,包括隐式转换和显式转换。下面将详细阐述VC++中涉及的各类类型转换方法。 1. 隐式类型转换:这是编译器自动进行的...

    scala中的隐式类型转换的实现

    Scala中的隐式类型转换是Scala语言中的一种强大语言特性,可以自动进行某些数据类型的隐式转换。隐式类型转换可以分为两种:隐式参数和隐式转换。下面将对这两种类型进行详细的介绍。 一、隐式参数 隐式参数是指在...

    C++类各种类型转换_数据类型的相互转换_

    本篇文章将深入探讨C++中不同类型的转换方法,包括隐式转换和显式转换,以及它们在实际编程中的应用。 首先,我们讨论隐式类型转换(也称为自动类型转换)。在C++中,当一个数据类型可以安全地被转换为另一种类型时...

    scala隐式.docx

    在Scala中,隐式参数和隐式转换极大地增强了代码的简洁性和可读性,同时也为类型系统提供了更大的灵活性。 **隐式参数**: 在Scala中,我们可以定义带有`implicit`关键字的参数,这些参数被称为隐式参数。当一个...

    C#中的动态类型(Dynamic)的项目工程

    在C#编程语言中,动态类型(Dynamic)是一种强大的特性,它允许程序员在运行时进行类型检查和操作。这个特性引入自C# 4.0版本,为开发者提供了更大的灵活性,尤其是在处理非强类型的数据或者与动态语言如Python、...

    c++类的隐式转换与强制转换重载详解

    总结来说,C++中的类隐式转换和强制转换是强大的工具,它们让类型转换变得灵活,但也可能引入难以察觉的错误。理解这些转换的规则和限制,对于编写安全、可维护的代码至关重要。在使用转换时,应该注意避免不必要的...

    ActionScript 3 类型转换

    隐式转换是指编译器自动进行的类型转换,而显式转换则是由开发者明确指定的类型转换过程。本文将重点介绍显式转换,尤其是通过使用`as`关键字实现的类型转换。 ### 显式类型转换:使用`as` 在ActionScript 3中,`...

    Java实验-基本数据类型及操作

    1. 隐式类型转换:隐式类型转换是指Java自动将一种数据类型转换为另一种数据类型的过程,例如将int类型转换为double类型。 2. 显示类型转换:显示类型转换是指使用强制类型转换符号将一种数据类型转换为另一种数据...

    深入理解C++中的类型转换运算符及其应用

    它们提供了一种安全和灵活的方式来转换类型,同时允许程序员控制转换过程。正确使用这些运算符可以避免许多常见的错误,如类型不匹配和运行时错误。然而,过度使用或不当使用类型转换可能会导致代码难以理解和维护,...

    C++ 向上类型转换 编程思想

    向上类型转换通常是指隐式转换,即编译器自动进行的转换,它发生在基类指针或引用指向派生类对象时。 1. 隐式向上类型转换: 当一个派生类对象被赋值给基类对象、指针或引用时,会发生隐式向上类型转换。这是因为...

    C++四种类型转换

    4. **`static_cast`**:可以执行大多数类型的转换,包括显式转换和隐式转换。它不涉及运行时检查,因此速度较快,但这也意味着它可能不如`dynamic_cast`那样安全。它可以用于指针间的转换、基本类型之间的转换以及...

    C#语言参考

    - **隐式转换**: 不需要显式转换即可完成的数据类型转换。 - **显式转换**: 显式使用转换操作符进行类型转换。 - **用户定义转换**: 用户可以通过定义转换器实现特定类型的转换。 - **1.2.3 数组类型**: - 数组...

    java数据类型转换(20211104012442).rar

    当一个较小的数据类型赋值给较大的数据类型时,或者在运算过程中需要将两个兼容类型结合时,会自动进行隐式转换。例如,从byte到int,或从float到double。这种转换不会丢失信息,因此Java允许自动进行。 2. **显式...

    winform 类型转换源码

    // 隐式转换 ``` 2. **显式类型转换**:需要使用强制类型转换运算符 `(type)`,当目标类型不能自动安全地容纳源类型时,如从`double`到`int`。这可能导致数据丢失或异常: ```csharp double d = 3.14; int i =...

    c#数据类型转换详解

    本文将详细介绍C#中的数据类型转换方法,包括隐式转换、显式转换(强制类型转换)、类型转换异常处理等,并通过实例演示如何正确地进行数据类型转换。 #### 二、C#中的数据类型 在深入了解类型转换之前,我们先...

    C# - C# 10.0 中的 Lambda 改进

    C# 10.0 对 lambda 表达式进行了多项改进,使其更加强大和灵活。这些增强功能包括能够为 lambda 表达式提供自然类型以及将...方法组转换:方法组现在可以隐式转换为具有匹配参数类型的委托,进一步简化了委托的使用。

    C#.NET 中的类型转换

    隐式转换发生在当从较小范围的数据类型转换到较大范围的数据类型时,例如将byte类型转换为int类型。这种转换不需要显式指定,编译器会自动进行。 ##### 显式转换 显式转换则是在将较大范围的数据类型转换为较小...

    structs 类型转换

    类型转换分为隐式转换和显式转换: 1. **隐式类型转换**:当一个较小的数据类型赋值给一个较大的数据类型时,系统会自动进行转换,如int赋值给long。但是需要注意,如果数据溢出,可能会导致错误。 2. **显式类型...

    C程序设计:C的数据类型.ppt

    在C语言中,不同类型的数据进行运算时会进行隐式转换,通常是从低精度类型提升到高精度类型。例如,`int`与`float`相加时,`int`会被提升为`float`。但有时我们需要显式转换,例如`(int)3.6`将浮点数转换为整数,...

Global site tag (gtag.js) - Google Analytics