std::copy: 运算符= 未找到

Question

在 Vector_t 的 initializer_list 构造函数上使用 std::copy 时遇到问题。但正如您在 FixedPoint_t 的声明中看到的那样，它有足够的声明用于复制构造和赋值。编译器对我的期望是什么签名？或者我在这里错过了什么？编译器输出指出 FixedPoint_t 的 operator= 可能适合，但仍未使用。匹配参数列表似乎也存在问题。

我尝试过的： Vector_t适用于整数类型和其他类，所以它必须是FixedPoint_t的一些问题。
MSDN 页面表示缺少构造函数。但 FixedPoint_t 的 ctor 匹配。
FixedPoint_t 可以在 Vector_t 之外分配，但我无法得出结论。
我无法用我制作的 int-wrapper 重现错误。

编译器：VS 编译器（VS 2015）
错误：C2679 二元运算符“=”：未找到类型为“const math::FixedPoint_t”的 rhs 参数的运算符（或无法进行适当的转换）

测试代码

#include <FpMath/FpMath.hpp>

using namespace math;

int main(int argc, char** argv) {

    // Vector object construction using an initializer_list
    Vector_t<FixedPoint_t<int, 4096>, 1> vec {
        4096
    };

    // Assignment outisde of Vector_t
    FixedPoint_t<int, 4096> fp1(3 * 4096);
    FixedPoint_t<int, 4096> fp2 = fp1; // works

    return 0;
}

矢量.hpp

#pragma once

#include <array>
#include <cassert>
#include <initializer_list>
#include <algortihm> // std::copy

#include "FixedPoint.hpp"

namespace math {

    template <typename T, size_type size>
    class Vector_t {
    public:

        typedef T value_type;

        Vector_t(std::initializer_list<value_type> li);

    ...

    private:

        std::array<value_type, size> m_values;
    };

    template <typename T, size_type size>
    Vector_t<T, size>::Vector_t(std::initializer_list<value_type> li) : m_values() {

        assert(li.size() <= size);
        std::copy(li.begin(), li.end(), m_values.begin()); // < Error occurs here
    }
}

FixedPoint.hpp

#pragma once

#include <cassert>
#include <limits>

namespace math {

    template <typename T, T denom>
    class FixedPoint_t {
    public:

        typedef T value_type;
        typedef class_type& reference;

        FixedPoint_t();
        FixedPoint_t(const value_type& numerator);
        FixedPoint_t(const reference other);

        inline reference operator=(const reference other);
        inline reference operator=(const value_type& val);
    };
}

Answer 1

问题出在这里：

typedef class_type& reference;
...
FixedPoint_t(const reference other);
...
inline reference operator=(const reference other);

此构造不声明 const 引用参数。将其更改为

typedef class_type& reference;
typedef const class_type& const_reference;
...
FixedPoint_t(const_reference other);
...
inline reference operator=(const_reference other);