Question

为什么以下代码会导致编译器错误与operator* 不匹配？

template<class E>
class vector_expression {};

template<class Tuple>
class vector
    : public vector_expression<vector<Tuple>>
{
public:
    using value_type = typename Tuple::value_type;
};

namespace detail
{
    template<typename T>
    class scalar
        : public vector_expression<scalar<T>>
    {};
}

template<class E1, class E2, class BinaryOperation>
class vector_binary_operation
    : public vector_expression<vector_binary_operation<E1, E2, BinaryOperation>>
{
public:
    template<class F1, class F2>
    vector_binary_operation(F1&& e1, F2&& e2, BinaryOperation op)
        : m_e1(std::forward<F1>(e1)), m_e2(std::forward<F2>(e2)),
          m_op(std::move(op))
    { }

private:
    E1 m_e1;
    E2 m_e2;
    BinaryOperation m_op;
};

template<class E>
vector_binary_operation<detail::scalar<typename E::value_type>, E, std::multiplies<>> operator*(typename E::value_type value, E&& e) {
    return { std::move(value), std::forward<E>(e), std::multiplies<>{} };
}
template<class E>
vector_binary_operation<E, detail::scalar<typename E::value_type>, std::multiplies<>> operator*(E&& e, typename E::value_type value) {
    return { std::forward<E>(e), std::move(value), std::multiplies<>{} };
}

int main()
{
    vector<std::array<double, 3>> x;
    3 * x;

    return 0;
}

DEMO

Answer 1

你有两个重载的operator*（暂时忽略了返回类型）：

template <class E>
R operator*(typename E::value_type, E&& );

template <class E>
R operator*(E&&, typename E::value_type );

在这两种情况下，一个参数是非推断的上下文。让我们从第二次过载开始吧。当我们使用3 * x进行呼叫时，E被推断为int，则没有int::value_type，因此替换失败。

在第一次重载中，我们将E推导为vector<std::array<double, 3>>&。请注意，它是参考。因此，没有E::value_type，因为它是引用类型。您必须先删除该部分（对于两个重载）。最简单的方法是引入第二个默认模板参数，该参数是 un 引用的E版本：

template<class E, class ER = std::remove_reference_t<E>>
vector_binary_operation<detail::scalar<typename ER::value_type>, ER, std::multiplies<>>
operator*(typename ER::value_type value, E&& e);

使用该修复程序，现在您的代码无法编译，原因不同：scalar没有构造函数。但这是一个无关紧要的问题。

Answer 2

代码失败，因为x是左值参考，您无法应用::访问运算符。为此，您应先std::decay_t推导出类型E，即写

typename std::decay_t<E>::value_type

为什么我的重载乘法运算符无法识别？

2 个答案: