C++中函数使用的基本知识学习教程

时间:2022-11-26 13:17:12

函数是执行某种操作的代码块。函数可以选择性地定义使调用方可以将实参传递到函数中的输入形参。函数可以选择性地返回值作为输出。函数可用于在单个可重用块中封装常用操作(理想情况是使用可清晰地描述函数行为的名称)。以下函数从调用方接受两个整数并返回其总和;a 和 b 是 int 类型的参数。

?
1
2
3
4
int sum(int a, int b)
{
  return a + b;
}

可以从程序中任意数量的位置调用函数。传递给函数的值是实参,其类型必须与函数定义中的形参类型兼容。

?
1
2
3
4
5
6
int main()
{
  int i = sum(10, 32);
  int j = sum(i, 66);
  cout << "The value of j is" << j << endl; // 108
}

对于函数长度没有实际限制,不过良好的设计应以执行单个明确定义的任务的函数为目标。复杂算法应尽可能分解成易于理解的更简单函数。
在类范围中定义的函数称为成员函数。在 C++ 中(与其他语言不同),函数还可以在命名空间范围中定义(包括隐式全局命名空间)。这类函数称为 free 函数或非成员函数;它们在标准库中广泛使用。
函数声明的各个部分
最小函数声明包含返回类型、函数名和参数列表(可能为空),以及向编译器提供附加说明的可选关键字。函数定义包含声明以及函数体(这是大括号之间的所有代码)。后接分号的函数声明可以出现在程序中的多个位置处。它必须在每个翻译单元中对该函数的任何调用之前出现。根据单个定义规则 (ODR),函数定义必须仅在程序中出现一次。
函数声明的必需部分有:
返回类型,指定函数将返回的值的类型,如果不返回任何值,则为 void。在 C++11 中,auto 是有效返回类型,可指示编译器从返回语句推断类型。在 C++14 中,还允许使用 decltype(auto)。有关详细信息,请参阅下面的“返回类型中的类型推导”。
函数名,必须以字母或下划线开头,不能包含空格。一般而言,标准库函数名中的前导下划线指示私有成员函数,或不是供你的代码使用的非成员函数。
参数列表(一组用大括号限定、逗号分隔的零个或多个参数),指定类型以及可以用于在函数体内访问值的可选局部变量名。
函数声明的可选部分有:
constexpr,指示函数的返回值是常量值,可以在编译时进行计算。

?
1
2
3
4
5
6
       constexpr float exp(float x, int n)
{
  return n == 0 ? 1 :
    n % 2 == 0 ? exp(x * x, n / 2) :
    exp(x * x, (n - 1) / 2) * x;
};

其 linkage 规范(extern 或 static)。

?
1
2
Declare printf with C linkage.
extern "C" int printf( const char *fmt, ... );

inline,指示编译器将对函数的每个调用替换为函数代码本身。在某个函数快速执行并且在性能关键代码段中重复调用的情况下,内联可以帮助提高性能。

?
1
2
3
4
inline double Account::GetBalance()
{
  return balance;
}

noexcept,指定函数是否可以引发异常。在下面的示例中,函数在 is_pod 表达式计算结果为 true 时不引发异常。

?
1
2
3
4
#include <type_traits>
 
template <typename T>
T copy_object(T& obj) noexcept(std::is_pod<T>) {...}

仅限成员函数)cv 限定符,指定函数是 const 还是 volatile。
(仅限成员函数)virtual、override 或 final。 virtual 指定可以在派生类中重写函数。 override 表示派生类中的函数在重写虚函数。 final 表示函数不能在任何进一步的派生类中进行重写。

(仅限成员函数仅)应用于成员函数的 static 表示函数不与类的任何对象实例关联。
(仅限非静态成员函数)ref 限定符,向编译器指定隐式对象参数 (*this) 是右值引用与左值引用时要选择的函数重载。
下图显示了函数定义的各个部分。灰色区域是函数体。

C++中函数使用的基本知识学习教程

 

函数定义部分
函数定义

函数体内声明的变量称为局部变量。它们会在函数退出时超出范围;因此,函数应永远不返回对局部变量的引用!
函数模板
函数模板类似于类模板;它基于模板参数生成具体功能。在许多情况下,模板能够推断类型参数,因此无需显式指定它们。

?
1
2
3
4
5
6
7
8
9
template<typename Lhs, typename Rhs>
auto Add2(const Lhs& lhs, const Rhs& rhs)
{
  return lhs + rhs;
}
 
auto a = Add2(3.13, 2.895); // a is a double
auto b = Add2(string{ "Hello" }, string{ " World" }); // b is a std::string
有关详细信息,请参阅函数模板

函数形参和实参
函数具有零种或多种类型的逗号分隔参数列表,其中每个参数都具有可以用于在函数体内访问它的名称。函数模板可以指定其他类型或值参数。调用方传递实参(其类型与形参列表兼容的具体值)。
默认情况下,参数通过值传递给函数,这意味着函数会收到所传递的对象的副本。对于大型对象,创建副本可能成本高昂,并非始终必要。若要使实参通过引用(特别是左值引用)进行传递,请向形参添加引用限定符:

?
1
void DoSomething(std::string& input){...}

当函数修改通过引用传递的参数时,它会修改原始对象,而不是本地副本。若要防止函数修改这类实参,请将形参限定为

