以下内容是从存储指向方法的指针及其参数类型的系统中减少的。用户只需提供 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.
最佳答案
这是在没有 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 或写出一个函数模板并使用它的显式特化)。
关于c++ - 消除重载方法歧义失败,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/55342518/