消除重载方法歧义失败

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，你实际上不必经历这个显式的输入规则，你可以只写：

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

或者重做整个事情以使用指向函数的指针，并将指向成员的函数变成一个接受 D* 的函数（您可以使用 lambda 或写出一个函数模板并使用它的显式特化）。

消除重载方法歧义失败

Failure at disambiguating overloaded method

c++

templates

boost-asio

variadic-templates

c++17