?
1
2
const&:
void DoSomething(const std::string& input){...}

C++ 11:若要显式处理通过右值引用或通过左值引用传递的实参,请对形参使用双与号以指示通用引用:

?
1
void DoSomething(const std::string&& input){...}

只要关键字 void 是实参声明列表中的第一个也是唯一一个成员,那么在形参声明列表中使用单个关键字 void 声明的函数就没有实参。列表中的其他地方的 void 类型的参数产生错误。例如:

?
1
2
// OK same as GetTickCount()
long GetTickCount( void );

请注意,尽管指定 void 参数是非法(此处所述的除外),但派生自类型 void 的类型(如指向 void 的指针和 void 的数组)可以出现在参数声明列表中的任何位置。
默认参数
函数签名中的最后一个或几个形参可能会分配有默认实参,这意味着调用方可能会在调用函数时省略实参(除非要指定某个其他值)。

?
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
int DoSomething(int num,
  string str,
  Allocator& alloc = defaultAllocator)
{ ... }
 
// OK both parameters are at end
int DoSomethingElse(int num,
  string str = string{ "Working" },
  Allocator& alloc = defaultAllocator)
{ ... }
 
// C2548: 'DoMore': missing default parameter for parameter 2
int DoMore(int num = 5, // Not a trailing parameter!
  string str,
  Allocator& = defaultAllocator)
{...}

函数返回类型
函数可能不会返回另一个函数或内置数组;但是,它可以返回指向这些类型的指针,或生成函数对象的 lambda。除了这些情况,函数可以返回处于范围内的任何类型的值,或者它可以返回任何值(在这种情况下返回类型是 void)。
结尾返回类型
“普通”返回类型位于函数签名左侧。结尾返回类型位于签名的最右侧,前面带有 -> 运算符。当返回值的类型取决于模板参数时,结尾返回类型在函数模板中尤其有用。

?
1
2
3
4
5
template<typename Lhs, typename Rhs>
auto Add(const Lhs& lhs, const Rhs& rhs) -> decltype(lhs + rhs)
{
  return lhs + rhs;
}

当 auto 与结尾返回类型结合使用时,它对于 decltype 表达式生成的任何内容都只用作占位符,本身不执行类型推导。
返回类型中的类型推导 (C++14)
在 C++14 中,可以使用 auto 指示编译器从函数体推断返回类型,而不必提供结尾返回类型。请注意,auto 始终推导为按值返回。使用 auto&& 可指示编译器推导引用。
在此示例中,auto 会推导为 lhs 和 rhs 之和的非常量值副本。

?
1
2
3
4
5
template<typename Lhs, typename Rhs>
auto Add2(const Lhs& lhs, const Rhs& rhs)
{
  return lhs + rhs; //returns a non-const object by value
}

请注意,auto 不会保留它推导的类型的常量性。对于返回值需要保留其参数的常量性或引用性的转发函数,可以使用 decltype(auto) 关键字,该关键字使用 decltype 类型推断规则并保留所有类型信息。 decltype(auto) 可以用作左侧的普通返回值,或结尾返回值。
下面的示例(基于来自 N3493 的代码)演示的 decltype(auto) 用于采用在模板实例化之前未知的返回类型实现函数参数的完美转发。

?
1
2
3
4
5
6
7
8
9
10
11
12
13
14
template<typename F, typename Tuple = tuple<T...>, int... I>
decltype(auto) apply_(F&& f, Tuple&& args, index_sequence<I...>)
{
  return std::forward<F>(f)(std::get<I>(std::forward<Tuple>(args))...);
}
 
template<typename F, typename Tuple = tuple<T...>,
  typename Indices = make_index_sequence<tuple_size<Tuple>::value >>
  decltype( auto)
  apply(F&& f, Tuple&& args) 
{
  return apply_(std::forward<F>(f), std::forward<Tuple>(args), Indices());
}
}

函数局部变量
在函数主体内声明的变量称为局部变量。非静态局部变量仅在函数体中可见,如果它们在堆栈上声明,则会在函数退出时超出范围。构造局部变量并通过值返回它时,编译器通常可以执行返回值优化以避免不必要的复制操作。如果通过引用返回局部变量,则编译器会发出警告,因为调用方为使用该引用而进行的任何尝试会在局部变量已销毁之后进行。
局部静态对象将在 atexit 指定的终止期间销毁。如果某个静态对象由于程序的控制流跳过了其声明而未构造,则不会尝试销毁该对象。
静态局部变量
在 C++ 中,局部变量可以声明为静态。变量仅在函数体中可见,但是对于函数的所有实例,存在变量的单个副本。
函数指针
C++ 通过与 C 语言相同的方式支持函数指针。但是更加类型安全的替代方法通常是使用函数对象。
建议使用 typedef 声明函数指针类型的别名(如果声明返回函数指针类型的函数)。例如

?
1
2
typedef int (*fp)(int);
fp myFunction(char* s); // function returning function pointer

如果不执行此操作,则函数声明的正确语法可以通过用函数名称和参数列表替换标识符(上例中为 fp)来从函数指针的声明符语法推导出,如下所示:

?
1
int (*myFunction(char* s))(int);

前面的声明与使用上面的 typedef 的声明等效。