std::ignore 与结构化绑定？

Question

前奏：

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();

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

Answer 1

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

map([&](auto it) {
    auto [_, deviceServiceXAddr] = it;
    return deviceServiceXAddr;
});

Answer 2

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

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

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

与std::tie 的对称性建议使用std::ignore 之类的东西：

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

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

但是，这感觉很尴尬。

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

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

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

Answer 3

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

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