如何将 constexpr 函数的参数标记为未使用？

Question

考虑这个经典的例子：

template <typename T, std::size_t N>
constexpr std::size_t arraySize(T (&array)[N]) noexcept { return N; }

现在这工作正常，但有一个烦恼，gcc 给出警告：

warning: unused parameter ‘array’ [-Wunused-parameter]

已知解决方案：

• 不起作用：如果我将经典的(void)arr; 添加到函数中，我会得到error: body of constexpr function ‘...‘ not a return-statement。
• 不满意：我可以有arraySize(T (&)[N])，但我想命名参数有两个原因：
  1. 它使编译器错误消息更易于理解。
  2. 更主观地说，我认为它使代码更清晰，尤其是对于那些不喜欢这种语法的人。
• 不好：在这个特定的例子中，我也可以return sizeof(array)/sizeof(array[0]);，但这种方法不是通用的解决方案，而且我认为return N; 更好，肯定更容易看到。
• 很好，但并非总是可行：切换到使用 C++14 和完全支持它的编译器。那么像{ (void)array; return N; }这样的constexpr函数体是允许的。

如何在使用 C++11 时很好地消除未使用参数警告？

Answer 1

试试这个。我有时会使用这种方法

template <typename T, std::size_t N>
constexpr std::size_t arraySize(T (& /*array*/ )[N]) noexcept { return N; }

Answer 2

我建议以下（ab）使用逗号运算符：

return (void)array, N;

Answer 3

对于新的谷歌员工：

C++17 添加了一个[[maybe_unused]] 属性，可以这样使用：

template <typename T, std::size_t N>
constexpr std::size_t arraySize(T (&array)[N] [[maybe_unused]]) noexcept { return N; }

Answer 4

最好的解决方案是第二点禁止的，即使用T(&)[N]。

注释中的另一种可能的方法是使用以下返回值：

return array ? N : N;

我很确定编译器会摆脱它，并且在运行时不会出现性能问题。

Answer 5

正如@fnc12 和@skypjack 都指出的那样，消除未使用参数编译器警告的惯用方法是不给参数命名。

constexpr std::size_t arraySize(T (& /*array*/ )[N]) noexcept { return N; }

使用/**/ cmets 解决了可读性异议。它不会在编译器消息中修复名称，但我认为最有可能出现的情况是“未声明的标识符”，一旦您注意到标识符被注释，这很容易解决。

如果您真的不喜欢惯用的方式，那么只需抑制警告（如果您的编译器允许，则在本地）。

Suppressing warnings in GCC using #pragma GCC diagnostic.

Suppressing warnings in Visual Studio using #pragma warning suppress

我建议不要在代码中添加“虚拟”引用来关闭编译器。无缘无故地引用一个其他未使用的参数，而不是抑制编译器警告，这会不必要地增加代码的复杂性，并且会使未来的维护者混淆它为什么存在。

Answer 6

gcc 提供了unused attribute，可以如下使用：

constexpr std::size_t arraySize(__attribute__((unused)) T (&array)[N]) noexcept { return N; }
                                ^^^^^^^^^^^^^^^^^^^^^^^

Ben Deane recently tweatted about a C++11 way 使用与逗号运算符结合的 lambdas 来抑制此警告看起来像这样：

#define UNUSED(x) [&x]{}()

//...

return UNUSED(array), N;

Answer 7

未命名的论点是正确的解决方案。

所以你可以使用中间函数：

template <typename T>
constexpr void avoid_warning_for_unused_parameter(T&&) noexcept{}

然后：

template <typename T, std::size_t N>
constexpr std::size_t arraySize(T (&array)[N]) noexcept
{
    avoid_warning_for_unused_parameter(array);
    return N;
}

对于 C++11，你必须多做一点：

template <typename... Ts>
constexpr auto return_first_and_avoid_warning_for_unused_parameters(T&&t, Ts&&) noexcept
-> decltype(t)
{
    return t;
}

template <typename T, std::size_t N>
constexpr std::size_t arraySize(T (&array)[N]) noexcept
{
    return return_first_and_avoid_warning_for_unused_parameters(N, array);
}