如何检查类型是否显式/隐式可构造？

Question

如何检查某些类型是否可以从其他类型显式（反之亦然）构造？在这种情况下有什么 SFINAE 技巧吗？

我可以把is_explicitly_constructible写成combination of std::is_constructible and std::is_convertible：

#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

是的，这是正确的。如果

1. 它完全可以从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 的这两个构造函数存在：

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++ 使用与您相同的表达式。