のstd :: STD上get_deleter :: STDを使用して初期化するshared_ptr ::バインド

Question

のは、私はこのコードを持っているとしましょう：

class BaseObject 
{ 
public: 
    virtual void OnDestroy() {} 
}; 
template <typename T> 
struct myArrayDeleter 
{ 
    void operator()(T *p, std::size_t count) 
    { 
     for(std::size_t i = 0; i < count; i++) 
     { 
      static_cast<BaseObject*>((void*)(int(p) + sizeof(T) * i))->OnDestroy(); 
     } 
     delete [] p; 
    } 
}; 

そして、意図したとおりのは、それが動作することを想定してみましょう（それはせずに今書かれた、簡易版ですチェックしますが、基本的にはこのコードが何をすべきかを知っています）。
この部分では問題はありません。ただし、これをチェックしてください：

ただし、方法は機能していません。それはshared_ptrをstd::bindに初期化したためです。 std::get_deleterは、テンプレートに間違ったタイプが指定されているため、常にnullptrを返します。どのタイプを渡すべきかわかりません。私はtypeid(U) == typeid(*m_shared.get())で行くことができる知っているが、これは私が欲しいものではありません

template <typename U> 
bool IsExactlyOfType() 
{ 
    if(!m_shared) 
     return false; 

    return ((void*)std::get_deleter<myDeleter<U>>(m_shared) != nullptr; 
} 

：私はmyDeleterは一引数でファンクタであり、それがこのようなコードで完璧に動作する非配列のコードでも試してみました。私ははるかに複雑なコードを持っており、その場合はこのメソッドだけが良いです。

もっと熟練したプログラマーは、指定するタイプをstd::get_deleterに教えてください。

Answer 1

コンパイラがdecltypeを正しく翻訳していないことが判明しました。私はshared_ptrを初期化した直後にDeleterを取得しようとしました。しかし、関数内の同じdecltypeはわずかに他の型を生成していました。私は、デバッガでそれをチェックし、それがこの結果を生成：

コンストラクタで：

機能で

std::_Binder<std::_Unforced,grim::impl::TObjectArrayDeleter<APlayer>,std::_Ph<1> const &,unsigned int &> & 

：

std::_Binder<std::_Unforced,grim::impl::TObjectArrayDeleter<APlayer>,std::_Ph<1> const &,unsigned int const &> * 

は終わりを見てください - それは、追加のconstを追加しました。私は手動で変更する必要がありましたので、私のコードは次のようになります：

using D = std::_Binder<std::_Unforced,grim::impl::TObjectArrayDeleter<U>, 
         std::_Ph<1> const &,unsigned int &>; 

return ((void*)std::get_deleter<D>(m_shared)) != nullptr;