D编程 契约(Contract)

2021-09-01 10:43 更新

D编程中的Contract编程致力于提供一种简单易懂的错误处理方法。 D中的Contract编程通过三种类型的代码块实现-

  • Body block
  • In block
  • Out block

Body block

主体块包含执行的实际函数代码,输入和输出块是可选的,而主体块是必需的。一个简单的语法如下所示。

return_type function_name(function_params) 
in { 
   //in block 
} 

out (result) { 
   //in block 
}
 
body { 
   //actual function block 
}

前置条件

in块是简单的前提条件,用于验证输入参数是否可接受以及代码可以处理的范围, in块的一个好处是可以将所有输入条件保持在一起并与函数的实际主体分开。验证密码最小长度的简单前提如下所示。

import std.stdio; 
import std.string;
  
bool isValid(string password) 
in { 
   assert(password.length>=5); 
}
 
body { 
   //other conditions 
   return true; 
}
  
void main() { 
   writeln(isValid("password")); 
}

编译并执行上述代码后,它将读取上一部分中创建的文件,并产生以下输出-

true 

后置条件

out块负责该函数的返回值,它验证返回值在预期范围内,下面显示了一个包含输入和输出的简单示例,该示例将月份,年份转换为组合十进制年龄形式

import std.stdio;
import std.string;

double getAge(double months,double years) 
in { 
   assert(months >= 0); 
   assert(months <= 12); 
}
 
out (result) { 
   assert(result>=years); 
} 

body { 
   return years + months/12; 
} 
 
void main () { 
   writeln(getAge(10,12)); 
} 

编译并执行上述代码后,它将读取上一部分中创建的文件,并产生以下输出-

12.8333


以上内容是否对您有帮助:
在线笔记
App下载
App下载

扫描二维码

下载编程狮App

公众号
微信公众号

编程狮公众号