POD的默认析构函数是静态的吗？

Question

我正在编译/ Wall,并收到警告C4100: 'ptr' : unreferenced formal parameter warning.警告似乎是由MSVC上的析构函数调用引起的std::_Container_proxy,它有一个默认的析构函数.

我的代码:

template<class T>
class linear_allocator {
    //...other declarations...
    static void destroy(pointer ptr);
};
//...other definitions...
template<class T>
inline void linear_allocator<T>::destroy(typename linear_allocator<T>::pointer ptr)
{
    ptr->~T(); //line 262.  warning C4100: 'ptr' : unreferenced formal parameter
}
//ironically, this isn't a test case, this is my actual thingy class.  Go figure.
struct thingy { 
    unsigned int DATA;
    thingy() : DATA(0xABCDEF) {}
    ~thingy() {assert(DATA == 0xABCDEF);}
};
int main() {
    typedef std::vector<thingy, linear_allocator<thingy>> thingyholder;
    std::vector<thingyholder> holder;
}

警告全文如下:

      f:\code\utilities\linear_allocator\linear_allocator.h(261): warning C4100: 'ptr' : unreferenced formal parameter
      f:\code\utilities\linear_allocator\linear_allocator.h(262) : while compiling class template member function 'void linear_allocator<T>::destroy(std::_Container_proxy *)'
      with
      [
          T=std::_Container_proxy
      ]
      f:\code\utilities\linear_allocator\linear_allocator.h(178) : while compiling class template member function 'linear_allocator<T>::~linear_allocator(void) throw()'
      with
      [
          T=std::_Container_proxy
      ]
      c:\program files\microsoft visual studio 10.0\vc\include\vector(454) : see reference to class template instantiation 'linear_allocator<T>' being compiled
      with
      [
          T=std::_Container_proxy
      ]
      c:\program files\microsoft visual studio 10.0\vc\include\vector(452) : while compiling class template member function 'std::_Vector_val<_Ty,_Alloc>::~_Vector_val(void)'
      with
      [
          _Ty=thingy,
          _Alloc=linear_allocator<thingy>
      ]
      c:\program files\microsoft visual studio 10.0\vc\include\vector(481) : see reference to class template instantiation 'std::_Vector_val<_Ty,_Alloc>' being compiled
      with
      [
          _Ty=thingy,
          _Alloc=linear_allocator<thingy>
      ]
      c:\program files\microsoft visual studio 10.0\vc\include\vector(1307) : see reference to class template instantiation 'std::vector<_Ty,_Ax>' being compiled
      with
      [
          _Ty=thingy,
          _Ax=linear_allocator<thingy>
      ]
      c:\program files\microsoft visual studio 10.0\vc\include\vector(1301) : while compiling class template member function 'void std::vector<_Ty>::_Tidy(void)'
      with
      [
          _Ty=thingyholder
      ]
      f:\code\utilities\linear_allocator\main.cpp(71) : see reference to class template instantiation 'std::vector<_Ty>' being compiled
      with
      [
          _Ty=thingyholder
      ]

我看到它正在使用析构函数std::_Container_proxy,它简单地说:

struct _Container_proxy
{   // store head of iterator chain and back pointer
_Container_proxy()
    : _Mycont(0), _Myfirstiter(0)
    {   // construct from pointers
    }

const _Container_base12 *_Mycont;
_Iterator_base12 *_Myfirstiter;
};

根据MSVC C4100:'application':未引用的形式参数警告,这可能发生if The functions you are calling using the application object are static functions, so they aren't really referencing the application object.. std::_Container_proxy似乎是一个POD,这是否意味着默认析构函数是静态的优化？

(是的,我知道各种解决方法可以使警告消失.我想确定为什么在我投入之前我会收到警告ptr=ptr; //warning workaround.)

Answer 1

这是Visual C++中的一个已知错误: "Visual C++在显式调用对象析构函数时发出意外警告C4100".

警告可以安全地忽略(或通过#pragma warning或抑制/Wd4100).