Question

使用以下代码：

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.0\VC\bin\CL.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没必要

Answer 1

恕我直言，这只是一种解释。

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

此外，每个标准几乎不需要诊断，但是AFAIK不能阻止编译器针对可疑代码发出警告。这就是这里发生的情况：编译器警告您，使用您的代码对析构函数的调用将是无操作的，因此该代码是可疑的。但是没有编译错误，即使转换违反了严格的别名规则，我也认为程序可以正常运行。

所以我认为该警告不是必需的，并且没有发出警告的编译器是正确的，但是由于代码 strange ，您不能怪责通过警告您的警告的编译器程序员，我希望您知道您在这里做什么，因为我无法理解其背后的原理...

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

1 个答案: