为什么这个 OCaml 代码会导致运行时错误?

如何解决为什么这个 OCaml 代码会导致运行时错误?

我正在尝试在编码问题网站上运行以下代码,它说存在运行时错误,但在顶级 ocaml 上运行它似乎工作正常。代码中是否有任何错误来源?提前致谢

问题是在给定的列表中找到“好段”的数量和一个特定的数字。一个好的段定义如下:

  1. A 和 B 是正整数,使得 A
  2. 满足 A

以下是输入。

  1. n,这是列表中将要给出的元素数。
  2. a,b,c,... 它们是列表的元素。
  3. t,这是段中必须包含的数字。

输出应该是打印出来的单个数字。

编辑代码:

let rec drop_value l to_drop =
  match l with
  | [] -> []
  | hd :: tl ->
    let new_tl = drop_value tl to_drop in
    if hd = to_drop then new_tl else hd :: new_tl
;;

let rec find_start li t cur_min =
  match li with
  | [] -> cur_min
  | hd :: tl -> let new_min = abs (t - hd) in 
  if new_min = 0 then find_start tl t new_min 
  else if new_min < cur_min && t > hd then find_start tl t new_min 
  else find_start tl t cur_min
;;

let rec find_end li t cur_min =
  match li with
  | [] -> cur_min
  | hd :: tl -> let new_min = abs (t - hd) in 
  if new_min = 0 then find_end tl t new_min 
  else if new_min < cur_min && t < hd then find_end tl t new_min 
  else find_end tl t cur_min
;;

let rec contains_value l value =
  match l with
  | [] -> false
  | hd :: tl -> if hd = value then true else contains_value tl value
;;

let nums = ref [];;
let n = read_int () in
for i = 1 to n do
  Scanf.scanf " %d" (fun a -> 
    nums := a :: !nums)
done;

Scanf.scanf " %d" (fun t ->
  if contains_value !nums t then print_int 0
  else let start = if List.length !nums = 1 then 1 else abs (find_start !nums t 1001 - t) in 
  let finish = find_end (drop_value !nums start) t 1001 + t in
  if t > start && t < finish then (if start = 1 && List.length ! nums = 1 then print_int ((t - start + 1) * (finish - t) - 1) else print_int ((t - start) * (finish - t) - 1)) 
  else let start = 1 in print_int ((t - start + 1) * (finish - t) - 1))
;;

例如

5

4 8 13 24 30

10

应该给

5

=> [9,10],[9,11],12],[10,12]

解决方法

您没有描述您的代码将获得的确切输入格式。这使得调试代码几乎不可能。

当我使用您描述的输入编译并运行您的代码(如 m.ml)时,我看到:

$ ./m
5 4 8 13 24 30 10
Fatal error: exception Failure("int_of_string")

事实上,无论我尝试输入什么格式,我都会得到相同的结果。

这可能就是网站上正在发生的事情。

根据我的经验,使用 scanf 总是弊大于利。将其与其他输入函数结合使用可能会使情况变得更糟。

如果您仔细描述了输入的预期格式,StackOverflow 上的某个人可以推荐一种获取数字的方法。

与此同时,这里有一种方法可以读取一行中的所有数字:

 let rec split_at list n =
     if n = 0 then
         ([],list)
     else
        match list with
        | [] -> ([],[])
        | h :: t ->
            let (a,b) = split_at t (n - 1) in (h :: a,b)
 in

 let (nums,t) =
 let line = read_line () in
 let nstrs = Str.split (Str.regexp "[ \t][ \t]*") line in
 match List.map int_of_string nstrs with
 | [] -> failwith "no numbers"
 | n :: rest ->
      if List.length rest <> n + 1 then
          failwith "bad count"
      else
          let (nums,tlist) = split_at rest n in
          (nums,List.hd tlist)
in
. . .

 

版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。

相关推荐


