Явный тип возврата лямбда

Когда я пытаюсь скомпилировать этот код (VS2010), я получаю следующую ошибку: error C3499: a lambda that has been specified to have a void return type cannot return a value

void DataFile::removeComments()
{
  string::const_iterator start, end;
  boost::regex expression("^\\s?#");
  boost::match_results<std::string::const_iterator> what;
  boost::match_flag_type flags = boost::match_default;
  // Look for lines that either start with a hash (#)
  // or have nothing but white-space preceeding the hash symbol
  remove_if(rawLines.begin(), rawLines.end(), [&expression, &start, &end, &what, &flags](const string& line)
  {
    start = line.begin();
    end = line.end();
    bool temp = boost::regex_search(start, end, what, expression, flags);
    return temp;
  });
}

Как я указал, что лямбда имеет возвращаемый тип "void". Более того, как указать, что лямбда имеет тип возврата "bool"?

UPDATE

Следующие компиляции. Может кто-нибудь, пожалуйста, скажите мне, почему это компилируется, а другое нет?

void DataFile::removeComments()
{
  boost::regex expression("^(\\s+)?#");
  boost::match_results<std::string::const_iterator> what;
  boost::match_flag_type flags = boost::match_default;
  // Look for lines that either start with a hash (#)
  // or have nothing but white-space preceeding the hash symbol
  rawLines.erase(remove_if(rawLines.begin(), rawLines.end(), [&expression, &what, &flags](const string& line)
  { return boost::regex_search(line.begin(), line.end(), what, expression, flags); }));
}

Ответ 1

Вы можете явно указать тип возврата лямбда, используя -> Type после списка аргументов:

[]() -> Type { }

Однако, если lambda имеет один оператор, и этот оператор является оператором return (и возвращает выражение), компилятор может вывести тип возвращаемого значения из типа возвращаемого выражения. У вас есть несколько операторов в вашей лямбда, поэтому он не выводит тип.

Ответ 2

Возвращаемый тип лямбда может быть выведен, но только в том случае, когда существует только один оператор, и этот оператор является оператором return, который возвращает выражение (например, список инициализаторов не является выражением). Если у вас есть многозадачная лямбда, то тип возврата считается недействительным.

Поэтому вы должны сделать это:

  remove_if(rawLines.begin(), rawLines.end(), [&expression, &start, &end, &what, &flags](const string& line) -> bool
  {
    start = line.begin();
    end = line.end();
    bool temp = boost::regex_search(start, end, what, expression, flags);
    return temp;
  })

Но на самом деле ваше второе выражение намного читаемо.

Ответ 3

У вас может быть более одного оператора, когда он еще возвращается:

[]() -> your_type {return (
        your_statement,
        even_more_statement = just_add_comma,
        return_value);}

http://www.cplusplus.com/doc/tutorial/operators/#comma