Деструктор POD по умолчанию статичен? - PullRequest
Новая
       43

Деструктор POD по умолчанию статичен?

2 голосов
/ 30 августа 2011

Я компилирую с / 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.)

1 Ответ

6 голосов
/ 30 августа 2011

Это известная ошибка в Visual C ++: "Visual C ++ выдает неожиданное предупреждение C4100 при явном вызове деструктора объекта" .

Предупреждение можно безопасно игнорировать (или подавить с помощью #pragma warning или /Wd4100).

...