106

序幕：

std::tuple<int, int, int> f();
std::tuple<int, int, float, int> g();

C++1z 将引入结构化绑定的语法，这将使编写而不是

int a, b, c;
std::tie(a, b, c) = f();

就像是

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

但是，std::tie也允许指定std::ignore忽略某些组件，例如：

std::tie(a, b, std::ignore, c) = g();

是否可以使用新的结构化绑定语法做类似的事情？它将如何运作？

4

3 回答 3

73

结构化绑定提案包含一个专门的部分来回答您的问题 ( P0144R2 )：

3.8 是否有办法显式忽略组件？

这样做的动机是消除关于未使用名称的编译器警告。我们认为答案应该是“还没有”。这不是由用例引起的（消除编译器警告是一种动机，但它本身不是用例），最好留到我们可以在更通用的模式匹配提议的上下文中重新审视这一点之前，这应该失败作为特例。

Symmetry withstd::tie建议使用类似 a 的东西std::ignore：

tuple<T1,T2,T3> f();

auto [x, std::ignore, z] = f(); // NOT proposed: ignore second element

然而，这感觉很尴尬。

预期语言中的模式匹配可能会建议使用通配符_or *，但由于我们还没有模式匹配，因此选择我们知道将兼容的语法还为时过早。这是一个纯粹的扩展，可以等待模式匹配来考虑。

但是请注意，该标准的工作草案目前正在由相关国家机构 (NB) 进行修订，并且有一条 NB 评论要求此功能（P0488R0，US100）：

分解声明应提供丢弃某些返回值的语法，就像std::tie使用std::ignore.

于 2016-11-21T06:48:28.677 回答
12

是否可以使用新的结构化绑定语法做类似的事情？

不，你只需要编一个后面不会提到的变量名。

于 2016-11-18T14:52:43.067 回答
4

我通常使用_which 是 C++ 中的有效标识符，但看起来与 Kotlin 的下划线运算符相同，它丢弃 lambda 参数。你最终会得到一个像这样的好代码

map([&](auto it) {
    auto [_, deviceServiceXAddr] = it;
    return deviceServiceXAddr;
});
于 2021-03-09T19:03:33.723 回答