面试题：C++ 模板函数中参数传递方式的优化与陷阱

值传递

优化方向：
- 简单直观，对于内置类型（如 int、float 等）值传递开销较小，因为这些类型通常存储在寄存器中，传递效率高。
- 对于短小的自定义类型，如果其拷贝构造函数和析构函数开销不大，值传递可以简化代码逻辑，因为函数内部操作的是实参的副本，对副本的修改不会影响外部实参。
潜在陷阱：
- 对于大型自定义类型，值传递会导致拷贝构造和析构的开销，可能严重影响性能。每次函数调用都要复制整个对象，内存和时间开销都较大。
- 如果传递的对象类型没有正确实现拷贝构造函数（如浅拷贝问题），会导致内存管理错误，如悬空指针或内存泄漏。

引用传递

优化方向：
- 避免了对象的拷贝，对于大型自定义类型或需要在函数内部修改实参值的场景，引用传递能显著提高性能。函数内部直接操作实参，而不是副本，减少了内存和时间开销。
- 对于需要返回结果给调用者的函数，使用引用返回值可以避免返回对象时的拷贝构造。
潜在陷阱：
- 调用者必须确保传递的对象在函数调用期间一直有效，否则可能导致悬空引用。例如，不能传递局部对象的引用给函数，因为局部对象在函数返回时会被销毁。
- 由于函数可以直接修改实参，可能会导致代码逻辑难以理解和调试，特别是在复杂的代码结构中，难以追踪实参何时被修改。

常量引用传递

优化方向：
- 结合了引用传递的性能优势和值传递的安全性。避免了对象的拷贝，适用于大型自定义类型，同时又保证函数内部不会修改实参值，增加了代码的健壮性。
- 常用于函数只需要读取对象内容而不需要修改的场景，如用于只读操作的函数，像打印对象内容或计算对象属性等。
潜在陷阱：
- 如果在函数中不小心尝试修改常量引用参数，编译器会报错，虽然这能保证代码的正确性，但也可能导致在一些需要修改参数的场景下错误地使用了常量引用传递。

代码示例

#include <iostream>
#include <string>

// 模板函数，根据不同参数类型选择合适的传递方式
template <typename T>
void process(T value) {
    // 对于内置类型，值传递通常足够高效
    std::cout << "Processing value (by value): " << value << std::endl;
}

template <>
void process<std::string>(std::string& value) {
    // 对于string类型，使用引用传递避免拷贝
    std::cout << "Processing string (by reference): " << value << std::endl;
    // 这里假设需要修改字符串，可以直接操作
    value += " modified";
}

template <typename T>
void print(const T& value) {
    // 对于所有类型，使用常量引用传递用于只读操作
    std::cout << "Printing value (by const reference): " << value << std::endl;
}

int main() {
    int num = 10;
    std::string str = "Hello";

    process(num);
    process(str);
    std::cout << "After processing: " << str << std::endl;

    print(num);
    print(str);

    return 0;
}

在上述代码中：

process 函数模板对于内置类型 int 使用值传递，因为值传递对于这类类型开销小且简单直观。对于 std::string 类型，专门特化了 process 函数，使用引用传递，以避免字符串拷贝带来的性能开销，同时可以在函数内修改字符串。
print 函数模板对于所有类型都使用常量引用传递，因为该函数只需要读取对象内容，常量引用传递既避免了拷贝又保证了对象的只读性，提高了性能和代码健壮性。

星途面试题库

面试题：C++ 模板函数中参数传递方式的优化与陷阱

知识考点

面试题答案

值传递

引用传递

常量引用传递

代码示例