Scala学习：传名参数by-nameparameter

上节展示的withPrintWriter方法不同于语言的内建控制结构，如if和while，在于大括号之间的代码带了参数。withPrintWriter方法需要一个类型为PrintWriter的参数。这个参数以“writer =>”方式显示出来：

创新互联是专业的滑县网站建设公司，滑县接单;提供网站设计制作、成都网站建设,网页设计,网站设计,建网站,PHP网站建设等专业做网站服务;采用PHP框架,可快速的进行滑县网站开发网页制作和功能扩展;专业做搜索引擎喜爱的网站,专业的做网站团队,希望更多企业前来合作!

 
 
 

  
  
  
withPrintWriter(file) { 
  
  
  
 writer => writer.println(new java.util.Date) 
  
  
  
} 
 
 
 

然而如果你想要实现某些更像if或while的东西，根本没有值要传入大括号之间的代码，那该怎么做呢？为了解决这种情况，Scala提供了传名参数。

编辑推荐：Scala编程语言专题

为了举一个有现实意义的例子，请设想你需要实现一个称为myAssert的断言架构。你只能称其为myAssert，而不是assert，因为Scala提供了它自己的assert，将在14.1节描述。myAssert函数将带一个函数值做输入并参考一个标志位来决定该做什么。如果标志位被设置了，myAssert将调用传入的函数并证实其返回true。如果标志位被关闭了，myAssert将安静地什么都不做。

如果没有传名参数，你可以这样写myAssert：

 
 
 

  
  
  
var assertionsEnabled = true
  
  
  
def myAssert(predicate: () => Boolean) = 
  
  
  
 if (assertionsEnabled && !predicate()) 
  
  
  
  throw new AssertionError 
 
 
 

这个定义是正确的，但使用它会有点儿难看：

 
 
 

  
  
  
myAssert(() => 5 > 3) 
 
 
 

你或许很想省略函数文本里的空参数列表和=>符号，写成如下形式：

 
 
 

  
  
  
myAssert(5 > 3) // 不会有效，因为缺少() =>
 
 
 

传名函数恰好为了实现你的愿望而出现。要实现一个传名函数，要定义参数的类型开始于=>而不是() =>。例如，你可以通过改变其类型，“() => Boolean”，为“=> Boolean”，把myAssert的predicate参数改为传名参数。代码9.5展示了它的样子：

    
    
    

     
     
     
def byNameAssert(predicate: => Boolean) = 
     
     
     
 if (assertionsEnabled && !predicate) 
     
     
     
  throw new AssertionError 
    
    
    

代码 9.5 使用传名参数

现在你可以在需要断言的属性里省略空的参数了。使用byNameAssert的结果看上去就好象使用了内建控制结构：

     
     
     

      
      
      
byNameAssert(5 > 3) 
     
     
     

传名类型中，空的参数列表，()，被省略，它仅在参数中被允许。没有什么传名变量或传名字段这样的东西。

现在，你或许想知道为什么你不能简化myAssert的编写，使用陈旧的Boolean作为它参数的类型，如：

        
        
        

         
         
         
def boolAssert(predicate: Boolean) = 
         
         
         
 if (assertionsEnabled && !predicate) 
         
         
         
  throw new AssertionError
        
        
        

当然这种格式同样合法，并且使用这个版本boolAssert的代码看上去仍然与前面的一样：

        
        
        

         
         
         
boolAssert(5 > 3) 
        
        
        

虽然如此，这两种方式之间存在一个非常重要的差别须指出。因为boolAssert的参数类型是Boolean，在boolAssert(5 > 3)里括号中的表达式先于boolAssert的调用被评估。表达式5 > 3产生true，被传给boolAssert。相对的，因为byNameAssert的predicate参数的类型是=> Boolean，byNameAssert(5 > 3)里括号中的表达式不是先于byNameAssert的调用被评估的。而是代之以先创建一个函数值，其apply方法将评估5 > 3，而这个函数值将被传递给byNameAssert。

因此这两种方式之间的差别，在于如果断言被禁用，你会看到boolAssert括号里的表达式的某些副作用，而byNameAssert却没有。例如，如果断言被禁用，boolAssert的例子里尝试对“x / 0 == 0”的断言将产生一个异常：

        
        
        

         
         
         
scala> var assertionsEnabled = false
         
         
         
assertionsEnabled: Boolean = false
         
         
         
scala> boolAssert(x / 0 == 0) 
         
         
         
java.lang.ArithmeticException: / by zero 
         
         
         
 at .< init>(< console>:8) 
         
         
         
 at .< clinit>(< console>) 
         
         
         
 at RequestResult$.< init>(< console>:3) 
         
         
         
 at RequestResult$.< clinit>(< console>)... 
        
        
        

但在byNameAssert的例子里尝试同样代码的断言将不产生异常：

        
        
        

         
         
         
scala> byNameAssert(x / 0 == 0) 
        
        
        

【相关阅读】

1. Scala：如何编写新的控制结构
2. Scala学习：Curry化的函数
3. Scala学习：简化客户代码
4. 减少Scala中的代码重复
5. Scala：尾递归的跟踪调用及其局限

网页名称：Scala学习：传名参数by-nameparameter
分享地址：http://www.shufengxianlan.com/qtweb/news44/192394.html

网站建设、网络推广公司-创新互联，是专注品牌与效果的网站制作，网络营销seo公司；服务项目有等

广告

声明：本网站发布的内容（图片、视频和文字）以用户投稿、用户转载内容为主，如果涉及侵权请尽快告知，我们将会在第一时间删除。文章观点不代表本网站立场，如需处理请联系客服。电话：028-86922220；邮箱：631063699@qq.com。内容未经允许不得转载，或转载时需注明来源： 创新互联