【C++ Primer | 06】 函数

contexpr函数

const用于运行期常量，constexpr用于编译期常量

• [test1.cpp]

#include <iostream>
using namespace std;

constexpr int screen(int x)               // constexpr
{
   return x; 
}

int main()
{   
    const int x = 0;                     // const，是常量表达式，因为值不会发生改变
    constexpr int z =  screen(x);        // constexpr
    cout << z << endl;
    return 0;
}

• [test2.cpp]

#include <iostream>
using namespace std;

constexpr int screen(int x)
{
   return x; 
}

int main()
{   
    int x = 0;                // 不是常量表达式，因为值会改变
    int z =  screen(x);
    cout << z <<endl;
    return 0;
}

（1）[test1.cpp] 符合constexpr函数的常规用法，即函数的返回类型以及所有的形参类型必须是字面值类型（字面值类型即编译过程就能得到结果的类型）。此时，如果将 const int x = 0 变为int x = 0 就会报错，因为screen函数的用在一个需要常量表达式的上下文中（constexpr类型的变量必须用常量表达式初始化），编译器在编译的过程中会检查函数的返回值是不是常量表达式，如果不是就会报错。 
（2）[test2.cpp] 表示constexpr函数可以返回非常量表达式，编译的过程没有报错，原因是screen函数并没有用在一个需要常量表达式的上下文中，编译器正在编译的过程中不会去检查该函数的返回值，也就不会报错。 
（3）作为补充，需要注意的是constexpr函数必须有return语句。

• 如果在不需要常量表达式的上下文，如：int z = screen(x);可以不返回常量表达式，此时编译器不会检查函数的结果是否会返回常量表达式。

• 如果是在需要常量表达式的上下文中，如： constexpr int z = screen(x);那么，constexpr函数必须可以返回常量表达式。此时编译器会去检查函数返回的结果是不是常量表达式，如果不是，就会报错。

函数指针

6.7节练习

#include<iostream>
#include<vector>
using namespace std;

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

int func2(int a, int b)
{
    return a - b;
}

int func3(int a, int b)
{
    return a * b;
}

int func4(int a, int b)
{
    return a / b;
}

void computer(int a, int b, int(*p) (int, int))
{
    cout << p(a, b) << endl;
}

int main()
{
    int i = 10, j = 5;
    decltype(func1) * p1 = func1, *p2 = func2, *p3 = func3, *p4 = func4;
    vector<decltype(func1) *> vf = { p1, p2, p3, p4 };
    for (auto c : vf)
        computer(i, j, c);
    system("pause");
    return 0;
}