在这种情况下，我应该避免"goto"吗？

我正在制作一个"连接迭代器"，即一个迭代器，它将在int**中迭代int。

它的构造函数需要：

• T**数组，表示每个子数组的开头。
• 一个T**数组，表示每个子数组的末尾。

你瞧，我遇到了一个goto似乎合适的情况。

但是我内心有什么东西尖叫着"不！"所以我想我会来这里问：

我应该尽量避免这样的goto情况吗？ （如果我这样做，它会提高可读性吗？

#include <algorithm>
template<class T>
class lazy_concat_iterator
{
    // This code was meant to work for any valid input iterator
    // but for easier reading, I'll assume the type is: T**
    mutable T** m_endIt;              // points to an array of end-pointers
    mutable T** m_it;                 // points to an array of begin-pointers
    mutable bool m_started;   // have we started iterating?
    mutable T* m_sub;         // points somewhere in the current sub-array
    mutable T* m_subEnd;      // points to the end of the current sub-array
public:
    lazy_concat_iterator(T** begins, T** ends)
        : m_it(begins), m_endIt(ends), m_started(false) { }
    void ensure_started() const
    {
        if (!m_started)
        {
            m_started = true;
        
        INIT:
            m_sub = *m_it;
            m_subEnd = *m_endIt;
            if (m_sub == m_subEnd)  // End of this subarray?
            {
                ++m_it;
                ++m_endIt;
                goto INIT;  // try next one         <<< should I use goto here?
            }
        }
    }
};

如何使用它：

#include <vector>
#include <cstring>
using namespace std;
int main(int argc, char* argv[])
{
    vector<char*> beginnings(argv, argv + argc);
    vector<char*> endings;
    for (int i = 0; i < argc; i++)
        endings.push_back(argv[i] + strlen(argv[i]));
    lazy_concat_iterator<char> it(&beginnings[0], &endings[0]);
    it.ensure_started();  // 'it' would call this internally, when dereferenced
}