请考虑以下代码段:
template<class E>
class vector_expression {};
template<class Tuple>
class vector
: public vector_expression<vector<Tuple>>
{
public:
using value_type = typename Tuple::value_type;
};
template<typename T>
using dynamic_vector = vector<std::vector<T>>;
namespace detail
{
template<class E>
constexpr bool is_vector_expression_v = std::is_base_of_v<vector_expression<std::decay_t<E>>, std::decay_t<E>>;
template<class E>
struct value_type { using type = std::decay_t<E>; };
template<class E>
struct value_type<vector_expression<std::decay_t<E>>> { using type = typename std::decay_t<E>::value_type; };
template<class E>
using value_type_t = typename value_type<E>::type;
}
int main()
{
static_assert(std::is_same<detail::value_type_t<dynamic_vector<double>>, double>::value, "not the same");
return 0;
}
每当value_type_t<E>
为value_type
时,我希望E
成为E
中指定的vector_expression
。上面的代码无效,因为模板参数E
在value_type
的部分特化中无法推断。如何使代码生效?
答案 0 :(得分:2)
std::decay_t<E>
无法推断,因为它实际上是std::decay<E>::type
(实际上,在您的特定情况下,有几个E
会导致相同的类型)。
需要第二次修正才能通过static_assert
:
由于dynamic_vector<double>
不是vector_expression
,而是从中继承,因此您的专业化不匹配。您可以使用SFINAE来解决这个问题:
template<class E, typename Enabler = void>
struct value_type { using type = std::decay_t<E>; };
template<class E>
struct value_type<E, std::enable_if_t<is_vector_expression_v<E>>> {
using type = typename std::decay_t<typename E::type>::value_type;
};
答案 1 :(得分:1)
第一个问题是你的部分专业化是不可导出的。这是一个更简单的解决方法,您可以放弃std::decay_t
:
template<class E>
struct value_type<vector_expression<E>> { using type = typename E::value_type; };
然而,现在你遇到了更大的问题,因为这不能做你想做的事情。对于任何dynamic_vector<double>
,vector_expression<E>
都不是E
。它从vector_expression<vector<std::vector<T>>>
继承,但这对于此匹配的目的不会有帮助。因此,上述修补程序将进行编译,但您仍然可以匹配主要模板 - 错误的value_type
。
您可能想要的是专注于value_type
作为typedef的存在。那就是:
template <class... > using void_t = void;
template <class T> struct tag_t { using type = T; }; // courtesy of Yakk
template<class E, class=void>
struct value_type : tag_t<std::decay_t<E>> { };
template<class E>
struct value_type<E, void_t<typename std::decay_t<E>::value_type>>
: tag_t<typename std::decay_t<E>::value_type> { };
现在你的static_assert
通过。