Question

我正在编写一个封装二维数组的类。这是复制构造函数。（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：实例化'_OI std :: __ copy_move_a（_II，_II，_OI）[与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的{{3}}来编写一个不那么令人困惑的语法：

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？

1 个答案: