Goto 变量初始化之前导致编译器错误

Question

考虑这段代码（VS2008）：

void WordManager::formatWords(std::string const& document)
{
    document_ = document;
    unsigned int currentLineNo = 1;

    size_t oldEndOfLine = 0;
    size_t endOfLine    = document_.find('\n');
    while(endOfLine != std::string::npos)
    {
        std::string line = document_.substr(oldEndOfLine, (endOfLine - oldEndOfLine));
        if(line.size() < 2)
        {
            oldEndOfLine = endOfLine + 1;
            endOfLine    = document_.find('\n', oldEndOfLine);
            continue;
        }

        std::vector<std::string> words = Utility::split(line);
        for(unsigned int i(0); i < words.size(); ++i)
        {
            if(words[i].size() < 2)
                continue;
            Utility::trim(words[i], WordManager::delims);
            Utility::normalize(words[i], WordManager::replace, WordManager::replaceWith);

            if(ruleOne(words[i]) && ruleTwo(words[i]))
            {
                std::set<Word>::iterator sWIter(words_.find(Word(words[i])));

                if(sWIter == words_.end())
                    words_.insert(Word(words[i])).first->addLineNo(currentLineNo);
                else
                    sWIter->addLineNo(currentLineNo);
            }
        }
        ++currentLineNo;

        oldEndOfLine = endOfLine + 1;
        endOfLine    = document_.find('\n', oldEndOfLine);
    }
}

如果它很重要的话：这是来自家庭作业的代码，用于过滤和修改文档中的单词。 document 保存文档（之前从文件中读取）

我希望引入一个恶意 goto，因为我认为在这种情况下它实际上更干净，如下所示：

void WordManager::formatWords(std::string const& document)
{
    document_ = document;
    unsigned int currentLineNo = 1;

    size_t oldEndOfLine = 0;
    size_t endOfLine    = document_.find('\n');
    while(endOfLine != std::string::npos)
    {
        std::string line = document_.substr(oldEndOfLine, (endOfLine - oldEndOfLine));
        // HERE!!!!!!
        if(line.size() < 2)
            goto SkipAndRestart;

        std::vector<std::string> words = Utility::split(line);
        for(unsigned int i(0); i < words.size(); ++i)
        {
            if(words[i].size() < 2)
                continue;
            Utility::trim(words[i], WordManager::delims);
            Utility::normalize(words[i], WordManager::replace, WordManager::replaceWith);

            if(ruleOne(words[i]) && ruleTwo(words[i]))
            {
                std::set<Word>::iterator sWIter(words_.find(Word(words[i])));

                if(sWIter == words_.end())
                    words_.insert(Word(words[i])).first->addLineNo(currentLineNo);
                else
                    sWIter->addLineNo(currentLineNo);
            }
        }

SkipAndRestart:
        ++currentLineNo;

        oldEndOfLine = endOfLine + 1;
        endOfLine    = document_.find('\n', oldEndOfLine);
    }
}

这是否是一个好的设计选择目前无关紧要。编译器抱怨错误C2362：'words'的初始化被'goto SkipAndRestart'跳过

我不明白这个错误。为什么跳过初始化这个词很重要，而且是一个错误？这正是我想要发生的，我不想让它做更多的工作，只是重新开始该死的循环。 continue 宏不是做或多或少完全相同的事情吗？

Answer 1

您正在跳过 words 数组的构造：

    if(line.size() < 2)
        goto SkipAndRestart;
    std::vector<std::string> words = Utility::split(line);
    // ...
SkipAndRestart:

您可以在 SkipAndRestart: 标签之后使用 words，这会是一个问题。在您的情况下，您不会使用它，但是 words 变量不会被破坏，直到引入它的作用域的end，因此只要对于编译器而言，该变量在标签点仍在使用中。

您可以通过将 words 放入其自己的作用域内来避免这种情况：

    if(line.size() < 2)
        goto SkipAndRestart;
    {
        std::vector<std::string> words = Utility::split(line);
        // ...
    }
SkipAndRestart:

请注意，continue 语句跳转到循环的末尾，即您实际上可以'的位置贴上标签。这是循环内任何局部变量被销毁之后、跳回到循环顶部之前的点。

Answer 2

使用该goto，您将跳过该行：

std::vector<std::string> words = Utility::split(line);

这不仅仅是跳过重新初始化，而是跳过创建。由于该变量是在循环内部定义的，因此每次循环迭代时都会重新创建它。如果您跳过该创建，则无法使用它。

如果您希望它创建一次，则应该将该行移到循环之外。

我会避免我的第一个倾向，即告诉您在同一个句子中使用 goto 和 cleaner 通常是错误的 - 在某些情况下 goto< /code> 更好，但我不确定这是其中之一。我要告诉你的是，如果这是家庭作业，goto 是一个坏主意 - 任何教育者都会对使用 goto 皱眉。

Answer 3

一如既往，当有人认为 goto 会使代码更具可读性时，重构以使用（内联）函数至少和没有 goto 一样好：

// Beware, brain-compiled code ahead!
inline void WordManager::giveThisAMeaningfulName(const std::string& word, std::string__size_type currentLineNo)
{
    Utility::trim(word, WordManager::delims);
    Utility::normalize(word, WordManager::replace, WordManager::replaceWith);
    if(ruleOne(word) && ruleTwo(word))
    {
        std::set<Word>::iterator sWIter(words_.find(Word(word)));
        if(sWIter == words_.end())
            words_.insert(Word(word)).first->addLineNo(currentLineNo);
        else
            sWIter->addLineNo(currentLineNo);
    }
}

void WordManager::formatWords(std::string const& document)
{
    document_ = document;
    std::string__size_type currentLineNo = 1;

    std::string line;
    while(std::getline(line))
        if(line.size() > 1)
        {
          std::vector<std::string> words = Utility::split(line);
          if(word.size() > 1)
              for(unsigned int i(0); i < words.size(); ++i)
                  giveThisAMeaningfulName(words[i], currentLineNo++);
        }
}

我没有我不想费心去理解那个内部循环的作用，所以我让你给它一个有意义的名字。请注意，一旦您给了它一个名称，我就不需要了解它的算法来了解它的作用，因为名称说明了一切。）

请注意，我已将您手写的行提取替换为 < code>std::getline()，这使得代码更小。

Answer 4

另一种解决方案是在“if”指令之前声明“words”（以防您确实无法填充“if”上方的向量）并稍后填充该向量

// HERE!!!!!!
std::vector<std::string> words;
if(line.size() < 2)
     goto SkipAndRestart;
words = Utility::split(line);