在 if 语句中静默 -Wunused-variable答案

【问题标题】：Silencing -Wunused-variable in an if statement在 if 语句中静默 -Wunused-variable
【发布时间】：2016-02-23 07:00:18
【问题描述】：

以下代码会生成一个警告，指出未使用temp（这是真的）：

#include <cstdio>

int f() { return 5; }

int main() {
    if(const int& temp = f()) {
        printf("hello!\n");
    }

    return 0;
}

问题是我需要在不使用 gcc -Wall 和 clang -Weverything 生成警告的情况下执行此操作（我正在实现类似于 SECTION() 的 @987654321 的东西的功能@)。

那么有什么方法可以让它静音呢？我尝试使用__attribute__((unused))。

全局使用-Wno-unused-variable 对我来说不是一个选项，因为我正在编写一个仅标头库。

【问题讨论】：

重复问题，见stackoverflow.com/questions/15053776/…
if(const int& temp = 1 ? f() : temp) { Idk 如何定义有temp，但它消除了警告，应该优化掉。
怎么用(void*)unused_variable;
您为什么需要它？如果你这样做了，你能创建一个例子来展示它吗？
@juanchopanza SECTION() Catch 中的东西是这样实现的，我不知道该怎么做

标签： c++ warnings compiler-warnings suppress-warnings

【解决方案1】：

#include <cstdio>

int f() { return 5; }

int main()
{
  if (const int &temp __attribute__((unused)) = f()) {
    printf("hello!\n");
  }

  return 0;
}

这会使 GCC 和 clang 的警告静音。

【讨论】：

我在错误的地方使用了__attribute__((unused)) - 在const之前
attribute syntax 至少可以说并不是微不足道的，但根据我有限的经验，只要你坚持一个声明，把它放在你定义的名字之后似乎有效（在函数的参数列表之后）。

【解决方案2】：

如果temp 未被使用，本质上它也可能不需要。删除它。

#include <cstdio>

int f() { return 5; }

int main() {
    if(f()) {
        printf("hello!\n");
    }

    return 0;
}

我知道这是一个 MCVE，那么为什么一开始就需要它呢？

正如您在 cmets 中提到的，temp 的析构函数在目标代码中很重要。添加一组额外的大括号将添加对临时生命周期的控制并确保其使用（因此删除警告）；

#include <iostream>

using namespace std;

struct A {
    ~A() { cout << "~A()" << endl; }
    explicit operator bool() const { return true; }
};

A f() { return A{}; }

int main() {
    { // braced to limit scope...
        auto&& a = f(); // can be const A&
        if ( a ) {
            cout << "hello!" << endl;
        }
    } // braced to limit scope....
    return 0;
}

Demo code.

鉴于 temp 的生命周期的附加约束已扩展到关联 else 的末尾，只需强制使警告静音即可（编译器受限）。

if (const int &temp __attribute__((unused)) = f())

C++11 带来了[[...]] 风格的属性，但是unused 是not standard，但是clang 确实支持这种语法[[gnu::unused]]

【讨论】：

嗯，它实际上不是一个 int，而是一个带有 ctor/dtor 的类型，我需要在 if 块的末尾执行析构函数......也许我应该给出一个完整的例子
@onqtam 它的析构函数将被执行，即使这里没有命名变量。
@songyuanyao 在 if(myType()) 和 if(const myType& temp = myType()) 中 temp 的生命周期是不同的 - 在前者中它不会持续到 then 块的末尾（并且 const ref 将是）跨度>
Niall - 您的解决方案确实有效，但由于我的宏将仅扩展到 if 语句，因此我无法强制用户在 if 的 then 部分之后添加更多大括号。还有 c++98...
@onqtam。 SECTION() 宏是否必须在 if()/else 的末尾立即运行析构函数？如果不是，那么简单地创建一个具有随机名称（可能添加行号）的本地绑定 (const&) 将在更大范围的末尾运行析构函数。

【解决方案3】：

在不使用__attribute__((unused))（这完全是正确的解决方案）的情况下尝试解决这个问题后，我决定这样做。

if(const int& temp = ((true) ? f() : (static_cast<void>(temp), f())) )

true 周围的括号抑制死代码警告，条件运算符在分配之前抑制有关使用 temp 的警告，并且强制转换为 void 删除未使用的变量警告。

gcc 的 -Wall 和 clang 的 -Weverything 没有什么可说的，尽管一个合理的人类可能会这样做。

公平警告：如果 temp 曾经用 volatile 复制构造函数声明为 volatile，这将是 UB（关于何时发生左值到右值转换的一些神秘规则）。

【讨论】：