Re: Ambiguous call to overloaded function

On Fri, Nov 24, 2017 at 2:01 PM, Michael Powell <[email protected]> wrote:
> On Fri, Nov 24, 2017 at 1:03 PM, Michael Powell <[email protected]> wrote:
>> I'm not positive, this may be a similar situation as with:
>>
>> http://boost.2283326.n4.nabble.com/Spirit-X3-employee-cpp-compile-error-td4687704.html
>>
>> Related to VS2015 Update 3 support.
>>
>> With solutions that seem to revolve around necessity of BOOST_SPIRIT_DEFINE (?).
>
> And if I just take the error on its face, just what is the difference
> between Attribute& and ActualAttribute&, other than in name only?

So, I'm not sure exactly, but is it because I am using
BOOST_SPIRIT_DEFINE? And/or what else I should to to workaround the
issue?

Then I saw a note that "VS" wasn't supported? Care to qualify that
statement? If not, why not? What features are supported?

As for alternative paths, if X3 will not work, what about Spirit Qi?
That would possibly be acceptable, but I'd kind of like to be on the
forward looking path with that.

>> Can someone clarify?
>>
>> Thank you.
>>
>> Cheers,
>>
>> Michael Powell
>>
>>
>>
>> On Fri, Nov 24, 2017 at 12:40 PM, Michael Powell <[email protected]> wrote:
>>> Hello,
>>>
>>> I am trying to stand some unit tests up around my X3 rules, but
>>> getting errors doing so:
>>>
>>> template<class Rule>
>>> void VerifyRule(const std::string& s,  Rule& r, bool expected_match) {
>>>
>>>     using namespace boost::spirit::x3;
>>>
>>>     auto first_ = s.begin();
>>>     auto last_ = s.end();
>>>
>>>     >>> REQUIRE(phrase_parse(first_, last_, r, space) == expected_match); <<<
>>>     REQUIRE(first_ == last_);
>>> }
>>>
>>> // ...
>>>
>>>>>> REQUIRE_NOTHROW(VerifyRule("12345", Port, true)); <<<
>>>
>>> // ...
>>>
>>> #include <boost/spirit/home/x3.hpp>
>>>
>>> namespace Kmsg {
>>>
>>>     namespace IPv4 {
>>>
>>>         using namespace boost::spirit;
>>>         using namespace boost::spirit::x3;
>>>
>>>         x3::rule<class Port, std::uint16_t> const Port = "Port";
>>>
>>>         auto const Port_def = digit
>>>             | (char_('1', '9') >> digit[repeat(1, 3)])
>>>             | (char_('1', '5') >> digit[repeat(4)])
>>>             | (char_('6') >> char_('0', '4') >> digit[repeat(3)])
>>>             | ("65" >> char_('0', '4') >> digit[repeat(2)])
>>>             | ("655" >> char_('0', '2') >> digit)
>>>             | ("6553" >> char_('0', '5'))
>>>             ;
>>>
>>>         BOOST_SPIRIT_DEFINE(Port);
>>>     }
>>> }
>>>
>>> And which errors are:
>>>
>>> 2>------ Build started: Project: Rfc3986_Uri_RegexSyntaxVerification,
>>> Configuration: Debug x64 ------
>>> 2>  Rfc3986_Uri_BoostSpiritParsing.cpp
>>> 2>/path/to/boost-1.65.1\boost/spirit/home/x3/nonterminal/rule.hpp(113):
>>> error C2668: 'Kmsg::IPv4::parse_rule': ambiguous call to overloaded
>>> function
>>> 2>  G:\Source\Kingdom
>>> Software\Kingdom.Messaging\Working\src\transports/boost/spirit/ipv4/port.hpp(25):
>>> note: could be 'bool
>>> Kmsg::IPv4::parse_rule<Iterator,Context,Attribute_>(const
>>> boost::spirit::x3::rule<Kmsg::IPv4::Port,uint16_t,false>,Iterator
>>> &,const Iterator &,const Context &,Attribute &)' [found using
>>> argument-dependent lookup]
>>> 2>          with
>>> 2>          [
>>> 2>
>>> Iterator=std::_String_const_iterator<std::_String_val<std::_Simple_types<char>>>,
>>> 2>
>>> Context=boost::spirit::x3::context<boost::spirit::x3::skipper_tag,const
>>> boost::spirit::x3::standard::space_type,boost::spirit::x3::unused_type>,
>>> 2>              Attribute_=const boost::spirit::x3::unused_type,
>>> 2>              Attribute=const boost::spirit::x3::unused_type
>>> 2>          ]
>>> 2>  /path/to/boost-1.65.1\boost/spirit/home/x3/nonterminal/rule.hpp(27):
>>> note: or       'boost::spirit::x3::detail::default_parse_rule_result
>>> boost::spirit::x3::parse_rule<Kmsg::IPv4::Port,uint16_t,Iterator,Context,Attribute_>(boost::spirit::x3::rule<Kmsg::IPv4::Port,uint16_t,false>,Iterator
>>> &,const Iterator &,const Context &,ActualAttribute &)'
>>> 2>          with
>>> 2>          [
>>> 2>
>>> Iterator=std::_String_const_iterator<std::_String_val<std::_Simple_types<char>>>,
>>> 2>
>>> Context=boost::spirit::x3::context<boost::spirit::x3::skipper_tag,const
>>> boost::spirit::x3::standard::space_type,boost::spirit::x3::unused_type>,
>>> 2>              Attribute_=const boost::spirit::x3::unused_type,
>>> 2>              ActualAttribute=const boost::spirit::x3::unused_type
>>> 2>          ]
>>> 2>  /path/to/boost-1.65.1\boost/spirit/home/x3/nonterminal/rule.hpp(113):
>>> note: while trying to match the argument list '(const
>>> boost::spirit::x3::rule<Kmsg::IPv4::Port,uint16_t,false>,
>>> std::_String_const_iterator<std::_String_val<std::_Simple_types<char>>>,
>>> const std::_String_const_iterator<std::_String_val<std::_Simple_types<char>>>,
>>> const boost::spirit::x3::context<boost::spirit::x3::skipper_tag,const
>>> Derived,boost::spirit::x3::unused_type>, const
>>> boost::spirit::x3::unused_type)'
>>> 2>          with
>>> 2>          [
>>> 2>              Derived=boost::spirit::x3::standard::space_type
>>> 2>          ]
>>> 2>  /path/to/boost-1.65.1\boost/spirit/home/x3/core/parse.hpp(117):
>>> note: see reference to function template instantiation 'bool
>>> boost::spirit::x3::rule<Kmsg::IPv4::Port,uint16_t,false>::parse<Iterator,boost::spirit::x3::context<boost::spirit::x3::skipper_tag,const
>>> Derived,boost::spirit::x3::unused_type>,Attribute>(Iterator &,const
>>> Iterator &,const Context &,boost::spirit::x3::unused_type,Attribute_
>>> &) const' being compiled
>>> 2>          with
>>> 2>          [
>>> 2>
>>> Iterator=std::_String_const_iterator<std::_String_val<std::_Simple_types<char>>>,
>>> 2>              Derived=boost::spirit::x3::standard::space_type,
>>> 2>              Attribute=const boost::spirit::x3::unused_type,
>>> 2>
>>> Context=boost::spirit::x3::context<boost::spirit::x3::skipper_tag,const
>>> boost::spirit::x3::standard::space_type,boost::spirit::x3::unused_type>,
>>> 2>              Attribute_=const boost::spirit::x3::unused_type
>>> 2>          ]
>>> 2>  /path/to/boost-1.65.1\boost/spirit/home/x3/core/parse.hpp(117):
>>> note: see reference to function template instantiation 'bool
>>> boost::spirit::x3::rule<Kmsg::IPv4::Port,uint16_t,false>::parse<Iterator,boost::spirit::x3::context<boost::spirit::x3::skipper_tag,const
>>> Derived,boost::spirit::x3::unused_type>,Attribute>(Iterator &,const
>>> Iterator &,const Context &,boost::spirit::x3::unused_type,Attribute_
>>> &) const' being compiled
>>> 2>          with
>>> 2>          [
>>> 2>
>>> Iterator=std::_String_const_iterator<std::_String_val<std::_Simple_types<char>>>,
>>> 2>              Derived=boost::spirit::x3::standard::space_type,
>>> 2>              Attribute=const boost::spirit::x3::unused_type,
>>> 2>
>>> Context=boost::spirit::x3::context<boost::spirit::x3::skipper_tag,const
>>> boost::spirit::x3::standard::space_type,boost::spirit::x3::unused_type>,
>>> 2>              Attribute_=const boost::spirit::x3::unused_type
>>> 2>          ]
>>> 2>  /path/to/boost-1.65.1\boost/spirit/home/x3/core/parse.hpp(162):
>>> note: see reference to function template instantiation 'bool
>>> boost::spirit::x3::phrase_parse_main<Iterator,Parser,Skipper,const
>>> boost::spirit::x3::unused_type>(Iterator &,Iterator,const Parser
>>> &,const Skipper &,Attribute &,boost::spirit::x3::skip_flag)' being
>>> compiled
>>> 2>          with
>>> 2>          [
>>> 2>
>>> Iterator=std::_String_const_iterator<std::_String_val<std::_Simple_types<char>>>,
>>> 2>              Parser=const
>>> boost::spirit::x3::rule<Kmsg::IPv4::Port,uint16_t,false>,
>>> 2>              Skipper=boost::spirit::x3::standard::space_type,
>>> 2>              Attribute=const boost::spirit::x3::unused_type
>>> 2>          ]
>>> 2>  /path/to/tests/rfc\Rfc3986_Uri_BoostSpiritParsing.cpp(44): note:
>>> see reference to function template instantiation 'bool
>>> boost::spirit::x3::phrase_parse<std::_String_const_iterator<std::_String_val<std::_Simple_types<char>>>,const
>>> Rule,boost::spirit::x3::standard::space_type>(Iterator
>>> &,Iterator,const Parser &,const Skipper
>>> &,boost::spirit::x3::skip_flag)' being compiled
>>> 2>          with
>>> 2>          [
>>> 2>              Rule=const
>>> boost::spirit::x3::rule<Kmsg::IPv4::Port,uint16_t,false>,
>>> 2>
>>> Iterator=std::_String_const_iterator<std::_String_val<std::_Simple_types<char>>>,
>>> 2>              Parser=const
>>> boost::spirit::x3::rule<Kmsg::IPv4::Port,uint16_t,false>,
>>> 2>              Skipper=boost::spirit::x3::standard::space_type
>>> 2>          ]
>>> 2>  /path/to/tests/rfc\Rfc3986_Uri_BoostSpiritParsing.cpp(52): note:
>>> see reference to function template instantiation 'void
>>> Kmsg::VerifyRule<Rule>(const std::string &,Rule &,bool)' being
>>> compiled
>>> 2>          with
>>> 2>          [
>>> 2>              Rule=const
>>> boost::spirit::x3::rule<Kmsg::IPv4::Port,uint16_t,false>
>>> 2>          ]
>>> 2>  /path/to/tests/rfc\Rfc3986_Uri_BoostSpiritParsing.cpp(330): note:
>>> see reference to function template instantiation 'void
>>> Kmsg::VerifyPort<const
>>> boost::spirit::x3::rule<Kmsg::IPv4::Port,uint16_t,false>>(const
>>> int32_t,Rule &,bool)' being compiled
>>> 2>          with
>>> 2>          [
>>> 2>              Rule=const
>>> boost::spirit::x3::rule<Kmsg::IPv4::Port,uint16_t,false>
>>> 2>          ]
>>> ========== Build: 1 succeeded, 1 failed, 2 up-to-date, 0 skipped ==========
>>>
>>>
>>> Cheers,
>>>
>>> Michael Powell

------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot