如何处理空模板参数包扩展引起的未使用的警告？

Question

即使使用了变量，我仍然面临的一个问题是编译器会抱怨一个未使用的变量，但它只用于参数包扩展中，对于特定的实例而言，它只是空的。 例如：

template <std::size_t... I> 
auto func1(std::index_sequence<I...>) 
{ 
    auto var = get_tuple(); 
    return func2(std::get<I>(var)...); 
} 

auto a = func1(std::make_index_sequence<0>()); 

参见live example（尝试改变元组在第4行中，加入内<一个int>看到警告消失）。 我知道我可以添加一条(void)var;行来使警告消失，但对我来说感觉很脏，特别是当函数实际上只是一行时。 我也不想全局禁用此警告，因为它有时会提供洞察力。

这个问题的一个类似的表现是变量用于lambda捕获。在这种情况下，海湾合作委员会吐出任何警告，而铛抱怨（我想不用的拉姆达捕捉GCC从来没有实现过警告）：

template <std::size_t... I> 
auto func1(std::index_sequence<I...>) 
{ 
    auto var = get_tuple(); 
    auto my_lambda = [var](){ 
    return func2(std::get<I>(var)...); 
    }; 
    return my_lambda(); 
} 

auto a = func1(std::make_index_sequence<0>()); 

clang example

Answer 1

这似乎是在GCC编译器错误。最简单的解决方法是，以纪念var与[[gnu::unused]]：

template <std::size_t... I> 
auto func1(std::index_sequence<I...>) 
{ 
    auto var [[gnu::unused]] = get_tuple(); 
    return func2(std::get<I>(var)...); 
} 

如果你是外力使用编译器不能识别[[gnu::unused]]，你可以伪造使用了static_cast<void>变量：

template <std::size_t... I> 
auto func1(std::index_sequence<I...>) 
{ 
    auto var = get_tuple(); 
    static_cast<void>(var); 
    return func2(std::get<I>(var)...); 
} 

Answer 2

也许有是其他问题，但是...根据您在编译器资源管理器中链接的代码，您的var是std::tuple<>;这是一个std::tuple零组件。

如果我没有错，std::get<Num>(std::tuple<Ts..>)仅在Num在[0,sizeof...(Ts));在这种情况下在[0, 0)，这是一个空的间隔。

我想你的代码（当var被定义为std::tuple<>）生病了。所以我想这个警告是正确的（因为没有使用var的情况），但没有警告真正的问题。

这是不同的，当var被定义为std::tuple<int>：var当所有I都等于零被正确使用，所以var是使用（潜在的）和，如你观察到的，警告消失。

Answer 3

(void)var;抑制未使用的警告在每一个编译器我用：

template <std::size_t... I> 
auto func1(std::index_sequence<I...>) 
{ 
    auto var = get_tuple(); 
    (void)var; 
    return func2(std::get<I>(var)...); 
} 
auto a = func1(std::make_index_sequence<0>()); 

(void)variable;具有零度运行时间的影响。

Answer 4

如果你可以使用C++ 17的[[maybe_unused]]属性是IMO清晰的解决方案：

[[maybe_unused]] 
auto tuple = get_tuple(); 

Answer 5

var的确不是空包使用。 它是打算？编译器只能猜测。

鉴于锵比空包是一种用法，gcc选择相反。

您可以静默以不同的方式作为警告：

• 属性[[maybe_unused]]（C++ 17）
• 铸造void（static_cast<void>(arg)）
• 或类似（template <typename T> void unused_var(T&&){}然后unused_var(var)）。

• 创造重载：

  auto func1(std::index_sequence<>) 
  { 
      return func2(); 
  } 
  
  template <std::size_t... I> 
  auto func1(std::index_sequence<I...>) 
  { 
      auto var = get_tuple(); 
      return func2(std::get<I>(var)...); 
  } 
  

  或C++ 17

  template <std::size_t... I> 
  auto func1(std::index_sequence<I...>) 
  { 
      if constexpr (sizeof ...(I) == 0) { 
       return func2(); 
      } else { 
       auto var = get_tuple(); 
       return func2(std::get<I>(var)...); 
      } 
  }