函数重载分析

1. 函数重载

函数重载,指的是用同一个函数名搭配不同的参数,从而定义不同的函数。
重载函数在本质上是相互独立的不同函数,它们的函数类型不同
函数重载至少需要满足下面三个条件之一

  • 参数个数不同
  • 参数类型不同(指的是显式类型,不包括隐式类型转换,如int和char属不同类型)
  • 参数顺序不同

下面是函数重载的一些注意事项

  • 函数重载是由函数名和参数列表决定的
  • 函数返回值不能作为函数重载的依据
  • 函数重载必然发生在在同一个作用域中
#include <stdio.h>

void func(int a)
{
    printf("void func(int a)\n");
}

void func(char a)
{
    printf("void func(char a)\n");
}

char func(int a, int b)
{
    printf("char func(int a, int b)\n");
    return 'a';
}

int *func(int a, char c)
{
    printf("int *func(int a, char c)\n");
    return NULL;
}

int func(char c, int a)
{
    printf("int func(char c, int a)\n");
    return 0;
}

int main()
{
    func(1);
    func('a');
    func(1, 2);
    func(1, 'a');
    func('a', 1);

    return 0;
}

1053346-20190924223404731-33860340.png

/*
 * 打印重载函数的地址,证明其本质是互不相同的函数
*/

#include <stdio.h>

int add(int a, int b)        // 函数类型为int(int, int)
{
    return a + b;
}

int add(int a, int b, int c) // 函数类型为int(int, int, int)
{
    return a + b + c;
}

int main()
{
    printf("%p\n", (int(*)(int, int))add);  //打印add入口地址时,根据函数类型进行强制类型转换
    printf("%p\n", (int(*)(int, int, int))add);

    return 0;
}

1053346-20190924223420578-987233794.png

通过输出结果,可以看出构成重载的两个func函数地址不同,说明重载函数的本质确实是相互独立的不同函数。

2. 函数重载与函数默认参数

当函数默认参数遇上函数重载,会发生什么?下面的代码,C++编译器如何选择调用哪一个func?

#include <stdio.h>

int func(int a, int b, int c = 0)
{
    return a * b * c;
}

int func(int a, int b)
{
    return a + b;
}

int main(int argc, char *argv[])
{
    int c = func(1, 2);  //which one?

    return 0;
}

1053346-20190924223438885-1566273047.png

从编译结果看以看出,C++编译器也不知道该如何选择了,因此直接报错:第15行对重载函数func的调用是模糊的、不明确的,因为有两个可选的函数。

我们来分析下编译器调用重载函数的准则

  • 将所有同名函数作为候选者
  • 尝试寻找可行的候选函数
  • 精确匹配实参
  • 通过默认参数匹配实参
  • 通过默认类型转换匹配实参
  • 匹配失败
  • 最终找到的候选函数不唯一,出现二义性,编译失败
  • 没有匹配到任何候选函数,函数未定义,编译失败

上述示例代码,就是由于匹配结果出现了二义性,而导致的编译失败。

3. 函数重载与函数指针

将重载函数名赋值给函数指针时

  • 根据重载规则挑选与函数指针参数列表一致的候选者
  • 严格匹配候选者的函数类型与函数指针的函数类型
  • 无法直接通过函数名得到重载函数的入口地址
#include <stdio.h>
#include <string.h>

int func(int x)
{
    return x;
}

int func(int a, int b)
{
    return a + b;
}

int func(const char *s)
{
    return strlen(s);
}

typedef int(*PFUNC1)(int a);
typedef int(*PFUNC2)(int a, int b);
typedef int(*PFUNC3)(const char *s);
typedef void(*PFUNC4)(const char *s);

int main(int argc, char *argv[])
{
    PFUNC1 p1 = func;
    PFUNC2 p2 = func;
    PFUNC3 p3 = func;
    PFUNC4 p4 = func;

    printf("%d\n", p1(1));
    printf("%d\n", p2(1, 2));
    printf("%d\n", p3("hello world"));

    return 0;
}

1053346-20190924223500711-1149857432.png

编译第29行报错,根据匹配规则,第一步匹配到int func(const char *s),第二步匹配函数类型失败,不存在函数类型为void(*)(const char *)的func。
注释掉第29行,再次编译运行结果如下。

1053346-20190924223527921-1669443480.png

转载于:https://www.cnblogs.com/songhe364826110/p/11581635.html

### TypeScript 函数重载概述 函数重载允许同一名称的多个函数具有不同的参数列表,从而提供更灵活的功能。这使得函数可以根据传入的不同数量或类型的参数执行不同操作[^1]。 ### 实现方式 #### 方法一:函数声明和实现分离 在这种模式下,先定义若干个带有特定参数列表的函数签名,随后给出具体的函数实现。这种方式清晰地区分了接口具体逻辑: ```typescript // 定义重载签名 function foo(x: number): string; function foo(y: string[]): number; // 提供实际实现 function foo(z: any): any { if (typeof z === 'number') { return `Number is ${z}`; } else if (Array.isArray(z)) { return z.length; } } ``` 上述代码展示了如何利用不同类型参数触发相应行为的能力。 #### 方法二:使用函数表达式加类型注解 另一种做法是在创建匿名函数时指定其预期接收及返回的数据形式,同样能达到类似效果: ```typescript type FooFunction = ((x: number) => string) & ((y: string[]) => number); const foo: FooFunction = function (z: any): any { if (typeof z === 'number') { return `Number is ${z}`; } else if (Array.isArray(z)) { return z.length; } }; ``` 此段落说明了通过组合多种输入输出配置达成多态性的途径[^2]。 ### 编写指南 - **一致性**:尽管存在多个签名描述,但它们都指向同一个底层实现; - **优先级**:当存在多个潜在适配项时,编译器按照自顶向下的原则选取最合适的那一个; - **安全性**:即使支持多样化的入口点,也不意味着接受`any`型数据——仍需明确定义合法范围内的所有可能性[^4]。 ### 示例分析 考虑如下场景:设计一个既能拼接字符串也能累加数值的操作符`add`: ```typescript // 重载签名 function add(a: string, b: string): string; function add(a: number, b: number): number; // 统一实现 function add(a: any, b: any): any { return a + b; // 运算符 '+' 对应于数字相加或字符串连接 } console.log(add(1, 2)); // 输出 "3" console.log(add('hello', '!')); // 输出 "hello!" ``` 这里体现了基于静态类型系统的灵活性以及对动态特性的保留[^5]。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值