Явный тип возврата лямбда
Когда я пытаюсь скомпилировать этот код (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