为什么msvc编译器在显式调用析构函数时会发出未使用的变量

Why does msvc compiler issue unused variable when explicitly calling a destructor

本文关键字：未使用 变量 析构函数 编译器 msvc 调用 为什么      更新时间：2023-10-16

使用以下代码：

struct Foo {};
template<class T>
void Destruct(T *obj)
{
obj->~T();
}
int main(int /*argc*/, const char * /*argv*/[])
{
char buffer[sizeof(Foo)];
Destruct((Foo*)buffer);
return 0;
}

Visual Studio 2015将对未引用的参数发出警告：

warning C4100: 'obj': unreferenced formal parameter

这是合法的警告还是编译器中的错误？

在线转载：https://godbolt.org/z/xq96GU

编辑：将样本更新为完整的示例

编辑2：您需要启用/W4才能在visual studio 2015中发生这种情况，/W3是不够的；还证实，2017年不会出现这种情况。

编辑3：对于CNR，以下是命令行的输出，其中包含用于重新编程的所有参数：

>"C:Program Files (x86)Microsoft Visual Studio 14.0VCbinCL.exe" /W4 test.cpp
Microsoft (R) C/C++ Optimizing Compiler Version 19.00.24215.1 for x86
Copyright (C) Microsoft Corporation.  All rights reserved.
test.cpp
test.cpp(4): warning C4100: 'obj': unreferenced formal parameter
test.cpp(12): note: see reference to function template instantiation 'void Destruct<Foo>(T *)' being compiled
with
[
T=Foo
]
Microsoft (R) Incremental Linker Version 14.00.24215.1
Copyright (C) Microsoft Corporation.  All rights reserved.
/out:test.exe
test.obj

编辑4在godbolt.org上添加了样本复制编辑5实际上/W4足以复制，/Wall不是必需的

IMHO这只是一种解释。

在专用函数void Destruct<Foo>(Foo *obj)中，传递的对象仅用于调用空的析构函数。没有涉及虚拟，没有变量更改值，也没有发生IO。长话短说，该调用不会产生任何直接或间接可观察到的结果，因此编译器可以对其进行优化。因此，当编译器说传递的对象在特定专门化中未使用时，它是正确的。

此外，每个标准几乎不需要诊断，但AFAIK并没有阻止编译器发出可疑代码的警告。这正是这里发生的情况：编译器警告您，对于您的代码，对析构函数的调用将是无操作的，因此代码是可疑的。但是没有编译错误，我认为程序运行时不会出现问题，尽管强制转换违反了严格的别名规则。

因此，我的观点是，这个警告远远不是必需的，不发出它的编译器是正确的，但由于代码很奇怪，你不能责怪一个编译器善意地警告你说程序员，我希望你知道你在这里做什么，因为我无法理解它背后的原理…

相关文章：