Как отметить неиспользуемый параметр функции constexpr?

Question

Рассмотрим классический пример:

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

Теперь это работает отлично, но есть одна неприятность, НКУ выдает предупреждение:

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

Известные решения:

• Безразлично» t: Если я добавлю классику (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 и компилятора, который полностью поддерживает его. Тогда допускается тело функции constexpr, например { (void)array; return N; }.

Как я могу избавиться от неиспользуемого параметра предупреждения красиво, при использовании 11 C++?

Answer 1

Я хотел бы предложить следующее (AB) использование оператора запятой:

return (void)array, N; 

Answer 2

Лучшим решением является тот, который запрещен второй точкой, то есть использовать T(&)[N].

Другой возможный подход, с комментарием, чтобы использовать следующее значение возврата:

return array ? N : N; 

Я совершенно уверен, что компилятор будет избавиться от него, и не будет никаких проблем с производительностью во время выполнения ,

Answer 3

Попробуйте это. Я использую этот метод иногда

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

Answer 4

As @ fnc12 и @skypjack как указывают, идиоматических способ заглушить неиспользуемый предупреждение компилятора параметр не дать имя параметра.

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

Использование /**/ комментарии решает читаемость возражения. Он не фиксирует имя в сообщении компилятора, но я бы сказал, что наиболее вероятная ситуация, возникающая из этого, - это «необъявленный идентификатор», который довольно легко и очевидно решить после того, как вы заметите, что идентификатор прокомментирован.

Если вы действительно мертвы по отношению к идиоматическому пути, тогда просто подавите предупреждение (локально, если ваш компилятор разрешает это).

Suppressing warnings in GCC using #pragma GCC diagnostic.

Suppressing warnings in Visual Studio using #pragma warning suppress

Я рекомендую против добавления «фиктивные» ссылки на код, чтобы заткнуться компилятор. Если ссылаться на неиспользуемый параметр по какой-либо причине, кроме как подавить предупреждение о компиляторе, то вам ненужно добавляется сложность вашего кода и может запутать будущих сопровождающих относительно того, почему он есть.

Answer 5

Неназванный аргументом является правильным решением.

Таким образом, вы можете использовать промежуточную функцию:

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

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 подавить это предупреждение, используя лямбды, которые в сочетании с оператором запятой будет выглядеть примерно так:

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

//... 

return UNUSED(array), N; 

Answer 7

Для новых Googlers:

C++ 17 добавляет атрибут, который может [[maybe_unused]] можно использовать следующим образом:

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