C++函数里引用及指针传递常见错误陷阱

在C++编程中，函数参数的传递方式至关重要，而引用和指针传递是常用的手段。然而，这两种传递方式也隐藏着诸多容易让人犯错的陷阱。

指针传递方面，空指针解引用是一个常见错误。当函数期望一个有效的指针作为参数，但传入的却是空指针时，对空指针进行解引用操作会导致程序崩溃。例如：

void printValue(int* ptr) {
    std::cout << *ptr << std::endl; 
}

int main() {
    int* nullPtr = nullptr;
    printValue(nullPtr); 
    return 0;
}

在这个例子中，printValue函数尝试解引用空指针，运行时就会出错。要避免此类错误，在函数内部应对指针进行有效性检查，确保指针不为空后再进行解引用操作。

另一个陷阱是指针悬挂。当指针所指向的内存被释放，但指针没有被正确置空时，就会出现指针悬挂问题。后续如果误操作使用了这个悬挂指针，可能导致未定义行为。比如：

int* createArray() {
    int* arr = new int[5];
    return arr;
}

void processArray() {
    int* array = createArray();
    delete[] array;
    // 此时array成为悬挂指针
    // 如果后续还有对array的操作，就会引发错误
}

为避免指针悬挂，释放内存后应立即将指针置为nullptr。

引用传递也有其陷阱。对已销毁对象的引用是其中之一。如果引用的对象在其作用域结束后被销毁，继续使用该引用会导致未定义行为。例如：

const int& getValue() {
    int temp = 10;
    return temp; 
}

int main() {
    const int& ref = getValue();
    std::cout << ref << std::endl; 
    return 0;
}

这里temp在函数返回后就被销毁了，返回对temp的引用是错误的，应返回一个有效存活对象的引用。

引用参数类型不匹配也可能引发问题。如果函数定义接受某种类型的引用，但调用时传入了不匹配的类型，可能导致编译错误或运行时错误。

在C++编程中，无论是引用传递还是指针传递，开发者都需要格外小心，深入理解其原理和潜在的错误陷阱，以编写出稳定可靠的代码。