为什么不能在递归lambda函数中使用auto？

Question

这是我的mergeSort方法中的代码，

    std::function<void(std::vector<T>*)> mergeSortRange = [&](std::vector<T>* array) -> void {
        int length = (int) array->size();
        if (length < 2)
            return;
        std::vector<T>* leftArr = new std::vector<T>(array->begin(), array->begin() + length / 2);
        std::vector<T>* rightArr = new std::vector<T>(array->begin() + length / 2, array->end());
        mergeSortRange(leftArr);
        mergeSortRange(rightArr);
        mergeTwoSortedArrrays(leftArr, rightArr, array);
        delete leftArr;
        delete rightArr;
    };

我可以将第一行替换为：

auto mergeSortRange = [&](std::vector<T>* array) -> void ，我希望它能正常工作（对不起，请原谅）。

但是相反，编译器抱怨说：

用'auto'声明的变量'mergeSortRange'不能出现在它自己的初始化器中。

我已经指定了参数和返回类型。 有人可以对此有所启发吗？

Answer 1

您的程序格式错误，因为正如Riad所说，您试图在推导类型之前调用该函数：

dcl.spec.auto/10如果需要使用具有未推导占位符类型的实体的类型来确定表达式的类型，则程序格式错误。 但是，一旦在函数中看到未丢弃的return语句，则从该语句推断出的返回类型就可以在该函数的其余部分中使用，包括在其他return语句中。