函数调用、值传递、引用传递、实参与形参

1、有参函数需要虚实结合

2、形参不占内存,实参占内存 (值在栈空间中,引用在堆空间中)

3、如果在函数调用时是值传递如 c = max(a,b) a,b是一个值,值传递是单向传递,形参的改变不影响实参的改变

4、如果 c = max(&a,&b),则会影响a,b的值

      如果 c = max(&a,b) ,则会影响a的值

      如果 c = max(a,&b) ,则会影响b的值

 例子:

分析:

实参:a,b 形参:x,y

由于是值传递:x,y无论数值如何改变,都不会影响a,b的数值

 空间上:a,b,x,y都开辟了自己的空间存储值和地址的值

int add(int a,int b){...}只会对返回值z产生影响,不会对a,b产生影响

 值传递的代码实现

#include "stdio.h"
#include "windows.h"
#include "stdlib.h"

//值传递
int z;
int main() {
	int a = 5;
	int b = 6;
	
	z = a - b;
	printf("z的值:%d\n", z);//打印z的值
	void swap(int x, int y);
	void printvalue(int i, int j);
	//没有交换a,b的值 a,b的值的作用域在main里 没有在swap中
	swap(a,b);
	printvalue(a, b);
	z = a - b;
	printf("main里z的值:%d\n", z);//打印main里z的值
	return 0;
}

//针对a,b值互换进行操作
void swap(int x, int y) {
	int temp;
	temp = x;
	x = y;
	y = temp;
	z = x - y;
	printf("swap里z的值:%d\n", z);//打印swap里z的值
}

void printvalue(int i, int j) {
	printf("a=%d,b=%d\n", i, j);

}
//
//z的值: - 1
//swap里z的值:1
//a = 5, b = 6
//main里z的值: - 1
//
//从打印的结果显示,a,b传递进去后进行值交换只在swap(x,y)中起作用,回到main里a和b的值并没有改变

 //
//z的值: - 1
//swap里z的值:1
//a = 5, b = 6
//main里z的值: - 1
//
//从打印的结果显示,a,b传递进去后进行值交换只在swap(x,y)中起作用,回到main里a和b的值并没有改变
 

引用传递的代码实现

#include "stdio.h"
#include "windows.h"
#include "stdlib.h"

//值传递
int z;
int main() {
	int a = 5;
	int b = 6;
	
	z = a - b;
	printf("z的值:%d\n", z);//*q取的是z的值
	void swap(int x, int y);
	void printvalue(int i, int j);
	//没有交换a,b的值 由地址指针指向不同的值 导致在输出时发现值是交换的
	swap(a,b);
	printvalue(a, b);
	z = a - b;
	printf("main里z的值:%d\n", z);//*q取的是z的值
	return 0;
}

//针对地址的指针进行操作
void swap(int x, int y) {
	int temp;
	temp = x;
	x = y;
	y = temp;
	z = x - y;
	printf("swap里z的值:%d\n", z);//*q取的是z的值
}

void printvalue(int i, int j) {
	printf("a=%d,b=%d\n", i, j);

}
//
//z的值: - 1
//swap里z的值:1
//a = 5, b = 6
//main里z的值: - 1
//
//从打印的结果显示,a,b传递进去后进行值交换只在swap(x,y)中起作用,回到main里a和b的值并没有改变

 ​​​

### C++ 引用形参与非引用形参函数重载冲突原因分析 在 C++ 中,函数重载的核心原则是通过形参的数量或类型的不同来区分多个同名函数。然而,在某些情况下,引用形参引用形参会引发重载冲突。 #### 原因分析 当一个函数接受普通的非引用形参时,传入的是值的副本;而另一个函数接受引用形参时,传入的是原变量本身。对于基本数据类型(如 `int` 或 `double`),编译器可能无法有效地区分这两种情况,因为它们的行为差异仅体现在内部现上而非外部接口上[^2]。具体来说: - 如果两个函数除了一个是引用形参外其他完全一致,则编译器会认为这是相同的函数签名。 - 对于非引用形参的情况,即使存在隐式的类型转换,也可能导致调用模糊不清,进而产生二义性问题[^5]。 例如: ```cpp void func(int x); void func(const int& x); func(10); // 编译错误:调用不明确 ``` 上述例子中,整型字面量 `10` 可以既匹配到按值传递版本也可以绑定至常量左值引用版本,造成歧义。 --- ### 解决方案 针对此类问题,可以通过以下几种方式进行处理: #### 方法一:调整参数设计 最简单的方式就是修改其中一个函数的形式使其更加独特以便能够被正确分辨出来。比如改变其接收的数据结构形式或者增加额外必要的标志位等附加信息作为辅助判断依据之一[^3]。 示例代码如下所示: ```cpp // 修改第一个函数为接收指针类型 void func(int* x) { std::cout << "Pointer version called." << std::endl; } // 保留第二个函数不变 void func(const int& x) { std::cout << "Reference version called." << std::endl; } ``` 这样做的好处在于明确了每种输入情形下的预期行为模式,减少了潜在误解的可能性。 #### 方法二:利用模板特化技术 借助泛型编程的思想,我们可以采用模板机制并对其进行特定例化的手段来达到目的。这种方法特别适合那些需要灵活适应多种不同类型却又保持逻辑一致性较高的场景需求下应用[^4]。 以下是基于此思路的一个简单示范案例: ```cpp template<typename T> void func(T&& param) { static_assert(!std::is_lvalue_reference<T>::value || !std::is_const<std::remove_reference_t<T>>::value, "Ambiguous overload detected!"); if constexpr(std::is_rvalue_reference_v<decltype(param)>){ std::cout << "RValue reference invoked with value: " << param << '\n'; } else{ std::cout << "LValue reference or non-reference form used.\n"; } } ``` 这里运用了完美转发(`T&&`)以及条件表达式(concept-based SFINAE),从而现了根据不同类别自动选取合适分支的功能特性。 #### 方法三:显式指定目标函数 如果确有必要同时维护这两类定义而又不想改动现有API的话,则可以在调用处给予更具体的指示说明到底希望触发哪一边的操作流程即可[^1]。 像下面这样的写法就很好地规避掉了之前提到过的那种模棱两可的状态: ```cpp const int num = 42; func(static_cast<int>(num)); // 明确指向非引用版 func(num); // 默认走引用路径 ``` 以上三种策略各有优劣之处,开发者应根据项目际情况合理选用最适合自己的办法加以应对解决这个问题。 --- ### 总结 综上所述,由于C++语言本身的语法规则限制加上现代开发践中追求简洁高效编码风格的趋势影响,使得我们在面对涉及引用与非引用混合使用的场合时常遇到一些棘手难题。不过只要掌握了相应的理论基础再加上恰当的技术手段支持,这些问题都是可以迎刃而解的。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值