c++ 如何在堆上创建_from_tuple?

wqsoz72f  于 2022-12-20  发布在  其他
关注(0)|答案(5)|浏览(136)

所以在C++中现在有make_from_tuple作为:

T obj = std::make_from_tuple<T>( { Args... args } ); // args represents a tuple

但我们该怎么做呢

T* obj = std::make_new_from_tuple<T*>( { Args... args } );

有make_shared和make_unique,但它们都不接受元组(我不确定如果这是要去的方向,如何从元组中提取参数,因为如果你想要原始指针,你总是可以make_unique然后释放)。
非常简单的例子1:

struct A
{
    int i_; double d_; std::string s_;

    A( int i, double d, const std::string& s ) : i_(i), d_(d), s_(s) {}
};

auto aTuple = std::make_tuple( 1, 1.5, std::string("Hello") );

对于一个更复杂的例子,如果元组包含一个您想要转发的unique_ptr,我也希望它能工作。

polhcujo

polhcujo1#

基本上,您可以从cppreference的Possible implementation复制实现,然后将其插入make_unique中,这样就可以正常工作了:

#include <string>
#include <memory>

namespace detail {
template<class T, class Tuple, std::size_t... I>
constexpr std::unique_ptr<T> make_new_from_tuple_impl(Tuple&& t, std::index_sequence<I...>)
{
    static_assert(std::is_constructible_v<T,
        decltype(std::get<I>(std::declval<Tuple>()))...>);
#if __cpp_lib_reference_from_temporary >= 202202L
    if constexpr (std::tuple_size_v<std::remove_reference_t<Tuple>> == 1) {
        using tuple_first_t = decltype(std::get<0>(std::declval<Tuple>()));
        static_assert(!std::reference_constructs_from_temporary_v<T, tuple_first_t>);
    }
#endif
    return std::make_unique<T>(std::get<I>(std::forward<Tuple>(t))...);
}
} // namespace detail

template<class T, class Tuple>
constexpr std::unique_ptr<T> make_new_from_tuple(Tuple&& t)
{
    return detail::make_new_from_tuple_impl<T>(std::forward<Tuple>(t),
        std::make_index_sequence<std::tuple_size_v<std::remove_reference_t<Tuple>>>{});
}

struct A
{
    int i_; double d_; std::string s_;

    A( int i, double d, const std::string& s ) : i_(i), d_(d), s_(s) {}
};

int main()
{
    auto aTuple = std::make_tuple( 1, 1.5, std::string("Hello") );

    auto a = make_new_from_tuple<A>(std::move(aTuple));
}

或使用原始指针:

#include <string>
#include <memory>

namespace detail {
template<class T, class Tuple, std::size_t... I>
constexpr T* make_new_from_tuple_impl(Tuple&& t, std::index_sequence<I...>)
{
    static_assert(std::is_constructible_v<T,
        decltype(std::get<I>(std::declval<Tuple>()))...>);
#if __cpp_lib_reference_from_temporary >= 202202L
    if constexpr (std::tuple_size_v<std::remove_reference_t<Tuple>> == 1) {
        using tuple_first_t = decltype(std::get<0>(std::declval<Tuple>()));
        static_assert(!std::reference_constructs_from_temporary_v<T, tuple_first_t>);
    }
#endif
    return new T(std::get<I>(std::forward<Tuple>(t))...);
}
} // namespace detail

template<class T, class Tuple>
constexpr T* make_new_from_tuple(Tuple&& t)
{
    return detail::make_new_from_tuple_impl<T>(std::forward<Tuple>(t),
        std::make_index_sequence<std::tuple_size_v<std::remove_reference_t<Tuple>>>{});
}

struct A
{
    int i_; double d_; std::string s_;

    A( int i, double d, const std::string& s ) : i_(i), d_(d), s_(s) {}
};

int main()
{
    auto aTuple = std::make_tuple( 1, 1.5, std::string("Hello") );

    auto a = make_new_from_tuple<A>(std::move(aTuple));
}
qgzx9mmu

qgzx9mmu2#

你可以使用std::apply。它从元组中解包参数并将它们传递给一个可调用对象。你只需要 Package 构造函数。

#include <tuple>
#include <string>

struct A
{
    int i_; double d_; std::string s_;

    A( int i, double d, const std::string& s ) : i_(i), d_(d), s_(s) {}
};

int main() {
    auto aTuple = std::make_tuple( 1, 1.5, std::string("Hello") );
    A* a = std::apply( [](int i,double d,const std::string& s) { return new A(i,d,s);},aTuple);
}

为简洁起见,省略了完全转发。

hmtdttj4

hmtdttj43#

只需调用new即可:

T* obj = new auto(std::make_from_tuple<T>( { Args... args } ));

// unique ptr
std::unique_ptr obj{new auto(std::make_from_tuple<T>({ Args... args }))};

// shared ptr
std::shared_ptr obj{new auto(std::make_from_tuple<T>({ Args... args }))};

// doesn't work for make_shared unfortunately
auto obj = std::apply([](auto&&... args) {
    return std::make_shared<T>(std::forward<decltype(args)>(args)...);
}, { Args... args });

因为make_from_tuple返回一个纯右值,所以这将直接在堆中构造对象,而不需要复制或移动。

6xfqseft

6xfqseft4#

自C11/C14以来,显式使用newdelete被认为是一种不好的做法。因此,建议使用std::make_unique(C14)和std::make_shared(C11)。

template<typename T, typename...Args>
std::shared_ptr<T> make_shared_from_tuple(const std::tuple<Args...>& t)
{
    return std::apply([](auto...args){ return std::make_shared<T>(args...); }, t);
}

template<typename T, typename...Args>
std::unique_ptr<T> make_unique_from_tuple(const std::tuple<Args...>& t)
{
    return std::apply([](auto...args){ return std::make_unique<T>(args...); }, t);
}

https://godbolt.org/z/6zjTqK8f1
也许提供一些重载来处理移动语义会很好。

zzzyeukh

zzzyeukh5#

我能写的最简单的是:

template<typename obj, typename tup>
auto unique_from_tuple(tup&& t) {
    return std::apply(
        [] (auto&& ... args) {
            return std::make_unique<obj>
                (std::forward<decltype(args)>(args)...);
        },
        std::forward<tup>(t)
    );
};

// Create a unique pointer of type obj:
auto x =unique_from_tuple<obj>(y,z,w);

相关问题