手动调用析构函数未被评估为引用变量

Question

一旦我的 class 没有定义析构函数，下面的代码给出 warning C4189: 'f' : local variable is initialized but not referenced

（f->~Fred() 未被识别为引用 f）

这是错误，还是标准行为？

struct Fred
{
    int a, b;
    //~Fred(){}
};

int main()
{
    char memory[sizeof(Fred)];

    void * place = memory;

    Fred* f = new(place)Fred();

    f->~Fred();
}

这段代码当然没有意义（它是最小的工作示例），但是我在编写池分配器并像这样使用它时在真实场景中遇到了这个错误

template <typename T>
void CallDestructor(T * t)
{
    t->~T();
}

我使用 visual studio 2013 警告级别 4 我在一些没有警告的在线编译器上测试了它，但我不确定他们的警告级别是多少

Answer 1

Is this a bug, or is this standard behaviour?

这个特殊的警告 ("local variable is initialized but not referenced") 不是标准所要求的。就语言而言，初始化局部变量然后不引用它是完全合法。

尽管如此，这表明您的代码可能没有按照您的预期执行，因此编译器会尽力提供帮助并警告您有问题的构造。 ("你在这里忘记了什么吗?") 这完全在编译器的范围内，所以即使他们尝试了也不可能是 "standard behaviour"。 ;-)

是的，编译器应该意识到f->...确实构成了对f的引用。所以警告是误报。（可能是因为整个事情都被优化掉了，成为一个空操作。）如果你使用高警告级别，就会发生这种情况。

但它是警告，而不是错误。您可以安全地忽略它，或使用 #pragma warning 屏蔽它（因为您使用的是 MSVC）。

手动调用析构函数未被评估为引用变量

Manually calling destructor is not evaluated as referencing variable

c++

placement-new