随机错误核心转储：`./a.out' 中的错误：free()：下一个大小无效（快速）：0x00000000010e8d70 *** 中止（核心转储）

Question

#include <iostream>
#include <string>
#include <algorithm>
#include <vector>
using std::string;

int edit_distance(const string &str1, const string &str2) {
  std::vector<std::vector<int>> strMat(str1.length()+1,std::vector<int>(str2.length(),0));
  
  for(int i=0;i<=str1.length();i++){
    strMat[i][0] = i;
  }
  for(int j=0;j<=str2.length();j++){
    strMat[0][j] = j;
  }
    
  for(int i=1;i<=str1.length();i++){
      for(int j=1;j<=str2.length();j++){
              int min1 = std::min(strMat[i][j-1]+1,strMat[i-1][j]+1);
              int min2;
       
              if(str1[i-1]==str2[j-1]){
                  min2 = std::min(min1,strMat[i-1][j-1]);
              }
              else if(str1[i-1]!=str2[j-1]){
                  min2 = std::min(min1,strMat[i-1][j-1]+1);
              }
              strMat[i][j] = min2;
          }
      }
  
  int ans = strMat[str1.length()][str2.length()]; 
  return ans;
}

int main() {
  string str1;
  string str2;
  std::cin >> str1 >> str2;
  
  std::cout << edit_distance(str1, str2) << std::endl;
  return 0;
}

我收到错误：“***** `./a.out' 中的错误：free(): invalid next size (fast): 0x00000000010e8d70 *** Aborted (core dumped)**” 随机随机输入。 很多时候它适用于相同的输入，有时它会失败并给出错误。

它在不引发错误的情况下给出正确的输出。

Answer 1

当你写入向量时会超出范围。

您不应该使用 C 样式 [] 来访问数组，而应该使用 .at(index) 因为它会进行边界检查。

  std::vector<std::vector<int>> strMat(str1.length()+1,std::vector<int>(str2.length(),0));

内部向量的大小为 str2.length()

在这里，您正在写入超过其大小的 1 个元素。

 for(int j=0;j<=str2.length();j++){
    strMat[0][j] = j;

你也有同样的问题：

  for(int i=1;i<=str1.length();i++){
      for(int j=1;j<=str2.length();j++){ // j <= str2.length() will cause you to access elements in the vector that are outside of its bounds

也在这里：

  int ans = strMat[str1.length()][str2.length()]; 

由于 c++ 中的索引是基于 0 的，因此当您将向量实例化为为 str2.length() 元素留出空间时，最后一个元素的索引将位于 str2.length() -1

您可以通过将向量的实例化更改为 str2.length()+1 而不是 str2.length() 来纠正这些问题：

  std::vector<std::vector<int>> strMat(str1.length()+1,std::vector<int>(str2.length()+1,0));