我有以下内容
#include <iostream>
#include <memory>
template<typename _type>
class handle
{
using ptr = std::shared_ptr<_type>;
using pptr = std::shared_ptr<ptr>;
public:
handle(handle<_type> const & other) :
mData(make_pptr(*(other.mData)))
{}
handle(_type && data) :
mData(make_pptr(std::move(data)))
{}
private:
pptr mData;
template<typename ..._args>
constexpr auto make_ptr(_args && ...args)
{
return std::make_shared<_type>(std::forward<_args>(args)...);
}
constexpr auto make_pptr(ptr const & pointer)
{
return std::make_shared<ptr>(pointer);
}
template<typename ..._args>
constexpr auto make_pptr(_args && ...args)
{
return std::make_shared<ptr>(make_ptr(std::forward<_args>(args)...));
}
};
int main()
{
handle<int> h = 5;
handle<int> h2(h);
}
编译为g -4.9 –std = c 14 -O0 -o main main.cpp代码
handle<int> h2(h);
不编译.问题的功能是所有的重载
make_pptr
据我所知,模板函数将始终被选中,因为编译器试图找到最专业的函数调用,完美转发就是这样.
我发现以下两个页面似乎用类型trait std :: enable_if和std :: is_same来处理这个问题.
https://akrzemi1.wordpress.com/2013/10/10/too-perfect-forwarding/
http://www.codesynthesis.com/~boris/blog/2012/05/30/perfect-forwarding-and-overload-resolution/
实际问题是,如何更改此函数,以便在我将工厂函数传递给现有指针时调用非模板函数?
有没有通用的方法呢?
最佳答案 正如Jarod的
answer解释,在构造函数中
handle(handle<_type> const & other) :
mData(make_pptr(*(other.mData)))
{}
你使用shared_ptr< _type>&类型的参数调用make_pptr,这使得make_pptr的完美转发重载比采用shared_ptr< _type>的更好匹配.常量和放大器;.您可以将参数转换为const&正如他所示,或者你可以添加另一个make_pptr的重载,它带有一个非const左值引用.
constexpr auto make_pptr(ptr & pointer)
{
return std::make_shared<ptr>(pointer);
}
另一种选择是约束完美的转发过载,以便仅当参数包的第一个参数不是shared_ptr< _type>时才可行.
一些帮助器用于评估参数包中的第一个类型是否是shared_ptr< T>.
namespace detail
{
template<typename... _args>
using zeroth_type = typename std::tuple_element<0, std::tuple<_args...>>::type;
template<typename T, bool eval_args, typename... _args>
struct is_shared_ptr
: std::false_type
{};
template<typename T, typename... _args>
struct is_shared_ptr<T, true, _args...>
: std::is_same<std::decay_t<zeroth_type<_args...>>,
std::shared_ptr<T>
>
{};
}
然后如下限制完美转发make_pptr
template<typename ..._args,
typename = std::enable_if_t<
not detail::is_shared_ptr<_type, sizeof...(_args), _args...>::value
>
>
constexpr auto make_pptr(_args && ...args)
{
return std::make_shared<ptr>(make_ptr(std::forward<_args>(args)...));
}
我还必须更改make_ptr重载,因为在示例中定义它的方式要求_type可以从nullptr构造.
constexpr auto make_ptr()
{
return std::make_shared<_type>();
// no nullptr arg above, shared_ptr default ctor will initialize _type* to nullptr
}