C++：std::tie 与 std::ignore 的返回类型

Question

我想知道当某些参数是std::ignore 时，C++11 标准是否对std::tie 返回的std::tuple 的类型 有任何要求。

更具体地说，我可以假设：

1. decltype(std::tie(42, std::ignore)) 与 decltype(std::tie(std::ignore, 42)) 不一样
2. decltype(std::tie(42, std::ignore)) 与 decltype(std::tie(42)) 不一样
3. decltype(std::tie(std::ignore, 42)) 与 decltype(std::tie(42)) 不一样
4. decltype(std::tie(std::ignore, std::ignore)) 与 decltype(std::tie(std::ignore)) 不一样

换句话说，从类型的角度来看，对于所有按位置匹配std::ignore 的模板参数，生成的元组是否表现为一个类型为decltype(std::ignore) 的元组？

Answer 1

是的，你可以，std::tie 返回一个std::tuple<T&...>，其中T... 是给它的类型。
std::ignore 有一个未指定的类型，但它仍会出现在tuple 中到您在std::tie 中指定的位置。

如果如果让您感觉更好，您可以在代码中的某处添加：

    int n;
    auto i = std::tie(std::ignore, n);
    auto j = std::tie(n, std::ignore);
    auto k = std::tie(n);
    static_assert(!std::is_same<decltype(i), decltype(j)>::value, "");
    static_assert(!std::is_same<decltype(i), decltype(k)>::value, "");
    static_assert(!std::is_same<decltype(j), decltype(k)>::value, "");

对于您明确使用的任何组合，依此类推。如果您的假设无效，这种方式编译将失败。