Зачем приводить неиспользуемые возвращаемые значения к void?

int fn();

void whatever()
{
    (void) fn();
}

Есть ли причина приводить неиспользованное возвращаемое значение к void, или я прав, думая, что это пустая трата времени?

Следовать за:

Что ж, это кажется довольно всеобъемлющим. Я полагаю, это лучше, чем комментировать неиспользованное возвращаемое значение, поскольку самодокументирующий код лучше, чем комментарии. Лично я отключу эти предупреждения, так как это ненужный шум.

Я съем свои слова, если из-за него сбежит жук ...

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

Это способ гарантировать, что всегда обрабатываются необходимые коды ошибок.

Я думаю, что для C ++ это, вероятно, единственное место, где я тоже предпочитаю использовать приведение в стиле C, поскольку использование полной нотации статического приведения здесь просто кажется излишним. Наконец, если вы просматриваете стандарт кодирования или пишете его, то также неплохо явно указать, что вызовы перегруженных операторов (без использования нотации вызовов функций) также должны быть исключены из этого:

class A {};
A operator+(A const &, A const &);

int main () {
  A a;
  a + a;                 // Not a problem
  (void)operator+(a,a);  // Using function call notation - so add the cast.

На работе мы используем это, чтобы подтвердить, что функция имеет возвращаемое значение, но разработчик утверждает, что его можно безопасно игнорировать. Поскольку вы пометили вопрос как C ++, вы должны использовать static_cast :

static_cast<void>(fn());

Что касается компилятора, приведение возвращаемого значения к void не имеет большого значения.

Истинная причина этого восходит к инструменту, используемому в коде C, который называется lint .

Он анализирует код, ищет возможные проблемы и выдает предупреждения и предложения. Если функция вернула значение, которое затем не проверялось, lintвыдаст предупреждение в случае, если это было случайно. Чтобы отключить lintэто предупреждение, вы отправляете вызов (void).

Приведение в voidиспользуется для подавления предупреждений компилятора о неиспользуемых переменных и несохраненных возвращаемых значениях или выражениях.

Стандарт (2003) говорит в §5.2.9 / 4:

Любое выражение можно явно преобразовать в тип cv void. Значение выражения отбрасывается .

Итак, вы можете написать:

//suppressing unused variable warnings
static_cast<void>(unusedVar);
static_cast<const void>(unusedVar);
static_cast<volatile void>(unusedVar);

//suppressing return value warnings
static_cast<void>(fn());
static_cast<const void>(fn());
static_cast<volatile void>(fn());

//suppressing unsaved expressions
static_cast<void>(a + b * 10);
static_cast<const void>( x &&y || z);
static_cast<volatile void>( m | n + fn());

Все формы действительны. Обычно я делаю его короче:

//suppressing  expressions
(void)(unusedVar);
(void)(fn());
(void)(x &&y || z);

Это тоже нормально.

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

Превращение в пустоту не требует затрат. Это только информация для компилятора, как с этим обращаться.

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

Кроме того, при проверке соответствия вашего кода стандартам MISTA (или другим) автоматические инструменты, такие как LDRA, не позволят вам вызывать функцию с возвращаемым типом без возврата значения, если вы явно не приведете возвращаемое значение к (void)

C ++ 17 [[nodiscard]]

C ++ 17 стандартизировал «бизнес без учета возвращаемого значения» с помощью атрибута.

Поэтому я надеюсь, что совместимые реализации всегда будут предупреждать, только когда nodiscard заданы, и никогда не предупреждать иначе.

Пример:

main.cpp

[[nodiscard]] int f() {
    return 1;
}

int main() {
    f();
}

компиляции:

g++ -std=c++17 -ggdb3 -O0 -Wall -Wextra -pedantic -o main.out main.cpp

результат:

main.cpp: In function ‘int main()’:
main.cpp:6:6: warning: ignoring return value of ‘int f()’, declared with attribute nodiscard [-Wunused-result]
    6 |     f();
      |     ~^~
main.cpp:1:19: note: declared here
    1 | [[nodiscard]] int f() {
      | 

Следующее все избегает предупреждения:

(void)f();
[[maybe_unused]] int i = f();

Мне не удалось использовать maybe_unusedпрямо во время f()звонка:

[[maybe_unused]] f();

дает:

main.cpp: In function ‘int main()’:
main.cpp:6:5: warning: attributes at the beginning of statement are ignored [-Wattributes]
    6 |     [[maybe_unused]] f();
      |     ^~~~~~~~~~~~~~~~

Работа с (void)приведением типов не является обязательной, но "поощряется" в стандарте: Как я могу намеренно отказаться от возвращаемого значения [[nodiscard]]?

Также, как видно из предупреждающего сообщения, одним из «решений» предупреждения является добавление -Wno-unused-result:

g++ -std=c++17 -ggdb3 -O0 -Wall -Wextra -pedantic -Wno-unused-result -o main.out main.cpp

хотя я бы, конечно, не рекомендовал игнорировать подобные предупреждения во всем мире.

C ++ 20 также позволяет добавлять причину в nodiscardas, [[nodiscard("reason")]]как указано по адресу: https://en.cppreference.com/w/cpp/language/attributes/nodiscard

НКУ warn_unused_resultАтрибут

Перед стандартизацией [[nodiscard]]и для C, прежде чем они окончательно решат стандартизировать атрибуты, GCC реализовал точно такую ​​же функциональность с warn_unused_result:

int f() __attribute__ ((warn_unused_result));

int f() {
    return 1;
}

int main() {
    f();
}

который дает:

main.cpp: In function ‘int main()’:
main.cpp:8:6: warning: ignoring return value of ‘int f()’, declared with attribute warn_unused_result [-Wunused-result]
    8 |     f();
      |     ~^~

Следует отметить, что, поскольку ANSI C не имеет стандарта для этого, ANSI C не указывает, какие функции стандартной библиотеки C имеют атрибут или нет, и поэтому реализации сами приняли решение о том, что следует или не отмечать warn_unuesd_result, что Вот почему в общем случае вам придется использовать (void)приведение, чтобы игнорировать возврат любых вызовов стандартных библиотечных функций, чтобы полностью избежать предупреждений в любой реализации.

Протестировано в GCC 9.2.1, Ubuntu 19.10.