【C++ 面试 - 新特性】每日 3 题（十）

✍个人博客：Pandaconda-CSDN博客
📣专栏地址：http://t.csdnimg.cn/fYaBd
📚专栏简介：在这个专栏中，我将会分享 C++ 面试中常见的面试题给大家~
❤️如果有收获的话，欢迎点赞👍收藏📁，您的支持就是我创作的最大动力💪

28. 折叠表达式

C++17 中引入了折叠表达式，主要是方便模板编程，分为左右折叠。
语法

(形参包 运算符 ...) (1)
(... 运算符 形参包) (2)
(形参包 运算符 ... 运算符 初值) (3)
(初值 运算符 ... 运算符 形参包) (4)

折叠表达式的实例化按以下方式展开成表达式 e：

1. 一元右折叠 (E 运算符 …) 成为 (E1 运算符 (… 运算符 (EN-1 运算符 EN)))
2. 一元左折叠 (… 运算符 E) 成为 (((E1 运算符 E2) 运算符 …) 运算符 EN)
3. 二元右折叠 (E 运算符 … 运算符 I) 成为 (E1 运算符 (… 运算符 (EN−1 运算符 (EN 运算符 I))))
4. 二元左折叠 (I 运算符 … 运算符 E) 成为 ((((I 运算符 E1) 运算符 E2) 运算符 …) 运算符 EN)
   （其中 N 是包展开中的元素数量）

template<typename... Args>
bool all(Args... args) { return (... && args); }
bool b = all(true, true, true, false);
//在 all() 中，一元左折叠展开成
//return ((true && true) && true) && false;
//b 是 false

29. auto 占位的非类型模板形参

#include <iostream>
using namespace std;
template <auto T> void func1() { 
    cout << T << endl; 
}
int main() {
    func1<100>();
    //func1<int>();
    return 0;
}

30. 编译期 if constexpr 语句

#include <iostream>
using namespace std;
template <bool ok> constexpr void func2() {
    //在编译期进行判断，if和else语句不生成代码
    if constexpr (ok == true) {
        //当ok为true时，下面的else块不生成汇编代码
        cout << "ok" << endl;
    }
    else {
        //当ok为false时，上面的if块不生成汇编代码
        cout << "not ok" << endl;
    }
}
int main() {
    func2<true>(); //输出ok，并且汇编代码中只有 cout << "ok" << endl;
    func2<false>(); //输出not ok，并且汇编代码中只有 cout << "not ok" << endl;
    return 0;
}
``