Question

在存储了指向方法及其参数类型的指针的系统中，减少了以下内容。用户仅提供type::method，其余的工作由模板机完成。当方法过载时，用户必须提供所需方法的签名。

在我们尝试使用某些boost::asio东西之前，它一直工作得很好。以下代码演示了该问题：

#include <boost/asio.hpp>

using namespace boost::asio::ip;
using namespace boost::system;

template <typename TT, typename MFP, MFP> struct OpM;

template <typename TR, typename TT, typename ... Ts, TR (TT::*f)(Ts...)>
struct OpM<TT, TR (TT::*)(Ts...), f> {};

using sig = error_code (tcp::socket::*)(const tcp::endpoint&, error_code&);

struct RM {
  template <class C, typename R, typename ... Ps>
  RM(R (C::*)(Ps...)) {
    typedef OpM<C, R (C::*)(Ps...), &tcp::socket::connect> OP;
  }
} MRegisterer(static_cast<sig>(&tcp::socket::connect));

g ++ 8.3无法编译以下消息：

g++ -std=c++17 -c connect.cpp 
connect.cpp: In instantiation of 'RM::RM(R (C::*)(Ps ...)) [with C = boost::asio::basic_stream_socket<boost::asio::ip::tcp>; R = boost::system::error_code; Ps = {const boost::asio::ip::basic_endpoint<boost::asio::ip::tcp>&, boost::system::error_code&}]':
connect.cpp:19:40:   required from here
connect.cpp:17:46: error: conversion from 'boost::system::error_code (boost::asio::basic_socket<boost::asio::ip::tcp>::*)(const endpoint_type&, boost::system::error_code&)' {aka 'boost::system::error_code (boost::asio::basic_socket<boost::asio::ip::tcp>::*)(const boost::asio::ip::basic_endpoint<boost::asio::ip::tcp>&, boost::system::error_code&)'} to 'boost::system::error_code (boost::asio::basic_stream_socket<boost::asio::ip::tcp>::*)(const boost::asio::ip::basic_endpoint<boost::asio::ip::tcp>&, boost::system::error_code&)' in a converted constant expression
     typedef OpM<C, R (C::*)(Ps...), &tcp::socket::connect> OP;
                                                            ^~
connect.cpp:17:46: error: could not convert template argument '& boost::asio::basic_socket<boost::asio::ip::tcp>::connect' from '<unresolved overloaded function type>' to 'boost::system::error_code (boost::asio::basic_stream_socket<boost::asio::ip::tcp>::*)(const boost::asio::ip::basic_endpoint<boost::asio::ip::tcp>&, boost::system::error_code&)'

奇怪的是，错误消息是指从... boost::asio::basic_socket ...到... boost::asio::basic_stream_socket ...的转换错误（和endpoint参数类似）。

我正在提供方法的完整类型，在RM中似乎可以正常工作，但是当该方法传递给OpM时，显然编译器会感到困惑。

怎么了？

出于完整性考虑，这是clang ++ 8.0的输出：

~/bin/clang++ -std=c++17 -c connect.cpp 
connect.cpp:17:37: error: conversion from '<overloaded function type>' to
      'boost::system::error_code
      (boost::asio::basic_stream_socket<boost::asio::ip::tcp>::*)(const
      boost::asio::ip::basic_endpoint<boost::asio::ip::tcp> &,
      boost::system::error_code &)' is not allowed in a converted constant
      expression
    typedef OpM<C, R (C::*)(Ps...), &tcp::socket::connect> OP;
                                    ^~~~~~~~~~~~~~~~~~~~~
connect.cpp:19:3: note: in instantiation of function template specialization
      'RM::RM<boost::asio::basic_stream_socket<boost::asio::ip::tcp>,
      boost::system::error_code, const
      boost::asio::ip::basic_endpoint<boost::asio::ip::tcp> &,
      boost::system::error_code &>' requested here
} MRegisterer(static_cast<sig>(&tcp::socket::connect));
  ^
1 error generated.

Answer 1

这里简短地再现了没有Boost.Asio甚至重载函数的相同问题：

struct B {
    void foo();
};

struct D : B { };

template <typename T, T> struct X { };
using T = X<void (D::*)(), &D::foo>; // error

问题是&D::foo的类型尽管被拼写为D::，但实际上是void (B::*)()。而且该类型不能隐式转换为void (D::*)()。

对您来说，一件很高兴的事情是，由于您使用的是C ++ 17，因此您实际上不必经过此显式键入rigamarole，您可以编写：

template <auto F> struct X { };
using T = X<&D::foo>; // fine

或者重新编写整个过程以使用指针代替函数，然后将指向成员的指针函数转换为带有D*的函数（您可以使用lambda进行操作或编写函数模板并使用它的显式专业化）。

无法消除重载方法的歧义

1 个答案: