在类模板中隐藏用户定义转换的参数包构造函数

Question

template <unsigned int N, typename T>
class Vec
{
public:

    T m_components[N];

    Vec()
        : m_components{}
    { }

    template<typename ...Args>
    explicit Vec(Args... args)
        : m_components{args...}
    { }

    // ...
}

    // ...

    template <unsigned int _N, typename _T>
    explicit operator Vec<_N, _T> () const
    {
        Vec<_N, _T> vec;
        for(unsigned int i = 0; i < N && i < _N; ++i)
            vec.m_components[i] = static_cast<_T>(m_components[i]);
        return vec;
    }

    // ...

Vec<2, int> a(2, 8);
Vec<4, double> b;
b = (Vec<4, double>)a;

C2440: 'initializing': cannot convert from 'Vec<2, int>' to 'T' // points to the expansion of the parameter pack: m_components{args...}

我可以看到，当我逐步通过代码，C样式的强制转换直接到参数包构造函数。为什么这是，我做错了什么？如何防止参数包构造函数似乎隐藏用户定义的转换？

Answer 1

添加此构造函数：

    // ...

    template <unsigned int _N, typename _T>
    explicit Vec(const Vec<_N, _T>& other)
    {
        for(unsigned int i = 0; i < N && i < _N; ++i)
            m_components[i] = static_cast<_T>(other.m_components[i]);
    }

    // ...

正如我所理解的，我可能在这里大错特错了（有更多专业知识的人可以解释得更好），编译器不知道如何修改模板类的当前实例，以便与另一个类一起分配。

在构造过程中，m_components的大小是固定的。即使使用重载强制转换操作符，也只能完成一半的工作。必须有某种机制来修改当前实例，以接受来自另一个实例的数据。