构造智能点数据类型以及普通数据类型的通用方法

Question

我想编写一种通用方法来构造类型T，同时考虑到T是我实际想要构造的数据的智能指针的情况。像这样：

template < typename T, typename... Args >
auto
create( Args... args )
{
return T{args...};
}
template < typename std::unique_ptr< typename T >, typename... Args >
auto
create( Args... args )
{
return std::make_unique< T >( args... );
}
template < typename std::shared_ptr< typename T >, typename... Args >
auto
create( Args... args )
{
return std::make_shared< T >( args... );
}

这样它当然不会编译。这只是为了解释粗略的想法。我需要两个更具体的重载，它们仍然足够通用来完成这项工作。

调用方代码应该能够执行以下操作：

const SomeType x1 = create<SomeType>(1, 2, 3);
const std::unique_ptr<SomeType> x2 = create<std::unique_ptr<SomeType>>(1, 2, 3);

Answer 1

你可以以这种方式使用重载，并进行一些间接处理：

template <typename T> struct Tag{};
template <typename T, typename... Args>
auto create_impl(Tag<T>, Args&&... args)
{
return T{std::forward<Args>(args)...};
}
template < typename T, typename... Args >
auto create_impl(Tag<std::unique_ptr<T>>, Args&&... args)
{
return std::make_unique<T>(std::forward<Args>(args)...);
}
template < typename T, typename... Args >
auto create_impl(Tag<std::shared_ptr<T>>, Args&&... args)
{
return std::make_shared<T>(std::forward<Args>(args)...);
}
template <typename T, typename... Args>
auto create(Args&&... args)
{
return create_impl(Tag<T>{}, std::forward<Args>(args)...);
}