我想知道下面的代码是好是坏。它是关于一个应该由我的API解析的html查询字符串。使用递归来从查询字符串中删除任意数量的'？'是非常方便的。
但是，我想知道这是否会因为递归深度不可控而导致堆栈溢出。我希望这种情况能保证尾部优化，但我不确定。有这样的保证吗？
演示

#include <string_view>
#include <cstdio>

static auto digest_query(std::string_view query) -> void
{
    if (query.front() == '?') {
        // printf("%.*s\n", (int)query.size(), query.data());
        return digest_query(query.substr(1));
    }
    // Do other stuff...
}

int main()
{
    digest_query("???????key=value");
}