如何使编译器选择非成员函数重载

Question

我正在编写一个库，该库对内置类型(int、float、double等(和用户提供的类型执行一些操作。其中一个是由模板函数执行的：

namespace lib
{
template<typename T>
inline auto from_string(std::string const & s, T & t) -> bool
{
std::istringstream iss(s);
iss >> t;
return !iss.fail();
}
}

这是一个定制点-用户可能会为他们的类型过载此功能：

namespace foo
{
class UserType
{
// (...)
};
}
namespace lib
{
inline auto from_string(std::string const & s, foo::UserType & ut) -> bool
{
// some implementation
}
}

或者在同一名称空间中具有from_string功能，并可通过ADL:访问

namespace foo
{
inline auto from_string(std:string const & s, UserType & ut) -> bool
{
// some implementation
}
}
}

现在，除了字符串到类型的转换外，库还执行类型到字符串、比较和其他一些操作。我希望通过一系列类来完成它，这些类将值作为std::any:的实例

namespace lib
{
class TypeHandler
{
public:
virtual TypeHandler() = default;
virtual auto from_string(std::string const & string, std::any & value) const -> bool = 0;
// more functions
};
template<typename T>
class TypeHandlerT : public TypeHandler
{
public:
auto from_string(std::string const & string, std::any & value) const -> bool override
{
T val;
if (from_string(string, val))  // an attempt to call the free function
{
value = val;
return true;
}
return false;
}
}
}

为了方便起见，我想使用TypeHandlerT类。

然而，使用这样的代码，当我尝试使用TypeHandlerT<int>:时，我会遇到以下编译器错误

error C2664: 'bool lib::TypeHandlerT<T>::from_string(const std::string &,std::any &) const':
cannot convert argument 2 from 'T' to 'std::any &' with [ T=int ]

from_string的成员版本似乎隐藏了免费功能版本。

有没有办法优雅地解决这个问题？例如，通过将自由功能纳入范围(但如何在不排除ADL的情况下做到这一点？(？

我知道一个简单的解决方案是重命名成员或自由函数，但我希望避免这种情况。

Answer 1

从TestHandlerT<T>::from_string的主体开始的基于范围的查找在到达lib::from_string之前到达成员函数。所以只要用using将lib::from_string重新引入身体的范围。这也重新启用ADL，因为当基于范围的查找命中类成员时，ADL被抑制。

template<typename T>
struct TypeHandlerT : TypeHandler {
bool from_string(std::string const &string, std::any &value) const -> override {
using lib::from_string;
T val;
if (from_string(string, val)) {
value = val;
return true;
}
return false;
}
};