Back

C++新特性

1. Variadic Templates

数量不定的模板参数

...代表任意个数据

void print(){}

template <typename T, typename... Types>
void print(const T& firstArg, const Types&...args) {
    std::cout << firstArg << '\n';
    print(args...);
}

void print(const T& firstArg, const Types&...args){}中...代表任意个数据，Types任意类型的数据,

表示接受任意个任意类型的数据

例子：

#include <iostream>
#include <bitset>

void print() {}

template <typename T, typename... Types>
void print(const T &firstArg, const Types &...args) {
    std::cout << firstArg << '\n';
    print(args...);
}

int main(int argc, char *argv[]) {
    print(7.5, "hello", std::bitset<16>(377), 42);
    return 0;
}

结果：

7.5
hello
0000000101111001
42

解释：print(7.5, "hello", bitset<16>(377), 42);,

分解方式为递归

  1. 第一次7.5和它右边会分成两部分放进void print(const T& firstArg, const Types&...args), 第一部分的是firstArg，第二部分会放进...args;

  2. 第二次hello和它右边两部分放进firstArg,...args;

  3. 特化比泛化权值更高，也即是更加倾向于选择特化

    template <typename T, typename... Types>
void print(const T &firstArg, const Types &...args) {
    std::cout << firstArg << '\n';
    print(args...);
}

template <typename... Types>
void print(const Types &...args) {
    std::cout << firstArg << '\n';
    print(args...);
}

int main(int argc, char *argv[]) {
    print(7.5, "hello", std::bitset<16>(377), 42); // 倾向于选择print(const T &firstArg, const Types &...args)
    return 0;
}

2. nullptr and nullptr_t and auto

nullptr

C++改为使用nullptr为空指针，代替NULL或0;

例子：

void f(int);
void f(void*);
f(0);			// 选择f(int)
f(NULL);		// 选择f(int)
f(nullptr);		// 选择f(void*)

auto

数据类型自动推导

auto是根据=右边的数据推导出变量的数据类型

auto i = 42;  // i has type int
double f();
auto d = f(); // d has type double

auto 用在容器中比较多

list<string> c;
...
list<string>::iterator ite;
ite = find(c.begin, c.end(), target);

变为

list<string> c;
...
auto ite = find(c.begin, c.end(), target);

用在for循环中

#include <vector>
#include <iostream>

int main(void) {
    std::vector<int> vec{1,2,3,4,5,6,7,8,9};
    
    for (const auto&it : vec) {
        std::cout << it << " ";
    }
    std::cout << '\n';
    return 0;
}

3. Uniform Initialization

统一的初始化{}

int i; 		// 初始值未定
int j{}; 	// 初始值为0
int* p;		// 初始值未定义
int* q{};	// 初始值为 nullptr

int x1(5.3); // OK, 但初始值被设为5；
int x2 = 5.3;// OK, 但初始值被设为5；
int x3{5.0};	// ERROR

int values[] {1,2,3};
std::vector<int> v{1,2,3,4,5,6,7,8,9};
std::vector<string> cities{
    "Beijing", "xinjiang", "henan", "London"
};
complex<double> c{4.0, 3.0};

都是用{}来初始化；

4. bind()和function<>

函数模板 bind 生成 f 的转发调用包装器。调用此包装器等价于以一些绑定到 args 的参数调用 f 。

类模板 std::function 是通用多态函数封装器。 std::function 的实例能存储、复制及调用任何可调用 (Callable) 目标——函数、 lambda 表达式、 bind 表达式或其他函数对象，还有指向成员函数指针和指向数据成员指针。

std::function<>

#include <functional>
#include <iostream>
 
struct Foo {
    Foo(int num) : num_(num) {}
    void print_add(int i) const { std::cout << num_+i << '\n'; }
    int num_;
};
 
void print_num(int i) {
    std::cout << i << '\n';
}
 
struct PrintNum {
    void operator()(int i) const {
        std::cout << i << '\n';
    }
};
 
int main() {
    // 存储自由函数
    std::function<void(int)> f_display = print_num;
    f_display(-9);
 
    // 存储 lambda
    std::function<void()> f_display_42 = []() { print_num(42); };
    f_display_42();
 
    // 存储到 std::bind 调用的结果
    std::function<void()> f_display_31337 = std::bind(print_num, 31337);
    f_display_31337();
 
    // 存储到成员函数的调用
    std::function<void(const Foo&, int)> f_add_display = &Foo::print_add;
    const Foo foo(314159);
    f_add_display(foo, 1);
    f_add_display(314159, 1);
 
    // 存储到数据成员访问器的调用
    std::function<int(Foo const&)> f_num = &Foo::num_;
    std::cout << "num_: " << f_num(foo) << '\n';
 
    // 存储到成员函数及对象的调用
    using std::placeholders::_1;
    std::function<void(int)> f_add_display2 = std::bind( &Foo::print_add, foo, _1 );
    f_add_display2(2);
 
    // 存储到成员函数和对象指针的调用
    std::function<void(int)> f_add_display3 = std::bind( &Foo::print_add, &foo, _1 );
    f_add_display3(3);
 
    // 存储到函数对象的调用
    std::function<void(int)> f_display_obj = PrintNum();
    f_display_obj(18);
}

std::bind()

#include <random>
#include <iostream>
#include <memory>
#include <functional>
 
void f(int n1, int n2, int n3, const int& n4, int n5) {
    std::cout << n1 << ' ' << n2 << ' ' << n3 << ' ' << n4 << ' ' << n5 << '\n';
}
 
int g(int n1) {
    return n1;
}
 
struct Foo {
    void print_sum(int n1, int n2) {
        std::cout << n1+n2 << '\n';
    }
    int data = 10;
};
 
int main() {
    using namespace std::placeholders;  // 对于 _1, _2, _3...
 
    // 演示参数重排序和按引用传递
    int n = 7;
    // （ _1 与 _2 来自 std::placeholders ，并表示将来会传递给 f1 的参数）
    auto f1 = std::bind(f, _2, 42, _1, std::cref(n), n);
    n = 10;
    f1(1, 2, 1001); // 1 为 _1 所绑定， 2 为 _2 所绑定，不使用 1001
                    // 进行到 f(2, 42, 1, n, 7) 的调用
 
    // 嵌套 bind 子表达式共享占位符
    auto f2 = std::bind(f, _3, std::bind(g, _3), _3, 4, 5);
    f2(10, 11, 12); // 进行到 f(12, g(12), 12, 4, 5); 的调用
 
    // 常见使用情况：以分布绑定 RNG
    std::default_random_engine e;
    std::uniform_int_distribution<> d(0, 10);
    std::function<int()> rnd = std::bind(d, e); // e 的一个副本存储于 rnd
    for(int n=0; n<10; ++n)
        std::cout << rnd() << ' ';
    std::cout << '\n';
 
    // 绑定指向成员函数指针
    Foo foo;
    auto f3 = std::bind(&Foo::print_sum, &foo, 95, _1);
    f3(5);
 
    // 绑定指向数据成员指针
    auto f4 = std::bind(&Foo::data, _1);
    std::cout << f4(foo) << '\n';
 
    // 智能指针亦能用于调用被引用对象的成员
    std::cout << f4(std::make_shared<Foo>(foo)) << '\n'
              << f4(std::make_unique<Foo>(foo)) << '\n';
}