shared_ptr 析构函数、复制和不完整类型

我有一个头文件foo.h像这样（无关的东西省略）：

#pragma once
#include <memory>

class Bar;


struct Foo
{
  std::shared_ptr<Bar> getBar();

  std::shared_ptr<const Bar> getBar() const
  {
    return const_cast<Foo*>(this)->getBar();
  }
};

的非常量重载getBar()是在 .cpp 文件中实现的，该文件还可以看到完整的定义Bar.

When foo.h包含在另一个文件中（该文件看不到定义Bar），VS 2010 给了我这样的警告：

warning C4150: deletion of pointer to incomplete type 'Bar'; no destructor called

关于 const 重载getBar()（或者实际上是在标准库深处从该重载实例化的东西上）。

我的问题是是否可以安全地忽略该警告。

在我看来，有两个成员函数std::shared_ptr<Bar>被叫进来getBar() const：转换构造函数和析构函数。

// converting constructor
template <class Y>
std::shared_ptr<const Bar>::shared_ptr(std::shared_ptr<Y> &&r)

这用于初始化返回值getBar() const从返回值getBar()。这没有列出任何需要的先决条件（C++11 27.2.2.1 §20-22）Y (Bar就我而言）是完整的。

// destructor
std::shared_ptr<const Bar>::~shared_ptr()

27.2.2.2 §1 规定，当被销毁的共享指针为空时，没有副作用。

我明白为什么我收到警告 - 析构函数代码还必须关心以下情况：delete必须在存储的指针上调用，并且此代码确实会删除不完整的类型。但在我看来，在我的情况下它永远无法达到，所以getBar() const是安全的。

我是否正确，或者我是否忽略了一个电话或可能使getBar() const真的删除一个不完整的类型吗？

我找不到警告的理由。我也无法使用 clang/libc++ 复制该警告。

一般来说，给定一个shared_ptr<Bar>，没有看到构建shared_ptr<Bar>这需要一个Bar*，以及可选的删除器，没有办法确定是否~Bar() is ever叫。无法知道删除程序中存储了什么shared_ptr<Bar>，并给出一些未知的删除器d存储在shared_ptr<Bar>，沿着Bar* (say p），没有要求d(p) call ~Bar().

例如，您的Bar可能没有可访问的析构函数：

class Bar
{
    ~Bar();
};

和你的Foo::getBar()可以这样实现：

std::shared_ptr<Bar>
Foo::getBar()
{
    // purposefully leak the Bar because you can't call ~Bar()
    return std::shared_ptr<Bar>(new Bar, [](Bar*){});
}

如果不看到 foo.cpp，编译器就无法知道。

这个警告对我来说看起来像是一个编译器错误，或者可能是实现中的一个错误std::shared_ptr.

您可以忽略该警告吗？我不知道。在我看来，您正在处理实现中的错误，因此该错误很可能意味着警告是真实的。但假设实现完全一致，我认为没有要求Bar成为您所显示的代码中的完整类型。