函数指针在C/C++中很常用,最近遇到了一非常有趣的问题,函数指针的参数和函数的形参个数不匹配时会遇到的问题,下面看代码。
//
// main.cpp
// FuncPointer
//
// Created by ChengChao on 14-9-21.
// Copyright (c) 2014年 cc. All rights reserved.
//
#include <iostream>
using namespace std;
int add(int a, int b) {
return a + b;
}
int main(int argc, const char * argv[])
{
//单参函数指针
typedef int(*fun)(int);
fun f = (fun)add;
int ret = f(20);
cout << "ret=" << ret << endl;
//3参函数指针
typedef int(*fun2)(int, int, int);
fun2 f2 = (fun2)add;
int ret2 = f2(20, 30, 10);
cout << "ret2=" << ret2 << endl;
return 0;
}
根据输出可以看到 add函数实际有两个参数,但是我们通过函数指针调用时,分别传入了1个参数和3个参数,这两种用法均没用报编译错误。
1.当我们只传入1个参数时, 通过函数指针调用函数时,函数所在的临时栈空间分别为形参a和b创建了两个int类型的变量,但实际我们只传了1个实参给add函数的形参a赋值了20,形参b并没有进行赋值初始化,所以形参b是一个随机生成的垃圾数值,就出现了ret是一个很大的随机输出结果。
2.当我们传入了3个参数时,通过函数指针调用函数时,编译器检测到传入的3个参数中的前两个就可以满足临时栈中的形参a和b正常的初始化,在add函数所在的栈空间中,只有两个int类型的变量空间, 第三个参数根本就没有空间来保存它,所以会被编译器过滤掉,就相当于只传了2个参数分别给形参a和b赋值初始化,所以ret2输出结果是正常的。