递归函数返回数组始终为空

的原因可能是在递归调用过程中没有正确地向数组中添加元素。以下是可能导致递归函数返回空数组的几种常见情况：

1. 递归终止条件不正确：递归函数应该在满足某个条件时停止递归，并返回最终结果。如果终止条件不正确，递归函数可能会在没有添加元素的情况下返回空数组。
2. 未正确传递数组参数：在递归函数中，如果需要向数组中添加元素，必须正确地传递数组参数。如果没有正确传递数组参数，递归函数可能会在每次递归调用时创建一个新的空数组，导致最终返回的数组为空。
3. 未正确处理递归返回值：在递归函数中，如果需要将递归调用的结果添加到数组中，必须正确地处理递归返回值。如果没有正确处理递归返回值，递归函数可能会忽略返回的数组，导致最终返回的数组为空。

为了解决这个问题，可以按照以下步骤进行调试和修复：

1. 检查递归终止条件：确保递归函数的终止条件正确，并且在满足条件时返回正确的结果。
2. 确保正确传递数组参数：在递归函数中，检查是否正确地传递了数组参数，并且在递归调用时使用相同的数组。
3. 处理递归返回值：在递归函数中，确保正确地处理递归调用的返回值，并将其添加到数组中。

以下是一个示例递归函数，用于计算斐波那契数列，并返回一个包含斐波那契数列的数组：

def fibonacci(n, arr=[]):
    if n <= 0:
        return arr
    if n == 1:
        arr.append(0)
        return arr
    if n == 2:
        arr.append(0)
        arr.append(1)
        return arr
    arr = fibonacci(n-1, arr)
    arr.append(arr[-1] + arr[-2])
    return arr

在这个示例中，递归函数fibonacci接受一个整数参数n和一个数组参数arr。它首先检查n的值，如果n小于等于0，则直接返回数组arr。如果n等于1或2，则将0或1添加到数组arr中，并返回数组arr。否则，它通过递归调用fibonacci函数来计算前两个斐波那契数，并将结果添加到数组arr中。然后，它计算第n个斐波那契数，并将其添加到数组arr中。最后，它返回数组arr作为最终结果。

这是一个简单的示例，用于说明如何正确处理递归函数返回数组为空的问题。具体的实现和调试可能因编程语言和具体问题而有所不同。对于更复杂的问题，可能需要更详细的调试和修复过程。