1

这就是我所说的 for-while 循环：

for (<init>; <update>) <body> while (<test>);

它大致翻译为：

<init>
<body>

while (<test>) {
    <update>
    <body>
}

这似乎是一种非常常见的编程模式。然而，我所知道的任何语言都没有这样的控制结构。因此，一个常见的解决方法是按如下方式实现它：

<init>

while (true) {
    <body>
    unless (<test>) break;
    <update>
}

虽然这有效，但感觉非常笨拙。在我看来，在无限 while 循环中间有条件中断违背了结构化编程的精神。

这是一个需要 for-while 循环的励志示例：

function swap(arr, i, j) {
    var tmp = arr[i];
    arr[i] = arr[j];
    arr[j] = tmp;
    return arr;
}

function heapify(heap, i) {
    var len = heap.length;

    for (var min = i; swap(heap, i, min), i = min) {
        var left  = 2 * i + 1;
        var right = 2 * (i + 1);

        if (left  < len && heap[left]  < heap[min]) min = left;
        if (right < len && heap[right] < heap[min]) min = right;
    } while (min !== i);

    return heap;
}

如您所见，该控件非常易于操作，并且代码比解决方法更简洁：

function swap(arr, i, j) {
    var tmp = arr[i];
    arr[i] = arr[j];
    arr[j] = tmp;
    return arr;
}

function heapify(heap, i) {
    var len = heap.length;
    var min = i;

    do (true) {
        var left  = 2 * i + 1;
        var right = 2 * (i + 1);

        if (left  < len && heap[left]  < heap[min]) min = left;
        if (right < len && heap[right] < heap[min]) min = right;

        if (min === i) break;
        swap(heap, i, min);
        i = min;
    }

    return heap;
}

无论如何，您知道任何具有这种控制结构的编程语言吗？Lisp 不算，因为它主要是功能性的，我正在寻找一种主要的命令式编程语言。

4

1 回答 1

1

我意识到这不是一个完全令人满意的答案，因为 c# 没有这样的内置控制结构，但我最初预计语法会更简洁，因此它几乎是您正在寻找的。（事实证明，c# 不会将 lambda 表达式隐式转换为布尔函数，因此表达式周围有显式的“垃圾”。）

除此之外，以下 c# 代码演示了我在评论中提到的备用关键字选择： do { <body> } while (<test>; <update>). 这种 do-while-update 语法比您建议的 for-while 语法更好地匹配模式流。<init>除非您关心构造变量的范围，否则任何新构造都需要一个特殊的位置（如 for 循环）已经是值得怀疑的了，但根据我的经验，无论如何都没有现有的 do-construct 提供。

var min = i; //<init>
do {
    //<body>
    var left = 2 * i + 1;
    var right = 2 * (i + 1);

    if (left < len && heap[left] < heap[min])
        min = left;
    if (right < len && heap[right] < heap[min])
        min = right;
} while ((min != 1) // <test>
    ? ((Func<bool>)(() => {
        swap(heap, i, min); i = min; //<update>
        return true; }))() : false);

注意：三元条件运算符确保该<update>部分仅在<test>为真时执行。

于 2017-04-27T07:38:53.833 回答