如何在 C++ 中创建二维数组使用这个特定的容器

Question

我正在尝试移植
int a[][]
从Java到C++。我使用此类作为整数的容器 ArrayRef 因为它处理引用，并且该项目使用它广泛地。在 AbstractReader 类中我声明了

const ArrayRef; START_END_PATTERN_；
const ArrayRef; MIDDLE_PATTERN_;
const ArrayRef; > L_PATTERNS_;
const ArrayRef; > L_AND_G_PATTERNS_;

和

<代码> 静态 int START_END_PATTERN[];
static int MIDDLE_PATTERN[];
static int L_PATTERNS[10][4];
static int L_AND_G_PATTERNS[20][4];
请注意尾随下划线以区分两个变量。

我不知道如何初始化二维 ArrayRef。我在这里发布的内容将会出现段错误，因为这些 ArrayRef 是在堆栈上分配的。有人有一个聪明的方法来做到这一点吗？

我实际上设法让它工作的唯一方法是使用 ArrayRef< Ref; > > 通过使 ArrayRef 继承自 Counted，Counted 基本上是一个允许在 C++ 中进行引用计数的类。但为了访问元素，我必须执行类似 *(foo[i])[j] 的操作，这比 foo[i][j] 稍微麻烦一些。

int AbstractReader::L\_AND\_G_PATTERNS[20][4] = {

 {3, 2, 1, 1}, // 0
 {2, 2, 2, 1}, // 1
 {2, 1, 2, 2}, // 2
 {1, 4, 1, 1}, // 3
 {1, 1, 3, 2}, // 4
 {1, 2, 3, 1}, // 5
 {1, 1, 1, 4}, // 6
 {1, 3, 1, 2}, // 7
 {1, 2, 1, 3}, // 8
 {3, 1, 1, 2},  // 9
 // G patterns

 {1, 1, 2, 3}, // 0
 {1, 2, 2, 2}, // 1
 {2, 2, 1, 2}, // 2
 {1, 1, 4, 1}, // 3
 {2, 3, 1, 1}, // 4
 {1, 3, 2, 1}, // 5
 {4, 1, 1, 1}, // 6
 {2, 1, 3, 1}, // 7
 {3, 1, 2, 1}, // 8
 {2, 1, 1, 3}  // 9
 };

 AbstractReader::AbstractReader() 
 : decodeRowStringBuffer_(ostringstream::app),
 START_END_PATTERN_(START_END_PATTERN, 3),
 MIDDLE_PATTERN_(MIDDLE_PATTERN, 5),
 L_PATTERNS_(10),
 L_AND_G_PATTERNS_(20) {

  for (int i = 0; i < 20; i++) {
   if (i < 10) {
    L_PATTERNS_[i] = ArrayRef<int> ((L_PATTERNS[i]), 4);
   }
   ArrayRef<int> lgpattern((L_AND_G_PATTERNS[i]), 4);
   L_AND_G_PATTERNS_[i] = lgpattern;
  }
 }

Answer 1

你所拥有的应该是安全的。 （堆栈分配的）ArrayRef 创建堆分配的 Array 来支持它们，然后共享这些 Array。

编辑：感谢您发布计数。花了一些功夫，但我想我明白发生了什么。

解决方案：不要将 L_PATTERNS_ 或 L_AND_G_PATTERNS_ 声明为 const。或者，const_cast 获取所需的operator[]。例如

const_cast<ArrayRef<ArrayRef<int> > &>(L_PATTERNS_)[i] = ArrayRef<int> ((L_PATTERNS[i]), 4);

理由：
在 AbstractReader 中，您声明：

const ArrayRef<ArrayRef<int> > L_PATTERNS_;

然后在其构造函数中尝试赋值：

AbstractReader::AbstractReader() :
{
    ...
    L_PATTERNS_[i] = ArrayRef<int> ((L_PATTERNS[i]), 4);
    ...
}

由于 L_PATTERNS_ 是 const，L_PATTERNS_[i]< /code> 从 ArrayRef 调用方法>：

T operator[](size_t i) const { return (*array_)[i]; }

这将返回 L_PATTERNS_[i] 中内容的全新副本。然后进行分配（临时分配），保持原来的不变。当您稍后返回访问 L_PATTERNS_[xxx] 时，您将看到原始的、未初始化的值（这是一个 NULL 引用/指针）。因此出现了段错误。

有点令人惊讶的是 ArrayRef 甚至允许这种分配。当然，它违反了“最小惊喜原则”。人们会期望编译器会发出错误。为了确保编译器将来更有帮助，我们需要对 ArrayRef 的 operator[] const 给出稍微不同的定义 (Array.h:121) ，例如：

const T operator[](size_t i) const { return (*array_)[i]; }

或者也许（有警告）：

const T& operator[](size_t i) const { return (*array_)[i]; }

进行任何更改后，编译器都不允许进行赋值。例如，海湾合作委员会报告：

error: passing 'const common::ArrayRef<int>' as 'this' argument of 'common::ArrayRef<T>& common::ArrayRef<T>::operator=(const common::ArrayRef<T>&) [with T = int]' discards qualifiers

Answer 2

原因可能有几个。例如，您没有在粘贴中包含“Counted”类，并且在某个时刻，a->retain() 被调用（第 130 行）。该方法未显示。