Оператор функции-члена Boost Phoenix не может скомпилироваться, если функция перегружена - PullRequest
0 голосов
/ 28 февраля 2019

Я хочу использовать оператор функции-члена Boost Phoenix для функции класса, которая имеет перегрузки, например здесь .

В следующем примере происходит сбой:

#include <boost/phoenix/phoenix.hpp>
#include <boost/phoenix/operator.hpp>

using namespace std;
using namespace boost::phoenix::placeholders;

struct A
{
    int m_id = 1;
    int func() const { return 1; }
    void func(int id) { m_id = id; }
};

int main()
{
    A *a = new A;
    auto retVal = (arg1->*&A::func)()(a);

    return 0;
}

Сошибка:

    In function 'int main()': 17:21: error: no match for 'operator->*'
(operand types are 'const type {aka const
boost::phoenix::actor<boost::proto::exprns_::basic_expr<boost::proto::tagns_::
tag::terminal, boost::proto::argsns_::term<boost::phoenix::argument<1> >, 0l> 
>}' and '<unresolved overloaded function type>') 17:21: note: candidate is: In
 file included from /usr/include/boost/phoenix/operator/arithmetic.hpp:13:0,
 from /usr/include/boost/phoenix/operator.hpp:13, from /usr/include/boost
/phoenix/phoenix.hpp:13, from 1: /usr/include/boost/proto/operators.hpp:295:9:
 note: template<class Left, class Right> const typename 
boost::proto::detail::enable_binary<boost::proto::domainns_::deduce_domain, 
boost::proto::detail::not_a_grammar, 
boost::mpl::or_<boost::proto::is_extension<Arg>, 
boost::proto::is_extension<Right> >, boost::proto::tagns_::tag::mem_ptr, const
 Left&, const Right&>::type boost::proto::exprns_::operator->*(Left&&, 
Right&&) BOOST_PROTO_DEFINE_OPERATORS(is_extension, deduce_domain) ^ 
/usr/include/boost/proto/operators.hpp:295:9: note: template argument 
deduction/substitution failed: 17:28: note: couldn't deduce template parameter 
'Right'

Однако, если я закомментирую строку void func(int id) { m_id = id; }, она будет работать, как и ожидалось.

Как определить, какую из перегрузок использовать?

1 Ответ

0 голосов
/ 28 февраля 2019

Обработка указателей функций (членов) для перегрузки наборов - это всегда боль.Вам необходимо привести адрес к указателю, который имеет точную сигнатуру требуемой перегрузки.В вашем случае, для выбора int A::func():

auto retVal = (arg1->*static_cast<int (A::*)() const>(&A::func))()(a);

или чуть более читабельно, но в основном то же самое:

const auto memFctPtr = static_cast<int (A::*)() const>(&A::func);
auto retVal = (arg1->*memFctPtr)()(a);
...