c++ - 如何将常量传递给我的 DynamicArray 类添加方法

Question

我的 DynamicArray 几乎是一个 ArrayList。我想让用户拥有一个连续的内存块，其中元素一个接一个，如果需要还有额外的空间。我遇到的唯一问题是存储整数/ float / bool 值等...我决定将我的 _array 设为 T** 以便我可以存储它们。

但是，我在将常量传递到 DynamicArray 的 add 方法时遇到了一些麻烦。我需要在传递值之前将值存储在变量中，否则会出现此错误:

    g++ main.cpp -Wall -Werror -std=c++0x

    main.cpp: In function ‘int main()’:
main.cpp:14:21: error: no matching function for call to ‘triforce::DynamicArray<std::basic_string<char> >::add(const char [5])’
main.cpp:14:21: note: candidates are:
DynamicArray.h:150:10: note: bool triforce::DynamicArray<T>::add(T&) [with T = std::basic_string<char>]
DynamicArray.h:150:10: note:   no known conversion for argument 1 from ‘const char [5]’ to ‘std::basic_string<char>&’
DynamicArray.h:176:10: note: void triforce::DynamicArray<T>::add(uint, T&) [with T = std::basic_string<char>, uint = unsigned int]
DynamicArray.h:176:10: note:   candidate expects 2 arguments, 1 provided

我的 DynamicArray 有一个名为 _array 的 T** 变量。

/**
144      * @brief Adds an element to the end of the array. The array will double in size,
145      * if needed.
146      * @param element The element to be added to the array.
147      * @returns Returns if the element was added successfully.
148      */
149     template<class T>
150     bool DynamicArray<T>::add(T& element)
151     {
152         if(_array == NULL)
153         {
154             errorMsg("Cannot add to null array");
155             return false;
156         }
157 
158         if(_size == _capacity)
159         {
160             increaseCapacity(_capacity * 2);
161         }
162 
163         _array[_size] = &element;
164         _size++;
165 
166         return true;
167     }

这个有效:

13     string val1 = "val1";
 14     array.add(val1);

这行不通

13     string val1 = "val1";
 14     array.add("val1");

我如何才能使这个函数可以接受常量，例如只传递 1 或字符串“hello”，而不先将其放入变量中？我尝试将 const 放入参数中，但这似乎也不起作用。

Answer 1

在下面的例子中:

#include <type_traits>

template <class T>
void foo( T& arg )
{
  static_assert( std::is_same<T&, const char(&)[6]>::value, "Must be same" );
}

int main()
{
  foo( "Hallo world" );
  return 0;
}

类型推导为 const char[6]。然后成为对数组的引用，因此具有类型:

常量字符(&数组)[6]

数组的名称(没有运算符 [] 限定)退化为 char* 类型，或在本例中为 const char*:

_array[_size] = &element;

因此取它的地址，上面这里rhs的类型就变成了const char*，不可能把一个const char类型的变量赋值*给一个char&类型的变量(就是由 _array[size] 返回。

您可以按以下方式补救:

template<class T>
void DynamicArray<T>::add( const T& element )
{
  if(_size == _capacity)
  {
    increaseCapacity(_capacity * 2);
  }
  _array[_size] = element;
  _size++;
}

//------ Added code --------
template<class T>
  template <int N> 
void DynamicArray<T>::add( const T (&array) [N] )
{
  for( std::size_t i = 0; i < N; ++i )
  {
    //Calls your add per element...
    add( array[i] );
  }
}

请注意，您将无法在上面的代码中使用 std::string。为此，将需要另一个过载。另请注意，我的函数没有返回类型(与您的函数一样)。返回类型在您的代码中没有任何意义，因为任何错误(例如动态分配的结果)都会被抛出。

最后，如其他地方所述，上面的代码只是为了理解概念而编写的。实际上，人们会使用 std::vector，它当然已经是一个动态数组。