使用本地python环境可以成功执行 import pandas as pd import matplotlib.pyplot as plt # 设置字体 plt.rcParams[&#39;font.sans-serif&#39;] = [&#39;SimHei&#39;] # 能正确显示负号 p
错误1:Request method ‘DELETE‘ not supported 错误还原:controller层有一个接口,访问该接口时报错:Request method ‘DELETE‘ not supported 错误原因:没有接收到前端传入的参数,修改为如下 参考 错误2:cannot r
错误1:启动docker镜像时报错:Error response from daemon: driver failed programming external connectivity on endpoint quirky_allen 解决方法:重启docker -&gt; systemctl r
错误1:private field ‘xxx‘ is never assigned 按Altʾnter快捷键,选择第2项 参考:https://blog.csdn.net/shi_hong_fei_hei/article/details/88814070 错误2:启动时报错,不能找到主启动类 #
报错如下,通过源不能下载,最后警告pip需升级版本 Requirement already satisfied: pip in c:\users\ychen\appdata\local\programs\python\python310\lib\site-packages (22.0.4) Coll
错误1:maven打包报错 错误还原:使用maven打包项目时报错如下 [ERROR] Failed to execute goal org.apache.maven.plugins:maven-resources-plugin:3.2.0:resources (default-resources)
错误1:服务调用时报错 服务消费者模块assess通过openFeign调用服务提供者模块hires 如下为服务提供者模块hires的控制层接口 @RestController @RequestMapping(&quot;/hires&quot;) public class FeignControl
错误1:运行项目后报如下错误 解决方案 报错2:Failed to execute goal org.apache.maven.plugins:maven-compiler-plugin:3.8.1:compile (default-compile) on project sb 解决方案:在pom.
参考 错误原因 过滤器或拦截器在生效时,redisTemplate还没有注入 解决方案:在注入容器时就生效 @Component //项目运行时就注入Spring容器 public class RedisBean { @Resource private RedisTemplate&lt;String
使用vite构建项目报错 C:\Users\ychen\work&gt;npm init @vitejs/app @vitejs/create-app is deprecated, use npm init vite instead C:\Users\ychen\AppData\Local\npm-
参考1 参考2 解决方案 # 点击安装源 协议选择 http:// 路径填写 mirrors.aliyun.com/centos/8.3.2011/BaseOS/x86_64/os URL类型 软件库URL 其他路径 # 版本 7 mirrors.aliyun.com/centos/7/os/x86
报错1 [root@slave1 data_mocker]# kafka-console-consumer.sh --bootstrap-server slave1:9092 --topic topic_db [2023-12-19 18:31:12,770] WARN [Consumer clie
错误1 # 重写数据 hive (edu)&gt; insert overwrite table dwd_trade_cart_add_inc &gt; select data.id, &gt; data.user_id, &gt; data.course_id, &gt; date_format(
错误1 hive (edu)&gt; insert into huanhuan values(1,&#39;haoge&#39;); Query ID = root_20240110071417_fe1517ad-3607-41f4-bdcf-d00b98ac443e Total jobs = 1
报错1:执行到如下就不执行了,没有显示Successfully registered new MBean. [root@slave1 bin]# /usr/local/software/flume-1.9.0/bin/flume-ng agent -n a1 -c /usr/local/softwa
虚拟及没有启动任何服务器查看jps会显示jps,如果没有显示任何东西 [root@slave2 ~]# jps 9647 Jps 解决方案 # 进入/tmp查看 [root@slave1 dfs]# cd /tmp [root@slave1 tmp]# ll 总用量 48 drwxr-xr-x. 2
报错1 hive&gt; show databases; OK Failed with exception java.io.IOException:java.lang.RuntimeException: Error in configuring object Time taken: 0.474 se
报错1 [root@localhost ~]# vim -bash: vim: 未找到命令 安装vim yum -y install vim* # 查看是否安装成功 [root@hadoop01 hadoop]# rpm -qa |grep vim vim-X11-7.4.629-8.el7_9.x
修改hadoop配置 vi /usr/local/software/hadoop-2.9.2/etc/hadoop/yarn-site.xml # 添加如下 &lt;configuration&gt; &lt;property&gt; &lt;name&gt;yarn.nodemanager.res