c++ 强制转换重载运算符的问题

Question

我有一个模板类，它上面定义了一个强制转换运算符。当我为 operator+ 定义独立重载时，这似乎没有按预期工作。

template <class TT>
class Mtx
{
private:
    MtxView<TT> m_view;
public:
    operator const MtxView<TT> &() const { return m_view; }
    operator MtxView<TT>() { return m_view; }
    ...
};

template <class TT> Mtx<TT> operator+(const MtxView<TT> &m1, const MtxView<TT> &m2) 
{...}

在下面的测试代码中，使用“+”时出现编译错误，即“二进制表达式的操作数无效”。我原以为演员会允许这个工作。为什么会失败，我该如何解决（不从 MtxView 继承）？

Mtx<float> m1, m2, m3;
...
m1 = m2 + m3;

Answer 1

g++ 提供更好的错误消息（OT：可能是第一次有人这么说）

e.cc:22:10: note: candidate is:
e.cc:16:29: note: template<class TT> Mtx<TT> operator+(const MtxView<TT>&, const MtxView<TT>&)
     template <class TT> Mtx<TT> operator+(const MtxView<TT> &m1, const MtxView<TT> &m2)
                         ^
e.cc:16:29: note:   template argument deduction/substitution failed:
e.cc:22:12: note:   'Mtx<float>' is not derived from 'const MtxView<TT>'

m1 = m2 + m3;
          ^    

因为14.8.1/6导致模板扣减失败：

如果参数类型不包含参与模板参数推导的模板参数，则将对函数参数执行隐式转换（第 4 条）以将其转换为相应函数参数的类型

用简单的语言，这表示在对函数模板 template<typename TT> U operator+( 执行参数 TT 的推导时不考虑隐式转换运算符...

所以编译器无法推断TT应该是什么类型。

MM's solution（现已删除）有效，因为operator+ 没有函数模板； TT 是已知的，因为您正在调用 Mtx<float> 的成员函数。