在 index_sequence 上抑制警告“未使用的表达式结果”

Question

这个问题的灵感来自this answer。

以下代码会产生未使用值的警告：

#include <array>
#include <vector>
#include <iostream>
#include <utility>

template <size_t... I>
auto f(std::index_sequence<I...>)
{
  std::array<std::vector<int>, sizeof...(I)> res{(I, std::vector<int>(3, -1))...};
  return res;
}

int main()
{
  auto v = f(std::make_index_sequence<2>{});
  for (const auto& vec : v)
    {
      for (const auto& x : vec)
        std::cout << x << ' ';
      std::cout << '\n';
    }

  return 0;
}

看live on Coliru。

gcc 10.1.0 的警告是

main.cpp:9:52: warning: left operand of comma operator has no effect [-Wunused-value]

    9 |   std::array<std::vector<int>, sizeof...(I)> res{(I, std::vector<int>(3, -1))...};

      |                                                  ~~^~~~~~~~~~~~~~~~~~~~~~~~~~

clang 10.0.1 警告是

main.cpp:9:51: warning: expression result unused [-Wunused-value]
  std::array<std::vector<int>, sizeof...(I)> res{(I, std::vector<int>(3, -1))...};

（以及一些类似的）。

在c++17 中，[[maybe_unused]] 属性应该允许禁止对未使用的变量发出警告。但是，将[[maybe_unused]] 放在f 的参数之前

auto f([[maybe_unused]] std::index_sequence<I...>)

没有效果。

如何抑制上述警告？

Answer 1

您可以将 I 转换为 void 以丢弃表达式，并随之发出警告：

std::array<std::vector<int>, sizeof...(I)> res{
    (static_cast<void>(I), std::vector<int>(3, -1))...
};