假设我们有一个matrix
使用表达式模板的类,以便使用代理对象使编译器可以优化复合表达式。
row
现在,创建一个如下形式的类是很自然的:
namespace detail
{
template<class E>
class row
: public vector_expression<row<E>>
{
public:
using size_type = size_type_t<E>;
template<class F>
row(F&& e, size_type i)
: m_e(std::forward<F>(e)),
m_i(i)
{}
result_of_call_operator_t<E&> operator()(size_type j) { return m_e(m_i, j); }
result_of_call_operator_t<E const&> operator()(size_type j) const { return m_e(m_i, j); }
private:
E m_e;
size_type const m_i;
};
}
以及以下形式的相应辅助函数:
template<class E, class =
std::enable_if_t<detail::is_matrix_expression_v<E>>>
detail::row<E> row(E&& e, detail::size_type_t<E> i) {
return { std::forward<E>(e), i };
}
这个想法是 arow
可能是实际matrix
对象的行或 a (temporal) matrix_expression
。
我现在要做的是配备
row
一个赋值运算符,以便我们可以将(兼容)vector_expression
s 分配给 arow
。当然,如果对象的关联不是“可分配的”,则应该禁用这样的运算matrix_expression
符row
。
这是一个有用的类型特征的第一个想法:
template<class E, class F>
using is_assignable_t = decltype(std::declval<result_of_call_operator_t<E>>() = std::declval<result_of_call_operator_t<F>>());
template<class E, class F>
constexpr bool is_assignable_v = is_detected_v<is_assignable_t, E, F>;
现在,问题是我们可能有一个
column
类和许多类似的类。所以,我正在寻找一种方法来实现上述想法,这种方法不会强迫我为每个类添加赋值运算符。
准确地说,我可以配备row
以下操作员:
template<class F,
class = std::enable_if_t<is_assignable_v<E&, F>>>
row& operator=(vector_expression<F> const& e)
{
/* ... */
return *this;
}
但是,我需要将这样的运算符添加到column
该类以及任何其他此类的类中。
总而言之,我想在
vector_expression
级别上实现这一点,以便可以将“兼容”(即元素是可转换的)vector_expression
分配给“可分配”(在上述意义上)vector_expression
。我们怎么能做到这一点?
我已经隐藏了上面的实现细节,但这里有一个你需要回答我的问题的东西的现场演示。