小编Dor*_*son的帖子

我正在尝试对代码进行一些优化，但很难弄清楚“限制”在这种情况下是否有用或者是否会导致问题。

我有一个传递两个字符串 (char*) 和一个 int (int*) 的函数。

第二个字符串被复制到第一个字符串之后的内存中，位于 int 指示的位置。如果这会超出第一个字符串的内存分配，则必须在执行此操作之前为第一个字符串重新分配内存。使用新分配创建一个新指针，然后将原始第一个字符串指针设置为等于它。

char* concatFunc (char* restrict first_string, char* const restrict second_string, int* const restrict offset) {
size_t block = 200000;
size_t len   = strlen(second_string);
char* result = first_string;

if(*offset+len+1>block){
  result = realloc(result,2*block);
}
memcpy(result+*offset,second_string,len+1);
*offset+=len;
return result;
}

上述函数被其他也使用限制关键字的函数重复调用。

char* addStatement(char* restrict string_being_built, ..., int* const restrict offset){
  char new_statement[30] = "example additional text";

  string_being_built = concatFunc(string_being_built,&new_statement,offset);
}

因此，在 concatFunc 中，first_string 受到限制（意味着指向的内存不会从其他任何地方更改）。但是，如果我重新分配一个作为其副本的指针，这是否会导致未定义的行为，或者编译器是否足够聪明来适应这种情况？

基本上：当您限制指针参数但随后更改指针时会发生什么。