共计 1713 个字符，预计需要花费 5 分钟才能阅读完成。

参数位置引发的血案

刚学习 C ++ 时，我以为函数参数就是简单的从左到右填入，直到某天凌晨三点调试代码时发现：

void process(int& result, int input) {result = input * 2; // 看似安全的操作}

int main() {
    int value = 5;
    process(value, value++); // 实际结果取决于参数求值顺序
    std::cout << value;    // 可能是 10 或 11
}

一、三种典型翻车现场

场景 1：求值顺序陷阱

// 危险操作：参数间存在依赖关系
void saveTo(int* dest, int value) {*dest = value;}

int main() {int arr[3] = {1,2,3};
    saveTo(&arr[1], arr[1]++); // 结果可能是 [1,2,3] 或[1,3,3]
}

关键点：
– C++ 标准未规定函数参数的求值顺序（可能是从左到右或从右到左）
– GCC 默认从右到左，MSVC 从左到右

场景 2：隐式转换灾难

void print(long id, const std::string& name) {std::cout << id << ":" << name;}

int main() {print("123", "Alice"); // 可能编译通过但运行时崩溃
}

调试技巧：
– 使用 -Wall -Wextra 开启所有警告
– 对 const char* 参数使用static_assert

场景 3：移动语义的坑

void addItem(std::vector<int>&& temp, std::vector<int>& dest) {dest.insert(dest.end(), 
        std::make_move_iterator(temp.begin()),
        std::make_move_iterator(temp.end()));
}

int main() {std::vector<int> src{1,2,3}, target;
    addItem(std::move(src), target); // src 现在可能为空
    // 如果调换参数位置：addItem(target, std::move(src)) → 编译错误
}

二、底层机制揭秘

参数传递的 ABI 规则

1. 寄存器优先：前 6 个整型参数通常用寄存器（x86-64 的 rdi, rsi, rdx…）
2. 栈帧备份：剩余参数按从右到左压栈
3. 浮点特殊处理：XMM 寄存器处理浮点数

查看汇编的方法：

g++ -S -o test.s test.cpp  # 生成汇编

性能对比测试

三、五大黄金准则

1. const 先行原则：

2. 只读参数始终放在可修改参数前面

   void good(const Matrix& m, Matrix& result); // 推荐
   void bad(Matrix& result, const Matrix& m);  // 避免

3. 危险参数隔离：

4. 可能产生副作用的参数单独放在最后

   void safe(int base, optional<int> dangerous = nullopt);

5. 类型安全屏障：

6. 容易隐式转换的参数添加 explicit 标记

   struct UserId {explicit UserId(int id);
   };

7. 移动语义优化位：

8. 右值引用参数应紧邻被移动对象

   void emplace(Container& c, Item&& newItem); // 正确

9. ABI 稳定布局：

10. 频繁调用的函数保持参数顺序稳定

    // 跨 DLL 接口保持相同参数顺序
    __declspec(dllexport) void api(int mode, void* data);

四、实战思考题

1. 以下代码在不同编译器下的输出可能是什么？

   void mystery(int& a, int b) {a += b;}
   
   int main() {
       int x = 1;
       mystery(x, x++);
       std::cout << x;
   }

2. 如何改造这个函数使其更安全？

   void draw(Shape* s, Color c = RED);

扩展阅读建议：
– C++17 标准文档第 8.2.2 节（函数调用语义）
–《深入理解 C ++ 对象模型》第 5 章
– Google C++ Style Guide 的参数传递规范