Resharperはハードコードでstd :: make_uniqueを認識しますか？

Question

Iコード場合： -

class B; //some B.h has definition of B 
std::make_unique<B>(); 

ReSharperのは、私がB.hを含まなければならないことを私に警告します。 （正しい）

タイプ 'B' 私はstd::unique_ptr<T>のコードを模倣しTest.h内に置くしようとした場合、しかし、

不完全である： -

をTEST.H

//inside class Test 
template<class _Ty, 
class... _Types> inline 
typename std::enable_if<!std::is_array<_Ty>::value, 
    std::unique_ptr<_Ty> >::type test2(_Types&&... _Args) 
{ // make a unique_ptr 
return (std::unique_ptr<_Ty>(new _Ty(std::forward<_Types>(_Args)...))); 
} 

test.cpp

#include "Test.h" 
//inside some function 
test2<B>(); 

私は警告を受けません。 （Bが不完全であるため、それは互換性のないです。）

• 質問ReSharperのは約std::make_uniqueチェックをハードコーディングしていますか？

• もしそうでなければ、Resharperが正しく推奨する方法でコーディングする方法はありますか？ （B.hを含む必要があります）
  実際の使用では、カスタムスマートポインタ+プール
  を作成しようとしていますが、ユーザーのファイルに#includeを正しくお勧めします。

std::make_sharedにも発生します。

編集： - イゴールAkhmetovは、それがハードコードされたことを述べたように

、とにかく私はでき手掛かりReSharperのがありますか？例えば： -

//Hey, Resharper, the user must include full definition of "T". 
// Resharper, forward declaration is not enough for "T". 
template<class T> T* f(){ 
    return new T(); 
} 

Answer 1

あなたは正しい、完全性および過負荷解像度のチェックがstd::make_uniqueとstd::make_sharedのためにハードコードされています。 std::make_uniqueのような関数の場合、R ++は関数のシグネチャから、テンプレート引数として使用されるクラスの定義が必要であると推論することはできません。しかし、std::make_uniqueとstd::make_uniqueは非常に一般的であり、追加のチェックが特別に導入されました。

つまり、テンプレート引数として使用されるクラスの定義は、通常、参照を転送するテンプレート関数のパラメータに必要です。この場合、警告を表示することも考えられます（ただしエラーはありません）。