为什么不能在 Rebol 中重写内置函数？

Question

我创建了这个，

cloneset: :set
set: func[word [word!] value][
if/else (type? get word) = list! [
    print "list is immutable"
][

    cloneset word value
    protect word
]
]
protect 'cloneset
protect 'set

在使用新的 set 函数定义 val 函数时出现此错误：

val: func[word [word!] value][
    set word value
    protect word
    value
]

>> val: func[word [word!] value][
[        set word value
[        protect word
[        value
[    ]
** Script Error: set has no refinement called any
** Where: throw-on-error
** Near: if error? set/any 'blk try

我不明白为什么？

Answer 1

在 Rebol 中，任何内置函数都可以被覆盖。 您实际上确实重写了上面的 set 函数。

但是，当看到您获得的错误时，您应该检查 throw-on-error 函数。 您会发现，在函数源代码中，有一个对 set 函数的调用，如下所示：

set/any 'blk try ...

该调用表明 throw-on-error 函数假设set 变量来引用具有 /any 细化的函数。 由于您重新定义的函数版本没有这样的改进，因此 throw-on-error 函数无法以这种方式调用它，因此您会收到错误。

一般来说，你可以重新定义任何东西，但你必须承担重新定义的责任，特别是如果重新定义的版本不能向后兼容原始版本。

Answer 2

当您重新定义在 system/words 中定义的单词时，您应该准确地重新定义它。 set 一词有两个改进：/pad 和 /any，您的重新定义还应该包括：（

cloneset: :set
set: func [
    word [word! block!]
    value
    /any
    /pad
][
    either all [word? word list? get word] [
        throw make error! "List is immutable!"
    ][
        comment {
           At this point you'll have to forward the arguments and refinements
           of your SET method to CLONESET. This will be made much easier in R3
           with the new APPLY function.
        }
    ]
]

我根本没有测试过上面的代码应该被视为伪代码。）

Answer 3

为了确保规范正确，您可以重用原始函数的规范：

set: func spec-of :cloneset [
    'new-implementation
]

source set
set: func [
    {Sets a word, block of words, or object to specified value(s).} 
    word [any-word! block! object!] "Word or words to set" 
    value [any-type!] "Value or block of values" 
    /any "Allows setting words to any value." 
    /pad {For objects, if block is too short, remaining words are set to NONE.}
]['new-implementation]

在没有 'spec-of 的旧版本中，您可以使用 'first 代替它。