Question

下面的代码给了我一个编译错误，但我不明白我做错了什么。很抱歉提出这么愚蠢的问题。

$ cat swapcstrings.cc
#include <iostream>

void swap(char*& c, char*& d) {
    char* temp = c;
    c = d;
    d = temp;
}

int main() {
    char c[] = "abcdef";
    char d[] = "ghijkl";
    std::cout << "[" << c << "," << d << "]\n";
    swap(c, d);
    std::cout << "[" << c << "," << d << "]\n";
}
$ g++ swapcstrings.cc
swapcstrings.cc: In function ‘int main()’:
swapcstrings.cc:13: error: invalid initialization of non-const reference of type ‘char*&’ from a temporary of type ‘char*’
swapcstrings.cc:3: error: in passing argument 1 of ‘void swap(char*&, char*&)’
$

Answer 1

无法修改数组，它们只是衰减到临时指针，它们不是真正的指针而且无法交换。当您尝试将从数组中获取的临时指针绑定到非const引用时，无法更改数组的地址，并且编译器会出错，这违反了语言规则。

声明数组，然后将两个指针交换到它们。

char a[] = "abcdef";
char b[] = "defghi";

char* aptr = a, *bptr = b;

std::cout << "[" << aptr << "," << bptr << "]\n";
swap(aptr, bptr);
std::cout << "[" << aptr << "," << bptr << "]\n";

或者，如果您可以更改该功能的原型，请首先使用const char*：

void swap(const char*& c, const char*& d) {
    const char* temp = c;
    c = d;
    d = temp;
}

const char* c = "abcdef", // These must be const char* because the arrays are
          * d = "ghijkl"; // const char[N]

std::cout << "[" << c << "," << d << "]\n";
swap(c, d);
std::cout << "[" << c << "," << d << "]\n";

Answer 2

c和d是数组。它们将自动转换为需要指针的指针。这是您的编译器输出所讨论的“临时”。想想这样：

char c[] = "abcdef", d[] = "ghijkl";
char *cp = (char*)c, *dp = (char*)d;
swap(cp, dp);

上面会编译，但只能交换cp和dp，而不是原来的c和d。由于上面的代码为这些指针提供了名称，因此您现在也可以引用它们。但是在原始代码中，临时代码没有名称，对它们的任何修改都可能表示可能存在错误。所以编译器不会让你这样做，而是会抱怨。

如果你想在他们的数组中交换C风格的字符串，你一次只能这样做一个字符：

template<size_t n> void swap(char (&a)[n], char (&b)[n]) {
  for (size_t i = 0; i != n; ++i)
    std::swap(a[i], b[i]);
}

此模板确保两个参数都是相同长度的数组。

如何使用C ++引用交换两个C样式字符串？

2 个答案: