クラスに署名付きコンストラクタがあるかどうかを検出する

Question

クラスに指定されたシグネチャを持つコンストラクタがある場合、コンパイル時にどのように検出できますか？私は次の操作を実行したいと思います。具体的には：

class Archive 
{ 
    // (...) 

    template <typename T> 
    T Read() 
    { 
     if constexpr(HasUnarchiveConstructor<T>()) 
     { 
      return T(*this); // constructor accepts reference to Factory 
     } 
     else 
     { 
      T t; 
      Unarchive(*this, t); // use stand alone function instead. (if this is not available either, compiling fails) 
      return t; 
     } 
    } 
} 

特定のシグネチャを持つ関数を検出するための多くの原因があります。私はしかし、コンストラクタにこれらを変換することはできません。 source 1source 2source 3以上。

template<typename T> 
using HasUnarchiveConstructorImpl = decltype(std::declval<T>() + std::declval<T>()); 

template< typename T > 
using HasUnarchiveConstructor = std::is_detected<HasUnarchiveConstructorImpl, T>; 

私は私が実行するチェックにこれを拡張することができますどのように？私は機能がプラス演算子を持っているかどうかを検出するために、以下をコンパイルしたソースからの

それとも私は別のやり方でそれをやり遂げることができますか？

Answer 1

これをどのようにチェックしたいのですか？

次のようにT{...}式にdecltype(...)を使用することもできます。

struct Foo 
{ 
    Foo(Archive&) { } 
}; 

struct Bar 
{ 
    // unsupported 
}; 

template<class T> 
using HasUnarchiveConstructorImpl = 
    decltype(T{std::declval<Archive&>()}); 

template <class T> 
using HasUnarchiveConstructor = 
    std::experimental::is_detected<HasUnarchiveConstructorImpl, T>; 

static_assert(HasUnarchiveConstructor<Foo>::value); 
static_assert(!HasUnarchiveConstructor<Bar>::value); 

live example on wandbox

---

またはどのように私は別の方法でそれを行うことができますか？

ハワードヒナントのanswerを参照してください。

Answer 2

は、私が使用します。

if constexpr(std::is_constructible<T, Archive&>{}) 

この特性は<type_traits>に住んでいると、既製の、あなたのために、デバッグしています。そこにあなたのために利用可能なこの問題の変種を検出するための特性の家族が全部あります。