0

假设我们有一个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_expressions 分配给 a row。当然，如果对象的关联不是“可分配的”，则应该禁用这样的运算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。我们怎么能做到这一点？

我已经隐藏了上面的实现细节，但这里有一个你需要回答我的问题的东西的现场演示。

4

1 回答 1

-1

在成员类numeric::detail::row中，已经定义了 element( m_e) 和 index( m_i)，然后我的代码如下：

        template<class F,
            class = std::enable_if_t<is_assignable_v<E&, F>>>
            row& operator=(vector_expression<F> const& e)
        {
            for (size_type i = 0; i < m_e.row_size(); ++i)
            {
                m_e(m_i, i) = e(i);
            }
            return *this;
        }
于 2017-04-19T22:29:31.127 回答