Question

只是一个基本的Casaer Cipher。我已经测试了所有子功能，只是encryptChar（）没有特别的功能。我得到一个无限循环。它应该是递归的。这是所有代码：

fun replace (str : string, index : int, newChar : char) : string = String.substring(str,0,index) ^ String.str(newChar) ^ String.substring(str,index+1,(size str) - index - 1;

fun encryptChar (msgStr : string, shiftAmnt : int, index : int) : string =   
    let val asciiCode = 0  
    in  
        if (not (String.sub(msgStr, index) = #" ")) then  
        (  
            asciiCode = ord( String.sub(msgStr, index) ) + shiftAmnt;  
            if (asciiCode < ord(#"A")) then asciiCode = asciiCode + 26  
            else if (asciiCode > ord(#"Z")) then asciiCode = asciiCode - 26  
            else asciiCode = asciiCode;  
            msgStr = replace(msgStr, index, chr(asciiCode))  
        )  
        else asciiCode = asciiCode;  
        index = index + 1;  
        if (index < (size msgStr - 1)) then encryptChar(msgStr, shiftAmnt, index)  
        else msgStr  
    end  
;  

fun encrypt(msgStr : string, shiftAmnt : int) : string = encryptChar (String.map Char.toUpper msgStr, shiftAmnt mod 26, 0);

Answer 1

这里的问题是你误用了=。在变量定义之外，=只是一个布尔函数，它检查其参数是否相等。因此，如果您执行asciiCode = ord( String.sub(msgStr, index) ) + shiftAmnt;，它只会返回false（因为asciiCode不等于ord( String.sub(msgStr, index) ) + shiftAmnt），然后将结果丢弃（因为您有其他表达式）在;之后。它不会重新分配asciiCode。

SML中的变量是不可变的。如果要模拟可变变量，可以使用ref和:=运算符。但是我不推荐这种方法，因为它通常不是很好的功能风格，在这种情况下不是必需的。最好的方法是以每个变量只分配一次的方式重写代码。

Answer 2

这确实是非常基本的，你在这么复杂的情况下遇到它是令人惊讶的你用其他语言移植了吗？

你需要忘记使用作业编程的所有知识。

let val x = y in something

或多或少“在某事物内部”，将标识符“x”替换为“y”的值您无法更改x的值。

做替换（这不是实际的评估顺序或任何事情，但它应该让你知道发生了什么）：

   encryptChar("THIS", amount, 0)

=＆GT;

let val asciiCode = 0  
in  
    if (not (String.sub("THIS", 0) = #" ")) then  
    (  
        asciiCode = ord( String.sub("THIS", 0) ) + amount;  
        if (asciiCode < ord(#"A")) then asciiCode = asciiCode + 26  
        else if (asciiCode > ord(#"Z")) then asciiCode = asciiCode - 26  
        else asciiCode = asciiCode;  
        "THIS" = replace("THIS", 0, chr(asciiCode))  
    )  
    else asciiCode = asciiCode;  
    0 = 0 + 1;  
    if (0 < (size "THIS" - 1)) then encryptChar("THIS", amount, 0)  
    else str 
end ;

=＆GT;

        if (not (String.sub("THIS", 0) = #" ")) then  
        (  
            0 = ord( String.sub("THIS", 0) ) + amount;  
            if (0 < ord(#"A")) then 0 = 0 + 26  
            else if (0 > ord(#"Z")) then 0 = 0 - 26  
            else 0 = 0;  
            "THIS" = replace("THIS", 0, chr(0))  
        )  
        else 0 = 0;  
        0 = 0 + 1;  
        if (0 < (size "THIS" - 1)) then encryptChar("THIS", amount, 0)  
        else str

=＆GT;

        if (not (String.sub("THIS", 0) = #" ")) then  
        (  
            0 = ord( String.sub("THIS", 0) ) + amount;  
            if true then false
            else if false then false
            else true;
            false
        )  
        else true;  
        false;  
        if (0 < (size "THIS" - 1)) then encryptChar("THIS", amount, 0)  
        else "this"

- ＆GT;

        if (not false) then  
        (  
            false;
            false;
            false
        )  
        else true;  
        false;  
        if true then encryptChar("THIS", amount, 0)  
        else "THIS"

=＆GT;

        (  
            false;
            false;
            false
        )  
        false;  
        encryptChar("THIS", amount, 0)

=＆GT;

    encryptChar("THIS", amount, 0)

这是你无限循环的来源。

你最好掌握关于ML编程的介绍性文本。

一个非常基本的SML问题我似乎无法弄清楚（小代码）

2 个答案: