c++ - 为什么 GCC 会为结构化绑定(bind)诊断未使用的变量而 Clang 不会？

Question

让我们从一个最小的例子开始:

#include <utility>

int main()
{
    auto [a, b] = std::pair(1, 'A');
    return a;
}

使用 GCC 7.3 编译传递 -std=c++17 和 -Wunused-variable，并运行它:

<source>: In function 'int main()':
<source>:5:15: warning: unused variable 'b' [-Wunused-variable]
     auto [a, b] = std::pair(1, 'A');
               ^

GCC 可能会正确地报告未使用 b，但它错误地将其称为变量。引用 [dcl.struct.bind]/1 :

A structured binding declaration introduces the identifiers v0, v1, v2, … of the identifier-list as names ([basic.scope.declarative]) of structured bindings.

所以 b 显然不是一个变量，而是一个名称。使用 Clang 6.0.0 和相同的标志编译相同的代码，我们不会收到任何警告。从代码中删除 return a; 语句:

#include <utility>

int main()
{
    auto [a, b] = std::pair(1, 'A');
    // return a;
}

并用 Clang 再次编译它，我们得到:

<source>:5:10: warning: unused variable '[a, b]' [-Wunused-variable]
    auto [a, b] = std::pair(1, 'A');
         ^

根据我的解释，正确地将 [a, b] 视为变量，将 a 和 b 分别视为名称。 我的问题然后是为什么 GCC 会诊断出 b 未使用的警告，考虑到该变量实际上在 return a; 来自第一个代码的语句？

Answer 1

这确实是 gcc 中的错误:https://gcc.gnu.org/bugzilla/show_bug.cgi?format=multiple&id=81767并在以下时间解决:https://gcc.gnu.org/viewcvs/gcc?view=revision&revision=248483