Smarter可用于处理集装箱

Question

我试图写我自己的版本的d::is_copy_constructible，将返回false的容器只移动类型。

我已经找到了这个答案，描述了如何为特定的容器类型工作。现在我正在尝试扩展它以适用于任何容器。出于我的目的，我将“容器”定义为具有“value_type”成员的任何类。为了确定一个类是否有一个value_type成员，我在这个答案上使用了一个变体。

所以我现在基本上是这样的：

template <typename T, typename = void>
struct has_value_type : std::false_type {};
template <typename T>
struct has_value_type<T, decltype(std::declval<T>().value_type, void())> : std::true_type {};

用于确定类是否具有值\类型成员，以及：

template <template <typename> class test, typename T>
struct smart_test : test<T> {};
template <template <typename> class test, typename T, typename A>
struct smart_test<test, std::vector<T, A>> : smart_test<test, T> {};
template <typename T>
using smart_is_copy_constructible = smart_test<std::is_copy_constructible, T>;

对于定义smart_，它是可构造的，可正确用于向量和非容器类型。

我想将两者结合起来创建一个版本的smart_is_copy_constructible，它可以正确地用于所有容器类型（具有值类型成员的类型）。我怀疑我需要使用std：：enable_if和has_value_type struct以某种方式实现这一点，但这是我第一次尝试模板元编程，我不确定如何继续。

到目前为止，我最好的猜测是试试这个

template <template <typename> class test, typename T>
struct smart_test<test, std::enable_if_t<has_value_type<T>::value> : smart_test<test, typename T::value_type> {};

而不是前一个代码块中的第二个声明（该代码块定义了在vector上专用的smart_测试版本），但这无法编译。

任何帮助都将不胜感激！

Answer 1

是，std:：enable_如果可以：

// I'd recommend following the standard library's naming convention
template<typename T, typename = void>
struct smart_is_copy_constructible : std::is_copy_constructible<T> { };
template<typename T>
struct smart_is_copy_constructible<T, std::enable_if_t<has_value_type<T>::value>> : std::is_copy_constructible<typename T::value_type> { };

template<typename T>
constexpr bool smart_is_copy_constructible_v = smart_is_copy_constructible<T>::value;

戈德博尔特

但是有\u值\u类型大多是多余的。您的实现不起作用，我在评论中给出的实现足够短，可以内联（不过，正如Nicol Bolas所建议的，您可能希望使的值类型更复杂）：

template<typename T, typename = void>
struct smart_is_copy_constructible : std::is_copy_constructible<T> { };
template<typename T>
struct smart_is_copy_constructible<T, std::void_t<typename T::value_type>> : std::is_copy_constructible<typename T::value_type> { };

戈德博尔特

（第一个示例中使用的校正后的具有_值_类型）

template <typename T, typename = void>
struct has_value_type : std::false_type {};
template <typename T>
struct has_value_type<T, std::void_t<typename T::value_type>> : std::true_type {};

)