Void强制转换宏解释
Void cast macro explaination
希望对下面这段代码得到一些澄清/解释
#define NOOP(x) ((void)(x))
void my_function(int x)
{
NOOP(x);
}
这个宏防止未使用的参数警告。
我有两个问题——
- 所以我们通过使用这个宏对x进行void强制转换。是什么当我们void cast的时候真的会发生吗?
- 为什么在
(void)(x)
周围额外的一组括号
谢谢
就发生的事情而言,绝对没有什么,这就是重点。只是对变量的引用,但对它绝对不做任何操作。编译器尽职尽责地处理它,注意到参数被使用,然后扔掉所有东西,不生成任何实际代码。
就括号而言:
对于可能在表达式中使用的宏,即使在不需要的情况下,使用括号也是一种很好的做法。
例如,假设代码中有一个简单的宏,它在屏幕上绘制一个窗口。这样做的库会在窗口周围添加一个边框,比如6像素长。这个宏计算窗口的总宽度。这个宏的简单实现是:#define ACTUAL_WIDTH(w) w+6
现在,假设你的代码要计算两个窗口的实际宽度。两个窗口都是100像素宽:
int total_width=ACTUAL_WIDTH(100)*2;
你认为会发生什么?回想一下,宏替换基本上只是一个简单的文本替换,所以这就是实际编译的内容:
int total_width=100+6*2;
这是完全错误的。您希望在宏中有一组额外的括号,以便编译正确的代码:
int total_width=(100+6)*2;
这就是为什么你经常会在宏中看到一组额外的括号,这些括号可以用在表达式中。不仅如此,像这样的宏还会在其参数周围加上括号,所以它可能是:
#define ACTUAL_WIDTH(w) ((w)+6)
这就是为什么在宏中会看到一组额外的括号。养成一种习惯,总是将它们添加到你编写的每个宏中,这样更容易保证安全;而不是每次都浪费时间去弄清楚他们是否真的需要。
使用良好的编程习惯可以避免许多常见的错误。
摘自2014年11月c++ 14标准工作草案第5.2.9节第6段:
任何表达式都可以显式地转换为cv void类型,在这种情况下,它将成为一个丢弃值表达式。
正如其他人所说,额外的括号通过有效地将表达式与可能在其周围的代码隔离来防止任何不希望的效果。虽然在这种情况下,我认为在实际应用程序中不包括外部括号不太可能产生任何不良影响,特别是如果您只是使用它来避免函数中未使用的变量警告。不过,把它们排除在外是不值得冒任何风险的。
为了说明这一点,我提出了一个非常人为的示例,它会导致无意地执行代码,因为有比c风格的强制转换具有更高优先级的操作符。
#include <iostream>
#define NOOP(x) ((void)(x))
#define MYNOOP(x) (void) (x)
struct A
{
bool operator()(void) {
std::cout << "Called function unintentionally" << std::endl;
return true;
}
};
int main() {
A i;
MYNOOP(i)();
//NOOP(i)(); // error: called object type 'void' is not a function or function pointer
return 0;
}
正如你所说的,你的代码不会显示一个未使用的变量警告,因为你正在使用变量'x',但你只是对它不做任何事情,你将它传递给一个不做任何重要的函数(NOOP(x) -不做任何重要的事情,但是,编译器看到你正在尝试使用x变量),所以它不会告诉你你没有使用变量
- 隐式重新解释引用时强制转换,没有警告/错误
- 如果整数与指针大小相同,则重新解释将整数转换为指针双射是否具有双射作用?
- C++显式类型转换(C 样式强制转换)的强制表示法和static_cast的多种解释
- 指向 POD 类型的指针之间的静态转换与重新解释转换
- 提升不良词法强制转换:将字符串转换为无符号长整型时,无法将源类型值解释为目标
- 使用重新解释强制转换时交换字节序
- 通过指针访问数据(重新解释转换)与 .或 ->运算符
- 转换构造函数:您如何解释C 中给定不同参数的函数
- 在没有额外成员的情况下重新解释转换为派生类可以吗
- 是从指针的矢量到常量指针的矢量的重新解释强制转换的安全性
- 转换基元时的内存解释
- 用c++中的重新解释强制转换扩展嵌套宏
- 通过重新解释强制转换创建无效引用
- 重新解释强制转换和 C 样式转换之间的 C++ 区别
- 重新解释转换 IDXGISwapChain** 指向 IUKnown** 指针的指针
- 请解释我在将字符串转换为字符时需要附加'