C ++ 17：打开元组时仅保留一些成员

假设您需要调用以下方法：

std::tuple<int, int, int> foo();

在C ++ 17中，您可以调用该函数并在一行中解压缩该元组：

auto [a, b, c] = foo();

现在，我怎么能继续只存储b和c并丢弃a？

目前，我只知道两个选择：

1-自动解压缩时可以使用虚拟变量

但是，哑变量将不被使用，并且会发出警告，因此，如果我想使该警告保持沉默，该代码将非常令人讨厌：

#pragma warning(push)
#pragma warning(disable:4101)
// ReSharper disable once CppDeclaratorNeverUsed
auto [_, b, c] = foo();
#pragma warning(pop)

2-我可以存储整个元组，并用于std::get检索对我唯一需要的变量的引用。该代码不太令人讨厌，但语法也不太简单。

此外，对于我们要保留在元组中的每个新值，此代码的大小增加一行。

auto tuple = foo();
int b = std::get<1>(tuple);
int c = std::get<2>(tuple);

是否存在另一种更直接的方法来仅将元组中的某些参数解包？

另一种选择是使用std::tie：

int b, c;
std::tie(std::ignore, b, c) = foo();

编辑

如评论中所述，这种方法存在一些问题：

• 不能进行类型推断
• 必须先构造对象，因此，除非默认构造函数很简单，否则它不是一个好的选择。

不幸的是，结构化绑定不明确支持丢弃成员，并且诸如之类的属性[[maybe_unused]]无法应用于结构化绑定（有一个建议：P0609：“结构化绑定的属性”）。

这是一个可能的解决方案：

auto [a, b, c] = foo();
(void) a; // unused

您可以编写一个辅助函数，该函数仅返回给您某些的索引std::tuple：

template <size_t... Is, typename Tuple>
auto take_only(Tuple&& tuple) {
    using T = std::remove_reference_t<Tuple>;

    return std::tuple<std::tuple_element_t<Is, T>...>(
        std::get<Is>(std::forward<Tuple>(tuple))...);
}

auto [b, c] = take_only<1, 2>(foo());

或掉头或其他东西：

template <size_t... Is, typename Tuple>
auto drop_head_impl(Tuple&& tuple, std::index_sequence<0, Is...> ) {
    return take_only<Is...>(std::forward<Tuple>(tuple));
}

template <typename Tuple>
auto drop_head(Tuple&& tuple) {
    return drop_head_impl(std::forward<Tuple>(tuple),
        std::make_index_sequence<std::tuple_size_v<std::decay_t<Tuple>>>());
}

auto [b, c] = drop_head(foo());

但是上述实现几乎可以肯定会存在一些生命周期复杂性问题，而直接使用结构化绑定是不会的-因为这里没有任何生命周期扩展。

因此，按照Vittorio所说的去做：

auto [a, b, c] = foo();
(void)a;

MSVC已在VS 15.7预览版中修复了此问题。最终的15.7版本应在未来几周内可用。这意味着所有主要编译器的最新版本支持的当前逻辑如下：

• 如果使用结构化绑定声明中的至少一个结构化绑定，则不会为同一声明中的其他绑定发出“未使用的变量”警告。

• 如果没有使用结构化绑定声明中的任何绑定，则可以通过使用[[maybe_unused]]属性来使警告静音：

  [[maybe_unused]]自动[a，b，c] = foo（）;