c++ - 从父模板类转换为子模板类

我有一个基础模板类。

template <typename T, int width>
struct mat

派生的模板类之一是

template <typename T>
struct mat4 : public mat<T, 4>

但是当我尝试将两个矩阵相乘并分配它们时

mat4<float> model(1.0f);
mat4<float> model2(1.0f);
mat4<float> a = model * model2;

我收到错误C2440：“正在初始化”：无法从“ maths :: mat”转换为“ maths :: mat4”。如何告诉编译器mat4<T>和mat<T,4>彼此相等？因为到目前为止，它们被解释为不同的类型，导致赋值运算符无法工作，因为它不能从mat<T, 4>转换为mat4<T>吗？

有关我的实施的其他信息：

运算符=

template<typename T, int width>
inline mat<T, width>& mat<T, width>::operator=(const mat<T, width>& rhs)
{
    *this = rhs;
}

操作员*

template<typename T, int width>
inline mat<T, width> mat<T, width>::operator*(const mat<T, width>& rhs)const{
mat<T, width> ans;

for (int y = 0; y < width; y++)
{
    for (int x = 0; x < width; x++) {
        T elementSum = T(0);
        for (int f = 0; f < width; f++) {
            elementSum += elements[x + f * width] * rhs.elements[f + y * width];
        }
        ans.elements[x + y * width] = elementSum;
    }
}
return ans;

mat4构造函数

mat4(const T scalar = T())
    :mat<T, 4>{ scalar }
{};

垫子构造器

template<typename T, int width>
inline mat<T, width>::mat(const T scalar)
{
    for (int i = 0; i < cells; i++)
         ((i % (width+1)) == 0) ? (elements[i] = (T)1 * scalar)
                                : (elements[i] = (T)0);
}

最佳答案

您需要向mat4添加一个接受mat的转换构造函数：

template <typename T>
mat4<T>::mat4(const mat<T, 4> &that)
    : mat<T, 4>(that) { }

请注意，即使mat4<float> a = model * model2;语句在语法上也确实没有使用赋值运算符。而是使用可用的非显式构造函数之一发生copy initialization。

关于c++ - 从父模板类转换为子模板类，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/53036315/