matlab - 如何在MATLAB中制作哨兵值？

Question

下面的 Python 示例可能有助于说明“哨兵值”的含义:

SENTINEL = object()
def foo(opt=SENTINEL):
    if opt is SENTINEL:
        opt = make_me_fresh_default_opt_please()
    # etc

在变量SENTINEL上面的代码片段中被初始化为一个全新的“nonce”对象，该对象可以说没有任何内容，并且在定义它的文件之外的任何其他地方都没有任何可想象的含义。 foo是一个带有可选参数的函数 opt 。常数SENTINEL由 foo 使用for 一件事且仅一件事:测试不带参数调用的条件。这是通过 if opt is SENTINEL 完成的.

看看为什么人们会想要一个如此便宜的“nonce”常量，如 SENTINEL ，将上面的代码片段与使用标准 Python 值 ( None ) 来测试无参数条件的代码片段进行对比:

def foo2(opt=None):
    if opt is None:
        opt = make_me_fresh_default_opt_please()
    # etc

此功能foo2无法区分以下两个调用¹:

foo2()
foo2(None)

总而言之，这里的“哨兵”是指代码其余部分未知的常量值，其唯一目的是作为某些条件的 bool 测试的基础。

是否有类似的简单方法可以在 MATLAB 中生成这样的哨兵常量？

编辑:我想强调，我的问题严格来说是关于如何创建哨兵，而没有考虑使用此类哨兵的目的问题。我提供了一个具体且合理的例子来说明为什么人们可能需要这样一个哨兵常数，部分原因是为了确保这篇文章的读者知道我所说的“哨兵”一词的含义。在此示例中，哨兵恰好用于测试“无参数传递”条件，但还有无数其他可能的条件需要使用哨兵值进行测试。因此，这个问题重点不是关于测试“无参数通过”条件，而是关于生成哨兵常量的一般问题。

EDIT2:基于 Notlikethat 和 Bas Swinkels 的回答:

function y = foo(varargin)
    p = inputParser;
    p.addParameter('Opt', @DEFAULT);
    p.parse(varargin{:});

    opt = p.Results.Opt;
    if DEFAULT(opt)
        opt = rand();
    end

    y = opt;
    % etc
end

function its_me = DEFAULT(opt)
    its_me = isequal(opt, @DEFAULT);
end

%{
>> foo('Opt', 3)
ans =
     3
>> foo()
ans =
    0.9134
>> foo
ans =
    0.6324
%}

好吧，这可能太可爱了。如果代码更接近 Notlikethat 的原始建议，则它会更简单、更清晰(请注意，下面的 make_sentinel 是一个独立函数):

% foo.m
function y = foo(varargin)
    DEFAULT = make_sentinel();
    p = inputParser;
    p.addParameter('Opt', DEFAULT);
    p.parse(varargin{:});

    opt = p.Results.Opt;
    if isequal(opt, DEFAULT)
        opt = rand();
    end

    y = opt;
    % etc
end

% make_sentinel.m
function sentinel = make_sentinel()
    sentinel = ...
       @() 'qqqxyz_lalala_the_user_would_be_a_moron_to_use_this_function';
    % or, more conventionally,
    % sentinel = @() 0;
end


>> foo('Opt', 6)
ans =
     6
>> foo()
ans =
    0.9575
>> foo
ans =
    0.9649

并显示 make_sentinel 产生的哨兵确实是独一无二的(而且反常是不会得到返回的):

>> foo('Opt', make_sentinel())
ans = 
    @()'qqqxyz_lalala_the_user_would_be_a_moron_to_use_this_function'

---

_{¹ 当然，foo之前定义的无法区分 foo()和foo(SENTINEL) ，但是，AFAIC，像后者这样的调用属于“反常编程”的范畴(因为它要求调用代码“不遗余力”地颠覆被调用代码的意图)，而且我不担心这样的问题反常行为。相比之下，foo2(None)前面显示的示例说明了在常规编程过程中很容易发生的情况，特别是当它的实际源代码类似于 foo(some_variable) 时。 ，和some_variable无意中最终保留了标准 Python 值 None .}

Answer 1

一个解决方案几乎是直接等效的:

function y = foo(opt)
    %default argument
    if nargin<1
        opt = @SENTINEL;
    end

    %actual check
    if isequal(opt, @SENTINEL)
        opt = make_me_fresh_default_opt_please()
    end

    % etc
end

function SENTINEL  % private function in the same file
end

诚然，没有完全那么简单，但这与 Matlab 语法和其他任何东西一样重要。

您可能还可以作一点欺骗，并基于完全相同相同的方法:

SENTINEL = java.lang.Object;
% etc...

为了更加简单而牺牲了保证的唯一性，tempname 是一种生成不太可能与有效数据冲突的字符串的简单方法(特别是当有效数据不是字符串时) ...)