В чем разница между std:: tie и std:: make_tuple с аргументами std:: ref?

Ответ 1

Существует почти ^{& dagger;} нет функциональной разницы между этими двумя выражениями. tie() меньше, тогда как make_tuple() является более общим.

Согласно [tuple.creation], make_tuple делает:

template<class... Types>
constexpr tuple<VTypes...> make_tuple(Types&&... t);

Пусть Ui будет decay_t<Ti> для каждого Ti в типах. Тогда каждый Vi в VTypes равен X&, если Ui равно reference_wrapper<X>, в противном случае Vi есть Ui.

Следовательно, std::make_tuple( std::ref(x), std::ref(y), std::ref(z) ) дает ^{& dagger;} a std::tuple<X&, Y&, Z&>.

С другой стороны, tie делает:

template<class... Types>
constexpr tuple<Types&...> tie(Types&... t) noexcept;

Возвращает: tuple<Types&...>(t...). Когда аргумент в t равен ignore, присвоение любого значения соответствующему элементу набора не влияет.

Следовательно, std::tie(x, y, z) также дает a std::tuple<X&, Y&, Z&>.

^{& dagger;} За исключением одного краевого случая.

Ответ 2

Существует разница, когда любая из x, y и z является специализацией std::reference_wrapper.

#include <tuple>
#include <functional>

void f(std::reference_wrapper<int> x, int y, int z)
{
    std::tie(x,y,z); // type is std::tuple<std::reference_wrapper<int>&, int&, int&>
    std::make_tuple(std::ref(x),std::ref(y),std::ref(z)); // type is std::tuple<int&, int&, int&>
}