动态类型静态类型的优缺点--《松本行弘的程序世界》

原创 2012年05月08日 18:51:54

偶然今天看到了《松本行弘的程序世界》一书,作者对静态类型和动态类型的优缺点做了详细的解释:

静态类型的优点:

        1, IDE聪明的提示,因为静态类型的语言的类型是确定的,所以编辑器可以知道当前的变量有哪些属性和方法。

        2, 编译的时候能够发现类型不匹配的错误,而动态语言至多只能发现语法错误。

        3, 我们在开发过程中明确了某些变量在程序中扮演了什么角色,这是开发可靠性高的程序所必须的。

静态类型的确定:

        1, 因为要定义数据类型,程序的规模也变得很大,编程应该考虑程序的本质,而不是把精力集中于一个个数据类型的定义。

        2,  缺乏灵活性,因为一个变量,只能赋值某种类型的对象。明显当程序需要扩展的时候,这会成为枷锁,当然可以通过继承和接口实现,这会陷入另一个深渊,你总会去纠结复杂的继承关系。

 

动态类型的优点:

        1, 相反于静态类型,编程完全集中于程序的设计的本质,代码的简洁度也会提高,开发效率可能会数倍的提高。

        2, 因为程序的规模降低, 程序的可理解性也会提高。(静态类型的拥护者可能会认为,少了类型信息,程序变的不可读了。我是觉得读程序应该集中在程序的本质上)

动态类型的缺点:

        1, 程序执行速度慢,因为动态类型的语言,类型检查是在运行期做的。(随着计算机性能的提高,执行速度不是什么严重的问题了,关键是生产力提高了)

        2, 不执行就检测不出错误。(这是我说的动态类型的安全问题)

 

这是松本大师对于类型的理解。

类型安全问题: 

public class Hello {  
   public static void main(String[] args) {  
     String a = "1";  
     test(1);  
   }  
   static int test(String s) {  
    return 1;  
   }  
}  

这段java代码在编译时肯定不能通过的。而在python中:

a = lambda x: x.startswith("abc")
a(1)

这段代码只有在运行时候才能报错。这应该就是类型安全问题吧!

作者基于动态类型的灵活性举了一种编程方式的示例:duck typing,就是说编程的时候,不要关心一个对象属于什么类型,而要关心这个对象有什么行为。

看一个示例:

#!/usr/bin/env ruby  
module Duck  
  def bark  
    puts "bark"  
  end  
  def run  
    puts "run"  
  end  
end  
class ADuck  
  include Duck #ruby的混入,可以用来实现多重继承,类似于java利用接口实现多重继承功能   
end  
class BDuck  
  include Duck  
end  
def duckrun(d)  
  d.run  
end  
a = ADuck.new  
b = BDuck.new  
duckrun(a)  
duckrun(b)  

这种编程方式是不是也可以称为面向接口编程,当然可以利用java的抽象类或者接口实现。

我们再看一个示例:

 

class ADuck  
  def run  
    puts "run a"  
  end  
end  
class BDuck  
  def run  
    puts "run b"  
  end  
end  
class CDuck  
end  
def duckrun(d)  
  if not d.respond_to?("run")  
    raise TypeError, "not a duck"  
  end  
  d.run  
end  
a = ADuck.new  
b = BDuck.new  
c = CDuck.new  
duckrun(a)  
duckrun(b)  
duckrun(c)  


这次没了module,没了继承,唯一要做的就是检查对象是否有该方法(还可已在运行时为对象增加行为),避免了令人费解的继承问题。程序也拥有了更好的扩展性。

相关文章推荐

《松本行弘的程序世界》读书笔记

半个月之前买了这本书,还是经园子里的一位网友推荐的。到现在看了一半多,基础的都看完了,剩下的几章可做高级部分来看。这本书看到现在,可以说感触很深,必须做一次读书笔记! 关于这本书,不了解的可以去网上...

读《松本行弘的程序世界》

边读边记录,文章会很长,所以一次没办法写完面向对象: 该如何考虑在2.3.8提到的:只有包含继承关系的类才会具有多态性? 在编程时往往要求到的扩展性,实现扩展性的一个重要方法是抽象...
  • HEL_WOR
  • HEL_WOR
  • 2016年02月29日 20:38
  • 550

Ruby中的设计模式——《松本行弘的程序世界》

MicrosoftInternetExplorer402DocumentNotSpecified7.8Normal0    《设计模式》一书是用C++和Smalltalk介绍模式实例的。看了那些例子,...

【读书笔记】松本行弘的程序世界

为什么开发Ruby 编程语言与效率关系太紧密。 Ruby的设计原则 简洁性:内存管理,变量和表达式的类型检查都可以在执行时自动进行 扩展性 稳定性 面向对象 面向对象与编程的关系 程序员不要沦为计算机...

《松本行弘的程序世界》中文版原作者序

  从年轻的时候开始,我就一直对编程语言有着极为浓厚的兴趣。比起“使用计算机去干什么?”这一问题,我总是一门心思在想着“如何将自己的意图传达给计算机?”。从这个意义上说,我认为自己是个“怪人”。但是,...

《松本行弘的程序世界》精彩书摘

《松本行弘的程序世界》精彩书摘 Posted on September 6, 2011 by lowerthan60 以下是2011年4月份在复审《松本行弘的程序世界》期间,随手摘录发...

多重继承不好的观点是错误的 — 小评<松本行弘的程序世界>

首先得说, 一般某种语言的发明人写的关于自己语言的东西都是非常值得阅读的, 从别的牛人那里你也许能学会很多奇技淫巧, 但从语言发明人那里你能学到语言发明人本身设计的初衷, 以及设计时的一些抉择. 这种...
  • vagrxie
  • vagrxie
  • 2013年01月08日 01:35
  • 16881

松本行弘的程序世界(二)

编程和面向对象的关系 颠倒的构造 1.      有一个有趣的例子,叫做“阿尔法法则”。机器是人的奴隶,还是人沦为机器的奴隶。这个我有不同于作者的观点。人机是交互的,或者说是对等的。人和计算机打交...
  • viekie
  • viekie
  • 2012年04月18日 20:18
  • 656

【设计】松本行弘的程序世界

松本行弘的程序世界第4章 设计模式4.1 设计模式(1)4.1.2 设计模式是程序抽象化的延伸4.1.4 SingleTon(单件)模式 保证类的实例只有一个 4.1.5 Proxy(代理)模式 为某...

带您走进松本行弘的程序世界

编者按:   在此书上市之前,特别对此书做一下方向说明,《松本行弘的程序世界》适合各层次程序设计人员和编程爱好者,也可以供相关技术人员参考。   本书的目的不是深入讲解哪种特定的技术,也没有全面讨论我...
内容举报
返回顶部
收藏助手
不良信息举报
您举报文章:动态类型静态类型的优缺点--《松本行弘的程序世界》
举报原因:
原因补充:

(最多只允许输入30个字)