1

我正在尝试将字符串转换为字符列表列表，并且我有以下代码：

fun linelist file =
                     let
                       val instr = TextIO.openIn file
                       val str   = TextIO.inputAll instr
                     in 
                       String.tokens (fn x => x = #"\n")str
                     before
                       TextIO.closeIn instr
                     end;

fun getsudo file   = map explode (linelist file);

我需要使用以下内容打开文件（sudo.txt）

53**7****\n6**195***\n*98****6*\n8***6***3\n4**8*3**1\n7***2***6\n*6****28*\n***419**5\n****8**79\n

进入

[[#"5",#"3",#"*",#"*",#"7",#"*",#"*",#"*",#"*",],
[#"6",#"*",#"*",#"1",#"9",#"5",#"*",#"*",#"*",],
[#"*",#"9",#"8",#"*",#"*",#"*",#"*",#"6",#"*",],
[#"8",#"*",#"*",#"*",#"6",#"*",#"*",#"*",#"3",],
[#"4",#"*",#"*",#"8",#"*",#"3",#"*",#"*",#"1",],
[#"7",#"*",#"*",#"*",#"2",#"*",#"*",#"*",#"6",],
[#"*",#"6",#"*",#"*",#"*",#"*",#"2",#"8",#"*",],
[#"*",#"*",#"*",#"4",#"1",#"9",#"*",#"*",#"5",],
[#"*",#"*",#"*",#"*",#"8",#"*",#"*",#"7",#"9",]]

但我得到了这个

[[#"5",#"3",#"*",#"*",#"7",#"*",#"*",#"*",#"*",#"\\",#"n",#"6",
  #"*",#"*",#"1",#"9",#"5",#"*",#"*",#"*",#"\\",#"n",#"*",#"9",
  #"8",#"*",#"*",#"*",#"*",#"6",#"*",#"\\",#"n"#"8",#"*",#"*",
  #"*",#"6",#"*",#"*",#"*",#"3",#"\\",#"n",#"4",#"*",#"*",#"8",
  #"*",#"3",#"*",#"*",#"1",#"\\",#"n",#"7",#"*",#"*",#"*",#"2",
  #"*",#"*",#"*",#"6",#"\\",#"n",#"*",#"6",#"*",#"*",#"*",#"*",
  #"2",#"8",#"*",#"\\",#"n",#"*",#"*",#"*",#"4",#"1",#"9",#"*",
  #"*",#"5",#"\\",#"n",#"*",#"*",#"*",#"*",#"8",#"*",#"*",#"7",
  #"9",#"\\",#"n"]]

我如何解决它？

4

2 回答 2

2

你可以使用explode()。这会将字符串列表转换为 char 列表，这就是您要执行的操作。调用explode('string')进行转换

于 2015-04-08T23:21:13.510 回答
1

您需要定位或编写lines函数。它需要一个字符串并根据换行符出现的位置将其分解为一个字符串数组。

它lines在haskell中被调用。除此之外; 而不是inutAll，您必须在累积字符串数组时逐行输入。

此外，您输入的文件似乎具有实际的 '\' \n' 字符而不是换行符。

输入应该是：

53**7****
6**195***
*98****6*
8***6***3
4**8*3**1
7***2***6
*6****28*
***419**5
****8**79

行.sml：

open Char;
open String;
open List;

fun linelist file =
    let val instr = TextIO.openIn file
        val str   = TextIO.inputAll instr
    in tokens isSpace str
       before
       TextIO.closeIn instr
    end;


fun getsudo file   = map explode (linelist file);


fun  main args = 
   getsudo "sudo.txt";

会议：

- main 1;
val it =
  [[#"5",#"3",#"*",#"*",#"7",#"*",#"*",#"*",#"*"],
   [#"6",#"*",#"*",#"1",#"9",#"5",#"*",#"*",#"*"],
   [#"*",#"9",#"8",#"*",#"*",#"*",#"*",#"6",#"*"],
   [#"8",#"*",#"*",#"*",#"6",#"*",#"*",#"*",#"3"],
   [#"4",#"*",#"*",#"8",#"*",#"3",#"*",#"*",#"1"],
   [#"7",#"*",#"*",#"*",#"2",#"*",#"*",#"*",#"6"],
   [#"*",#"6",#"*",#"*",#"*",#"*",#"2",#"8",#"*"],
   [#"*",#"*",#"*",#"4",#"1",#"9",#"*",#"*",#"5"],
   [#"*",#"*",#"*",#"*",#"8",#"*",#"*",#"7",#"9"]] : char list list
-
于 2010-10-12T22:37:54.493 回答