为什么我不能在我的复制构造函数中使用 std::copy？

Question

我正在写一个封装二维数组的 class。这是复制构造函数。（WIDTH 和 HEIGHT 是编译时常量，这就是我认为它适合使用数组的原因。）

MyClass::MyClass(const MyClass &other)
{
    std::copy(
            &array[0][0], &array[0][0] + WIDTH*HEIGHT,
            &other.array[0][0]);
}

我使用的方法根据 this question 是正确的，并且在我将原型更改为 const & 而不是简单的按值传递之前工作。但是，我现在收到此编译器错误：

In file included from /usr/include/c++/4.8/bits/char_traits.h:39:0,
                 from /usr/include/c++/4.8/string:40,
                 from MyClass.hpp:4,
                 from MyClass.cpp:1:
/usr/include/c++/4.8/bits/stl_algobase.h: In instantiation of ‘_OI std::__copy_move_a(_II, _II, _OI) [with bool _IsMove = false; _II = ArrayDataType*; _OI = const ArrayDataType*]’:
/usr/include/c++/4.8/bits/stl_algobase.h:428:38:   required from ‘_OI std::__copy_move_a2(_II, _II, _OI) [with bool _IsMove = false; _II = ArrayDataType*; _OI = const ArrayDataType*]’
/usr/include/c++/4.8/bits/stl_algobase.h:460:17:   required from ‘_OI std::copy(_II, _II, _OI) [with _II = ArrayDataType*; _OI = const ArrayDataType*]’
MyClass.cpp:17:28:   required from here
/usr/include/c++/4.8/bits/stl_algobase.h:390:70: error: no matching function for call to ‘std::__copy_move<false, true, std::random_access_iterator_tag>::__copy_m(ArrayDataType*&, ArrayDataType*&, const ArrayDataType*&)’
                        _Category>::__copy_m(__first, __last, __result);
                                                                      ^
/usr/include/c++/4.8/bits/stl_algobase.h:390:70: note: candidate is:
/usr/include/c++/4.8/bits/stl_algobase.h:368:9: note: template<class _Tp> static _Tp* std::__copy_move<_IsMove, true, std::random_access_iterator_tag>::__copy_m(const _Tp*, const _Tp*, _Tp*) [with _Tp = _Tp; bool _IsMove = false]
         __copy_m(const _Tp* __first, const _Tp* __last, _Tp* __result)
         ^
/usr/include/c++/4.8/bits/stl_algobase.h:368:9: note:   template argument deduction/substitution failed:
/usr/include/c++/4.8/bits/stl_algobase.h:390:70: note:   deduced conflicting types for parameter ‘_Tp’ (‘ArrayDataType’ and ‘const ArrayDataType’)
                        _Category>::__copy_m(__first, __last, __result);

我假设 C++ 标准不会使 std::copy 通过这种方式的常量引用在复制构造函数中不可用，那么我在这里做错了什么？

Answer 1

这个日志

/usr/include/c++/4.8/bits/stl_algobase.h: In instantiation of ‘_OI std::__copy_move_a(_II, _II, _OI) [with bool _IsMove = false; _II = ArrayDataType*; _OI = const ArrayDataType*]’:

下面几行很有趣。错误日志指向 __result 这是您传递的第三个参数的别名。

这是从以下代码行生成的。

std::copy(
        &array[0][0], &array[0][0] + WIDTH*HEIGHT,
        &other.array[0][0]);

副本声明为：

template< class InputIt, class OutputIt >
OutputIt copy( InputIt first, InputIt last, OutputIt d_first );

您正在尝试将 array 复制到 other.array，目标是 const。

您可以将语法更改为：

std::copy(
        &other.array[0][0], &other.array[0][0] + WIDTH*HEIGHT,
        &array[0][0]);

但我建议使用 std::array 的 std::array 来编写一个不那么令人困惑的语法：

array = other.array;

这种混淆来自一些语言设计决策：

赋值运算符用作：

LHS = RHS;

现在为了保持相同的顺序，C 将其函数定义为：

strcpy(LHSstring, RHSstring);  /* LHSstring = RHSstring; Similar in memcpy etc */

但是 C++STL 设计不同并且具有以下构造：

SOME_FUNC(from_iterator, to_iterator, something...);
/* foreach, transform, sort etc */

因此以下（虽然令人困惑）是类似的

memcpy(dest, src, len * sizeof dest[0]);
std::copy(src, src + len, dst);

为什么我不能在我的复制构造函数中使用 std::copy？

Why can't I use std::copy in my copy constructor?

c++

arrays

copy-constructor