c ++ 17:lambda到std :: function转换失败

Question

我正在探索c ++ 17的新增内容.经过玩弄 std::variant,想用std::optional也用同样的例子.目前看到编译因以下错误而失败:

error: no viable conversion from returned value of type
      '(lambda at ./html_parser.hpp:53:9)' to function return type 'Parser<char>' (aka
      'std::__1::function<std::__1::optional<std::__1::pair<char, std::__1::basic_string<char> > >
      (std::__1::basic_string<char>)>')
        return [=](std::string& input) -> ParserResult<char> {
               ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/home/acid/tools/include/c++/v1/functional:1627:5: note: candidate constructor not viable: no known conversion
      from '(lambda at ./html_parser.hpp:53:9)' to 'std::nullptr_t' (aka 'nullptr_t') for 1st argument
    function(nullptr_t) _NOEXCEPT : __f_(0) {}
    ^
/home/acid/tools/include/c++/v1/functional:1628:5: note: candidate constructor not viable: no known conversion
      from '(lambda at ./html_parser.hpp:53:9)' to 'const
      std::__1::function<std::__1::optional<std::__1::pair<char, std::__1::basic_string<char> > >
      (std::__1::basic_string<char>)> &' for 1st argument
    function(const function&);
    ^
/home/acid/tools/include/c++/v1/functional:1629:5: note: candidate constructor not viable: no known conversion
      from '(lambda at ./html_parser.hpp:53:9)' to 'std::__1::function<std::__1::optional<std::__1::pair<char,
      std::__1::basic_string<char> > > (std::__1::basic_string<char>)> &&' for 1st argument
    function(function&&) _NOEXCEPT;
    ^
/home/acid/tools/include/c++/v1/functional:1631:5: note: candidate template ignored: requirement
      '__callable<(lambda at ./html_parser.hpp:53:9)>::value' was not satisfied [with _Fp =
      (lambda at ./html_parser.hpp:53:9)]
    function(_Fp);
    ^
1 error generated.

要解析HTML以提供DOM,首先声明一些解析器组合器,如下所示:

#pragma once

#include <string>
#include <utility>
#include <functional>
#include <optional>

namespace dragon {
    namespace html {
        namespace parser {
            template <typename ParserOutput, typename ParserInput = std::string>
            using ParserResult = std::optional<std::pair<ParserOutput, ParserInput>>;

            template<typename ParserOutput, typename ParserInput = std::string>
            using Parser = std::function<ParserResult<ParserOutput, ParserInput>(ParserInput)>;

            template <typename ParserOutput, typename ParserInput = std::string>
            auto parse(Parser<ParserOutput, ParserInput> p, ParserInput i) -> ParserResult<ParserOutput, ParserInput>{
                return p(i);
            }

            // few parser combinators.

            // thenP combinator: applies the first parser, if it succeeds apply the second to the rest of 
            // the input left over by the first parser.
            // currently just fails and returns empty!! does not provide any debugging info/msg 
            // as to why the parsing failed.
            template<typename FirstParser, typename SecondParser>
            auto thenP(FirstParser f, SecondParser s) {
                return [=](std::string input) -> decltype(parse(s, std::string())) {
                    auto fv = parse(f, input);

                    if (fv) {
                        auto fvv = *fv;
                        return parse(s, fvv.second);
                    }
                    else {
                        return {};
                    }
                };
            }

            template<typename FirstParser, typename SecondParser>
            auto choiceP(FirstParser f, SecondParser s) {
                return [=](std::string input) {
                    auto fv = parse(f, input);
                    if (!fv) return parse(s, input);
                    return fv;
                };
            }

            auto charP(char match) -> Parser<char> {
                return [=](std::string& input) -> ParserResult<char> {
                    if ((input.empty() == false) && (input[0] == match)) {
                        return std::make_pair(input[0], input.substr(1));
                    }
                    return {};
                };
            }
        }
    }
}

我正在看到上面的错误,当试图编译简单的用法时,如下所示:

int main()
{
    auto less = Parser::parser::charP('<');
    auto greater = Parser::parser::charP('>');

    auto lag = Parser::parser::thenP(less, greater);
    auto log = Parser::parser::choiceP(less, greater);

    auto lagv = lag("<>");
    auto logv = log("|>");

    return 0;
} 

这与Visual Studio 2017(std = c ++ - latest)编译良好.但Clang给出了上述错误.试图弄清楚这两个编译器之间的差异.以及如何解决Clang的这个问题.

Answer 1

这是不正确的:

auto charP(char match) -> Parser<char> {
    return [=](std::string& input) -> ParserResult<char> { ... };
}

出于同样的原因,这是不正确的:

std::function<void(int)> f = [](int& ){};

右边的lambda 不能用a int,只有int&a function<void(int)>来调用,所以你不能用它构造一个.MSVC有一些允许模式,它允许从rvalue构造一个非const左值引用,这可能就是它工作的原因.