Как VALUE? функция работает?

Question

я сократил до небольшого примера кода, который у меня есть, который проверяет, имеет ли переменные с именем class-name значения отведенного ему:

ask-params: function [ 
    config-file [file!] 
    default-class-name 
    default-fields 
] [ 
    probe value? 'class-name 
    input 
    either (value? 'class-name) [ 
     probe class-name 
    ] [ 
     ;-- omit code in this branch for now 
    ] 
] 

ret-block: ask-params %simple-class.params.txt "Person" "First Name, Last Name" 

Выражением value? 'class-name возвращает ложное здесь. С другой стороны, если я заполнить недостающие ветви с заданием:

ask-params: function [ 
    config-file [file!] 
    default-class-name 
    default-fields 
] [ 
    probe value? 'class-name 
    input 
    either (value? 'class-name) [ 
     probe class-name 
    ] [ 
     class-name: default-class-name 
    ] 
] 

ret-block: ask-params %simple-class.params.txt "Person" "First Name, Last Name" 

Это возвращает истину для value? 'class-name. Но в этом втором случае class-name: default-class-name еще не выполнен.

Я бы подумал, что имя класса не должно существовать в памяти, поэтому value? 'class-name должно возвращать false. Почему value? вместо этого возвращает true?

Answer 1

Вы используете function. Это сканирует тело функции и предварительно создает для вас локальные переменные, инициализированные NONE. Вот почему value? 'class-name становится истинным (потому что NONE является юридическим значением для переменной, отличной от ситуации «unset»).

Если вы использовали func вместо этого, то оба они вернут false.

Answer 2

Здесь я покажу вам два примера, а не с помощью функции, но в противном случае эквивалентно код:

ask-params: func [config-file [file!] default-class-name default-fields] [ 
    probe value? 'class-name 
    input 
    either (value? 'class-name) [ 
     probe class-name 
    ][ 
    ] 
] 

ask-params: func [ 
    config-file [file!] default-class-name default-fields /local class-name 
] [ 
    probe value? 'class-name 
    input 
    either (value? 'class-name) [ 
     probe class-name 
    ][ 
    ] 
] 

value? В то время как функция в первом примере, дает #[false], во втором примере он дает #[true]. Это связано с тем, что «аргументы уточнения» после «неиспользуемого уточнения» (уточнение, которое не используется в фактическом вызове) инициализируются до #[none!] вместе с переменной уточнения. Это относится также к переменным /local, поскольку уточнение /local не отличается от других уточнений функций (за исключением того факта, что это соглашение использовать его для определения локальных переменных).

Поскольку генератор function использует метод /local для реализации локальных переменных «под капотом», приведенное выше описание относится ко всем функциям, которые он генерирует.

Answer 3

Существует другой способ, который позволяет избежать использования FUNC/LOCAL и по-прежнему позволяет использовать функцию FUNCTION.

То есть не использовать SET-WORD! для задания. Вместо этого используйте функцию SET на LIT-WORD!

ask-params: function [config-file [file!] default-class-name default-fields] [ 
    probe value? 'class-name 
    input 
    either (value? 'class-name) [ 
     probe class-name 
    ] [ 
     set 'class-name default-class-name 
    ] 
] 

Вы получите #[false] для функции value?. Тем не менее, вызов SET будет устанавливать class-name в глобальной среде ... не как локальный.

Answer 4

Я не думаю, что function ведет себя иначе, чем func /local. Посмотрите на эти примеры:

>> f: func [/x] [value? 'x] 
>> f 
== true 

Я не придавал значения x, но он говорит, что имеет значение.То же самое для/местного

>> f: func [/local x] [value? 'x] 
>> f 
== true 

Потому что, когда вы делаете локальной переменной (или уточнение), то это означает, что вы уже установили значение для него (который не является ни), и это то, что делает function.