型が明示的/暗黙的に構成可能かどうかをチェックする方法？

Question

あるタイプが他のタイプから明示的に（あるいはその逆が）構成可能であることを確認するにはどうすればいいですか？この状況でSFINAEのトリックですか？

私はcombination of std::is_constructible and std::is_convertibleとしてis_explicitly_constructible書くことができます。

#include <type_traits> 

template <typename Type, typename Argument> 
struct is_explicitly_constructible 
    : std::bool_constant 
     < 
      std::is_constructible<Type, Argument>::value && 
      !std::is_convertible<Argument, Type>::value 
     > 
{ 
}; 

をしかし、私はすべての可能な例は、このようなコードに考慮されていますか？

Answer 1

はい、これは正しいです。それがすべてでAから構築可能である

1. 場合タイプTは、引数Aから明示的に構築可能です。つまり、仮説T x(a)が有効です。
2. 暗黙の変換が正しく行われていません。つまり、仮想関数T test() { return a; }は不正な形式になります。

std::is_constructible試験＃1およびstd::is_convertibleは＃2の妥当性を試験する。したがって＃1と＃2がis_explicitly_constructibleのように＃1と＃2がis_implicitly_constructibleのようになります。

---

このようなis_explicitly_constructible/is_implicitly_constructibleペアは、あなたが条件付きでexplicitているコンストラクタを実装する方法をです。例えば、のlibstdC++には、optionalのためにこれらの2つのコンストラクタが存在する：

implicitを：

template <typename _Up = _Tp, 
      enable_if_t<__and_< 
       __not_<is_same<optional<_Tp>, decay_t<_Up>>>, 
       is_constructible<_Tp, _Up&&>, // (*) 
       is_convertible<_Up&&, _Tp>  // (*) 
       >::value, bool> = true> 
    constexpr optional(_Up&& __t) 

explicit：

template <typename _Up = _Tp, 
      enable_if_t<__and_< 
       __not_<is_same<optional<_Tp>, decay_t<_Up>>>, 
       is_constructible<_Tp, _Up&&>,  // (*) 
       __not_<is_convertible<_Up&&, _Tp>> // (*) 
       >::value, bool> = false> 
    explicit constexpr optional(_Up&& __t); 

あなたはそれにlibstdcを見ることができ++あなたが行うのと同じ表現を使用しています。